2008 |
74 | EE | Hervé Chang,
Leonardo Mariani,
Mauro Pezzè:
Self-healing strategies for component integration faults.
ASE Workshops 2008: 25-32 |
73 | EE | Giovanni Denaro,
Alessandra Gorla,
Mauro Pezzè:
Contextual Integration Testing of Classes.
FASE 2008: 246-260 |
72 | EE | Leen Lambers,
Leonardo Mariani,
Hartmut Ehrig,
Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications.
FASE 2008: 392-406 |
71 | EE | Davide Lorenzoli,
Leonardo Mariani,
Mauro Pezzè:
Automatic generation of software behavioral models.
ICSE 2008: 501-510 |
70 | EE | 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 | EE | 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 | EE | Leen Lambers,
Hartmut Ehrig,
Leonardo Mariani,
Mauro Pezzè:
Iterative model-driven development of adaptable service-based applications.
ASE 2007: 453-456 |
66 | EE | Giovanni Denaro,
Mauro Pezzè,
Onn Shehory:
SOQUA 2007: 4th international workshop on software quality assurance.
ESEC/SIGSOFT FSE 2007: 615-616 |
65 | EE | Giovanni Denaro,
Mauro Pezzè,
Onn Shehory:
SOQUA 2007 4th international workshop on software quality assurance.
ESEC/SIGSOFT FSE (Companion) 2007: 615-616 |
64 | EE | Giovanni Denaro,
Mauro Pezzè,
Davide Tosi:
Designing Self-Adaptive Service-Oriented Applications.
ICAC 2007: 16 |
63 | EE | Leonardo Mariani,
Sofia Papagiannakis,
Mauro Pezzè:
Compatibility and Regression Testing of COTS-Component-Based Software.
ICSE 2007: 85-95 |
62 | EE | Giovanni Denaro,
Mauro Pezzè,
Davide Tosi:
SHIWS: A Self-Healing Integrator for Web Services.
ICSE Companion 2007: 55-56 |
61 | EE | Leonardo Mariani,
Mauro Pezzè:
Dynamic Detection of COTS Component Incompatibility.
IEEE Software 24(5): 76-85 (2007) |
60 | EE | 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 | EE | Giovanni Denaro,
Mauro Pezzè,
Davide Tosi,
Daniela Schilling:
Towards self-adaptive service-oriented architectures.
TAV-WEB 2006: 10-16 |
57 | EE | Luciano Baresi,
Mauro Pezzè:
An Introduction to Software Testing.
Electr. Notes Theor. Comput. Sci. 148(1): 89-111 (2006) |
2005 |
56 | EE | Luciano Baresi,
Mauro Pezzè:
From Graph Transformation to Software Engineering and Back.
Formal Methods in Software and Systems Modeling 2005: 24-37 |
55 | EE | Leonardo Mariani,
Mauro Pezzè:
Behavior Capture and Test: Automated Analysis of Component Integration.
ICECCS 2005: 292-301 |
54 | EE | Mauro Pezzè,
Davide Tosi,
Gian Pietro Picco:
Scavenging Complex Genomic Information Using Mobile Code: An Evaluation.
ICECCS 2005: 569-578 |
53 | EE | Giovanni Denaro,
Leonardo Mariani,
Mauro Pezzè,
Davide Tosi:
Adaptive Runtime Verification for Autonomic Communication Infrastructures.
WOWMOM 2005: 553-557 |
52 | EE | Giovanni Denaro,
Mauro Pezzè,
Davide Tosi:
Adaptive integration of third-party web services.
ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005) |
51 | EE | Luciano Baresi,
Mauro Pezzè:
Formal interpreters for diagram notations.
ACM Trans. Softw. Eng. Methodol. 14(1): 42-84 (2005) |
50 | EE | Mauro Pezzè:
Preface.
Electr. Notes Theor. Comput. Sci. 116: 1-2 (2005) |
49 | EE | 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 | EE | Leonardo Mariani,
Mauro Pezzè:
A Technique for Verifying Component-Based Software.
Electr. Notes Theor. Comput. Sci. 116: 17-30 (2005) |
47 | EE | Luciano Baresi,
Mauro Pezzè:
Petri Nets as Semantic Domain for Diagram Notations.
Electr. Notes Theor. Comput. Sci. 127(2): 29-44 (2005) |
2004 |
46 | EE | Leonardo Mariani,
Mauro Pezzè,
David Willmor:
Generation of Integration Tests for Self-Testing Components.
FORTE Workshops 2004: 337-350 |
45 | EE | 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 | EE | Bruce Schafer,
Mauro Pezzè:
Research Demonstrations and Posters.
ICSE 2003: 800-801 |
42 | EE | Giovanni Denaro,
Mauro Pezzè:
Petri Nets and Software Engineering.
Lectures on Concurrency and Petri Nets 2003: 439-466 |
41 | EE | 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 | EE | Mauro Pezzè:
Preface.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
39 | EE | Giovanni Denaro,
Leonardo Mariani,
Mauro Pezzè:
Self-Test Components for Highly Reconfigurable Systems.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
38 | EE | 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 | EE | Luciano Baresi,
Mauro Pezzè:
A Toolbox for Automating Visual Software Engineering.
FASE 2002: 189-202 |
36 | EE | Vincenzo Martena,
Alessandro Orso,
Mauro Pezzè:
Interclass Testing of Object Oriented Software.
ICECCS 2002: 135-144 |
35 | EE | Giovanni Denaro,
Mauro Pezzè:
An empirical evaluation of fault-proneness models.
ICSE 2002: 241-251 |
34 | EE | Giovanni Denaro,
Sandro Morasca,
Mauro Pezzè:
Deriving models of software fault-proneness.
SEKE 2002: 361-368 |
33 | EE | Miguel Felder,
Mauro Pezzè:
A formal design notation for real-time systems.
ACM Trans. Softw. Eng. Methodol. 11(2): 149-190 (2002) |
32 | EE | Luciano Baresi,
Marco Mauri,
Mauro Pezzè:
PLCTools: Graph Transformation Meets PLC Design.
Electr. Notes Theor. Comput. Sci. 72(2): (2002) |
2001 |
31 | EE | Luciano Baresi,
Mauro Pezzè:
On Formalizing UML with High-Level Petri Nets.
Concurrent Object-Oriented Programming and Petri Nets 2001: 276-304 |
30 | EE | 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 | EE | Luciano Baresi,
Mauro Pezzè:
Improving UML with Petri nets.
Electr. Notes Theor. Comput. Sci. 44(4): (2001) |
27 | EE | 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 | EE | Jeff Magee,
Mauro Pezzè:
The ICSE2000 doctoral workshop.
ICSE 2000: 697 |
24 | EE | Ugo A. Buy,
Alessandro Orso,
Mauro Pezzè:
Automated Testing of Classes.
ISSTA 2000: 39-48 |
1999 |
23 | EE | Luciano Baresi,
Mauro Pezzè:
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars.
AGTIVE 1999: 193-208 |
1998 |
22 | EE | Francesco Calzolari,
Mauro Pezzè:
A non-temporized approach for temporized analysis.
ECRTS 1998: 154-161 |
21 | EE | Luciano Baresi,
Mauro Pezzè:
Toward Formalizing Structured Analysis.
ACM Trans. Softw. Eng. Methodol. 7(1): 80-107 (1998) |
1997 |
20 | EE | Luciano Baresi,
Manuele Di Paola,
Antonio Gargiulo,
Mauro Pezzè:
LEMMA: a language for easy medical models analysis.
CBMS 1997: 244-249 |
19 | EE | Mauro Pezzè,
Michal Young:
Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models.
ICSE 1997: 239-249 |
18 | EE | 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 | EE | Mauro Pezzè,
Sergio Silva:
A Software Architecture Approach for Designing CASE Systems.
ICECCS 1996: 47-50 |
15 | EE | Mauro Pezzè,
Michal Young:
Generation of Multi-Formalism State-Space Analysis Tools.
ISSTA 1996: 172-179 |
1995 |
14 | EE | Luciano Baresi,
Alessandro Orso,
Mauro Pezzè:
Customizable notations for kernel formalisms.
ICECCS 1995: 43- |
13 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Flaminio Borgonovo,
Enrico Cadorin,
Luigi Fratta,
Mauro Pezzè:
Voice and data performance measurements in L-express net.
SIGCOMM 1986: 120-125 |