Fernando Dotti
TitleCited byYear
Specification of mobile code systems using graph grammars
FL Dotti, L Ribeiro
International Conference on Formal Methods for Open Object-Based Distributed …, 2000
432000
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
392003
Translating Java code to graph transformation systems
A Corradini, FL Dotti, L Foss, L Ribeiro
International Conference on Graph Transformation, 383-398, 2004
342004
Modal systems: Specification, refinement and realisation
FL Dotti, A Iliasov, L Ribeiro, A Romanovsky
International Conference on Formal Engineering Methods, 601-619, 2009
282009
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
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
242003
Verifying object-based graph grammars
OM dos Santos, FL Dotti, L Ribeiro
Electronic Notes in Theoretical Computer Science 109, 125-136, 2004
232004
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
202006
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
172008
Structuring specifications with modes
A Iliasov, A Romanovsky, FL Dotti
2009 Fourth Latin-American Symposium on Dependable Computing, 81-88, 2009
162009
Simulation of mobile applications
FL Dotti, LM Duarte, B Copstein, L Ribeiro
2002 Communication Networks and Distributed Systems Modeling and Simulation …, 2002
152002
Towards theorem proving graph grammars using Event-B
L Ribeiro, FL Dotti, SA Da Costa, FC Dillenburg
Electronic Communications of the EASST 30, 2010
142010
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
142003
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
132017
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
122005
Structured Markovian models for discrete spatial mobile node distribution
FL Dotti, P Fernandes, CM Nunes
Journal of the Brazilian Computer Society 17 (1), 31-52, 2011
112011
Uma nova estratégia de roteamento para redes tolerantes a atrasos
CM Nunes, FL Dotti
Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos 27, 2009
112009
A formal framework for the development of concurrent object-based systems
L Ribeiro, FL Dotti, R Bardohl
Formal Methods in Software and Systems Modeling, 385-401, 2005
112005
Verifying object-based graph grammars
FL Dotti, L Ribeiro, OM Dos Santos, F Pasini
Software & Systems Modeling 5 (3), 289-311, 2006
102006
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
92017
The system can't perform the operation now. Try again later.
Articles 1–20