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

Mauro Pezzè

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

2008
74EEHervé Chang, Leonardo Mariani, Mauro Pezzè: Self-healing strategies for component integration faults. ASE Workshops 2008: 25-32
73EEGiovanni Denaro, Alessandra Gorla, Mauro Pezzè: Contextual Integration Testing of Classes. FASE 2008: 246-260
72EELeen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè: A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406
71EEDavide Lorenzoli, Leonardo Mariani, Mauro Pezzè: Automatic generation of software behavioral models. ICSE 2008: 501-510
70EEDavid Notkin, Mauro Pezzè: Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006). ACM Trans. Softw. Eng. Methodol. 17(2): (2008)
69EEAntonio Carzaniga, Alessandra Gorla, Mauro Pezzè: Healing Web applications through automatic workarounds. STTT 10(6): 493-502 (2008)
2007
68 Mauro Pezzè: Fourth International Workshop on Software Quality Assurance, SOQUA 2007, in conjunction with the 6th ESEC/FSE joint meeting, Dubrovnik, Croatia, September 3-4, 2007 ACM 2007
67EELeen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè: Iterative model-driven development of adaptable service-based applications. ASE 2007: 453-456
66EEGiovanni Denaro, Mauro Pezzè, Onn Shehory: SOQUA 2007: 4th international workshop on software quality assurance. ESEC/SIGSOFT FSE 2007: 615-616
65EEGiovanni Denaro, Mauro Pezzè, Onn Shehory: SOQUA 2007 4th international workshop on software quality assurance. ESEC/SIGSOFT FSE (Companion) 2007: 615-616
64EEGiovanni Denaro, Mauro Pezzè, Davide Tosi: Designing Self-Adaptive Service-Oriented Applications. ICAC 2007: 16
63EELeonardo Mariani, Sofia Papagiannakis, Mauro Pezzè: Compatibility and Regression Testing of COTS-Component-Based Software. ICSE 2007: 85-95
62EEGiovanni Denaro, Mauro Pezzè, Davide Tosi: SHIWS: A Self-Healing Integrator for Web Services. ICSE Companion 2007: 55-56
61EELeonardo Mariani, Mauro Pezzè: Dynamic Detection of COTS Component Incompatibility. IEEE Software 24(5): 76-85 (2007)
60EEMauro Pezzè: Introduction to the special section on FASE 2003. STTT 9(2): 133-134 (2007)
2006
59 Lori L. Pollock, Mauro Pezzè: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 ACM 2006
58EEGiovanni Denaro, Mauro Pezzè, Davide Tosi, Daniela Schilling: Towards self-adaptive service-oriented architectures. TAV-WEB 2006: 10-16
57EELuciano Baresi, Mauro Pezzè: An Introduction to Software Testing. Electr. Notes Theor. Comput. Sci. 148(1): 89-111 (2006)
2005
56EELuciano Baresi, Mauro Pezzè: From Graph Transformation to Software Engineering and Back. Formal Methods in Software and Systems Modeling 2005: 24-37
55EELeonardo Mariani, Mauro Pezzè: Behavior Capture and Test: Automated Analysis of Component Integration. ICECCS 2005: 292-301
54EEMauro Pezzè, Davide Tosi, Gian Pietro Picco: Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. ICECCS 2005: 569-578
53EEGiovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi: Adaptive Runtime Verification for Autonomic Communication Infrastructures. WOWMOM 2005: 553-557
52EEGiovanni Denaro, Mauro Pezzè, Davide Tosi: Adaptive integration of third-party web services. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)
51EELuciano Baresi, Mauro Pezzè: Formal interpreters for diagram notations. ACM Trans. Softw. Eng. Methodol. 14(1): 42-84 (2005)
50EEMauro Pezzè: Preface. Electr. Notes Theor. Comput. Sci. 116: 1-2 (2005)
49EEMauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai: QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. Electr. Notes Theor. Comput. Sci. 116: 113-131 (2005)
48EELeonardo Mariani, Mauro Pezzè: A Technique for Verifying Component-Based Software. Electr. Notes Theor. Comput. Sci. 116: 17-30 (2005)
47EELuciano Baresi, Mauro Pezzè: Petri Nets as Semantic Domain for Diagram Notations. Electr. Notes Theor. Comput. Sci. 127(2): 29-44 (2005)
2004
46EELeonardo Mariani, Mauro Pezzè, David Willmor: Generation of Integration Tests for Self-Testing Components. FORTE Workshops 2004: 337-350
45EEMauro Pezzè, Michal Young: Testing Object Oriented Software. ICSE 2004: 739-740
2003
44 Mauro Pezzè: Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Springer 2003
43EEBruce Schafer, Mauro Pezzè: Research Demonstrations and Posters. ICSE 2003: 800-801
42EEGiovanni Denaro, Mauro Pezzè: Petri Nets and Software Engineering. Lectures on Concurrency and Petri Nets 2003: 439-466
41EEAndrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè: Design for Testability for Highly Reconfigurable Component-Based Systems. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
40EEMauro Pezzè: Preface. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
39EEGiovanni Denaro, Leonardo Mariani, Mauro Pezzè: Self-Test Components for Highly Reconfigurable Systems. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
38EEGiovanni Denaro, Mauro Pezzè, Sandro Morasca: Towards Industrially Relevant Fault-Proneness Models. International Journal of Software Engineering and Knowledge Engineering 13(4): 395-417 (2003)
2002
37EELuciano Baresi, Mauro Pezzè: A Toolbox for Automating Visual Software Engineering. FASE 2002: 189-202
36EEVincenzo Martena, Alessandro Orso, Mauro Pezzè: Interclass Testing of Object Oriented Software. ICECCS 2002: 135-144
35EEGiovanni Denaro, Mauro Pezzè: An empirical evaluation of fault-proneness models. ICSE 2002: 241-251
34EEGiovanni Denaro, Sandro Morasca, Mauro Pezzè: Deriving models of software fault-proneness. SEKE 2002: 361-368
33EEMiguel Felder, Mauro Pezzè: A formal design notation for real-time systems. ACM Trans. Softw. Eng. Methodol. 11(2): 149-190 (2002)
32EELuciano Baresi, Marco Mauri, Mauro Pezzè: PLCTools: Graph Transformation Meets PLC Design. Electr. Notes Theor. Comput. Sci. 72(2): (2002)
2001
31EELuciano Baresi, Mauro Pezzè: On Formalizing UML with High-Level Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 276-304
30EEAlberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè: Using symbolic execution for verifying safety-critical systems. ESEC / SIGSOFT FSE 2001: 142-151
29 Mauro Pezzè, Sol M. Shatz: Editorial. Comput. Syst. Sci. Eng. 16(3): 151-152 (2001)
28EELuciano Baresi, Mauro Pezzè: Improving UML with Petri nets. Electr. Notes Theor. Comput. Sci. 44(4): (2001)
27EELuciano Baresi, Mauro Pezzè, Gabriele Taentzer: Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001. Electr. Notes Theor. Comput. Sci. 50(3): (2001)
2000
26 Mauro Pezzè, Luciano Baresi: Can Graph Grammars Make Formal Methods More Human? ICALP Satellite Workshops 2000: 387-394
25EEJeff Magee, Mauro Pezzè: The ICSE2000 doctoral workshop. ICSE 2000: 697
24EEUgo A. Buy, Alessandro Orso, Mauro Pezzè: Automated Testing of Classes. ISSTA 2000: 39-48
1999
23EELuciano Baresi, Mauro Pezzè: A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. AGTIVE 1999: 193-208
1998
22EEFrancesco Calzolari, Mauro Pezzè: A non-temporized approach for temporized analysis. ECRTS 1998: 154-161
21EELuciano Baresi, Mauro Pezzè: Toward Formalizing Structured Analysis. ACM Trans. Softw. Eng. Methodol. 7(1): 80-107 (1998)
1997
20EELuciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè: LEMMA: a language for easy medical models analysis. CBMS 1997: 244-249
19EEMauro Pezzè, Michal Young: Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. ICSE 1997: 239-249
18EELuciano Baresi, Alessandro Orso, Mauro Pezzè: Introducing Formal Specification Methods in Industrial Practice. ICSE 1997: 56-66
17 Christof Ebert, Tomoo Matsubara, Todd Webb, Mauro Pezzè, Olav W. Bertelsen: The Road to Maturity: Navigating Between Craft and Science. IEEE Software 14(6): 77-82 (1997)
1996
16EEMauro Pezzè, Sergio Silva: A Software Architecture Approach for Designing CASE Systems. ICECCS 1996: 47-50
15EEMauro Pezzè, Michal Young: Generation of Multi-Formalism State-Space Analysis Tools. ISSTA 1996: 172-179
1995
14EELuciano Baresi, Alessandro Orso, Mauro Pezzè: Customizable notations for kernel formalisms. ICECCS 1995: 43-
13EEMauro Pezzè, Richard N. Taylor, Michal Young: Graph Models for Reachability of Concurrent Programs. ACM Trans. Softw. Eng. Methodol. 4(2): 171-213 (1995)
1994
12EECarlo Ghezzi, Sandro Morasca, Mauro Pezzè: Validating timing requirements for time basic net specifications. Journal of Systems and Software 27(2): 97-117 (1994)
1993
11EEMiguel Felder, Carlo Ghezzi, Mauro Pezzè: Analyzing Refinements of State Based Specifications: The Case of TB Nets. ISSTA 1993: 28-39
10 Carlo Bellettini, Miguel Felder, Mauro Pezzè: Merlot: A Tool for Analysis of Real-Time Specifications. IWSSD 1993: 110-121
9 Carlo Ghezzi, Mauro Pezzè: Towards Extensible Graphical Formalisms. IWSSD 1993: 69-77
8 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)
7 René Elmstrøm, Raino Lintulampi, Mauro Pezzè: Giving Semantics to SA/RT by Means of High-Level Times Petri Nets. Real-Time Systems 5(2-3): 249-271 (1993)
1991
6EECarlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè: A Unified High-Level Petri Net Formalism for Time-Critical Systems. IEEE Trans. Software Eng. 17(2): 160-172 (1991)
5 Sandro Morasca, Mauro Pezzè, Marco Trubian: Timed High-Level Nets. Real-Time Systems 3(2): 165-189 (1991)
1989
4 Sandro Morasca, Mauro Pezzè: Validation of Concurrent ADA Programs using Symbolic Execution. ESEC 1989: 469-486
3 Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè: Symbolic Execution of Concurrent Systems Using Petri Nets. Comput. Lang. 14(4): 263-281 (1989)
1987
2 Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè: On the Role of Software Reliability in Software Engineering. Software Reliability Modelling and Identification 1987: 1-40
1986
1EEFlaminio Borgonovo, Enrico Cadorin, Luigi Fratta, Mauro Pezzè: Voice and data performance measurements in L-express net. SIGCOMM 1986: 120-125

