Fernando Luís Dotti Full Professor. PhD in Computer Science at Berlin Technical University, 1993-97. MSc and BSc in Computer Science at II-UFRGS, 1988 and 1991. PUCRS - Pontifícia Universidade Católica do Rio Grande do Sul School of Technology Graduate Program in Computer Science Av. Ipiranga 6681 90619-900 Porto Alegre - RS - Brazil E-mail: firstname.lastname(at)pucrs.br Phone: +55 51 3320 3558 (dept) +55 51 3353 8614 (direct) www.inf.pucrs.br/~fldotti (this web page)

Fernando Full ProfessoPhD Research Gate Dependable Distributed Computing (Research Group - CNPq) Curriculum Vitae (Lattes CV - CNPq) Short CV DBLP Google Scholar ORCID Research Gate

Publications since 2000, by areas: Scalable Dependable Distributed Systems; Correct by Construction Distributed Systems; Computer Networks; Other.

Scalable Dependable Distributed Systems

Early Scheduling in Parallel State Machine Replication
E. Alchieri, F. Dotti and F. Pedone
9th ACM Symposium on Cloud Computing 2018 (SoCC), October 2018

Boosting State Machine Replication with Concurrent Execution

E. Alchieri, F. Dotti, P. J. Marandi, O. M. Mendizabal and F. Pedone

8th Latin American Symposium on Dependable Computing (LADC), September 2018

Byzantine Fault-Tolerant Atomic Multicast
P. Coelho,T. Ceolin Jr., A. Bessani, F. Dotti and F. Pedone
48th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), June 2018

Reconfiguring Parallel State Machine Replication
E. Alchieri, F. Dotti, O. M. Mendizabal and F. Pedone
36th Symposium on Reliable Distributed Systems (SRDS), September 2017

High performance recovery for parallel state machine replication
O. Mendizabal, F. L. Dotti and F. Pedone
37th IEEE International Conference on Distributed Computing (ICDCS), June 2017

Efficient and Deterministic Scheduling for Parallel State Machine Replication
O. M. Mendizabal, R. T. S. Moura, F. L. Dotti and F. Pedone
31st IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2017

Replicação Máquina de Estados Paralela e Reconfigurável.

RODRIGUES, A. L. O. ; ALCHIERI, E. ; PEDONE, F. ; DOTTI, F. L. ; MENDIZABAL, Odorico Machado .

XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2017.

Analysis of Checkpointing Overhead in Parallel State Machine Replication
O. M. Mendizabal, F. L. Dotti and F. Pedone
31st ACM/SIGAPP Symposium on Applied Computing (ACM SAC/DADS), April 2016

Recovery in Parallel State-Machine Replication

O. Mendizabal, P. J. Marandi, F. L. Dotti and F. Pedone
18th International Conference on Principles of Distributed Systems (OPODIS 2014)

Model checking the deferred update replication protocol
O. Mendizabal and F. L. Dotti
SBRC – Simpósio Brasileiro de Redes de Computadores, pp. 995–1008, (SBRC 2013). 


A formal model for the deferred update replication technique
A. Corradini, L. Ribeiro, F. L. Dotti, and O. M. Mendizabal
Trustworthy Global Computing - 8th International Symposium (TGC 2013 - Co-located with CONCUR 2013)
Revised Selected Papers, pp. 235–253, 2013.

A CTL Model Checker for Stochastic Automata Networks.

OLEKSINSKI, L. G. ; CORREA, C. M. ; DOTTI, FERNANDO LUIS ; SALES, Afonso .

In: Quantitative Evaluation of Systems (QEST), 2013, Buenos Aires. 10th International Conference, QEST 2013.

Heidelberg: Springer - NCS, 2013. v. 8054. p. 286-289.

Correct transformation: From object-based graph grammars to promela.
L. Ribeiro, O. M. dos Santos, F. L. Dotti, and L. Foss
Science of Computer Programming, vol. 77, no. 3, pp. 214–246, 2012.

Correct by Construction Distributed Systems

A CTL Model Checker for Stochastic Automata Networks.

OLEKSINSKI, L. G. ; CORREA, C. M. ; DOTTI, FERNANDO LUIS ; SALES, Afonso .

In: Quantitative Evaluation of Systems (QEST), 2013, Buenos Aires. 10th International Conference, QEST 2013. Heidelberg: Springer - NCS, 2013. v. 8054. p. 286-289.

Modeling Communication Semantics for Distributed Systems in Event-B.

DOTTI, F. L.; RIBEIRO, Leila .

In: Workshop de Testes e Tolerância a Falhas (WTF), 2012, Ouro Preto. Anais do XIII Workshop de Testes e Tolerância a Falhas, 2012. v. 1. p. 101-114.

Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos.

