Mauro Pezzè

	2011
98		Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro: AutoBlackTest: a tool for automatic black-box testing. ICSE 2011: 1013-1015
97		Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller: Self-Repairing Programs (Dagstuhl Seminar 11062). Dagstuhl Reports 1(2): 16-29 (2011)
96		Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè: Dynamic Analysis for Diagnosing Integration Faults. IEEE Trans. Software Eng. 37(4): 486-508 (2011)
95		Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè: Enhancing structural software coverage by incrementally computing branch executability. Software Quality Journal 19(4): 725-751 (2011)
	2010
94		Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè: RAW: runtime automatic workarounds. ICSE (2) 2010: 321-322
93		Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor: Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) 2010: 447-448
92		Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè: Automatically repairing test cases for evolving method declarations. ICSM 2010: 1-5
91		Giovanni Toffetti, Alessio Gambi, Mauro Pezzè, Cesare Pautasso: Engineering Autonomic Controllers for Virtualized Web Applications. ICWE 2010: 66-80
90		Pietro Braione, Giovanni Denaro, Mauro Pezzè: On the Integration of Software Testing and Formal Analysis. LASER Summer School 2010: 158-193
89		Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè: Automatic workarounds for web applications. SIGSOFT FSE 2010: 237-246
88		Alessandra Gorla, Mauro Pezzè, Jochen Wuttke, Leonardo Mariani, Fabrizio Pastore: Achieving Cost-Effective Software Reliability Through Self-Healing. Computing and Informatics 29(1): 93-115 (2010)
	2009
87		Giovanni Denaro, Mauro Pezzè, Davide Tosi: Ensuring interoperable service-oriented systems through engineered self-healing. ESEC/SIGSOFT FSE 2009: 253-262
86		David Lo, Leonardo Mariani, Mauro Pezzè: Automatic steering of behavioral model inference. ESEC/SIGSOFT FSE 2009: 345-354
85		Hervé Chang, Leonardo Mariani, Mauro Pezzè: In-field healing of integration problems with COTS components. ICSE 2009: 166-176
84		Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè: A toolset for automated failure analysis. ICSE 2009: 563-566
83		Antonio Carzaniga, Giovanni Denaro, Mauro Pezzè, Jacky Estublier, Alexander L. Wolf: Toward deeply adaptive societies of digital systems. ICSE Companion 2009: 331-334
82		Mauro Pezzè, Jochen Wuttke: LuMiNous - model-driven assertion generation for runtime failure detection. ICSE Companion 2009: 411-412
81		Giovanni Denaro, Alessandra Gorla, Mauro Pezzè: DaTeC: Contextual data flow testing of java classes. ICSE Companion 2009: 421-422
80		Alessio Gambi, Mauro Pezzè, Michal Young: SLA Protection models for virtualized data centers. SEAMS 2009: 10-19
79		Mauro Pezzè, Jochen Wuttke: Automatic Generation of Runtime Failure Detectors from Property Templates. Software Engineering for Self-Adaptive Systems 2009: 223-240
78		Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger M. Kienle, Marin Litoiu, Hausi A. Müller, Mauro Pezzè, Mary Shaw: Engineering Self-Adaptive Systems through Feedback Loops. Software Engineering for Self-Adaptive Systems 2009: 48-70
	2008
77		Hervé Chang, Leonardo Mariani, Mauro Pezzè: Self-healing strategies for component integration faults. ASE Workshops 2008: 25-32
76		Giovanni Denaro, Alessandra Gorla, Mauro Pezzè: Contextual Integration Testing of Classes. FASE 2008: 246-260
75		Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè: A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406
74		Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè: Automatic generation of software behavioral models. ICSE 2008: 501-510
73		Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè: Handling Software Faults with Redundancy. WADS 2008: 148-171
72		David 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)
71		Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè: Healing Web applications through automatic workarounds. STTT 10(6): 493-502 (2008)
	2007
