Personal Home Page

http://www.unimib.it/go/Home/Pagine-Speciali/Elenco-Docenti/PEZZE-MAURO

Articles in Scholarly Journals [Incomplete List]

1. Dynamic Detection of COTS Component Incompatibility
   IEEE Software, vol. 24, no. 5, pp. 76–85, 2007
2. An Introduction to Software Testing
   Electronic Notes in Theoretical Computer Science, vol. 148, no. 1, pp. 89–111, 2006
3. QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems
   Electronic Notes in Theoretical Computer Science, vol. 116, pp. 113–131, 2005
4. A Technique for Verifying Component-Based Software
   Electronic Notes in Theoretical Computer Science, vol. 116, pp. 17–30, 2005
5. Petri Nets as Semantic Domain for Diagram Notations
   Electronic Notes in Theoretical Computer Science, vol. 127, no. 2, pp. 29–44, 2005
6. Formal interpreters for diagram notations
   ACM Transactions on Software Engineering and Methodology, vol. 14, no. 1, pp. 42–84, 2005
7. International Journal of Software Engineering and Knowledge Engineering, vol. 13, no. 4, p. 395, 2003
8. Self-Test Components for Highly Reconfigurable Systems?
   Electronic Notes in Theoretical Computer Science, vol. 82, no. 6, pp. 89–98, 2003
9. Design for Testability for Highly Reconfigurable Component-Based Systems
   Electronic Notes in Theoretical Computer Science, vol. 82, no. 6, pp. 199–208, 2003
10. PLCTOOLS: Graph Transformation Meets PLC Design
    Electronic Notes in Theoretical Computer Science, vol. 72, no. 2, pp. 79–79, 2002
11. A formal design notation for real-time systems
    ACM Transactions on Software Engineering and Methodology, vol. 11, no. 2, pp. 149–190, 2002
12. Using symbolic execution for verifying safety-critical systems
    ACM SIGSOFT Software Engineering Notes, vol. 26, no. 5, p. 142, 2001
13. Improving UML with Petri nets1
    Electronic Notes in Theoretical Computer Science, vol. 44, no. 4, pp. 107–119, 2001
14. Automated Testing of Classes
    ACM SIGSOFT Software Engineering Notes, vol. 25, no. 5, pp. 39–48, 2000
15. Toward formalizing structured analysis
    ACM Transactions on Software Engineering and Methodology, vol. 7, no. 1, pp. 80–107, 1998
16. A technique for designing robotic control systems based on Petri nets
    IEEE Transactions on Control Systems Technology, vol. 6, no. 1, pp. 72–87, 1998
17. Journal of Medical Systems, vol. 21, no. 6, pp. 369–388, 1997
18. Graph models for reachability analysis of concurrent programs
    ACM Transactions on Software Engineering and Methodology, vol. 4, no. 2, pp. 171–213, 1995
19. Validating timing requirements for time basic net specifications
    Journal of Systems and Software, vol. 27, no. 2, pp. 97–117, 1994
20. High-Level Timed Petri Nets as a kernel for executable specifications
    Real-Time Systems, vol. 5, no. 2-3, pp. 235–248, 1993
21. Giving semantics to SA/RT by means of high-level timed Petri nets
    Real-Time Systems, vol. 5, no. 2-3, pp. 249–271, 1993
22. Analyzing refinements of state based specifications
    ACM SIGSOFT Software Engineering Notes, vol. 18, no. 3, pp. 28–39, 1993
23. Timed high-level nets
    Real-Time Systems, vol. 3, no. 2, pp. 165–189, 1991
24. A unified high-level Petri net formalism for time-critical systems
    IEEE Transactions on Software Engineering, vol. 17, no. 2, pp. 160–172, 1991
25. Symbolic execution of concurrent systems using Petri nets
    Computer Languages, vol. 14, no. 4, pp. 263–281, 1989
26. A general way to put time in Petri nets
    ACM SIGSOFT Software Engineering Notes, vol. 14, no. 3, pp. 60–67, 1989