Mario Sangiorgio

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Physical Systems

Bayesian Framework

Hardware Design

Top Venues

Specification, Algebra, and Software

Publications

Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio
Synthesis of Infinite-State Abstractions and Their Use for Software Validation. Specification, Algebra, and Software (2014)
Andrea Mocci, Mario Sangiorgio
Detecting component changes at run time with behavior models. Computing 95 (3) (2013)
Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio
Runtime monitoring of component changes with Spy@Runtime. ICSE (2012)
Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio
Runtime Monitoring of Functional Component Changes with Behavior Models. MoDELS (Workshops) (2011)