Follow
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
262012
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
182011
Detecting component changes at run time with behavior models
A Mocci, M Sangiorgio
Computing 95, 191-221, 2013
62013
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
The system can't perform the operation now. Try again later.
Articles 1–6