Scholarly Works - FacICTCS Collection home page Statistics

Browse
RSS Feed RSS Feed RSS Feed

Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 355
Issue DateTitleAuthor(s)
2013Distributed system contract monitoringFrancalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2011Guest editors’ forewordPace, Gordon J.; Schneider, Gerardo
2001Building bridges with industryMicallef, Paul
2008Dynamic analysis overview and a proposed verification tool for temporal properties in security-critical softwareColombo, Christian
2016Organising LTL monitors over distributed systems with a global clockColombo, Christian; Falcone, Ylies
2013A case study on graphically modelling and detecting knowledge mobility risksMicallef, Mark; Colombo, Christian
2016First international summer school on runtime verification : as part of the ArVi COST Action 1402Colombo, Christian; Falcone, Ylies
2015Lessons learnt from using DSLs for automated software testingMicallef, Mark; Colombo, Christian
2015Using control flow analysis to improve the effectiveness of incremental mutation testingBajada, Luke; Micallef, Mark; Colombo, Christian
2012PolyLARVA : runtime verification with configurable resource-aware monitoring boundariesColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2013Towards incremental mutation testingCachia, Mark Anthony; Micallef, Mark; Colombo, Christian
2017Exploring the link between test suite quality and automatic specification inferenceChircop, Luke; Colombo, Christian; Micallef, Mark
2013OSGiLarva : a monitoring framework supporting OSGi’s dynamicityDan, Yufang; Stouls, Nicolas; Colombo, Christian; Frenot, Stephane
2014Applying runtime verification techniques to an enterprise service busDimech, Gabriel; Colombo, Christian; Francalanza, Adrian
2014Verifying web applications : from business level specifications to automated model-based testingColombo, Christian; Micallef, Mark; Scerri, Mark
2011An event-driven language for cartographic modelling of knowledge in software development organisationsMicallef, Mark; Colombo, Christian
2015-11CSAW’15 Computer Science Annual WorkshopVella, Kevin
2016-06Run-time monitoring for the diagnosis and recovery of complex physical systemsDe Cataldo, Giacinto; Colombo, Christian; Franco, Antonio; Pace, Gordon J.; Valentino, Gianluca; Vella, Kevin
2017-12Effectiveness of EUMEDGRIDVella, Kevin; EUMEDGRID
2006-07EUMEDGRID D2.1 : user and eInfrastructure requirements capture and analysisVella, Kevin; EUMEDGRID
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 355