Mario Sangiorgio
Mario Sangiorgio
Unknown affiliation
Verified email at elet.polimi.it - Homepage
Title
Cited by
Cited by
Year
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
212012
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
152011
Detecting component changes at run time with behavior models
A Mocci, M Sangiorgio
Computing 95 (3), 191-221, 2013
52013
Modeling, analyzing, and monitoring interacting software components
M SANGIORGIO
Italy, 2014
2014
Synthesis of Infinite-State Abstractions and Their Use for Software Validation
C Ghezzi, A Mocci, M Sangiorgio
Specification, Algebra, and Software, 276-295, 2014
2014
Automatic metaresearch on scientific communities
M Sangiorgio
Italy, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–6