Follow
Fernando Dotti
Title
Cited by
Cited by
Year
Specification of mobile code systems using graph grammars
FL Dotti, L Ribeiro
International Conference on Formal Methods for Open Object-Based Distributed …, 2000
482000
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
452003
Translating Java code to graph transformation systems
A Corradini, FL Dotti, L Foss, L Ribeiro
Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004
382004
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
362017
Verifying object-based graph grammars
OM dos Santos, FL Dotti, L Ribeiro
Electronic Notes in Theoretical Computer Science 109, 125-136, 2004
292004
Modal systems: Specification, refinement and realisation
FL Dotti, A Iliasov, L Ribeiro, A Romanovsky
International Conference on Formal Engineering Methods, 601-619, 2009
282009
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
282003
Early scheduling in parallel state machine replication
E Alchieri, F Dotti, F Pedone
Proceedings of the ACM Symposium on Cloud Computing, 82-94, 2018
272018
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
252005
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
242017
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
222018
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
222006
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
212019
High performance recovery for parallel state machine replication
OM Mendizabal, FL Dotti, F Pedone
2017 IEEE 37th International Conference on Distributed Computing Systems …, 2017
192017
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
192008
Simulation of mobile applications
FL Dotti, LM Duarte, B Copstein, L Ribeiro
2002 Communication Networks and Distributed Systems Modeling and Simulation …, 2002
182002
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
172017
Towards theorem proving graph grammars using Event-B
L Ribeiro, FL Dotti, SA da Costa, FC Dillenburg
Electronic Communications of the EASST 30, 2010
172010
Structuring specifications with modes
A Iliasov, A Romanovsky, FL Dotti
2009 Fourth Latin-American Symposium on Dependable Computing, 81-88, 2009
162009
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
162003
The system can't perform the operation now. Try again later.
Articles 1–20