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 |