PEZZE', MAURO
PEZZE', MAURO
DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE (attivo dal 01/01/1900 al 31/12/2012)
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
PLCTools: Design, Formal Validation, and Code Generation for Programmable Controllers.
2000-01-01 Baresi, Luciano; Mauri, Marco; Monti, Antonello; Pezze', Mauro
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