Coauthor Index

1Andrea Baldini [41] [49]
2Luciano Baresi [14] [18] [20] [21] [23] [26] [27] [28] [31] [32] [37] [47] [51] [56] [57]
3Carlo Bellettini [10]
4Olav W. Bertelsen [17]
5Flaminio Borgonovo [1]
6Ugo A. Buy [24]
7Enrico Cadorin [1]
8Francesco Calzolari [22]
9Antonio Carzaniga [69]
10Hervé Chang [74]
11Alberto Coen-Porisini [30]
12Giovanni Denaro [30] [34] [35] [38] [39] [41] [42] [49] [52] [53] [58] [62] [64] [65] [66] [73]
13Christof Ebert [17]
14Hartmut Ehrig [67] [72]
15René Elmstrøm [7]
16Miguel Felder [8] [10] [11] [33]
17Luigi Fratta [1]
18Antonio Gargiulo [20]
19Carlo Ghezzi [2] [3] [6] [8] [9] [11] [12] [30]
20Alessandra Gorla [69] [73]
21Leen Lambers [67] [72]
22Raino Lintulampi [7]
23Giuseppe Lipari [49]
24Davide Lorenzoli [71]
25Jeff Magee (Jeff N. Magee) [25]
26Dino Mandrioli [3] [6]
27Leonardo Mariani [39] [46] [48] [53] [55] [61] [63] [67] [71] [72] [74]
28Vincenzo Martena [36]
29Tomoo Matsubara [17]
30Marco Mauri [32]
31Sandro Morasca [3] [4] [5] [6] [12] [34] [38]
32Angelo Morzenti [2]
33David Notkin [70]
34Alessandro Orso [14] [18] [24] [36]
35Manuele Di Paola [20]
36Sofia Papagiannakis [63]
37Gian Pietro Picco [54]
38Lori L. Pollock [59]
39Paolo Prinetto [41]
40Davide Rogai [49]
41Matteo Rossi [49]
42Bruce Schafer [43]
43Daniela Schilling [58]
44Sol M. Shatz [29]
45Onn Shehory [65] [66]
46Sergio Silva [16]
47Gabriele Taentzer [27]
48Richard N. Taylor [13]
49Davide Tosi [52] [53] [54] [58] [62] [64]
50Marco Trubian [5]
51Todd Webb [17]
52David Willmor [46]
53Michal Young [13] [15] [19] [45]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)