Fernando Luís Dotti

	2012
32		Leila Ribeiro, Osmar Marchi dos Santos, Fernando Luís Dotti, Luciana Foss: Correct transformation: From object-based graph grammars to PROMELA. Sci. Comput. Program. 77(3): 214-246 (2012)
	2011
31		Leila Ribeiro, Fernando Luís Dotti: Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. WEIT 2011: 15-20
30		Fernando Luís Dotti, Paulo Fernandes, Cristina M. Nunes: Structured Markovian models for discrete spatial mobile node distribution. J. Braz. Comp. Soc. 17(1): 31-52 (2011)
29		Roberto da Silva, Luciana S. Buriol, Leila Ribeiro, Fernando Luís Dotti: Modeling the webgraph evolution. J. Comput. Science 2(1): 67-79 (2011)
	2010
28		Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg: Towards Theorem Proving Graph Grammars using Event-B. ECEASST 30: (2010)
	2009
27		Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander Romanovsky: Modal Systems: Specification, Refinement and Realisation. ICFEM 2009: 601-619
26		Alexei Iliasov, Alexander Romanovsky, Fernando Luís Dotti: Structuring Specifications with Modes. LADC 2009: 81-88
25		Cristina M. Nunes, Eduardo Link, Fernando Luís Dotti: Evaluating the impact of an acknowledgment strategy for APRP. LANC 2009: 77-86
	2008
24		Leila Ribeiro, Fernando Luís Dotti: Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. Concurrency, Graphs and Models 2008: 133-150
23		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
22		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)
21		Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro: Stochastic Object-Based Graph Grammars. Electr. Notes Theor. Comput. Sci. 184: 151-170 (2007)
	2006
20		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
19		Fábio Delamare, Fernando Luís Dotti, Paulo Fernandes, Cristina M. Nunes, Luciano Ost: Analytical modeling of random waypoint mobility patterns. PE-WASUN 2006: 106-113
18		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
17		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
16		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
15		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
14		Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos: An Environment for the Development of Concurrent Object-Based Applications. Electr. Notes Theor. Comput. Sci. 127(1): 3-13 (2005)
	2004
13		Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro: Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398
12		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
11		Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos: Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE 2003: 120-133
10		Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos: Verification of Distributed Object-Based Systems. FMOODS 2003: 261-275
9		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
8		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
7		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): 238-246 (2001)
	2000
6		Fernando Luís Dotti, Leila Ribeiro: Specification of Mobile Code Systems using Graph Grammars. FMOODS 2000: 45-64
5		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
4		Fernando Luís Dotti, Leila Ribeiro: Code Mobility in Open Systems: A Formal Approach. PDPTA 2000
3		Fernando Luís Dotti, Lucio Mauro Duarte: Monitoring Mobile Code. PDPTA 2000
	1998
2		Fernando Luís Dotti: Delegating Management Tasks through Negotiation and Contracting in the Open Service Market. PROLAMAT 1998: 245-256
	1996
1		Fernando Luís Dotti: ODP viewpoints of management outsourcing. NOMS 1996: 612-615

Coauthor Index

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

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page