Browsing by Author Colombo, Christian

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 56 to 75 of 124 < previous   next >
Issue DateTitleAuthor(s)
2009LARVA - safer monitoring of real-time Java programs (tool paper)Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2008LARVA converter user manualColombo, Christian
2010LarvaStat : monitoring of statistical propertiesColombo, Christian; Gauci, Andrew; Pace, Gordon J.
2015Lessons learnt from using DSLs for automated software testingMicallef, Mark; Colombo, Christian
2014Lifelong verification of software systemsColombo, Christian; Micallef, Mark; Pace, Gordon J.
2019Living off Android’s accessible landLeguesse, Yonas; Vella, Mark Joseph; Colombo, Christian
2016A model-based approach to combining static and dynamic verification techniquesAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2021Model-based static and runtime verification for ethereum smart contractsAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2013Monitor-oriented compensation programming through compensating automataColombo, Christian; Pace, Gordon J.
2012A monitoring approach for dynamic service-oriented architecture systemsDan, Yufang; Stouls, Nicolas; Frénot, Stéphane; Colombo, Christian
2014Monitoring distributed systems with distributed polyLarvaCassar, Ian; Francalanza, Adrian; Colombo, Christian
2015-09Mutate my softwareMicallef, Mark; Colombo, Christian
2009Offline runtime verification with real-time properties : a case studyColombo, Christian; Pace, Gordon J.; Abela, Patrick
2016Organising LTL monitors over distributed systems with a global clockColombo, Christian; Falcone, Yliès
2013OSGiLarva : a monitoring framework supporting OSGi’s dynamicityDan, Yufang; Stouls, Nicolas; Colombo, Christian; Frénot, Stéphane
2015-11An overview of techniques aimed at automatically generating oracles from testsChircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2023-06The pedagogical role of philosophy in a community of inquiryFenech, Luke; Colombo, Christian
2012PolyLARVA : runtime verification with configurable resource-aware monitoring boundariesColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2013PolyLarva : technology agnostic runtime verificationColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2021PoPL : proof-of-presence and locality, or how to secure financial transactions on your smartphoneLeguesse, Yonas; Colombo, Christian; Vella, Mark Joseph; Hernandez-Castro, Julio