| Specification of mobile code systems using graph grammars FL Dotti, L Ribeiro Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1 …, 2000 | 48 | 2000 |
| Verification of distributed object-based systems FL Dotti, L Foss, L Ribeiro, OM dos Santos Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 …, 2003 | 46 | 2003 |
| Translating Java code to graph transformation systems A Corradini, FL Dotti, L Foss, L Ribeiro Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004 | 38 | 2004 |
| 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 | 32 | 2017 |
| Modal systems: Specification, refinement and realisation FL Dotti, A Iliasov, L Ribeiro, A Romanovsky Formal Methods and Software Engineering: 11th International Conference on …, 2009 | 28 | 2009 |
| Verifying object-based graph grammars OM dos Santos, FL Dotti, L Ribeiro Electronic Notes in Theoretical Computer Science 109, 125-136, 2004 | 28 | 2004 |
| 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 | 28 | 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 |
| Early scheduling in parallel state machine replication E Alchieri, F Dotti, F Pedone Proceedings of the ACM Symposium on Cloud Computing, 82-94, 2018 | 25 | 2018 |
| 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 | 23 | 2006 |
| 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 | 21 | 2017 |
| 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 | 19 | 2008 |
| Simulation of mobile applications FL Dotti, LM Duarte, B Copstein, L Ribeiro 2002 Communication Networks and Distributed Systems Modeling and Simulation …, 2002 | 19 | 2002 |
| High performance recovery for parallel state machine replication OM Mendizabal, FL Dotti, F Pedone 2017 IEEE 37th International Conference on Distributed Computing Systems …, 2017 | 18 | 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 | 18 | 2010 |
| Structuring specifications with modes A Iliasov, A Romanovsky, FL Dotti 2009 Fourth Latin-American Symposium on Dependable Computing, 81-88, 2009 | 16 | 2009 |
| Specification and analysis of fault behaviours using graph grammars FL Dotti, L Ribeiro, OM dos Santos Applications of Graph Transformations with Industrial Relevance: Second …, 2004 | 16 | 2004 |
| Boosting concurrency in parallel state machine replication IA Escobar, E Alchieri, FL Dotti, F Pedone Proceedings of the 20th International Middleware Conference, 228-240, 2019 | 15 | 2019 |
| Modelling the impacts of policies on advanced biofuel feedstocks diffusion LA Ribeiro, PP da Silva, L Ribeiro, FL Dotti Journal of Cleaner Production 142, 2471-2479, 2017 | 14 | 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 |
Leila RibeiroProfessor of Computer Science, Universidade Federal do Rio Grande do Sul, BrazilVerified email at inf.ufrgs.br
