polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. - Christian Colombo 001; Adrian Francalanza; Ruth Mizzi; Gordon J. Pace (SEFM, 2012)

SMock - A Test Platform for Monitoring Tools. - Christian Colombo 001; Ruth Mizzi; Gordon J. Pace (RV, 2013)

Extensible Technology-Agnostic Runtime Verification - Christian Colombo 001; Adrian Francalanza; Ruth Mizzi; Gordon J. Pace (FESCA, 2013)