CORREA, C. M. ; DOTTI, F. L. ; FERNANDES, Paulo Henrique Lemelle ; MARUANI, E. ; OLEKSINSKI, L. G. ; SALES, Afonso .

In: Workshop de Testes e Tolerância a Falhas, 2012, Ouro Preto. Anais do XIII Workshop de Testes e Tolerância a Falhas, 2012. v. 1. p. 115-128.

Correct transformation: From object-based graph grammars to promela.
L. Ribeiro, O. M. dos Santos, F. L. Dotti, and L. Foss
Science of Computer Programming, vol. 77, no. 3, pp. 214–246, 2012.

Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars

RIBEIRO, Leila ; DOTTI, FERNANDO LUIS.
Workshop-School in Theoretical Computer Science. WEIT 2011. IEEE. v. 1. p. 15-20.

Towards theorem proving graph grammars.

RIBEIRO, Leila ; DOTTI, F. L. ; da Costa, Simone André ; DILLENBURG, F.

International Colloquium on Graph and Model Transformation, 2010, Berlim, Alemanha. Relatório Técnico da Universidade Técnica de Berlim - FB IV. Berlim: TU-Berlin, 2010. v. 2010. p. 122-135.

Modal Systems: Specification, Refinement and Realisation.

DOTTI, F. L.; Iliasov, Alexei ; RIBEIRO, Leila ; Romanovsky, Alexander .

In: International Conference on Formal Engineering Methods, 2009, Rio de Janeiro.
Lecture Notes In Computer Sciences. Heidelberg, Alemanha: Springer, 2009.

Structuring Specifications with Modes.
Iliasov, Alexei ; DOTTI, F. L. ; Romanovsky, Alexander .
In: Fourth Latin-American Symposium on Dependable Computing, 2009, João Pessoa.
Proceedings of the .... Los Alamitos, CA, USA: IEEE Computer Society, 2009. v. 1. p. 81-88.

Using Attributed Graph Grammars to Verify Properties of a Mobile Internet Protocol.

IBEIRO, Leila ; da Costa, Simone André ; DOTTI, F. L. ; da Rocha Costa, Antônio Carlos .

In: XXXV Conferência Latino Americana de Informática, 2009, Pelotas. Proceedings of the ..., 2009.

Towards a Notion of Transaction in Graph Rewriting.

BALDAN, Paolo ; CORRADINI, Andrea ; DOTTI, F. L. ; FOSS, Luciana ; GADDUCCI, Fabio ; RIBEIRO, Leila .

In: International Workshop on Graph Transformation and Visual Modelling Techniques, 2006, Viena.
Proceedings of the 5th International Workshop on Graph Transformation and Visual Modelling Techniques, 2006. v. 1. p. 1-12.

Non-Functional Analysis of Distributed Systems in Unreliable Environments using Stochastic Object Based Graph Grammars.

MENDIZABAL, Odorico Machado ; DOTTI, F. L. .

In: Third International Conference on Graph Transformation (ICGT), 2006, Natal - Brazil.
Proceedings of. Heidelberg: Springer, 2006. v. 4178. p. 80-100.

Modular Analytical Performance Models for Ad Hoc Wireless Networks.

DOTTI, F. L.; FERNANDES, Paulo H L ; SALES, Afonso ; SANTOS, Osmar Marchi dos .

In: 3rd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, 2005, Trentino.
Proceedings of the, 2005. v. 1. p. 164-173.

Verifying Fault-Tolerant Distributed Systems using Object-Based Graph Grammars.

DOTTI, F. L.; MENDIZABAL, Odorico Machado ; SANTOS, Osmar Marchi dos .

In: LADC 2005 - Second Latin-American Symposium on Dependable Computing, 2005, Salvador - Bahia.

Lecture Notes in Computer Sciences 3747. Heidelberg: Springer - LNCS, 2005. v. 3747. p. 80-100.

Stochastic Object-Based Graph Grammars.

MENDIZABAL, Odorico Machado ; DOTTI, F. L. ; RIBEIRO, Leila .

In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre.

Anais do Simpósio Brasileiro de Métodos Formais. Porto Alegre: Sociedade Brasilieira de Computação, 2005. v. 1. p. 128-143.

Code Generation for Parallel Applications modelled with Object-Based Graph Grammars.

PASINI, Fábio ; DOTTI, F. L. .

In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre.

Anais do Simpósio Brasileiro de Métodos Formais. Porto Alegre: Sociedade Brasileira de Computação, 2005. v. 1. p. 96-111.

Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos.

DOTTI, F. L.; PASINI, Fábio ; SANTOS, Osmar Marchi dos .

