Issue Date	Title	Author(s)
2013	Distributed system contract monitoring	Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2011	Guest editors’ foreword	Pace, Gordon J.; Schneider, Gerardo
2001	Building bridges with industry	Micallef, Paul
2008	Dynamic analysis overview and a proposed verification tool for temporal properties in security-critical software	Colombo, Christian
2016	Organising LTL monitors over distributed systems with a global clock	Colombo, Christian; Falcone, Ylies
2013	A case study on graphically modelling and detecting knowledge mobility risks	Micallef, Mark; Colombo, Christian
2016	First international summer school on runtime verification : as part of the ArVi COST Action 1402	Colombo, Christian; Falcone, Ylies
2015	Lessons learnt from using DSLs for automated software testing	Micallef, Mark; Colombo, Christian
2015	Using control flow analysis to improve the effectiveness of incremental mutation testing	Bajada, Luke; Micallef, Mark; Colombo, Christian
2012	PolyLARVA : runtime verification with configurable resource-aware monitoring boundaries	Colombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2013	Towards incremental mutation testing	Cachia, Mark Anthony; Micallef, Mark; Colombo, Christian
2017	Exploring the link between test suite quality and automatic specification inference	Chircop, Luke; Colombo, Christian; Micallef, Mark
2013	OSGiLarva : a monitoring framework supporting OSGi’s dynamicity	Dan, Yufang; Stouls, Nicolas; Colombo, Christian; Frenot, Stephane
2014	Applying runtime verification techniques to an enterprise service bus	Dimech, Gabriel; Colombo, Christian; Francalanza, Adrian
2014	Verifying web applications : from business level specifications to automated model-based testing	Colombo, Christian; Micallef, Mark; Scerri, Mark
2011	An event-driven language for cartographic modelling of knowledge in software development organisations	Micallef, Mark; Colombo, Christian
2015-11	CSAW’15 Computer Science Annual Workshop	Vella, Kevin
2016-06	Run-time monitoring for the diagnosis and recovery of complex physical systems	De Cataldo, Giacinto; Colombo, Christian; Franco, Antonio; Pace, Gordon J.; Valentino, Gianluca; Vella, Kevin
2017-12	Effectiveness of EUMEDGRID	Vella, Kevin; EUMEDGRID
2006-07	EUMEDGRID D2.1 : user and eInfrastructure requirements capture and analysis	Vella, Kevin; EUMEDGRID