Folgen
Mario Sangiorgio
Mario Sangiorgio
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei elet.polimi.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6