 | 2009 |
|---|
| 84 |       | Giovanni Denaro,
Mauro Pezzè,
Davide Tosi:
Ensuring interoperable service-oriented systems through engineered self-healing.
ESEC/SIGSOFT FSE 2009: 253-262 |
| 83 | | David Lo,
Leonardo Mariani,
Mauro Pezzè:
Automatic steering of behavioral model inference.
ESEC/SIGSOFT FSE 2009: 345-354 |
| 82 | | Hervé Chang,
Leonardo Mariani,
Mauro Pezzè:
In-field healing of integration problems with COTS components.
ICSE 2009: 166-176 |
| 81 | | Leonardo Mariani,
Fabrizio Pastore,
Mauro Pezzè:
A toolset for automated failure analysis.
ICSE 2009: 563-566 |
| 80 | | Antonio Carzaniga,
Giovanni Denaro,
Mauro Pezzè,
Jacky Estublier,
Alexander L. Wolf:
Toward deeply adaptive societies of digital systems.
ICSE Companion 2009: 331-334 |
| 79 | | Mauro Pezzè,
Jochen Wuttke:
LuMiNous - model-driven assertion generation for runtime failure detection.
ICSE Companion 2009: 411-412 |
| 78 | | Giovanni Denaro,
Alessandra Gorla,
Mauro Pezzè:
DaTeC: Contextual data flow testing of java classes.
ICSE Companion 2009: 421-422 |
| 77 | | Mauro Pezzè,
Jochen Wuttke:
Automatic Generation of Runtime Failure Detectors from Property Templates.
Software Engineering for Self-Adaptive Systems 2009: 223-240 |
| 76 | | 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 |
|---|
| 75 | | Hervé Chang,
Leonardo Mariani,
Mauro Pezzè:
Self-healing strategies for component integration faults.
ASE Workshops 2008: 25-32 |
| 74 | | Giovanni Denaro,
Alessandra Gorla,
Mauro Pezzè:
Contextual Integration Testing of Classes.
FASE 2008: 246-260 |
| 73 | | Leen Lambers,
Leonardo Mariani,
Hartmut Ehrig,
Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications.
FASE 2008: 392-406 |
| 72 | | Davide Lorenzoli,
Leonardo Mariani,
Mauro Pezzè:
Automatic generation of software behavioral models.
ICSE 2008: 501-510 |
| 71 | | Antonio Carzaniga,
Alessandra Gorla,
Mauro Pezzè:
Handling Software Faults with Redundancy.
WADS 2008: 148-171 |
| 70 | | 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) |
| 69 | | Antonio 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 |
| 67 | | Leen Lambers,
Hartmut Ehrig,
Leonardo Mariani,
Mauro Pezzè:
Iterative model-driven development of adaptable service-based applications.
ASE 2007: 453-456 |
| 66 | | Giovanni Denaro,
Mauro Pezzè,
Onn Shehory:
SOQUA 2007: 4th international workshop on software quality assurance.
ESEC/SIGSOFT FSE 2007: 615-616 |
| 65 | | Giovanni Denaro,
Mauro Pezzè,
Onn Shehory:
SOQUA 2007 4th international workshop on software quality assurance.
ESEC/SIGSOFT FSE (Companion) 2007: 615-616 |
| 64 | | Giovanni Denaro,
Mauro Pezzè,
Davide Tosi:
Designing Self-Adaptive Service-Oriented Applications.
ICAC 2007: 16 |
| 63 | | Leonardo Mariani,
Sofia Papagiannakis,
Mauro Pezzè:
Compatibility and Regression Testing of COTS-Component-Based Software.
ICSE 2007: 85-95 |
| 62 | | Giovanni Denaro,
Mauro Pezzè,
Davide Tosi:
SHIWS: A Self-Healing Integrator for Web Services.
ICSE Companion 2007: 55-56 |
| 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): (2003) |
| 40 | | Mauro Pezzè:
Preface.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 39 | | Giovanni Denaro,
Leonardo Mariani,
Mauro Pezzè:
Self-Test Components for Highly Reconfigurable Systems.
Electr. Notes Theor. Comput. Sci. 82(6): (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): (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): (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): (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 |