70		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
69		Mauro Pezzè, Michal Young: Software testing and analysis - process, principles and techniques. Wiley 2007: I-XXII, 1-488
68		Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè: Iterative model-driven development of adaptable service-based applications. ASE 2007: 453-456
67		Giovanni Denaro, Mauro Pezzè, Onn Shehory: SOQUA 2007: 4th international workshop on software quality assurance. ESEC/SIGSOFT FSE 2007: 615-616
66		Giovanni Denaro, Mauro Pezzè, Onn Shehory: SOQUA 2007 4th international workshop on software quality assurance. ESEC/SIGSOFT FSE (Companion) 2007: 615-616
65		Giovanni Denaro, Mauro Pezzè, Davide Tosi: Designing Self-Adaptive Service-Oriented Applications. ICAC 2007: 16
64		Leonardo Mariani, Sofia Papagiannakis, Mauro Pezzè: Compatibility and Regression Testing of COTS-Component-Based Software. ICSE 2007: 85-95
63		Giovanni Denaro, Mauro Pezzè, Davide Tosi: SHIWS: A Self-Healing Integrator for Web Services. ICSE Companion 2007: 55-56
62		Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè: Towards Self-Protecting Enterprise Applications. ISSRE 2007: 39-48
61		Leonardo Mariani, Mauro Pezzè: Dynamic Detection of COTS Component Incompatibility. IEEE Software 24(5): 76-85 (2007)
60		Mauro 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
58		Giovanni Denaro, Mauro Pezzè, Davide Tosi, Daniela Schilling: Towards self-adaptive service-oriented architectures. TAV-WEB 2006: 10-16
57		Luciano Baresi, Mauro Pezzè: An Introduction to Software Testing. Electr. Notes Theor. Comput. Sci. 148(1): 89-111 (2006)
	2005
56		Luciano Baresi, Mauro Pezzè: From Graph Transformation to Software Engineering and Back. Formal Methods in Software and Systems Modeling 2005: 24-37
55		Leonardo Mariani, Mauro Pezzè: Behavior Capture and Test: Automated Analysis of Component Integration. ICECCS 2005: 292-301
54		Mauro Pezzè, Davide Tosi, Gian Pietro Picco: Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. ICECCS 2005: 569-578
53		Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi: Adaptive Runtime Verification for Autonomic Communication Infrastructures. WOWMOM 2005: 553-557
52		Giovanni Denaro, Mauro Pezzè, Davide Tosi: Adaptive integration of third-party web services. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)
51		Luciano Baresi, Mauro Pezzè: Formal interpreters for diagram notations. ACM Trans. Softw. Eng. Methodol. 14(1): 42-84 (2005)
50		Mauro Pezzè: Preface. Electr. Notes Theor. Comput. Sci. 116: 1-2 (2005)
49		Mauro 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)
48		Leonardo Mariani, Mauro Pezzè: A Technique for Verifying Component-Based Software. Electr. Notes Theor. Comput. Sci. 116: 17-30 (2005)
47		Luciano Baresi, Mauro Pezzè: Petri Nets as Semantic Domain for Diagram Notations. Electr. Notes Theor. Comput. Sci. 127(2): 29-44 (2005)
	2004
