Runtime monitoring of component changes with Spy@ Runtime C Ghezzi, A Mocci, M Sangiorgio 2012 34th International Conference on Software Engineering (ICSE), 1403-1406, 2012 | 29 | 2012 |
Runtime monitoring of functional component changes with behavior models C Ghezzi, A Mocci, M Sangiorgio International Conference on Model Driven Engineering Languages and Systems …, 2011 | 17 | 2011 |
Detecting component changes at run time with behavior models A Mocci, M Sangiorgio Computing 95, 191-221, 2013 | 6 | 2013 |
Synthesis of Infinite-State Abstractions and Their Use for Software Validation C Ghezzi, A Mocci, M Sangiorgio Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014 | | 2014 |
Modeling, analyzing, and monitoring interacting software components M Sangiorgio Politecnico di Milano, 2014 | | 2014 |
Automatic metaresearch on scientific communities M Sangiorgio Politecnico di Milano, 2009 | | 2009 |