dblp.uni-trier.dewww.uni-trier.de

Miguel Felder Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
18 Andrés Coratella, Miguel Felder, Roberto Hirsch, Eduardo Rodríguez: Mobile Transaction Models Framework. Encyclopedia of Information Science and Technology (IV) 2005: 1978-1983
2004
17 Marisa A. Sanchez, Juan Carlos Augusto, Miguel Felder: Fault-based Testing of E-Commerce Applications. VVEIS 2004: 66-74
2003
16 Andrés Coratella, Miguel Felder, Roberto Hirsch, Eduardo Rodríguez: A Framework for Analyzing Mobile Transaction Models. Advanced Topics in Database Research, Vol. 2 2003: 267-299
2002
15EEMiguel Felder, Mauro Pezzè: A formal design notation for real-time systems. ACM Trans. Softw. Eng. Methodol. 11(2): 149-190 (2002)
2001
14 Roberto Hirsch, Andrés Coratella, Miguel Felder, Eduardo Rodríguez: A Framework for Analyzing Mobile Transaction Models. J. Database Manag. 12(3): 36-47 (2001)
1999
13EEVíctor A. Braberman, Miguel Felder: Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. ESEC / SIGSOFT FSE 1999: 494-510
12 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: 23-30
1998
11 Claudia Pons, Gabriel Baum, Miguel Felder: Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework. FMLDO 1998: 1-18
10EEClaudia Pons, Gabriel Baum, Miguel Felder: A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. SCCC 1998: 130-139
9EEMiguel Felder, Angelo Gargantini, Angelo Morzenti: A Theory of Implementation and Refinement in Timed Petri Nets. Theor. Comput. Sci. 202(1-2): 127-161 (1998)
1994
8 Miguel Felder, Angelo Morzenti: A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets. ICTL 1994: 365-381
7EEMiguel Felder, Angelo Morzenti: Validating Real-Time Systems by History-Checking TRIO Specifications. ACM Trans. Softw. Eng. Methodol. 3(4): 308-339 (1994)
6EEMiguel Felder, Dino Mandrioli, Angelo Morzenti: Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. IEEE Trans. Software Eng. 20(2): 127-141 (1994)
1993
5 Carlo Ghezzi, Miguel Felder, Carlo Bellettini: Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. ESEC 1993: 11-36
4EEMiguel Felder, Carlo Ghezzi, Mauro Pezzè: Analyzing Refinements of State Based Specifications: The Case of TB Nets. ISSTA 1993: 28-39
3 Carlo Bellettini, Miguel Felder, Mauro Pezzè: Merlot: A Tool for Analysis of Real-Time Specifications. IWSSD 1993: 110-121
2 Miguel Felder, Carlo Ghezzi, Mauro Pezzè: High-Level Timed Petri Nets as a Kernel for Executable Specifications. Real-Time Systems 5(2-3): 235-248 (1993)
1992
1EEMiguel Felder, Angelo Morzenti: Validating Real-Time Systems by History-Checking TRIO Specifications. ICSE 1992: 199-211

Coauthor Index

1Juan Carlos Augusto [17]
2Gabriel Baum (Gabriel A. Baum) [10] [11] [12]
3Carlo Bellettini [3] [5]
4Víctor A. Braberman [13]
5Robert Büssow [12]
6Andrés Coratella [14] [16] [18]
7Hartmut Ehrig [12]
8Angelo Gargantini [9]
9Robert Geisler [12]
10Carlo Ghezzi [2] [4] [5]
11Roberto Hirsch [14] [16] [18]
12Stefan Jähnichen [12]
13Marcus Klar [12]
14Ralf-Detlef Kutsche [12]
15Dino Mandrioli [6]
16Stefan Mann [12]
17Angelo Morzenti [1] [6] [7] [8] [9]
18Mauro Pezzè [2] [3] [4] [15]
19Claudia Pons [10] [11] [12]
20Eduardo Rodríguez [14] [16] [18]
21Marisa A. Sanchez [17]
22Sergio Waldoke [12]
23Herbert Weber [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)