Fernando Dotti

Fernando Dotti

Pontificia Universidade Católica do Rio Grande do Sul PUCRS - Porto Alegre / Brazil
Engineering & Technology / Computer Science
AD Scientific Index ID: 833910
Pontifical Catholic University of Rio Grande do Sul
person_outline Fernando Dotti's MOST POPULAR ARTICLES
1-) Specification of mobile code systems using graph grammarsFL Dotti, L RibeiroFormal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1 …, 2000472000
2-) Verification of distributed object-based systemsFL Dotti, L Foss, L Ribeiro, OM dos SantosFormal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 …, 2003462003
3-) Reconfiguring parallel state machine replicationE Alchieri, F Dotti, OM Mendizabal, F Pedone2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 104-113, 2017382017
4-) Translating Java code to graph transformation systemsA Corradini, FL Dotti, L Foss, L RibeiroGraph Transformations: Second International Conference, ICGT 2004, Rome …, 2004382004
5-) Early scheduling in parallel state machine replicationE Alchieri, F Dotti, F PedoneProceedings of the ACM Symposium on Cloud Computing, 82-94, 2018302018