Fernando Lus 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 - Pontifcia Universidade Catlica 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

 

Replicao Mquina de Estados Paralela e Reconfigurvel.

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

XXXV Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos (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 – Simpsio 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 Tolerncia a Falhas (WTF), 2012, Ouro Preto. Anais do XIII Workshop de Testes e Tolerncia a Falhas, 2012. v. 1. p. 101-114.

 

Um Verificador de Modelos Descritos em Redes de Autmatos Estocsticos.

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

In: Workshop de Testes e Tolerncia a Falhas, 2012, Ouro Preto. Anais do XIII Workshop de Testes e Tolerncia 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. Relatrio Tcnico da Universidade Tcnica 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, Joo 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, Antnio Carlos .

In: XXXV Conferncia Latino Americana de Informtica, 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: Simpsio Brasileiro de Mtodos Formais, 2005, Porto Alegre.

Anais do Simpsio Brasileiro de Mtodos Formais. Porto Alegre: Sociedade Brasilieira de Computao, 2005. v. 1. p. 128-143.

 

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

PASINI, Fbio ; DOTTI, F. L. .

In: Simpsio Brasileiro de Mtodos Formais, 2005, Porto Alegre.

Anais do Simpsio Brasileiro de Mtodos Formais. Porto Alegre: Sociedade Brasileira de Computao, 2005. v. 1. p. 96-111.

 

Uma Metodologia para a Verificao de Sistemas Parciais Modelados na Gramtica de Grafos Baseada em Objetos.

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

In: 18. Simpsio Brasileiro de Engenharia de Software, 2004, Braslia. 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 ; RDEL, Eduardo Tavares.

In: First Latin-American Symposium on Dependable Computing, 2003, So Paulo..

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

 

Especificao e Verificao Formal de Sistemas Distribudos.

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 Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos, 2016, Salvador. Anais do XXXIV Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos. Porto Alegre: SBC, 2016. v. 1. p. 193-206.

 

OLIVEIRA, ROMULO REIS DE ; HASAN, R. ; DOTTI, FERNANDO LUIS . Heursticas para Mapeamento de Redes Virtuais de Sincronia Hbrida. In: Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos (SBRC), 2015, Vitria - ES - Brasil. Anais do XXXIII Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos, 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: Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos (SBRC), 2014, Florianpolis. Anais do XXXII Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos, 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 Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos, 2010, Gramado. Anais do XXVIII Simpsio Brasileiro de Redes de Computadores e Sistemas Distribudos. Porto Alegre - RS: Sociedade Brasileira de Computao, 2010. v. 1. p. 451-464.

 

NUNES, Cristina Moreira ; DOTTI, F. L. . Uma Nova Estratgia de Roteamento para Redes Tolerantes a Atrasos. In: Simpsio Brasileiro de Redes de Computadores, 2009, Recife. Anais do XXVII Simpsio 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 Adaptao Qualidade de Servio na Internet para Aplicaes Multtimdia. In: Simpsio Brasileiro de Redes de Computadores, 2001, Florianpolis. Anais do 19o. Simpsio 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. ; MLLER, 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 Informtica e Investigaciones Operativas., 2000, Tandil - Argentina.. Anais do JAIIO2000 - Jornadas Argentinas de Informtica e Investigaciones Operativas., 2000.

 

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

 

DOTTI, F. L.; CRISTAL, M. O. ; COSTA, Celso Maciel da ; MLLER, 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. ; MLLER, 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, Pirrenpolis - GO - Brazil. Proceeding of the XIII SBAC-PAD - 13th Symposium on Computer Architecture and High Performance Computing, 2001.