1. OAR@UM

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 68 to 87 of 124 < previous   next >
Issue DateTitleAuthor(s)
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
2008A practical approach to runtime verification of real-time properties for Java programsColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2008Practical runtime monitoring with impact guarantees of java programs with real-time constraintsColombo, Christian
2008Practical runtime monitoring with impact guarantees of Java programs with real-time constraintsColombo, Christian
2021PrefaceLeucker, Martin; Colombo, Christian
2012Programming compensations for system-monitor synchronisationColombo, Christian; Pace, Gordon J.
2020Real-time triggering of Android memory dumps for stealthy attack investigationBellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2013Recovery within long running transactionsColombo, Christian; Pace, Gordon J.
2020Reducing the forensic footprint with Android accessibility attacksLeguesse, Yonas; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2009Resource-bounded runtime verification of Java programs with real-time propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2021Responding to living-off-the-land tactics using just-in-time memory forensics (JIT-MF) for AndroidBellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2022Responding to targeted stealthy attacks on android using timely-captured memory dumpsBellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2016-06Run-time monitoring for the diagnosis and recovery of complex physical systemsCataldo, Giacinto De; Colombo, Christian; Franco, Antonio; Pace, Gordon J.; Valentino, Gianluca; Vella, Kevin
Showing results 68 to 87 of 124 < previous   next >