Miguel Felder

Publication Activity (10 Years)

Years Active: 1991-2004
Publications (10 Years): 0

Publications

Marisa A. Sanchez, Juan Carlos Augusto, Miguel Felder
Fault-based Testing of E-Commerce Applications. VVEIS (2004)
Miguel Felder, Mauro Pezzè
A formal design notation for real-time systems. ACM Trans. Softw. Eng. Methodol. 11 (2) (2002)
Roberto Hirsch, Andrés Coratella, Miguel Felder, Eduardo Rodríguez
A Framework for Analyzing Mobile Transaction Models. J. Database Manag. 12 (3) (2001)
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. German-Argentinian Workshop on Information Technology (1999)
Víctor A. Braberman, Miguel Felder
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. ESEC / SIGSOFT FSE (1999)
Carlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich
Modal Logic as a Design Notation. IWSSD (1998)
Claudia Pons, Gabriel Baum, Miguel Felder
Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework. FMLDO (1998)
Miguel Felder, Angelo Gargantini, Angelo Morzenti
A Theory of Implementation and Refinement in Timed Petri Nets. Theor. Comput. Sci. 202 (1-2) (1998)
Claudia Pons, Gabriel Baum, Miguel Felder
A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. SCCC (1998)
Miguel Felder, Angelo Morzenti
Validating Real-Time Systems by History-Checking TRIO Specifications. ACM Trans. Softw. Eng. Methodol. 3 (4) (1994)
Miguel Felder, Angelo Morzenti
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets. ICTL (1994)
Miguel Felder, Dino Mandrioli, Angelo Morzenti
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. IEEE Trans. Software Eng. 20 (2) (1994)
Carlo Bellettini, Miguel Felder, Mauro Pezzè
Merlot: A Tool for Analysis of Real-Time Specifications. IWSSD (1993)
Miguel Felder, Carlo Ghezzi, Mauro Pezzè
Analyzing Refinements of State Based Specifications: The Case of TB Nets. ISSTA (1993)
Carlo Ghezzi, Miguel Felder, Carlo Bellettini
Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. ESEC (1993)
Miguel Felder, Carlo Ghezzi, Mauro Pezzè
High-Level Timed Petri Nets as a Kernel for Executable Specifications. Real Time Syst. 5 (2-3) (1993)
Miguel Felder, Carlo Ghezzi, Mauro Pezzè
Formal Specification and Timing Analysis of High-Integrity Real-Time Systems. NATO ASI RTC (1992)
Miguel Felder, Pierluigi San Pietro
Finite Time Semantics for Executable Logic Specifications. NATO ASI RTC (1992)
Miguel Felder, Angelo Morzenti
Validating Real-Time Systems by History-Checking TRIO Specifications. ICSE (1992)
Miguel Felder, Pierluigi San Pietro
Testing by Executing Logic Specifications. NATO ASI RTC (1992)
Miguel Felder, Angelo Morzenti
Real-time system validation by model checking in TRIO. RTS (1991)