Fernando Luís Dotti

	2009
24		Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander Romanovsky: Modal Systems: Specification, Refinement and Realisation. ICFEM 2009: 601-619
23		Cristina M. Nunes, Eduardo Link, Fernando Luís Dotti: Evaluating the impact of an acknowledgment strategy for APRP. LANC 2009: 77-86
	2008
22		Leila Ribeiro, Fernando Luís Dotti: Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. Concurrency, Graphs and Models 2008: 133-150
21		Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro: Towards a Notion of Transaction in Graph Rewriting. Electr. Notes Theor. Comput. Sci. 211: 39-50 (2008)
	2007
20		Fábio Pasini, Fernando Luís Dotti: Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars. Electr. Notes Theor. Comput. Sci. 184: 113-131 (2007)
19		Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro: Stochastic Object-Based Graph Grammars. Electr. Notes Theor. Comput. Sci. 184: 151-170 (2007)
	2006
18		Odorico Machado Mendizabal, Fernando Luís Dotti: Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars. ICGT 2006: 275-290
17		Fábio Delamare, Fernando Luís Dotti, Paulo Fernandes, Cristina M. Nunes, Luciano C. Ost: Analytical modeling of random waypoint mobility patterns. PE-WASUN 2006: 106-113
16		Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini: Verifying Object-based Graph Grammars. Software and System Modeling 5(3): 289-311 (2006)
	2005
15		Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl: A Formal Framework for the Development of Concurrent Object-Based Systems. Formal Methods in Software and Systems Modeling 2005: 385-401
14		Fernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos: Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. LADC 2005: 80-100
13		Fernando Luís Dotti, Paulo Fernandes, Afonso Sales, Osmar Marchi dos Santos: Modular Analytical Performance Models for Ad Hoc Wireless Networks. WiOpt 2005: 164-173
	2004
12		Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro: Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398
11		Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro: Verifying Object-Based Graph Grammars. Electr. Notes Theor. Comput. Sci. 109: 125-136 (2004)
	2003
10		Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos: Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE 2003: 120-133
9		Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos: Verification of Distributed Object-Based Systems. FMOODS 2003: 261-275
8		Fernando Luís Dotti, Osmar Marchi dos Santos, Eduardo T. Rödel: On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems. LADC 2003: 341-360
	2002
7		Eder N. Mathias, Celso M. da Costa, Fernando Luís Dotti, Felipe Martins Müller: DEVOpT: a distributed architecture supporting heuristic and metaheuristic optimization methods. SAC 2002: 870-875
	2001
6		Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro: A Graph Transformation View on the Specification of Applications using Mobile Code. Electr. Notes Theor. Comput. Sci. 50(3): (2001)
	2000
5		Fernando Luís Dotti, Leila Ribeiro: Specification of Mobile Code Systems using Graph Grammars. FMOODS 2000: 45-64
4		Fernando Luís Dotti, Maurício de O. Cristal, Celso M. da Costa, Felipe Martins Müller: A Federated Architecture for Autonomous Optimization Centers. PDPTA 2000
3		Fernando Luís Dotti, Leila Ribeiro: Code Mobility in Open Systems: A Formal Approach. PDPTA 2000
2		Fernando Luís Dotti, Lucio Mauro Duarte: Monitoring Mobile Code. PDPTA 2000
	1998
1		Fernando Luís Dotti: Delegating Management Tasks through Negotiation and Contracting in the Open Service Market. PROLAMAT 1998: 245-256

Coauthor Index

1	Paolo Baldan	[21]
2	Roswitha Bardohl	[15]
3	Andrea Corradini	[6] [12] [21]
4	Celso M. da Costa	[4] [7]
5	Maurício de O. Cristal	[4]
6	Fábio Delamare	[17]
7	Lucio Mauro Duarte	[2]
8	Paulo Fernandes (Paulo Henrique Lemelle Fernandes)	[13] [17]
9	Luciana Foss	[9] [12] [21]
10	Fabio Gadducci	[21]
11	Alexei Iliasov	[24]
12	Eduardo Link	[23]
13	Eder N. Mathias	[7]
14	Odorico Machado Mendizabal	[14] [18] [19]
15	Felipe Martins Müller	[4] [7]
16	Cristina M. Nunes	[17] [23]
17	Luciano C. Ost	[17]
18	Fábio Pasini	[16] [20]
19	Leila Ribeiro (Leila Ribeiro Korff)	[3] [5] [6] [9] [10] [11] [12] [15] [16] [19] [21] [22] [24]
20	Eduardo T. Rödel	[8]
21	Alexander Romanovsky (Alexander B. Romanovsky)	[24]
22	Afonso Sales	[13]
23	Osmar Marchi dos Santos	[8] [9] [10] [11] [13] [14] [16]

Colors in the list of coauthors