In: 18. Simpósio Brasileiro de Engenharia de Software, 2004, Brasília. v. 1. p. 86-101.

Translating Java Code into Graph Transformation Systems.

CORRADINI, Andrea ; DOTTI, F. L. ; FOSS, Luciana ; RIBEIRO, Leila .

In: 2nd International Conference on Graph Transformations, 2004, Roma.

Lecture Notes in Computer Science 3256. Berlin,: Springer - LNCS, 2004. v. 3256. p. 383-398.

On the Use of Formal Specifications to Analyse Fault Behaviors of Distributed Systems.

DOTTI, F. L.; SANTOS, Osmar Marchi dos ; RÖDEL, Eduardo Tavares.

In: First Latin-American Symposium on Dependable Computing, 2003, São Paulo..

Proceedings of the First Latin-American Symposium on Dependable Computing. Berlin,: Springer - LNCS, 2003. v. 2847. p. 341-360.

Especificação e Verificação Formal de Sistemas Distribuídos.

DOTTI, F. L.; FOSS, Luciana ; RIBEIRO, Leila ; SANTOS, Osmar Marchi dos .

In: 17. Simposio Brasileiro de Engenharia de Software, 2003, Manaus. Anais do SBES, 2003. v. 1. p. 225-240.

Specification and Analysis of Fault Behaviors using Graph Grammars.

DOTTI, F. L.; RIBEIRO, Leila ; SANTOS, Osmar Marchi dos .

In: AGTIVE - Applications of Graph Transformations with Industrial Relevance, 2003, Charlottesvile.

Proceedings of the. Berlin.: Springer - LNCS, 2003. v. 3062. p. 120-133.

Proposta de uma abordagem para a verificacao formal de Sistemas Distribuidos Baseados em Objetos.

SANTOS, Osmar Marchi dos ; DOTTI, F. L. .

In: Workshop de tolerancia a falhas - co-locado com SBRC, 2003, Natal - RN.

Anais do WTF03 - Workshop de Tolerancia a Falhas, 2003. v. 1. p. 1-8.

Verification of Distributed Object-Based Systems.

DOTTI, F. L.; FOSS, Luciana ; RIBEIRO, Leila ; SANTOS, Osmar Marchi dos .

In: FMOODS - Formal Methods for Open Object-Based Distributed Systems, 2003, Paris.

Proceedings of the International Conference on Formal Methods for Open Object-Based Distributed Systems. LNCS 2884. p. 261-275.

Simulation of Mobile Applications.

DOTTI, F. L.; DUARTE, Lucio Mauro ; RIBEIRO, Leila ; COPSTEIN, Bernardo .

In Communication Networks And Distributed Systems Modeling And Simulation Conference 2002, Part of the 2002 SCS Western Multiconference on Computer Simulation, 2002, San Antonio, Texas. CNDS2002 - Communication Networks And Distributed Systems Modeling And Simulation Conference 2002, Part of the 2002 SCS Western Multiconference on Computer Simulation, 2002. v. 1. p. 261-267.

A Framework for Supporting the Development of Correct Mobile Code Applications based on Graph Grammars.

DOTTI, F. L.; DUARTE, Lucio Mauro ; SILVA, F. M. A. ; ANDRADE, A. M. S.

In: Integrated Desing Process Technology, 2002, Pasadena, California,.

Computer Networks

HASAN, R. ; DOTTI, F. L. . Timely Hybrid Synchronous Virtual Networks. In: XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2016, Salvador. Anais do XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Porto Alegre: SBC, 2016. v. 1. p. 193-206.

OLIVEIRA, ROMULO REIS DE ; HASAN, R. ; DOTTI, FERNANDO LUIS . Heurísticas para Mapeamento de Redes Virtuais de Sincronia Híbrida. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2015, Vitória - ES - Brasil. Anais do XXXIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2015. v. 1. p. 291-304.

HASAN, R. ; MENDIZABAL, Odorico Machado ; DOTTI, F. L. . Hybrid Synchrony Virtual Networks: Definition and Embedding. In: International Conference on Networks - (ICN), 2014, Nice. Proceedings of The Thirteenth International Conference on Networks, 2014. v. 1.

HASAN, RASHA ; MENDIZABAL, Odorico Machado ; OLIVEIRA, ROMULO REIS DE ; DOTTI, FERNANDO LUIS . A Study on Substrate Network Synchrony Demands to Support Hybrid Synchrony Virtual Networks. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2014, Florianópolis. Anais do XXXII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2014. v. 1. p. 344-352.

NUNES, Cristina Moreira ; DOTTI, F. L. ; OLIVEIRA, J. B. S. . APRP-Group: Roteamento para Redes DTN com Repasse baseado em Agrupamento de Nodos por Potencial de Entrega. In: XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2010, Gramado. Anais do XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Porto Alegre - RS: Sociedade Brasileira de Computação, 2010. v. 1. p. 451-464.