46		Leonardo Mariani, Mauro Pezzè, David Willmor: Generation of Integration Tests for Self-Testing Components. FORTE Workshops 2004: 337-350
45		Mauro 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
43		Bruce Schafer, Mauro Pezzè: Research Demonstrations and Posters. ICSE 2003: 800-801
42		Giovanni Denaro, Mauro Pezzè: Petri Nets and Software Engineering. Lectures on Concurrency and Petri Nets 2003: 439-466
41		Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè: Design for Testability for Highly Reconfigurable Component-Based Systems. Electr. Notes Theor. Comput. Sci. 82(6): 199-208 (2003)
40		Mauro Pezzè: Preface. Electr. Notes Theor. Comput. Sci. 82(6): 209-210 (2003)
39		Giovanni Denaro, Leonardo Mariani, Mauro Pezzè: Self-Test Components for Highly Reconfigurable Systems. Electr. Notes Theor. Comput. Sci. 82(6): 89-98 (2003)
38		Giovanni 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
37		Luciano Baresi, Mauro Pezzè: A Toolbox for Automating Visual Software Engineering. FASE 2002: 189-202
36		Vincenzo Martena, Alessandro Orso, Mauro Pezzè: Interclass Testing of Object Oriented Software. ICECCS 2002: 135-144
35		Giovanni Denaro, Mauro Pezzè: An empirical evaluation of fault-proneness models. ICSE 2002: 241-251
34		Giovanni Denaro, Sandro Morasca, Mauro Pezzè: Deriving models of software fault-proneness. SEKE 2002: 361-368
33		Miguel Felder, Mauro Pezzè: A formal design notation for real-time systems. ACM Trans. Softw. Eng. Methodol. 11(2): 149-190 (2002)
32		Luciano Baresi, Marco Mauri, Mauro Pezzè: PLCTools: Graph Transformation Meets PLC Design. Electr. Notes Theor. Comput. Sci. 72(2): 79 (2002)
	2001
31		Luciano Baresi, Mauro Pezzè: On Formalizing UML with High-Level Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 276-304
30		Alberto 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)
28		Luciano Baresi, Mauro Pezzè: Improving UML with Petri nets. Electr. Notes Theor. Comput. Sci. 44(4): 107-119 (2001)
27		Luciano Baresi, Mauro Pezzè, Gabriele Taentzer: Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001. Electr. Notes Theor. Comput. Sci. 50(3): 325-326 (2001)
	2000
26		Mauro Pezzè, Luciano Baresi: Can Graph Grammars Make Formal Methods More Human? ICALP Satellite Workshops 2000: 387-394
25		Jeff Magee, Mauro Pezzè: The ICSE2000 doctoral workshop. ICSE 2000: 697
24		Ugo A. Buy, Alessandro Orso, Mauro Pezzè: Automated Testing of Classes. ISSTA 2000: 39-48
	1999
23		Luciano Baresi, Mauro Pezzè: A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. AGTIVE 1999: 193-208
	1998
22		Francesco Calzolari, Mauro Pezzè: A non-temporized approach for temporized analysis. ECRTS 1998: 154-161
21		Luciano Baresi, Mauro Pezzè: Toward Formalizing Structured Analysis. ACM Trans. Softw. Eng. Methodol. 7(1): 80-107 (1998)
	1997
20		Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè: LEMMA: a language for easy medical models analysis. CBMS 1997: 244-249
19		Mauro Pezzè, Michal Young: Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. ICSE 1997: 239-249
18		Luciano 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
16		Mauro Pezzè, Sergio Silva: A Software Architecture Approach for Designing CASE Systems. ICECCS 1996: 47-50
15		Mauro Pezzè, Michal Young: Generation of Multi-Formalism State-Space Analysis Tools. ISSTA 1996: 172-179
	1995
14		Luciano Baresi, Alessandro Orso, Mauro Pezzè: Customizable notations for kernel formalisms. ICECCS 1995: 43-
13		Mauro Pezzè, Richard N. Taylor, Michal Young: Graph Models for Reachability of Concurrent Programs. ACM Trans. Softw. Eng. Methodol. 4(2): 171-213 (1995)
	1994
12		Carlo Ghezzi, Sandro Morasca, Mauro Pezzè: Validating timing requirements for time basic net specifications. Journal of Systems and Software 27(2): 97-117 (1994)
	1993
11		Miguel 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
6		Carlo 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
1		Flaminio Borgonovo, Enrico Cadorin, Luigi Fratta, Mauro Pezzè: Voice and data performance measurements in L-express net. SIGCOMM 1986: 120-125

Coauthor Index

