Follow
Fernando Dotti
Title
Cited by
Cited by
Year
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
482000
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
462003
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
322017
Modal systems: Specification, refinement and realisation
FL Dotti, A Iliasov, L Ribeiro, A Romanovsky
Formal Methods and Software Engineering: 11th International Conference on …, 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
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
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
262005
Early scheduling in parallel state machine replication
E Alchieri, F Dotti, F Pedone
Proceedings of the ACM Symposium on Cloud Computing, 82-94, 2018
252018
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
232006
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
212017
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
192002
High performance recovery for parallel state machine replication
OM Mendizabal, FL Dotti, F Pedone
2017 IEEE 37th International Conference on Distributed Computing Systems …, 2017
182017
Towards theorem proving graph grammars using Event-B
L Ribeiro, FL Dotti, SA da Costa, FC 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
162009
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
162004
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
152019
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
142017
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
142005
The system can't perform the operation now. Try again later.
Articles 1–20