Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mauro Pezzè
2010 – today
- 2013
[j34]Giovanni Toffetti, Mauro Pezzè: Graph transformations and software engineering: Success stories and lost chances. J. Vis. Lang. Comput. 24(3): 207-217 (2013)- [c67]Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè: Automatic recovery from runtime failures. ICSE 2013: 782-791
- 2012
- [c66]
- [c65]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro: AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. ICST 2012: 81-90
- [c64]Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè: Supporting Test Suite Evolution through Test Case Adaptation. ICST 2012: 231-240
- [e4]Martin Glinz, Gail C. Murphy, Mauro Pezzè (Eds.): 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. IEEE 2012, ISBN 978-1-4673-1067-3
- 2011
- [j33]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)
- [j32]Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè: Dynamic Analysis for Diagnosing Integration Faults. IEEE Trans. Software Eng. 37(4): 486-508 (2011)
- [c63]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro: AutoBlackTest: a tool for automatic black-box testing. ICSE 2011: 1013-1015
- [i1]Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller: Self-Repairing Programs (Dagstuhl Seminar 11062). Dagstuhl Reports 1(2): 16-29 (2011)
- 2010
- [j31]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)
- [c62]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke: Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010: 1-32
- [c61]Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, João Pedro Sousa, Basil Becker, Gabor Karsai, Serge Mankovski, Mauro Pezzè, Wilhelm Schäfer, Ladan Tahvildari, Kenny Wong: Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems. Software Engineering for Self-Adaptive Systems 2010: 108-132
- [c60]Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè: RAW: runtime automatic workarounds. ICSE (2) 2010: 321-322
- [c59]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
- [c58]Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè: Automatically repairing test cases for evolving method declarations. ICSM 2010: 1-5
- [c57]Giovanni Toffetti, Alessio Gambi, Mauro Pezzè, Cesare Pautasso: Engineering Autonomic Controllers for Virtualized Web Applications. ICWE 2010: 66-80
- [c56]Pietro Braione, Giovanni Denaro, Mauro Pezzè: On the Integration of Software Testing and Formal Analysis. LASER Summer School 2010: 158-193
- [c55]Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè: Automatic workarounds for web applications. SIGSOFT FSE 2010: 237-246
2000 – 2009
- 2009
- [j30]Davide Tosi, Giovanni Denaro, Mauro Pezzè: Towards autonomic service-oriented applications. Int. J. Auton. Comp. 1(1): 58-80 (2009)
- [c54]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
- [c53]Mauro Pezzè, Jochen Wuttke: Automatic Generation of Runtime Failure Detectors from Property Templates. Software Engineering for Self-Adaptive Systems 2009: 223-240
- [c52]Alessio Gambi, Mauro Pezzè, Michal Young: SLA Protection models for virtualized data centers. SEAMS 2009: 10-19
- [c51]Hervé Chang, Leonardo Mariani, Mauro Pezzè: In-field healing of integration problems with COTS components. ICSE 2009: 166-176
- [c50]Antonio Carzaniga, Giovanni Denaro, Mauro Pezzè, Jacky Estublier, Alexander L. Wolf: Toward deeply adaptive societies of digital systems. ICSE Companion 2009: 331-334
- [c49]Mauro Pezzè, Jochen Wuttke: LuMiNous - model-driven assertion generation for runtime failure detection. ICSE Companion 2009: 411-412
- [c48]Giovanni Denaro, Alessandra Gorla, Mauro Pezzè: DaTeC: Contextual data flow testing of java classes. ICSE Companion 2009: 421-422
- [c47]Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè: A toolset for automated failure analysis. ICSE 2009: 563-566
- [c46]Giovanni Denaro, Mauro Pezzè, Davide Tosi: Ensuring interoperable service-oriented systems through engineered self-healing. ESEC/SIGSOFT FSE 2009: 253-262
- [c45]David Lo, Leonardo Mariani, Mauro Pezzè: Automatic steering of behavioral model inference. ESEC/SIGSOFT FSE 2009: 345-354
- 2008
- [j29]Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè: Healing Web applications through automatic workarounds. STTT 10(6): 493-502 (2008)
- [j28]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)
- [c44]Giovanni Denaro, Alessandra Gorla, Mauro Pezzè: Contextual Integration Testing of Classes. FASE 2008: 246-260
- [c43]Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè: A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406
- [c42]Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè: Handling Software Faults with Redundancy. WADS 2008: 148-171
- [c41]Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè: Automatic generation of software behavioral models. ICSE 2008: 501-510
- [c40]Hervé Chang, Leonardo Mariani, Mauro Pezzè: Self-healing strategies for component integration faults. ASE Workshops 2008: 25-32
- 2007
- [b1]Mauro Pezzè, Michal Young: Software testing and analysis - process, principles and techniques. Wiley 2007, ISBN 978-0-471-45593-6, pp. I-XXII, 1-488
- [j27]Leonardo Mariani, Mauro Pezzè: Dynamic Detection of COTS Component Incompatibility. IEEE Software 24(5): 76-85 (2007)
- [j26]
- [c39]Giovanni Denaro, Mauro Pezzè, Davide Tosi: Designing Self-Adaptive Service-Oriented Applications. ICAC 2007: 16
- [c38]Giovanni Denaro, Mauro Pezzè, Davide Tosi: SHIWS: A Self-Healing Integrator for Web Services. ICSE Companion 2007: 55-56
- [c37]Leonardo Mariani, Sofia Papagiannakis, Mauro Pezzè: Compatibility and Regression Testing of COTS-Component-Based Software. ICSE 2007: 85-95
- [c36]Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè: Towards Self-Protecting Enterprise Applications. ISSRE 2007: 39-48
- [c35]Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè: Iterative model-driven development of adaptable service-based applications. ASE 2007: 453-456
- [c34]Giovanni Denaro, Mauro Pezzè, Onn Shehory: SOQUA 2007: 4th international workshop on software quality assurance. ESEC/SIGSOFT FSE 2007: 615-616
- [c33]Giovanni Denaro, Mauro Pezzè, Onn Shehory: SOQUA 2007 4th international workshop on software quality assurance. ESEC/SIGSOFT FSE (Companion) 2007: 615-616
- [e3]Mauro Pezzè (Ed.): 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, ISBN 978-1-59593-724-7
- 2006
- [j25]Luciano Baresi, Mauro Pezzè: An Introduction to Software Testing. Electr. Notes Theor. Comput. Sci. 148(1): 89-111 (2006)
- [c32]Giovanni Denaro, Mauro Pezzè, Davide Tosi, Daniela Schilling: Towards self-adaptive service-oriented architectures. TAV-WEB 2006: 10-16
- [e2]Lori L. Pollock, Mauro Pezzè (Eds.): Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006. ACM 2006, ISBN 1-59593-263-1
- 2005
- [j24]
- [j23]Leonardo Mariani, Mauro Pezzè: A Technique for Verifying Component-Based Software. Electr. Notes Theor. Comput. Sci. 116: 17-30 (2005)
- [j22]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)
- [j21]Luciano Baresi, Mauro Pezzè: Petri Nets as Semantic Domain for Diagram Notations. Electr. Notes Theor. Comput. Sci. 127(2): 29-44 (2005)
- [j20]Giovanni Denaro, Mauro Pezzè, Davide Tosi: Adaptive integration of third-party web services. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)
- [j19]Luciano Baresi, Mauro Pezzè: Formal interpreters for diagram notations. ACM Trans. Softw. Eng. Methodol. 14(1): 42-84 (2005)
- [c31]Luciano Baresi, Mauro Pezzè: From Graph Transformation to Software Engineering and Back. Formal Methods in Software and Systems Modeling 2005: 24-37
- [c30]Leonardo Mariani, Mauro Pezzè: Behavior Capture and Test: Automated Analysis of Component Integration. ICECCS 2005: 292-301
- [c29]Mauro Pezzè, Davide Tosi, Gian Pietro Picco: Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. ICECCS 2005: 569-578
- [c28]Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi: Adaptive Runtime Verification for Autonomic Communication Infrastructures. WOWMOM 2005: 553-557
- 2004
- [c27]Leonardo Mariani, Mauro Pezzè, David Willmor: Generation of Integration Tests for Self-Testing Components. FORTE Workshops 2004: 337-350
- [c26]
- 2003
- [j18]Giovanni Denaro, Leonardo Mariani, Mauro Pezzè: Self-Test Components for Highly Reconfigurable Systems. Electr. Notes Theor. Comput. Sci. 82(6): 89-98 (2003)
- [j17]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)
- [j16]
- [j15]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)
- [c25]Giovanni Denaro, Mauro Pezzè: Petri Nets and Software Engineering. Lectures on Concurrency and Petri Nets 2003: 439-466
- [c24]
- [e1]Mauro Pezzè (Ed.): 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. Lecture Notes in Computer Science 2621, Springer 2003, ISBN 3-540-00899-3
- 2002
- [j14]Luciano Baresi, Marco Mauri, Mauro Pezzè: PLCTools: Graph Transformation Meets PLC Design. Electr. Notes Theor. Comput. Sci. 72(2): 79 (2002)
- [j13]Miguel Felder, Mauro Pezzè: A formal design notation for real-time systems. ACM Trans. Softw. Eng. Methodol. 11(2): 149-190 (2002)
- [c23]Luciano Baresi, Mauro Pezzè: A Toolbox for Automating Visual Software Engineering. FASE 2002: 189-202
- [c22]Vincenzo Martena, Alessandro Orso, Mauro Pezzè: Interclass Testing of Object Oriented Software. ICECCS 2002: 135-144
- [c21]
- [c20]Giovanni Denaro, Sandro Morasca, Mauro Pezzè: Deriving models of software fault-proneness. SEKE 2002: 361-368
- 2001
- [j12]
- [j11]Luciano Baresi, Mauro Pezzè: Improving UML with Petri nets. Electr. Notes Theor. Comput. Sci. 44(4): 107-119 (2001)
- [j10]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)
- [c19]Luciano Baresi, Mauro Pezzè: On Formalizing UML with High-Level Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 276-304
- [c18]Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè: Using symbolic execution for verifying safety-critical systems. ESEC / SIGSOFT FSE 2001: 142-151
- 2000
- [c17]Mauro Pezzè, Luciano Baresi: Can Graph Grammars Make Formal Methods More Human? ICALP Satellite Workshops 2000: 387-394
- [c16]
- [c15]
1990 – 1999
- 1999
- [c14]Luciano Baresi, Mauro Pezzè: A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. AGTIVE 1999: 193-208
- 1998
- [j9]Luciano Baresi, Mauro Pezzè: Toward Formalizing Structured Analysis. ACM Trans. Softw. Eng. Methodol. 7(1): 80-107 (1998)
- [c13]Francesco Calzolari, Mauro Pezzè: A non-temporized approach for temporized analysis. ECRTS 1998: 154-161
- 1997
- [j8]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)
- [c12]Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè: LEMMA: a language for easy medical models analysis. CBMS 1997: 244-249
- [c11]Luciano Baresi, Alessandro Orso, Mauro Pezzè: Introducing Formal Specification Methods in Industrial Practice. ICSE 1997: 56-66
- [c10]Mauro Pezzè, Michal Young: Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. ICSE 1997: 239-249
- 1996
- [c9]Mauro Pezzè, Sergio Silva: A Software Architecture Approach for Designing CASE Systems. ICECCS 1996: 47-50
- [c8]Mauro Pezzè, Michal Young: Generation of Multi-Formalism State-Space Analysis Tools. ISSTA 1996: 172-179
- 1995
- [j7]Mauro Pezzè, Richard N. Taylor, Michal Young: Graph Models for Reachability of Concurrent Programs. ACM Trans. Softw. Eng. Methodol. 4(2): 171-213 (1995)
- [c7]Luciano Baresi, Alessandro Orso, Mauro Pezzè: Customizable notations for kernel formalisms. ICECCS 1995: 43-
- 1994
- [j6]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
- [j5]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)
- [j4]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)
- [c6]Miguel Felder, Carlo Ghezzi, Mauro Pezzè: Analyzing Refinements of State Based Specifications: The Case of TB Nets. ISSTA 1993: 28-39
- [c5]
- [c4]Carlo Bellettini, Miguel Felder, Mauro Pezzè: Merlot: A Tool for Analysis of Real-Time Specifications. IWSSD 1993: 110-121
- 1991
- [j3]Sandro Morasca, Mauro Pezzè, Marco Trubian: Timed High-Level Nets. Real-Time Systems 3(2): 165-189 (1991)
- [j2]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)
1980 – 1989
- 1989
- [j1]Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè: Symbolic Execution of Concurrent Systems Using Petri Nets. Comput. Lang. 14(4): 263-281 (1989)
- [c3]Sandro Morasca, Mauro Pezzè: Validation of Concurrent ADA Programs using Symbolic Execution. ESEC 1989: 469-486
- 1987
- [c2]Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè: On the Role of Software Reliability in Software Engineering. Software Reliability Modelling and Identification 1987: 1-40
- 1986
- [c1]Flaminio Borgonovo, Enrico Cadorin, Luigi Fratta, Mauro Pezzè: Voice and data performance measurements in L-express net. SIGCOMM 1986: 120-125
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 21:47 CEST by the dblp team