Search the dblp DataBase

Publications of Author

1. Víctor A. Braberman, Miguel Felder
   Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. [Citation Graph (0, 0)][DBLP]
   ESEC / SIGSOFT FSE, 1999, pp:494-510 [Conf]
   
2. Carlo Ghezzi, Miguel Felder, Carlo Bellettini
   Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. [Citation Graph (0, 0)][DBLP]
   ESEC, 1993, pp:11-36 [Conf]
   
3. Claudia Pons, Gabriel Baum, Miguel Felder
   Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework. [Citation Graph (0, 0)][DBLP]
   FMLDO, 1998, pp:1-18 [Conf]
   
4. Herbert Weber, Marcus Klar, Stefan Mann, Ralf-Detlef Kutsche, Stefan Jähnichen, Robert Büssow, Hartmut Ehrig, Robert Geisler, Gabriel Baum, Claudia Pons, Miguel Felder, Sergio Waldoke
   Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. [Citation Graph (0, 0)][DBLP]
   German-Argentinian Workshop on Information Technology, 1999, pp:23-30 [Conf]
   
5. Miguel Felder, Angelo Morzenti
   Validating Real-Time Systems by History-Checking TRIO Specifications. [Citation Graph (0, 0)][DBLP]
   ICSE, 1992, pp:199-211 [Conf]
   
6. Miguel Felder, Angelo Morzenti
   A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICTL, 1994, pp:365-381 [Conf]
   
7. Miguel Felder, Carlo Ghezzi, Mauro Pezzè
   Analyzing Refinements of State Based Specifications: The Case of TB Nets. [Citation Graph (0, 0)][DBLP]
   ISSTA, 1993, pp:28-39 [Conf]
   
8. Carlo Bellettini, Miguel Felder, Mauro Pezzè
   Merlot: A Tool for Analysis of Real-Time Specifications. [Citation Graph (0, 0)][DBLP]
   IWSSD, 1993, pp:110-121 [Conf]
   
9. Claudia Pons, Gabriel Baum, Miguel Felder
   A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. [Citation Graph (0, 0)][DBLP]
   SCCC, 1998, pp:130-139 [Conf]
   
10. Marisa A. Sanchez, Juan Carlos Augusto, Miguel Felder
    Fault-based Testing of E-Commerce Applications. [Citation Graph (0, 0)][DBLP]
    VVEIS, 2004, pp:66-74 [Conf]
    
11. Roberto Hirsch, Andrés Coratella, Miguel Felder, Eduardo Rodríguez
    A Framework for Analyzing Mobile Transaction Models. [Citation Graph (0, 0)][DBLP]
    J. Database Manag., 2001, v:12, n:3, pp:36-47 [Journal]
    
12. Miguel Felder, Carlo Ghezzi, Mauro Pezzè
    High-Level Timed Petri Nets as a Kernel for Executable Specifications. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1993, v:5, n:2-3, pp:235-248 [Journal]
    
13. Miguel Felder, Angelo Gargantini, Angelo Morzenti
    A Theory of Implementation and Refinement in Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:202, n:1-2, pp:127-161 [Journal]
    
14. Miguel Felder, Angelo Morzenti
    Validating Real-Time Systems by History-Checking TRIO Specifications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1994, v:3, n:4, pp:308-339 [Journal]
    
15. Miguel Felder, Mauro Pezzè
    A formal design notation for real-time systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2002, v:11, n:2, pp:149-190 [Journal]
    
16. Miguel Felder, Dino Mandrioli, Angelo Morzenti
    Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:2, pp:127-141 [Journal]