Miguel Felder

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