Fernando Luís Dotti

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

22EELeila Ribeiro, Fernando Luís Dotti: Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. Concurrency, Graphs and Models 2008: 133-150
21EEPaolo 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)
20EEFá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)
19EEOdorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro: Stochastic Object-Based Graph Grammars. Electr. Notes Theor. Comput. Sci. 184: 151-170 (2007)
18EEOdorico 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
17EEFá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
16EEFernando 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)
15EELeila 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
14EEFernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos: Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. LADC 2005: 80-100
13EEFernando Luís Dotti, Paulo Fernandes, Afonso Sales, Osmar Marchi dos Santos: Modular Analytical Performance Models for Ad Hoc Wireless Networks. WiOpt 2005: 164-173
12EEAndrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro: Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398
11EEOsmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro: Verifying Object-Based Graph Grammars. Electr. Notes Theor. Comput. Sci. 109: 125-136 (2004)
10EEFernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos: Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE 2003: 120-133
9EEFernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos: Verification of Distributed Object-Based Systems. FMOODS 2003: 261-275
8EEFernando 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
7EEEder 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
6EEAndrea 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)
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
1 Fernando Luís Dotti: Delegating Management Tasks through Negotiation and Contracting in the Open Service Market. PROLAMAT 1998: 245-256

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)