The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fernando Luís Dotti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos
    Specification and Analysis of Fault Behaviours Using Graph Grammars. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 2003, pp:120-133 [Conf]
  2. Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl
    A Formal Framework for the Development of Concurrent Object-Based Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:385-401 [Conf]
  3. Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
    Verification of Distributed Object-Based Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:261-275 [Conf]
  4. Fernando Luís Dotti, Leila Ribeiro
    Specification of Mobile Code Systems using Graph Grammars. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:45-64 [Conf]
  5. Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro
    Translating Java Code to Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:383-398 [Conf]
  6. Odorico Machado Mendizabal, Fernando Luís Dotti
    Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:275-290 [Conf]
  7. Fernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos
    Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:80-100 [Conf]
  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. [Citation Graph (0, 0)][DBLP]
    LADC, 2003, pp:341-360 [Conf]
  9. Fernando Luís Dotti, Maurício de O. Cristal, Celso M. da Costa, Felipe Martins Müller
    A Federated Architecture for Autonomous Optimization Centers. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  10. Fernando Luís Dotti, Lucio Mauro Duarte
    Monitoring Mobile Code. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  11. Fernando Luís Dotti, Leila Ribeiro
    Code Mobility in Open Systems: A Formal Approach. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  12. Fábio Delamare, Fernando Luís Dotti, Paulo Fernandes, Cristina M. Nunes, Luciano C. Ost
    Analytical modeling of random waypoint mobility patterns. [Citation Graph (0, 0)][DBLP]
    PE-WASUN, 2006, pp:106-113 [Conf]
  13. Fernando Luís Dotti
    Delegating Management Tasks through Negotiation and Contracting in the Open Service Market. [Citation Graph (0, 0)][DBLP]
    PROLAMAT, 1998, pp:245-256 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:870-875 [Conf]
  15. Fernando Luís Dotti, Paulo Fernandes, Afonso Sales, Osmar Marchi dos Santos
    Modular Analytical Performance Models for Ad Hoc Wireless Networks. [Citation Graph (0, 0)][DBLP]
    WiOpt, 2005, pp:164-173 [Conf]
  16. Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro
    A Graph Transformation View on the Specification of Applications using Mobile Code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:3, pp:- [Journal]
  17. Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro
    Verifying Object-Based Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:109, n:, pp:125-136 [Journal]
  18. Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro
    Stochastic Object-Based Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:151-170 [Journal]
  19. Fábio Pasini, Fernando Luís Dotti
    Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:113-131 [Journal]

  20. Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. [Citation Graph (, )][DBLP]


  21. Modal Systems: Specification, Refinement and Realisation. [Citation Graph (, )][DBLP]


  22. Evaluating the impact of an acknowledgment strategy for APRP. [Citation Graph (, )][DBLP]


  23. Towards a Notion of Transaction in Graph Rewriting. [Citation Graph (, )][DBLP]


Search in 0.193secs, Finished in 0.195secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002