Runtime Monitoring of Functional Component Changes with Behavior Models. - Carlo Ghezzi; Andrea Mocci; Mario Sangiorgio (MoDELS (Workshops), 2011)

Runtime monitoring of component changes with Spy@Runtime. - Carlo Ghezzi; Andrea Mocci; Mario Sangiorgio (ICSE, 2012)

Detecting component changes at run time with behavior models. - Andrea Mocci; Mario Sangiorgio (Computing, 2013)

Synthesis of Infinite-State Abstractions and Their Use for Software Validation. - Carlo Ghezzi; Andrea Mocci; Mario Sangiorgio (Specification, Algebra, and Software, 2014)

Modeling, analyzing, and monitoring interacting software components. - Mario Sangiorgio (2014)