Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (FMICS, 2008)

Safe Runtime Verification of Real-Time Properties. - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (FORMATS, 2009)

LARVA — Safer Monitoring of Real-Time Java Programs (Tool Paper). - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (SEFM, 2009)

LarvaStat: Monitoring of Statistical Properties. - Christian Colombo 001; Andrew Gauci; Gordon J. Pace (RV, 2010)

Compensation-Aware Runtime Monitoring. - Christian Colombo 001; Gordon J. Pace; Patrick Abela (RV, 2010)

Elarva: A Monitoring Tool for Erlang. - Christian Colombo 001; Adrian Francalanza; Rudolph Gatt (RV, 2011)

Fast-Forward Runtime Monitoring - An Industrial Case Study. - Christian Colombo 001; Gordon J. Pace (RV, 2012)

polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. - Christian Colombo 001; Adrian Francalanza; Ruth Mizzi; Gordon J. Pace (SEFM, 2012)

Simplifying Contract-Violating Traces - Christian Colombo 001; Adrian Francalanza; Ian Grima (FLACOS, 2012)

Safer asynchronous runtime monitoring using compensations. - Christian Colombo 001; Gordon J. Pace; Patrick Abela (Formal Methods Syst. Des., 2012)

SMock - A Test Platform for Monitoring Tools. - Christian Colombo 001; Ruth Mizzi; Gordon J. Pace (RV, 2013)

Extensible Technology-Agnostic Runtime Verification - Christian Colombo 001; Adrian Francalanza; Ruth Mizzi; Gordon J. Pace (FESCA, 2013)

Recovery within long-running transactions. - Christian Colombo 001; Gordon J. Pace (ACM Comput. Surv., 2013)

