The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Miguel Felder: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

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