Miguel Felder

According to our database, Miguel Felder authored at least 22 papers between 1991 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Mobile Transaction Models Framework.

Andrés Coratella, Miguel Felder, Roberto Hirsch, Eduardo Rodríguez

Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

2004

Fault-based Testing of E-Commerce Applications.

Marisa A. Sanchez, Juan Carlos Augusto, Miguel Felder

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

2003

A Framework for Analyzing Mobile Transaction Models.

Andrés Coratella, Miguel Felder, Roberto Hirsch, Eduardo Rodríguez

Proceedings of the Advanced Topics in Database Research, Vol. 2, 2003

2002

A formal design notation for real-time systems.

Miguel Felder, Mauro Pezzè

ACM Trans. Softw. Eng. Methodol., 2002

2001

A Framework for Analyzing Mobile Transaction Models.

Roberto Hirsch, Andrés Coratella, Miguel Felder, Eduardo Rodríguez

J. Database Manag., 2001

1999

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.

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

Proceedings of the German-Argentinian Workshop on Information Technology, 1999

Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification.

Víctor A. Braberman, Miguel Felder

Proceedings of the Software Engineering, 1999

1998

A Theory of Implementation and Refinement in Timed Petri Nets.

Miguel Felder, Angelo Gargantini, Angelo Morzenti

Theor. Comput. Sci., 1998

A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design.

Claudia Pons, Gabriel Baum, Miguel Felder

Proceedings of 18th International Conference of the Chilean Computer Science Society (SCCC '98), 1998

Modal Logic as a Design Notation.

Carlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework.

Claudia Pons, Gabriel Baum, Miguel Felder

Proceedings of the Fundamentals of Information Systems, 1998

1994

Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.

Miguel Felder, Dino Mandrioli, Angelo Morzenti

IEEE Trans. Software Eng., 1994

Validating Real-Time Systems by History-Checking TRIO Specifications.

Miguel Felder, Angelo Morzenti

ACM Trans. Softw. Eng. Methodol., 1994

A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets.

Miguel Felder, Angelo Morzenti

Proceedings of the Temporal Logic, First International Conference, 1994

1993

High-Level Timed Petri Nets as a Kernel for Executable Specifications.

Miguel Felder, Carlo Ghezzi, Mauro Pezzè

Real Time Syst., 1993

Merlot: A Tool for Analysis of Real-Time Specifications.

Carlo Bellettini, Miguel Felder, Mauro Pezzè

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Analyzing Refinements of State Based Specifications: The Case of TB Nets.

Miguel Felder, Carlo Ghezzi, Mauro Pezzè

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

Real-Time Systems: A Survey of Approaches to Formal Specification and Verification.

Carlo Ghezzi, Miguel Felder, Carlo Bellettini

Proceedings of the Software Engineering, 1993

1992

Finite Time Semantics for Executable Logic Specifications.

Miguel Felder, Pierluigi San Pietro

Proceedings of the Real Time Computing, 1992

Testing by Executing Logic Specifications.

Miguel Felder, Pierluigi San Pietro

Proceedings of the Real Time Computing, 1992

Formal Specification and Timing Analysis of High-Integrity Real-Time Systems.

Miguel Felder, Carlo Ghezzi, Mauro Pezzè

Proceedings of the Real Time Computing, 1992

1991

Real-time system validation by model checking in TRIO.

Miguel Felder, Angelo Morzenti

Proceedings of the Euromicro '91 Workshop on Real Time Systems, 1991