Mauro Pezzè - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

RAW: runtime automatic workaroundsAntonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè. ICSE 2010: 321-322 [doi]

Automatic workarounds for web applicationsAntonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè. FSE 2010: 237-246 [doi]

Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010)Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor. ICSE 2010: 447-448 [doi]

Achieving Cost-Effective Software Reliability Through Self-HealingAlessandra Gorla, Mauro Pezzè, Jochen Wuttke, Leonardo Mariani, Fabrizio Pastore. cai, 29(1):93-115, 2010. [doi]

Automatically repairing test cases for evolving method declarationsMehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè. ICSM 2010: 1-5 [doi]

Engineering Autonomic Controllers for Virtualized Web ApplicationsGiovanni Toffetti, Alessio Gambi, Mauro Pezzè, Cesare Pautasso. ICWE 2010: 66-80 [doi]

2009

Engineering Self-Adaptive Systems through Feedback LoopsYuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger M. Giese, Holger Kienle, Marin Litoiu, Hausi A. Müller, Mauro Pezzè, Mary Shaw. dagstuhl 2009: 48-70 [doi]

Toward deeply adaptive societies of digital systemsAntonio Carzaniga, Giovanni Denaro, Mauro Pezzè, Jacky Estublier, Alexander L. Wolf. ICSE 2009: 331-334 [doi]

In-field healing of integration problems with COTS componentsHervé Chang, Leonardo Mariani, Mauro Pezzè. ICSE 2009: 166-176 [doi]

DaTeC: Contextual data flow testing of java classesGiovanni Denaro, Alessandra Gorla, Mauro Pezzè. ICSE 2009: 421-422 [doi]

SLA Protection models for virtualized data centersAlessio Gambi, Mauro Pezzè, Michal Young. ICSE 2009: 10-19 [doi]

A toolset for automated failure analysisLeonardo Mariani, Fabrizio Pastore, Mauro Pezzè. ICSE 2009: 563-566 [doi]

Automatic Generation of Runtime Failure Detectors from Property TemplatesMauro Pezzè, Jochen Wuttke. dagstuhl 2009: 223-240 [doi]

LuMiNous - model-driven assertion generation for runtime failure detectionMauro Pezzè, Jochen Wuttke. ICSE 2009: 411-412 [doi]

2008

2007

Designing Self-Adaptive Service-Oriented ApplicationsGiovanni Denaro, Mauro Pezzè, Davide Tosi. icac 2007: 16 [doi]

SOQUA 2007 4th international workshop on software quality assuranceGiovanni Denaro, Mauro Pezzè, Onn Shehory. ESEC/FSE 2007: 615-616 [doi]

SOQUA 2007: 4th international workshop on software quality assuranceGiovanni Denaro, Mauro Pezzè, Onn Shehory. ESEC/FSE 2007: 615-616 [doi]

SHIWS: A Self-Healing Integrator for Web ServicesGiovanni Denaro, Mauro Pezzè, Davide Tosi. ICSE 2007: 55-56 [doi]

Iterative model-driven development of adaptable service-based applicationsLeen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè. ASE 2007: 453-456 [doi]

Towards Self-Protecting Enterprise ApplicationsDavide Lorenzoli, Leonardo Mariani, Mauro Pezzè. issre 2007: 39-48 [doi]

Dynamic Detection of COTS Component IncompatibilityLeonardo Mariani, Mauro Pezzè. IEEE Software, 24(5):76-85, 2007. [doi]

Compatibility and Regression Testing of COTS-Component-Based SoftwareLeonardo Mariani, Sofia Papagiannakis, Mauro Pezzè. ICSE 2007: 85-95 [doi]

Fourth International Workshop on Software Quality Assurance, SOQUA 2007, in conjunction with the 6th ESEC/FSE joint meeting, Dubrovnik, Croatia, September 3-4, 2007Mauro Pezzè, editor, ACM, 2007.

Introduction to the special section on FASE 2003Mauro Pezzè. STTT, 9(2):133-134, 2007. [doi]

Software testing and analysis - process, principles and techniquesMauro Pezzè, Michal Young. Wiley, 2007.

2006

An Introduction to Software TestingLuciano Baresi, Mauro Pezzè. ENTCS, 148(1):89-111, 2006. [doi]

Towards self-adaptive service-oriented architecturesGiovanni Denaro, Mauro Pezzè, Davide Tosi, Daniela Schilling. ISSTA 2006: 10-16 [doi]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006Lori L. Pollock, Mauro Pezzè, editors, ACM, 2006.

2005

Petri Nets as Semantic Domain for Diagram NotationsLuciano Baresi, Mauro Pezzè. ENTCS, 127(2):29-44, 2005. [doi]

Formal interpreters for diagram notationsLuciano Baresi, Mauro Pezzè. TOSEM, 14(1):42-84, 2005. [doi]

From Graph Transformation to Software Engineering and BackLuciano Baresi, Mauro Pezzè. BIRTHDAY 2005: 24-37 [doi]

