PEZZE', MAURO
PEZZE', MAURO
DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE (attivo dal 01/01/1900 al 31/12/2012)
A Survey of Recent Trends in Testing Concurrent Software Systems
2018-01-01 Adalberto Bianchi, Francesco; Margara, Alessandro; Pezze', Mauro
Can Graph Grammars make Formal Methods more Human?
2000-01-01 Baresi, Luciano; Pezze', Mauro
Dynamic data flow testing of object oriented systems
2015-01-01 Denaro, Giovanni; Margara, Alessandro; Pezze', Mauro; Vivanti, Mattia
Efficient analysis of event processing applications
2015-01-01 Cugola, Gianpaolo; Margara, Alessandro; Pezze', Mauro; Pradella, Matteo
Improving UML with Petri nets
2001-01-01 Baresi, Luciano; Pezze', Mauro
On Formalizing UML with High-Level Petri Nets
2001-01-01 Baresi, Luciano; Pezze', Mauro
PLCTools: Design, Formal Validation, and Code Generation for Programmable Controllers.
2000-01-01 Baresi, Luciano; Mauri, Marco; Monti, Antonello; Pezze', Mauro
PLCTools: Graph Transformation Meets PLC Design
2002-01-01 Baresi, Luciano; Mauri, Marco; Pezze', Mauro
Proceedings of the Satellite Workshops of the 28th International Colloquium on Automata, Languages, and Programming (ICALP)
2001-01-01 Baresi, Luciano; J., Lévy; R., Mayr; Pezze', Mauro; G., Taentzer; C., Zaroliagis
Towards an engineering methodology for multi-model scientific simulations
2015-01-01 Margara, Alessandro; Pezze', Mauro; Pivkin, Igor V.; Santoro, Mauro
Using Symbolic Execution for Verifying Safety-Critical Systems
2001-01-01 COEN PORISINI, Alberto; Denaro, Giovanni; Ghezzi, Carlo; Pezze', Mauro