Monitor-Oriented Compensation Programming Through Compensating Automata. - Christian Colombo 001; Gordon J. Pace (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks. - Mark Micallef; Christian Colombo 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Towards Incremental Mutation Testing. - Mark Anthony Cachia; Mark Micallef; Christian Colombo 001 (VSSE, 2013)

Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing. - Christian Colombo 001; Mark Micallef; Mark Scerri (MBT, 2014)

Comprehensive Monitor-Oriented Compensation Programming. - Christian Colombo 001; Gordon J. Pace (FESCA, 2014)

Lessons learnt from using DSLs for automated software testing. - Mark Micallef; Christian Colombo 001 (ICST Workshops, 2015)

Using control flow analysis to improve the effectiveness of incremental mutation testing. - Luke Bajada; Mark Micallef; Christian Colombo 001 (IWPSE, 2015)

A Controlled Natural Language for Business Intelligence Monitoring. - Christian Colombo 001; Jean-Paul Grech; Gordon J. Pace (NLDB, 2015)

Investigating Instrumentation Techniques for ESB Runtime Verification. - Christian Colombo 001; Gabriel Dimech; Adrian Francalanza (SEFM, 2015)

A Controlled Natural Language for Tax Fraud Detection. - Aaron Calafato; Christian Colombo 001; Gordon J. Pace (CNL, 2016)

Using gherkin to extract tests and monitors for safer medical device interaction design. - Abigail Cauchi; Christian Colombo 001; Adrian Francalanza; Mark Micallef; Gordon J. Pace (EICS, 2016)

A Model-Based Approach to Combining Static and Dynamic Verification Techniques. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (ISoLA (1), 2016)

Runtime Verification for Stream Processing Applications. - Christian Colombo 001; Gordon J. Pace; Luke Camilleri; Claire Dimech; Reuben A. Farrugia; Jean-Paul Grech; Alessio Magro; Andrew C. Sammut; Kristian Zarb Adami (ISoLA (2), 2016)

First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402. - Christian Colombo 001; Yliès Falcone (RV, 2016)

An Automata-Based Approach to Evolving Privacy Policies for Social Networks. - Raúl Pardo; Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (RV, 2016)

Compliance Checking in the Open Payments Ecosystem. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace; Brian Vella (SEFM, 2016)

Device-Centric Monitoring for Mobile Device Management. - Luke Chircop; Christian Colombo 001; Gordon J. Pace (FESCA@ETAPS, 2016)

Organising LTL monitors over distributed systems with a global clock. - Christian Colombo 001; Yliès Falcone (Formal Methods Syst. Des., 2016)

Runtime Verification using VALOUR. - Shaun Azzopardi; Christian Colombo 001; Jean-Paul Ebejer; Edward Mallia; Gordon J. Pace (RV-CuBES, 2017)

Runtime Verification using LARVA. - Christian Colombo 001; Gordon J. Pace (RV-CuBES, 2017)

Control-Flow Residual Analysis for Symbolic Automata. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (PrePost@iFM, 2017)

Exploring the Link Between Test Suite Quality and Automatic Specification Inference. - Luke Chircop; Christian Colombo 001; Mark Micallef (PrePost@iFM, 2017)

A Controlled Natural Language for Financial Services Compliance Checking. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (CNL, 2018)

Contracts over Smart Contracts: Recovering from Violations Dynamically. - Christian Colombo 001; Joshua Ellul; Gordon J. Pace (ISoLA (4), 2018)

Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design. - Christian Colombo 001; Gordon J. Pace (ISoLA (4), 2018)

COST Action IC1402 Runtime Verification Beyond Monitoring. - Christian Colombo 001; Yliès Falcone; Martin Leucker; Giles Reger; César Sánchez 001; Gerardo Schneider; Volker Stolz (RV, 2018)

Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. - Christian Colombo 001; Gordon J. Pace (Lectures on Runtime Verification, 2018)

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. - Wolfgang Ahrendt; Cyrille Artho; Christian Colombo 001; Yliès Falcone; Srdan Krstic; Martin Leucker; Florian Lorber; João M. Lourenço; Leonardo Mariani; César Sánchez 001; Gerardo Schneider; Volker Stolz (CoRR, 2019)

A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. - Ezio Bartocci; Yliès Falcone; Borzoo Bonakdarpour; Christian Colombo 001; Normann Decker; Klaus Havelund; Yogi Joshi; Felix Klaedtke; Reed Milewicz; Giles Reger; Grigore Rosu; Julien Signoles; et al. (Int. J. Softw. Tools Technol. Transf., 2019)

Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification. - Christian Colombo 001; Mark Vella (ICISSP, 2020)

A Technique for Automata-based Verification with Residual Reasoning. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (MODELSWARD, 2020)

CLARVA: Model-based Residual Verification of Java Programs. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (MODELSWARD, 2020)

Model-Based Static and Runtime Verification for Ethereum Smart Contracts. - Shaun Azzopardi; Christian Colombo 001; Gordon J. Pace (MODELSWARD (Revised Selected Papers), 2020)

Themulus: A Timed Contract-calculus. - Alberto Aranda García; María-Emilia Cambronero; Christian Colombo 001; Luis Llana; Gordon J. Pace (MODELSWARD, 2020)

Real-Time Triggering of Android Memory Dumps for Stealthy Attack Investigation. - Jennifer Bellizzi; Mark Vella; Christian Colombo 001; Julio C. Hernandez-Castro (NordSec, 2020)

Runtime Verification of Contracts with Themulus. - Alberto Aranda García; María-Emilia Cambronero; Christian Colombo 001; Luis Llana; Gordon J. Pace (SEFM, 2020)

SpotCheck: On-Device Anomaly Detection for Android. - Mark Vella; Christian Colombo 001 (SIN, 2020)

Reducing the Forensic Footprint with Android Accessibility Attacks. - Yonas Leguesse; Mark Vella; Christian Colombo 001; Julio C. Hernandez-Castro (STM, 2020)

Runtime Verification: Passing on the Baton. - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (Formal Methods in Outer Space, 2021)

Runtime verification for trustworthy secure shell deployment. - Axel Curmi; Christian Colombo 001; Mark Vella (VORTEX@ISSTA, 2021)

Responding to Living-Off-the-Land Tactics using Just-In-Time Memory Forensics (JIT-MF) for Android. - Jennifer Bellizzi; Mark Vella; Christian Colombo 001; Julio C. Hernandez-Castro (SECRYPT, 2021)

Secure Implementation of a Quantum-Future GAKE Protocol. - Robert Abela; Christian Colombo 001; Peter Malo; Peter Sýs; Tomás Fabsic; Ondrej Gallo; Viliam Hromada; Mark Vella (STM, 2021)

PoPL: Proof-of-Presence and Locality, or How to Secure Financial Transactions on Your Smartphone. - Yonas Leguesse; Christian Colombo 001; Mark Vella; Julio C. Hernandez-Castro (IEEE Access, 2021)

Preface. - Martin Leucker; Christian Colombo 001 (Int. J. Softw. Tools Technol. Transf., 2021)

RV-TEE: secure cryptographic protocol execution based on runtime verification. - Mark Vella; Christian Colombo 001; Robert Abela; Peter Spacek (J. Comput. Virol. Hacking Tech., 2021)

Runtime Verification - A Hands-On Approach in Java - Christian Colombo 001; Gordon J. Pace (Springer, 2022)

D-Cloud-Collector: Admissible Forensic Evidence from Mobile Cloud Storage. - Mark Vella; Christian Colombo 001 (SEC, 2022)

Responding to Targeted Stealthy Attacks on Android Using Timely-Captured Memory Dumps. - Jennifer Bellizzi; Mark Vella; Christian Colombo 001; Julio César Hernández Castro (IEEE Access, 2022)

RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation. - Axel Curmi; Christian Colombo 001; Mark Vella (J. Object Technol., 2022)

Using Infrastructure-Based Agents to Enhance Forensic Logging of Third-Party Applications. - Jennifer Bellizzi; Mark Vella; Christian Colombo 001; Julio C. Hernandez-Castro (ICISSP, 2023)

Runtime Verification for Trustworthy Computing. - Robert Abela; Christian Colombo 001; Axel Curmi; Mattea Fenech; Mark Vella; Angelo Ferrando 001 (AREA@ECAI, 2023)

VEDRANDO: A Novel Way to Reveal Stealthy Attack Steps on Android through Memory Forensics. - Jennifer Bellizzi; Eleonora Losiouk; Mauro Conti; Christian Colombo 001; Mark Vella (J. Cybersecur. Priv., 2023)

A Metric to Assess the Reliability of Crowd-sourced SUS Scores: A Case Study on the PoPLar Authentication Tool. - Yonas Leguesse; Mark Vella; Christian Colombo 001; Julio C. Hernandez-Castro (EuroUSEC, 2024)

Interest Beyond Violation: On Points-of-Interest in Runtime Verification. - Christian Colombo 001; Gordon J. Pace; Gerardo Schneider (ISoLA (3), 2024)

Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges. - Christian Colombo 001; Gordon J. Pace; Dylan Seychell (AISoLA, 2024)

RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors. - Christian Colombo 001; Axel Curmi; Robert Abela (VORTEX@ISSTA, 2024)