Mario Sangiorgio

According to our database, Mario Sangiorgio authored at least 5 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Modeling, analyzing, and monitoring interacting software components.

Mario Sangiorgio

PhD thesis, 2014

Synthesis of Infinite-State Abstractions and Their Use for Software Validation.

Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio

Proceedings of the Specification, Algebra, and Software, 2014

2013

Detecting component changes at run time with behavior models.

Andrea Mocci, Mario Sangiorgio

Computing, 2013

2012

Runtime monitoring of component changes with Spy@Runtime.

Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Runtime Monitoring of Functional Component Changes with Behavior Models.

Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio

Proceedings of the Models in Software Engineering, 2011