1	Andrea Baldini	[41] [49]
2	Mauro Baluda	[95]
3	Luciano Baresi	[14] [18] [20] [21] [23] [26] [27] [28] [31] [32] [37] [47] [51] [56] [57]
4	Carlo Bellettini	[10]
5	Olav W. Bertelsen (Olav Wedege Bertelsen)	[17]
6	Flaminio Borgonovo	[1]
7	Pietro Braione	[90] [95]
8	Yuriy Brun	[78]
9	Ugo A. Buy	[24]
10	Enrico Cadorin	[1]
11	Francesco Calzolari	[22]
12	Giovanni Toffetti Carughi (Giovanni Toffetti)	[91]
13	Antonio Carzaniga	[71] [73] [83] [89] [94]
14	Hervé Chang	[77] [85]
15	Betty H. C. Cheng	[93]
16	Alberto Coen-Porisini	[30]
17	Giovanni Denaro	[30] [34] [35] [38] [39] [41] [42] [49] [52] [53] [58] [63] [65] [66] [67] [76] [81] [83] [87] [90] [95]
18	Christof Ebert	[17]
19	Hartmut Ehrig	[68] [75]
20	René Elmstrøm	[7]
21	Jacky Estublier	[83]
22	Miguel Felder	[8] [10] [11] [33]
23	Luigi Fratta	[1]
24	Cristina Gacek	[78]
25	Alessio Gambi	[80] [91]
26	Antonio Gargiulo	[20]
27	David Garlan	[93]
28	Carlo Ghezzi	[2] [3] [6] [8] [9] [11] [12] [30]
29	Holger Giese	[78] [93]
30	Alessandra Gorla	[71] [73] [76] [81] [88] [89] [94]
31	Holger M. Kienle	[78]
32	Leen Lambers	[68] [75]
33	Rogério de Lemos	[93]
34	Raino Lintulampi	[7]
35	Giuseppe Lipari	[49]
36	Marin Litoiu	[78] [93]
37	David Lo	[86]
38	Davide Lorenzoli	[62] [74]
39	Jeff Magee (Jeff N. Magee)	[25] [93]
40	Dino Mandrioli	[3] [6]
41	Leonardo Mariani	[39] [46] [48] [53] [55] [61] [62] [64] [68] [74] [75] [77] [84] [85] [86] [88] [96] [98]
42	Vincenzo Martena	[36]
43	Tomoo Matsubara	[17]
44	Marco Mauri	[32]
45	Mehdi MirzaAghaei	[92]
46	Sandro Morasca	[3] [4] [5] [6] [12] [34] [38]
47	Angelo Morzenti	[2]
48	Hausi A. Müller	[78] [93]
49	David Notkin	[72]
50	Alessandro Orso	[14] [18] [24] [36]
51	Manuele Di Paola	[20]
52	Sofia Papagiannakis	[64]
53	Fabrizio Pastore	[84] [88] [92] [96]
54	Cesare Pautasso	[91]
55	Nicolò Perino	[89] [94]
56	Gian Pietro Picco	[54]
57	Lori L. Pollock	[59]
58	Paolo Prinetto	[41]
59	Oliviero Riganelli	[98]
60	Martin C. Rinard	[97]
61	Davide Rogai	[49]
62	Matteo Rossi	[49]
63	Mauro Santoro	[98]
64	Bruce Schafer	[43]
65	Daniela Schilling	[58]
66	Giovanna Di Marzo Serugendo	[78]
67	Sol M. Shatz	[29]
68	Mary Shaw	[78]
69	Onn Shehory	[66] [67]
70	Sergio Silva	[16]
71	Gabriele Taentzer	[27]
72	Richard Taylor	[93]
73	Richard N. Taylor	[13]
74	Davide Tosi	[52] [53] [54] [58] [63] [65] [87]
75	Marco Trubian	[5]
76	Todd Webb	[17]
77	Westley Weimer	[97]
78	David Willmor	[46]
79	Alexander L. Wolf	[83]
80	Jochen Wuttke	[79] [82] [88]
81	Michal Young	[13] [15] [19] [45] [69] [80]
82	Andreas Zeller	[97]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page