The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Osmar Marchi dos Santos: [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. 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]
  3. 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]
  4. 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]
  5. Osmar Marchi dos Santos, Andy J. Wellings
    Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation. [Citation Graph (0, 0)][DBLP]
    RTSS, 2005, pp:177-186 [Conf]
  6. 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]
  7. 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]
  8. Osmar Marchi dos Santos, Andy J. Wellings
    Cost enforcement in the real-time specification for Java. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2007, v:37, n:2, pp:139-179 [Journal]

  9. Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. [Citation Graph (, )][DBLP]


  10. transML: A Family of Languages to Model Model Transformations. [Citation Graph (, )][DBLP]


  11. Run Time Detection of Blocking Time Violations in Real-Time Systems. [Citation Graph (, )][DBLP]


  12. Blocking time monitoring in the real-time specification for Java. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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