| Specification of mobile code systems using graph grammars FL Dotti, L Ribeiro International Conference on Formal Methods for Open Object-Based Distributed …, 2000 | 45 | 2000 |
| Verification of distributed object-based systems FL Dotti, L Foss, L Ribeiro, OM dos Santos International Conference on Formal Methods for Open Object-Based Distributed …, 2003 | 44 | 2003 |
| Translating Java code to graph transformation systems A Corradini, FL Dotti, L Foss, L Ribeiro International Conference on Graph Transformation, 383-398, 2004 | 35 | 2004 |
| Modal systems: Specification, refinement and realisation FL Dotti, A Iliasov, L Ribeiro, A Romanovsky International Conference on Formal Engineering Methods, 601-619, 2009 | 28 | 2009 |
| Verification of object-based distributed systems FL Dotti, L Foss, L Ribeiro, OM Santos Proc. 6th International Conference on Formal Methods for Open Object-based …, 2003 | 27 | 2003 |
| Modular analytical performance models for ad hoc wireless networks FL Dotti, P Fernandes, A Sales, OM dos Santos Third International Symposium on Modeling and Optimization in Mobile, Ad Hoc …, 2005 | 26 | 2005 |
| Verifying object-based graph grammars OM dos Santos, FL Dotti, L Ribeiro Electronic Notes in Theoretical Computer Science 109, 125-136, 2004 | 25 | 2004 |
| Analytical modeling of random waypoint mobility patterns F Delamare, FL Dotti, P Fernandes, CM Nunes, LC Ost Proceedings of the 3rd ACM international workshop on Performance evaluation …, 2006 | 21 | 2006 |
| Reconfiguring parallel state machine replication E Alchieri, F Dotti, OM Mendizabal, F Pedone 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 104-113, 2017 | 19 | 2017 |
| Towards theorem proving graph grammars using Event-B L Ribeiro, FL Dotti, SA Da Costa, FC Dillenburg Electronic Communications of the EASST 30, 2010 | 17 | 2010 |
| Simulation of mobile applications FL Dotti, LM Duarte, B Copstein, L Ribeiro 2002 Communication Networks and Distributed Systems Modeling and Simulation …, 2002 | 17 | 2002 |
| Structuring specifications with modes A Iliasov, A Romanovsky, FL Dotti 2009 Fourth Latin-American Symposium on Dependable Computing, 81-88, 2009 | 16 | 2009 |
| Towards a notion of transaction in graph rewriting P Baldan, A Corradini, FL Dotti, L Foss, F Gadducci, L Ribeiro Electronic Notes in Theoretical Computer Science 211, 39-50, 2008 | 16 | 2008 |
| Specification and analysis of fault behaviours using graph grammars FL Dotti, L Ribeiro, OM dos Santos International Workshop on Applications of Graph Transformations with …, 2003 | 16 | 2003 |
| Efficient and deterministic scheduling for parallel state machine replication OM Mendizabal, RST De Moura, FL Dotti, F Pedone 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS …, 2017 | 15 | 2017 |
| An environment for the development of concurrent object-based applications FL Dotti, LM Duarte, L Foss, L Ribeiro, D Russi, OM Dos Santos Electronic Notes in Theoretical Computer Science 127 (1), 3-13, 2005 | 14 | 2005 |
| A formal framework for the development of concurrent object-based systems L Ribeiro, FL Dotti, R Bardohl Formal Methods in Software and Systems Modeling, 385-401, 2005 | 14 | 2005 |
| Early scheduling in parallel state machine replication E Alchieri, F Dotti, F Pedone Proceedings of the ACM Symposium on Cloud Computing, 82-94, 2018 | 13 | 2018 |
| High performance recovery for parallel state machine replication OM Mendizabal, FL Dotti, F Pedone 2017 IEEE 37th International Conference on Distributed Computing Systems …, 2017 | 12 | 2017 |
| Structured Markovian models for discrete spatial mobile node distribution FL Dotti, P Fernandes, CM Nunes Journal of the Brazilian Computer Society 17 (1), 31-52, 2011 | 12 | 2011 |
Leila RibeiroProfessor of Computer Science, Universidade Federal do Rio Grande do Sul, BrazilVerified email at inf.ufrgs.br