NUNES, Cristina Moreira ; DOTTI, F. L. . Uma Nova Estratégia de Roteamento para Redes Tolerantes a Atrasos. In: Simpósio Brasileiro de Redes de Computadores, 2009, Recife. Anais do XXVII Simpósio Brasileiro de Redes de Computadores. Porto Alegre: SBC, 2009. v. 1. p. 1-14.

DOTTI, F. L.; NUNES, Cristina Moreira . Evaluating the Impact of an Acknowledgment Strategy for APRP. In: 5th IFIP/ACM Latin American Networking Conference (LANC 2009), 2009, Pelotas. Proceedings of the ..., 2009. p. 1-14.

DELAMARE, Fabio ; DOTTI, F. L. ; FERNANDES, Paulo H L ; NUNES, Cristina Moreira ; OST, Luciano C. . Analytical Modeling of Random Waypoint Mobility Patterns.. In: Third ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, 2006, Torremolinos. Proceedings of the Third ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks. New York, NY, USA: ACM Press, 2006. v. 1. p. 106-113.

DOTTI, F. L.; Lunardi, S.C. . A Framework-based Approach to Build Adaptive Multimedia Applications with Quality of Service. In: IEEE ICON2001 - International Conference on Networks, 2001, Bangkok - Tailandia. Proceedings of the IEEE ICON2001 - International Conference on Networks, 2001. p. 517-522.

DOTTI, F. L.; Lunardi, S.C. . Uma Camada de Adaptação à Qualidade de Serviço na Internet para Aplicações Multtimídia. In: Simpósio Brasileiro de Redes de Computadores, 2001, Florianópolis. Anais do 19o. Simpósio Brasileiro de Redes de Computadores, 2001. v. 1. p. 17-32.

Other Areas

RIBEIRO, L. ; SILVA, P. P. ; RIBEIRO, L. A. ; DOTTI, F. L. . Modelling the impacts of policies on microalgae fuel feedstocks diffusion. In: IAEE European Energy Conference, 2014, Roma. Proceedings of the 14th IAEE European Energy Conference, 2014 - Sustainable Energy Policy and Strategies for Europe, 2014.

MATHIAS, E. N. ; COSTA, Celso Maciel da ; DOTTI, F. L. ; MÜLLER, Felipe . DEVOpt: a Distributed Architecture Supporting Heuristic and Metaheuristic Optimization Methods. In: 17th ACM Symposium on Applied Computing, 2002, Madrid. 17th ACM Symposium on Applied Computing (Special Track on Parallel and Distributed Systems and Networking), 2002. v. 1. p. 870-875.

COSTA, Celso Maciel da ; DOTTI, F. L. ; COPETTI, A. ; PREUSS, E. . MDX: A Parallel Programming Environment Supporting Distributed Shared Memory and Message Passing. In: AST2000 - Argentine Symposium on Computing Technology - JAIIO2000 - Jornadas Argentinas de Informática e Investigaciones Operativas., 2000, Tandil - Argentina.. Anais do JAIIO2000 - Jornadas Argentinas de Informática e Investigaciones Operativas., 2000.

DOTTI, F. L.; CRISTAL, M. O. ; COSTA, Celso Maciel da ; MÜLLER, Felipe . A Distributed Environment for Solving Optimization Problems. In: SBRC2000 - Simpósio Brasileiro de Redes de Computadores, 2000, Belo Horizonte. Proceedings of the SBRC2000 - Simpósio Brasileiro de Redes de Computadores. Belo Horizonte, Minas Gerais: UFMG, 2000.

DOTTI, F. L.; CRISTAL, M. O. ; COSTA, Celso Maciel da ; MÜLLER, Felipe . A Federated Architecture for Autonomous Optimization Centers. In: Internalional Conference on Parallel and Distributed Processing Techniques and Applications, 2000, Las Vegas. Proceedings of the Internalional Conference on Parallel and Distributed Processing Techniques and Applications. Athens - Georgia - USA: C.S.R.E.A. Press - Computer Sciences Research, Education and Application Tech., 2000. v. IV. p. 1913-1918.

COSTA, Celso Maciel da ; DOTTI, F. L. ; MATHIAS, E. N. ; MÜLLER, Felipe . A Distributed Architecture for Supporting Heuristic and Metaheuristic Optimization Methods. In: XIII SBAC-PAD - 13th Symposium on Computer Architecture and High Performance Computing, 2001, Pirrenópolis - GO - Brazil. Proceeding of the XIII SBAC-PAD - 13th Symposium on Computer Architecture and High Performance Computing, 2001.