Fernando Luís Dotti Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto da Silva, Luciana S. Buriol, Leila Ribeiro, Fernando Luís Dotti: Modeling the webgraph evolution. J. Comput. Science 2(1): 67-79 (2011)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leila Ribeiro, Fernando Luís Dotti: Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. WEIT 2011: 15-20
2010
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander Romanovsky: Modal Systems: Specification, Refinement and Realisation. ICFEM 2009: 601-619
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexei Iliasov, Alexander Romanovsky, Fernando Luís Dotti: Structuring Specifications with Modes. LADC 2009: 81-88
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cristina M. Nunes, Eduardo Link, Fernando Luís Dotti: Evaluating the impact of an acknowledgment strategy for APRP. LANC 2009: 77-86
2008
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leila Ribeiro, Fernando Luís Dotti: Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. Concurrency, Graphs and Models 2008: 133-150
2007
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro: Stochastic Object-Based Graph Grammars. Electr. Notes Theor. Comput. Sci. 184: 151-170 (2007)
2006
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2005
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro: Verifying Object-Based Graph Grammars. Electr. Notes Theor. Comput. Sci. 109: 125-136 (2004)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro: Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398
2003
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos: Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE 2003: 120-133
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos: Verification of Distributed Object-Based Systems. FMOODS 2003: 261-275
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fernando Luís Dotti, Leila Ribeiro: Specification of Mobile Code Systems using Graph Grammars. FMOODS 2000: 45-64
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fernando Luís Dotti, Lucio Mauro Duarte: Monitoring Mobile Code. PDPTA 2000
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fernando Luís Dotti, Leila Ribeiro: Code Mobility in Open Systems: A Formal Approach. PDPTA 2000
1998
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fernando Luís Dotti: Delegating Management Tasks through Negotiation and Contracting in the Open Service Market. PROLAMAT 1998: 245-256
1996
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fernando Luís Dotti: ODP viewpoints of management outsourcing. NOMS 1996: 612-615

Coauthor Index

1Paolo Baldan
[j7]
2Roswitha Bardohl
[c14]
3Luciana S. Buriol
[j9]
4Simone Andre da Costa Cavalheiro (Simone André da Costa)
[j8]
5Andrea Corradini
[j7] [c11] [j1]
6Celso M. da Costa
[c7] [c5]
7Maurício de O. Cristal
[c5]
8Fábio Delamare
[c15]
9Fabiane Cristine Dillenburg
[j8]
10Lucio Mauro Duarte
[j3] [c4]
11Paulo Fernandes (Paulo Henrique Lemelle Fernandes)
[j10] [c15] [c12]
12Luciana Foss
[j11] [j7] [j3] [c11] [c9]
13Fabio Gadducci
[j7]
14Alexei Iliasov
[c20] [c19]
15Eduardo Link
[c18]
16Eder N. Mathias
[c7]
17Odorico Machado Mendizabal
[j5] [c16] [c13]
18Felipe Martins Müller
[c7] [c5]
19Cristina M. Nunes
[j10] [c18] [c15]
20Luciano Ost
[c15]
21Fábio Pasini
[j6] [j4]
22Leila Ribeiro (Leila Ribeiro Korff)
[j11] [j9] [c21] [j8] [c20] [j7] [c17] [j5] [j4] [j3] [c14] [j2] [c11] [c10] [c9] [j1] [c6] [c3]
23Alexander Romanovsky (Alexander B. Romanovsky)
[c20] [c19]
24Daniela Russi
[j3]
25Eduardo T. Rödel
[c8]
26Afonso Sales
[c12]
27Osmar Marchi dos Santos
[j11] [j4] [j3] [c13] [c12] [j2] [c10] [c9] [c8]
28Roberto da Silva
[j9]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 22:18:04 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page