Miguel Felder

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
15	EE	Miguel 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
13	EE	Ví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
10	EE	Claudia Pons, Gabriel Baum, Miguel Felder: A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. SCCC 1998: 130-139
9	EE	Miguel 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
7	EE	Miguel Felder, Angelo Morzenti: Validating Real-Time Systems by History-Checking TRIO Specifications. ACM Trans. Softw. Eng. Methodol. 3(4): 308-339 (1994)
6	EE	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): 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
4	EE	Miguel 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
1	EE	Miguel Felder, Angelo Morzenti: Validating Real-Time Systems by History-Checking TRIO Specifications. ICSE 1992: 199-211

Coauthor Index

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

Colors in the list of coauthors