Miguel Felder - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2005

Mobile Transaction Models FrameworkAndrés Coratella, Miguel Felder, Roberto Hirsch, Eduardo Rodríguez. In Mehdi Khosrow-Pour, editor, Encyclopedia of Information Science and Technology (5 Volumes). pages 1978-1983, Idea Group, 2005.

2004

Fault-based Testing of E-Commerce ApplicationsMarisa A. Sanchez, Juan Carlos Augusto, Miguel Felder. vveis 2004: 66-74

2003

A Framework for Analyzing Mobile Transaction ModelsAndrés Coratella, Miguel Felder, Roberto Hirsch, Eduardo Rodríguez. In Advanced Topics in Database Research, Vol. 2. pages 267-299, 2003.

2002

A formal design notation for real-time systemsMiguel Felder, Mauro Pezzè. TOSEM, 11(2):149-190, 2002. [doi]

2001

A Framework for Analyzing Mobile Transaction ModelsRoberto Hirsch, Andrés Coratella, Miguel Felder, Eduardo Rodríguez. JDM, 12(3):36-47, 2001.

1999

Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal VerificationVíctor A. Braberman, Miguel Felder. ESEC/FSE 1999: 494-510 [doi]

Integrating Object-Oriented Modelling Techniques with Formal Specification TechniquesHerbert 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. gait 1999: 23-30

1998

1994

A Temporal Logic Approach to Implementation and Refinement in Timed Petri NetsMiguel Felder, Angelo Morzenti. ictl 1994: 365-381

Validating Real-Time Systems by History-Checking TRIO SpecificationsMiguel Felder, Angelo Morzenti. TOSEM, 3(4):308-339, 1994. [doi]

Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net ModelsMiguel Felder, Dino Mandrioli, Angelo Morzenti. TSE, 20(2):127-141, 1994. [doi]

1993

1992

Formal Specification and Timing Analysis of High-Integrity Real-Time SystemsMiguel Felder, Carlo Ghezzi, Mauro Pezzè. nato 1994: 187-211 [doi]

Testing by Executing Logic SpecificationsMiguel Felder, Pierluigi San Pietro. nato 1994: 683-684 [doi]

Finite Time Semantics for Executable Logic SpecificationsMiguel Felder, Pierluigi San Pietro. nato 1994: 685-686 [doi]

1991

Real-time system validation by model checking in TRIOMiguel Felder, Angelo Morzenti. ecrts 1991: 20-28 [doi]

Sign in or sign up to see more results.

runs on WebDSL