Adaptive Runtime Verification for Autonomic Communication InfrastructuresGiovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi. wowmom 2005: 553-557 [doi]

Adaptive integration of third-party web servicesGiovanni Denaro, Mauro Pezzè, Davide Tosi. sigsoft, 30(4):1-6, 2005. [doi]

Behavior Capture and Test: Automated Analysis of Component IntegrationLeonardo Mariani, Mauro Pezzè. iceccs 2005: 292-301 [doi]

A Technique for Verifying Component-Based SoftwareLeonardo Mariani, Mauro Pezzè. ENTCS, 116:17-30, 2005. [doi]

QUACK: A Platform for the Quality of New Generation Integrated Embedded SystemsMauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai. ENTCS, 116:113-131, 2005. [doi]

PrefaceMauro Pezzè. ENTCS, 116:1-2, 2005. [doi]

Scavenging Complex Genomic Information Using Mobile Code: An EvaluationMauro Pezzè, Davide Tosi, Gian Pietro Picco. iceccs 2005: 569-578 [doi]

2004

Generation of Integration Tests for Self-Testing ComponentsLeonardo Mariani, Mauro Pezzè, David Willmor. forte 2004: 337-350 [doi]

Testing Object Oriented SoftwareMauro Pezzè, Michal Young. ICSE 2004: 739-740 [doi]

2003

Design for Testability for Highly Reconfigurable Component-Based SystemsAndrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè. ENTCS, 82(6), 2003. [doi]

Towards Industrially Relevant Fault-Proneness ModelsGiovanni Denaro, Mauro Pezzè, Sandro Morasca. ijseke, 13(4):395-417, 2003. [doi]

Petri Nets and Software EngineeringGiovanni Denaro, Mauro Pezzè. ac 2004: 439-466 [doi]

Self-Test Components for Highly Reconfigurable SystemsGiovanni Denaro, Leonardo Mariani, Mauro Pezzè. ENTCS, 82(6), 2003. [doi]

PrefaceMauro Pezzè. ENTCS, 82(6), 2003. [doi]

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, ProceedingsMauro Pezzè, editor, Volume 2621 of Lecture Notes in Computer Science, Springer, 2003.

Research Demonstrations and PostersBruce Schafer, Mauro Pezzè. ICSE 2003: 800-801 [doi]

2002

2001

2000

Automated Testing of ClassesUgo A. Buy, Alessandro Orso, Mauro Pezzè. ISSTA 2000: 39-48 [doi]

The ICSE2000 doctoral workshopJeff Magee, Mauro Pezzè. ICSE 2000: 697 [doi]

Can Graph Grammars Make Formal Methods More Human?Mauro Pezzè, Luciano Baresi. icalp 2000: 387-394

1999

A Formal Definition of Stuctured Analysis with Programmable Graph GrammarsLuciano Baresi, Mauro Pezzè. agtive 2000: 193-208 [doi]

1998

Toward Formalizing Structured AnalysisLuciano Baresi, Mauro Pezzè. TOSEM, 7(1):80-107, 1998. [doi]

A non-temporized approach for temporized analysisFrancesco Calzolari, Mauro Pezzè. ecrts 1998: 154-161 [doi]

1997

1996

Generation of Multi-Formalism State-Space Analysis ToolsMauro Pezzè, Michal Young. ISSTA 1996: 172-179 [doi]

A Software Architecture Approach for Designing CASE SystemsMauro Pezzè, Sergio Silva. iceccs 1996: 47-50 [doi]

1995

Customizable notations for kernel formalismsLuciano Baresi, Alessandro Orso, Mauro Pezzè. iceccs 1995: 43 [doi]

Graph Models for Reachability of Concurrent ProgramsMauro Pezzè, Richard N. Taylor, Michal Young. TOSEM, 4(2):171-213, 1995. [doi]

1994

Validating timing requirements for time basic net specificationsCarlo Ghezzi, Sandro Morasca, Mauro Pezzè. jss, 27(2):97-117, 1994. [doi]

1993

1991

A Unified High-Level Petri Net Formalism for Time-Critical SystemsCarlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè. TSE, 17(2):160-172, 1991. [doi]

Timed High-Level NetsSandro Morasca, Mauro Pezzè, Marco Trubian. rts, 3(2):165-189, 1991.

1989

Symbolic Execution of Concurrent Systems Using Petri NetsCarlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè. Comp. Lang., Syst. \& Struct., 14(4):263-281, 1989.

Validation of Concurrent ADA Programs using Symbolic ExecutionSandro Morasca, Mauro Pezzè. ESEC/FSE 1989: 469-486

1987

On the Role of Software Reliability in Software EngineeringCarlo Ghezzi, Angelo Morzenti, Mauro Pezzè. ac 1988: 1-40

1986

Voice and data performance measurements in L-express netFlaminio Borgonovo, Enrico Cadorin, Luigi Fratta, Mauro Pezzè. sigcomm 1986: 120-125 [doi]