| Specification of mobile code systems using graph grammars FL Dotti, L Ribeiro International Conference on Formal Methods for Open Object-Based Distributed …, 2000 | 49 | 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 | 45 | 2003 |
| 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 | 42 | 2017 |
| Translating Java code to graph transformation systems A Corradini, FL Dotti, L Foss, L Ribeiro Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004 | 39 | 2004 |
| Early scheduling in parallel state machine replication E Alchieri, F Dotti, F Pedone Proceedings of the ACM Symposium on Cloud Computing, 82-94, 2018 | 29 | 2018 |
| 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 | 29 | 2017 |
| 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 |
| 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 6th International Conference on Formal Methods for Open Object-Based …, 2003 | 27 | 2003 |
| High performance recovery for parallel state machine replication OM Mendizabal, FL Dotti, F Pedone 2017 IEEE 37th International Conference on Distributed Computing Systems …, 2017 | 25 | 2017 |
| 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 | 24 | 2019 |
| 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 | 24 | 2005 |
| Byzantine fault-tolerant atomic multicast P Coelho, TC Junior, A Bessani, F Dotti, F Pedone 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018 | 23 | 2018 |
| 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 | 23 | 2017 |
| 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 |
| 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 |
| Towards theorem proving graph grammars using Event-B L Ribeiro, F Dotti, S da Costa, F 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 International Workshop on Applications of Graph Transformations with …, 2003 | 16 | 2003 |
Leila RibeiroProfessor of Computer Science, Universidade Federal do Rio Grande do Sul, Brazil確認したメール アドレス: inf.ufrgs.br