|
|
Fernando Luís
Dotti PhD in
Computer Science at Berlin Technical University, 1993-97.
E-mail: firstname.lastname(at)pucrs.br Phone:
+55 51 3320 3558 (dept)
+55 51 3353 8614 (direct) fldotti.github.io (this
web page) |
Fernando
Curriculum Vitae
(Lattes CV - CNPq) |
|
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 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 Reconfiguring Parallel State Machine Replication High performance recovery for parallel state
machine replication Efficient and Deterministic Scheduling for Parallel
State Machine Replication 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 Recovery in Parallel State-Machine Replication O. Mendizabal, P. J. Marandi, F. L. Dotti and F. Pedone Model
checking the deferred update replication protocol A formal
model for the deferred update replication technique 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. |
|
|
|
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. Specification
and Analysis of Concurrent Systems Using Object-Based Graph Grammars RIBEIRO,
Leila ; DOTTI, FERNANDO LUIS. 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.
Structuring
Specifications with Modes. 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. 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. 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. 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. |