| 2025 | SETTA | FLARE - Monitoring for the Regulatory Requirements of a Drone Case Study. | Sean Fenech, Christian Colombo, Gordon J. Pace, Axel Curmi |
| 2024 | ISoLA | Interest Beyond Violation: On Points-of-Interest in Runtime Verification. | Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2024 | VECoS | Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges. | Christian Colombo, Gordon J. Pace, Dylan Seychell |
| 2023 | ICISSP | Using Infrastructure-Based Agents to Enhance Forensic Logging of Third-Party Applications. | Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro |
| 2022 | SEC | D-Cloud-Collector: Admissible Forensic Evidence from Mobile Cloud Storage. | Mark Vella, Christian Colombo |
| 2021 | ISSTA | Runtime verification for trustworthy secure shell deployment. | Axel Curmi, Christian Colombo, Mark Vella |
| 2021 | SECRYPT | Responding to Living-Off-the-Land Tactics using Just-In-Time Memory Forensics (JIT-MF) for Android. | Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro |
| 2020 | ICISSP | Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification. | Christian Colombo, Mark Vella |
| 2020 | MODELSWARD | A Technique for Automata-based Verification with Residual Reasoning. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2020 | MODELSWARD | CLARVA: Model-based Residual Verification of Java Programs. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2020 | MODELSWARD | Model-Based Static and Runtime Verification for Ethereum Smart Contracts. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2020 | MODELSWARD | Themulus: A Timed Contract-calculus. | Alberto Aranda Garca, Mara-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace |
| 2020 | SEFM | Runtime Verification of Contracts with Themulus. | Alberto Aranda Garca, Mara-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace |
| 2020 | SIN | SpotCheck: On-Device Anomaly Detection for Android. | Mark Vella, Christian Colombo |
| 2018 | ISoLA | Contracts over Smart Contracts: Recovering from Violations Dynamically. | Christian Colombo, Joshua Ellul, Gordon J. Pace |
| 2018 | ISoLA | Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design. | Christian Colombo, Gordon J. Pace |
| 2018 | RV | COST Action IC1402 Runtime Verification Beyond Monitoring. | Christian Colombo, Ylis Falcone, Martin Leucker, Giles Reger, Csar Snchez, Gerardo Schneider, Volker Stolz |
| 2017 | RV | Runtime Verification using VALOUR. | Shaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace |
| 2017 | RV | Runtime Verification using LARVA. | Christian Colombo, Gordon J. Pace |
| 2016 | EICS | Using gherkin to extract tests and monitors for safer medical device interaction design. | Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace |
| 2016 | ISoLA | A Model-Based Approach to Combining Static and Dynamic Verification Techniques. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace |
| 2016 | ISoLA | Runtime Verification for Stream Processing Applications. | Christian Colombo, Gordon J. Pace, Luke Camilleri, Claire Dimech, Reuben A. Farrugia, Jean-Paul Grech, Alessio Magro, Andrew C. Sammut, Kristian Zarb Adami |
| 2016 | RV | First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402. | Christian Colombo, Ylis Falcone |
| 2016 | RV | An Automata-Based Approach to Evolving Privacy Policies for Social Networks. | Ral Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2016 | SEFM | Compliance Checking in the Open Payments Ecosystem. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella |
| 2015 | ICST | Lessons learnt from using DSLs for automated software testing. | Mark Micallef, Christian Colombo |
| 2015 | NLDB | A Controlled Natural Language for Business Intelligence Monitoring. | Christian Colombo, Jean-Paul Grech, Gordon J. Pace |
| 2015 | SEFM | Investigating Instrumentation Techniques for ESB Runtime Verification. | Christian Colombo, Gabriel Dimech, Adrian Francalanza |
| 2014 | RV | Organising LTL Monitors over Distributed Systems with a Global Clock. | Christian Colombo, Ylis Falcone |
| 2013 | RV | SMock - A Test Platform for Monitoring Tools. | Christian Colombo, Ruth Mizzi, Gordon J. Pace |
| 2012 | RV | Fast-Forward Runtime Monitoring - An Industrial Case Study. | Christian Colombo, Gordon J. Pace |
| 2012 | SEFM | polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. | Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace |
| 2011 | RV | Elarva: A Monitoring Tool for Erlang. | Christian Colombo, Adrian Francalanza, Rudolph Gatt |
| 2010 | RV | LarvaStat: Monitoring of Statistical Properties. | Christian Colombo, Andrew Gauci, Gordon J. Pace |
| 2010 | RV | Compensation-Aware Runtime Monitoring. | Christian Colombo, Gordon J. Pace, Patrick Abela |
| 2009 | SEFM | LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). | Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2008 | FMICS | Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. | Christian Colombo, Gordon J. Pace, Gerardo Schneider |