Mario Sangiorgio

Mario Sangiorgio

Politecnico di Milano - Milano / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 5207048
Polytechnic University of Milan
person_outline Mario Sangiorgio's MOST POPULAR ARTICLES
1-) Runtime monitoring of component changes with Spy@ RuntimeC Ghezzi, A Mocci, M Sangiorgio2012 34th International Conference on Software Engineering (ICSE), 1403-1406, 2012262012
2-) Runtime monitoring of functional component changes with behavior modelsC Ghezzi, A Mocci, M SangiorgioInternational Conference on Model Driven Engineering Languages and Systems …, 2011182011
3-) Detecting component changes at run time with behavior modelsA Mocci, M SangiorgioComputing 95, 191-221, 201362013
4-) Synthesis of Infinite-State Abstractions and Their Use for Software ValidationC Ghezzi, A Mocci, M SangiorgioSpecification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 20142014
5-) Modeling, analyzing, and monitoring interacting software componentsM SangiorgioPolitecnico di Milano, 20142014