LarvaStat: Monitoring of Statistical Properties. - Christian Colombo 001; Andrew Gauci; Gordon J. Pace (RV, 2010)

Distributed System Contract Monitoring - Adrian Francalanza; Andrew Gauci; Gordon J. Pace (FLACOS, 2011)