Search the dblp DataBase

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]