MOCCI, ANDREA
MOCCI, ANDREA
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Analytical quality assurance
2010-01-01 A., Metzger; S., Benbernou; M., Carro; M., Driss; G., Kecskemeti; R., Kazhamiakin; K., Krytikos; Mocci, Andrea; DI NITTO, Elisabetta; B., Wetzstein; F., Silvestri
Automatic Cross Validation of Multiple Specifications: A Case Study
2010-01-01 Ghezzi, Carlo; Mocci, Andrea; Salvaneschi, Guido
Behavior Model Based Component Search: An Initial Assessment
2010-01-01 Ghezzi, Carlo; Mocci, Andrea
Behavioral validation of JFSL specifications through model synthesis
2012-01-01 Ghezzi, Carlo; Mocci, Andrea
Detecting component changes at run time with behavior models
2012-01-01 Mocci, Andrea; Sangiorgio, Mario
Efficient Recovery of Algebraic Specifications for Stateful Components
2007-01-01 Ghezzi, Carlo; Mocci, Andrea; Monga, Mattia
Extracting structured data from natural language documents with island parsing
2011-01-01 A., Bacchelli; A., Cleve; M., Lanza; Mocci, Andrea
Runtime monitoring of component changes with Spy@Runtime
2012-01-01 Ghezzi, Carlo; Mocci, Andrea; Sangiorgio, Mario
Runtime Monitoring of Functional Component Changes with Behavior Models
2011-01-01 Ghezzi, Carlo; Mocci, Andrea; Sangiorgio, Mario
Synthesizing Intensional Behavior Models by Graph Transformation
2009-01-01 Ghezzi, Carlo; Mocci, Andrea; M., Monga
Using Graph Transformation Systems to Specify and Verify Data Abstractions
2008-01-01 Baresi, Luciano; Ghezzi, Carlo; Mocci, Andrea; Monga, Mattia