Fernando Luís Dotti

2008
22	EE	Leila Ribeiro, Fernando Luís Dotti: Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. Concurrency, Graphs and Models 2008: 133-150
21	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro: Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398
11	EE	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	EE	Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos: Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE 2003: 120-133
9	EE	Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos: Verification of Distributed Object-Based Systems. FMOODS 2003: 261-275
8	EE	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	EE	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	EE	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	Eder N. Mathias	[7]
12	Odorico Machado Mendizabal	[14] [18] [19]
13	Felipe Martins Müller	[4] [7]
14	Cristina M. Nunes	[17]
15	Luciano C. Ost	[17]
16	Fábio Pasini	[16] [20]
17	Leila Ribeiro (Leila Ribeiro Korff)	[3] [5] [6] [9] [10] [11] [12] [15] [16] [19] [21] [22]
18	Eduardo T. Rödel	[8]
19	Afonso Sales	[13]
20	Osmar Marchi dos Santos	[8] [9] [10] [11] [13] [14] [16]

Colors in the list of coauthors