PEZZE', MAURO
PEZZE', MAURO
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Voice and data performance measurements in L-express net
1986 Borgonovo, F; Cadorin, E; Fratta, L; Pezze', M
Validation of Concurrent ADA Programs using Symbolic Execution
1989 Morasca, S; Pezze', M
A unified high-level Petri net formalism for time-critical systems
1991 Ghezzi, C; Mandrioli, D; Morasca, S; Pezze', M
Analyzing refinements of state based specifications: the case of TB nets
1993 Felder, M; Ghezzi, C; Pezze', M
Graph Models for Reachability of Concurrent Programs
1995 Pezze', M; Taylor, R; Young, M
Generation of Multi-Formalism State-Space Analysis Tools
1996 Pezze', M; Young, M
Toward Formalizing Structured Analysis
1998 Pezze', M; Baresi, L
Automated testing of classes
2000 Buy, U; Orso, A; Pezze', M
Can Graph Grammars Make Formal Methods more Human?
2000 Baresi, L; Pezze', M
Using symbolic execution for verifying safety-critical systems
2001 Coen, A; Denaro, G; Ghezzi, C; Pezze', M
An empirical evaluation of fault-proneness models
2002 Denaro, G; Pezzè, M
PLCTOOLS: Graph transformation meets PLC design
2002 Baresi, L; Mauri, M; Pezze', M
A toolbox for automating visual software engineering
2002 Baresi, L; Pezze', M
Interclass Testing of Object Oriented Software
2002 Martena, V; Orso, A; Pezze', M
Deriving models of software fault-proneness
2002 Denaro, G; Morasca, S; Pezze', M
A formal design notation for real-time systems
2002 Felder, M; Pezze', M
Research Demonstrations and Posters
2003 Pezzè, M; Shafer, B
6th International Conference on Fundamental Approaches to Software Engineering, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003
2003 Pezze', M
Towards industrially relevant fault-proneness models
2003 Denaro, G; Pezze', M; Morasca, S
Self-test components for highly reconfigurable systems
2003 Denaro, G; Mariani, L; Pezze', M