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 |
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 355