Showing results 46 to 124 of 124
< previous
| Issue Date | Title | Author(s) |
| 2019 | Hooking Android apps for just-in-time memory dumping | Bellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian |
| 2021 | The human quest for meaning : theatre as a vehicle for dialogue | Grima, Tyrone; Colombo, Christian |
| 2023 | The human quest for meaning : theatre as a vehicle for dialogue | Grima, Tyrone; Colombo, Christian |
| 2014-11 | Improving Android security through real-time policy enforcement | Chircop, Luke; Colombo, Christian; Pace, Gordon J. |
| 2016-11 | Improving the automatic runtime monitor generation process via pruning : a way forward | Chircop, Luke; Colombo, Christian; Micallef, Mark; Francalanza, Adrian; Pace, Gordon J. |
| 2014-11 | Improving the Gherkin specification language using aspect-oriented techniques | Aquilina Alamango, John; Colombo, Christian; Micallef, Mark |
| 2018 | Industrial experiences with runtime verification of financial transaction systems : lessons learnt and standing challenges | Colombo, Christian; Pace, Gordon J. |
| 2014-11 | Investigating different instrumentation techniques in the context of ESB runtime verification | Dimech, Gabriel; Colombo, Christian; Francalanza, Adrian |
| 2015 | Investigating instrumentation techniques for ESB runtime verification | Colombo, Christian; Dimech, Gabriel; Francalanza, Adrian |
| 2007 | Kanban scheduling system | Colombo, Christian; Abela, John |
| 2009 | LARVA - safer monitoring of real-time Java programs (tool paper) | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
| 2008 | LARVA converter user manual | Colombo, Christian |
| 2010 | LarvaStat : monitoring of statistical properties | Colombo, Christian; Gauci, Andrew; Pace, Gordon J. |
| 2015 | Lessons learnt from using DSLs for automated software testing | Micallef, Mark; Colombo, Christian |
| 2014 | Lifelong verification of software systems | Colombo, Christian; Micallef, Mark; Pace, Gordon J. |
| 2019 | Living off Android’s accessible land | Leguesse, Yonas; Vella, Mark Joseph; Colombo, Christian |
| 2016 | A model-based approach to combining static and dynamic verification techniques | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
| 2021 | Model-based static and runtime verification for ethereum smart contracts | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
| 2013 | Monitor-oriented compensation programming through compensating automata | Colombo, Christian; Pace, Gordon J. |
| 2012 | A monitoring approach for dynamic service-oriented architecture systems | Dan, Yufang; Stouls, Nicolas; Frénot, Stéphane; Colombo, Christian |
| 2014 | Monitoring distributed systems with distributed polyLarva | Cassar, Ian; Francalanza, Adrian; Colombo, Christian |
| 2015-09 | Mutate my software | Micallef, Mark; Colombo, Christian |
| 2009 | Offline runtime verification with real-time properties : a case study | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
| 2016 | Organising LTL monitors over distributed systems with a global clock | Colombo, Christian; Falcone, Yliès |
| 2013 | OSGiLarva : a monitoring framework supporting OSGi’s dynamicity | Dan, Yufang; Stouls, Nicolas; Colombo, Christian; Frénot, Stéphane |
| 2015-11 | An overview of techniques aimed at automatically generating oracles from tests | Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J. |
| 2023-06 | The pedagogical role of philosophy in a community of inquiry | Fenech, Luke; Colombo, Christian |
| 2012 | PolyLARVA : runtime verification with configurable resource-aware monitoring boundaries | Colombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J. |
| 2013 | PolyLarva : technology agnostic runtime verification | Colombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J. |
| 2021 | PoPL : proof-of-presence and locality, or how to secure financial transactions on your smartphone | Leguesse, Yonas; Colombo, Christian; Vella, Mark Joseph; Hernandez-Castro, Julio |
| 2008 | A practical approach to runtime verification of real-time properties for Java programs | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
| 2008 | Practical runtime monitoring with impact guarantees of java programs with real-time constraints | Colombo, Christian |
| 2008 | Practical runtime monitoring with impact guarantees of Java programs with real-time constraints | Colombo, Christian |
| 2021 | Preface | Leucker, Martin; Colombo, Christian |
| 2012 | Programming compensations for system-monitor synchronisation | Colombo, Christian; Pace, Gordon J. |
| 2020 | Real-time triggering of Android memory dumps for stealthy attack investigation | Bellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio |
| 2013 | Recovery within long running transactions | Colombo, Christian; Pace, Gordon J. |
| 2020 | Reducing the forensic footprint with Android accessibility attacks | Leguesse, Yonas; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio |
| 2009 | Resource-bounded runtime verification of Java programs with real-time properties | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
| 2021 | Responding to living-off-the-land tactics using just-in-time memory forensics (JIT-MF) for Android | Bellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio |
| 2022 | Responding to targeted stealthy attacks on android using timely-captured memory dumps | Bellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio |
| 2016-06 | Run-time monitoring for the diagnosis and recovery of complex physical systems | Cataldo, Giacinto De; Colombo, Christian; Franco, Antonio; Pace, Gordon J.; Valentino, Gianluca; Vella, Kevin |
| 2018 | Runtime verification | Colombo, Christian; Leucker, Martin |
| 2012 | Runtime verification and compensations | Colombo, Christian |
| 2016 | Runtime verification for stream processing applications | Colombo, Christian; Pace, Gordon J.; Camilleri, Luke; Dimech, Claire; Farrugia, Reuben A.; Grech, Jean Paul; Magro, Alessio; Sammut, Andrew C.; Zarb Adami, Kristian |
| 2023 | Runtime verification for trustworthy computing | Abela, Robert; Colombo, Christian; Curmi, Axel; Fenech, Mattea; Vella, Mark; Ferrando, Angelo |
| 2021 | Runtime verification for trustworthy secure shell deployment | Curmi, Axel; Colombo, Christian; Vella, Mark Joseph |
| 2020 | Runtime verification of contracts with Themulus | Aranda Garcia, Alberto; Cambronero, Maria-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J. |
| 2017 | Runtime verification using Larva | Colombo, Christian; Pace, Gordon J. |
| 2017 | Runtime verification using Valour | Azzopardi, Shaun; Colombo, Christian; Ebejer, Jean Paul; Mallia, Edward; Pace, Gordon J. |
| 2021 | Runtime verification: passing on the baton | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
| 2021 | RV-TEE : secure cryptographic protocol execution based on runtime verification | Vella, Mark Joseph; Colombo, Christian; Abela, Robert; Špaček, Peter |
| 2022 | RV-TEE-based trustworthy secure shell deployment : an empirical evaluation | Curmi, Axel; Colombo, Christian; Vella, Mark Joseph |
| 2009 | Safe runtime verification of real-time properties | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
| 2012 | Safer asynchronous runtime monitoring using compensations | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
| 2020 | Secure communication in the quantum era : (group) key establishment | Colombo, Christian; González Vasco, María Isabel; Steinwandt, Rainer; Zajac, Pavol |
| 2021 | Secure implementation of a quantum-future GAKE protocol | Abela, Robert; Colombo, Christian; Malo, Peter; Sýs, Peter; Fabšič, Tomáš; Gallo, Ondrej; Hromada, Viliam; Mark Joseph |
| 2018 | Securing calls to ethereum smart contracts with static and dynamic analysis | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
| 2012-04 | Separating compensation concerns and programming them with compensating automata | Colombo, Christian; Pace, Gordon J. |
| 2012 | Simplifying contract-violating traces | Colombo, Christian; Francalanza, Adrian; Grima, Ian |
| 2009 | Slowdown invariance of timed regular expressions | Bondin, Ingram; Pace, Gordon J.; Colombo, Christian |
| 2013 | SMock - a test platform for monitoring tools | Colombo, Christian; Mizzi, Ruth; Pace, Gordon J. |
| 2020 | SpotCheck : on-device anomaly detection for Android | Mark Joseph; Colombo, Christian |
| 2009 | Statistics and runtime verification | Gauci, Andrew; Pace, Gordon J.; Colombo, Christian |
| 2019 | A survey of challenges for runtime verification from advanced application domains (beyond software) | Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, Joa̋o M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander |
| 2019 | A survey of challenges for runtime verification from advanced application domains (beyond software) | Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, Joa̋o M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander |
| 2020 | A technique for automata-based verification with residual reasoning | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
| 2020 | Themulus : a timed contract-calculus | Aranda Garcia, Alberto; Cambronero, Maria-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J. |
| 2020 | Towards a comprehensive solution for secure cryptographic protocol execution based on runtime verification | Colombo, Christian; Mark Joseph |
| 2012 | Towards a specification-based correctness of Erlang systems through asynchronous monitoring | Colombo, Christian; Francalanza, Adrian |
| 2013 | Towards incremental mutation testing | Cachia, Mark Anthony; Micallef, Mark; Colombo, Christian |
| 2012-06 | Trusting the machine | Pace, Gordon J.; Colombo, Christian |
| 2015 | Using control flow analysis to improve the effectiveness of incremental mutation testing | Bajada, Luke; Micallef, Mark; Colombo, Christian |
| 2014-11 | Using DSLs for software testing | Micallef, Mark; Colombo, Christian |
| 2013 | Using Gherkin for interaction design testing and monitoring | Cauchi, Abigail; Colombo, Christian; Micallef, Mark; Pace, Gordon J. |
| 2016 | Using gherkin to extract tests and monitors for safer medical device interaction design | Cauchi, Abigail; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J. |
| 2023 | Using infrastructure-based agents to enhance forensic logging of third-party applications | Bellizzi, Jennifer; Vella, Mark; Colombo, Christian; Hernandez-Castro, Julio |
| 2023 | VEDRANDO : a novel way to reveal stealthy attack steps on android through memory forensics | Bellizzi, Jennifer; Losiouk, Eleonora; Conti, Mauro; Colombo, Christian; Vella, Mark |
| 2014 | Verifying web applications : from business level specifications to automated model-based testing | Colombo, Christian; Micallef, Mark; Scerri, Mark |
