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
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
402017
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
Early scheduling in parallel state machine replication
E Alchieri, F Dotti, F Pedone
Proceedings of the ACM Symposium on Cloud Computing, 82-94, 2018
292018
Modal systems: Specification, refinement and realisation
FL Dotti, A Iliasov, L Ribeiro, A Romanovsky
International Conference on Formal Engineering Methods, 601-619, 2009
282009
Verifying object-based graph grammars
OM dos Santos, FL Dotti, L Ribeiro
Electronic Notes in Theoretical Computer Science 109, 125-136, 2004
282004
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
272017
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
272003
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
242019
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
242005
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
232018
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
232017
High performance recovery for parallel state machine replication
OM Mendizabal, FL Dotti, F Pedone
2017 IEEE 37th International Conference on Distributed Computing Systems …, 2017
222017
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
212006
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
Towards theorem proving graph grammars using Event-B
L Ribeiro, F Dotti, S da Costa, F Dillenburg
Electronic Communications of the EASST 30, 2010
182010
Structuring specifications with modes
A Iliasov, A Romanovsky, FL Dotti
2009 Fourth Latin-American Symposium on Dependable Computing, 81-88, 2009
172009
Simulation of mobile applications
FL Dotti, LM Duarte, B Copstein, L Ribeiro
2002 Communication Networks and Distributed Systems Modeling and Simulation …, 2002
172002
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