Christian Colombo — Publications Map

Click a keyword to grow the map. Click a leaf to read the paper. Follow the links to wander from topic to topic.

Click a keyword to open it, and click it again to fold it. Drag to move things, scroll or pinch to zoom.

All publications as a plain list

2023

The pedagogical role of philosophy in a community of inquiry — Luke Fenech, Christian Colombo
VEDRANDO : a novel way to reveal stealthy attack steps on android through memory forensics — Jennifer Bellizzi, Eleonora Losiouk, Mauro Conti, Christian Colombo, Mark Joseph Vella
Using infrastructure-based agents to enhance forensic logging of third-party applications — Jennifer Bellizzi, Mark Joseph Vella, Christian Colombo, Julio Hernandez-Castro
The human quest for meaning : theatre as a vehicle for dialogue — Tyrone Grima, Christian Colombo
Runtime verification for trustworthy computing — Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Joseph Vella, Angelo Ferrando

2022

RV-TEE-based trustworthy secure shell deployment : an empirical evaluation — Axel Curmi, Christian Colombo, Mark Joseph Vella
Responding to targeted stealthy attacks on android using timely-captured memory dumps — Jennifer Bellizzi, Mark Joseph Vella, Christian Colombo, Julio Hernandez-Castro
D-Cloud-Collector : admissible forensic evidence from mobile cloud storage — Mark Joseph Vella, Christian Colombo

2021

The human quest for meaning : theatre as a vehicle for dialogue — Tyrone Grima, Christian Colombo
Secure implementation of a quantum-future GAKE protocol — Robert Abela, Christian Colombo, Peter Malo, Peter Sýs, Tomáš Fabšič, Ondrej Gallo, Viliam Hromada, Mark Joseph Vella
RV-TEE : secure cryptographic protocol execution based on runtime verification — Mark Joseph Vella, Christian Colombo, Robert Abela, Peter Špaček
Runtime verification: passing on the baton — Christian Colombo, Gordon J. Pace, Gerardo Schneider
Runtime verification for trustworthy secure shell deployment — Axel Curmi, Christian Colombo, Mark Joseph Vella
Responding to living-off-the-land tactics using just-in-time memory forensics (JIT-MF) for Android — Jennifer Bellizzi, Mark Joseph Vella, Christian Colombo, Julio Hernandez-Castro
Preface — Martin Leucker, Christian Colombo
PoPL : proof-of-presence and locality, or how to secure financial transactions on your smartphone — Yonas Leguesse, Christian Colombo, Mark Joseph Vella, Julio Hernandez-Castro
Model-based static and runtime verification for ethereum smart contracts — Shaun Azzopardi, Christian Colombo, Gordon J. Pace

2020

Agnes of God — University of Malta. School of Performing Arts. Department of Theatre Studies, Tyrone Grima, John Pielmeier, Christian Colombo
Towards a comprehensive solution for secure cryptographic protocol execution based on runtime verification — Christian Colombo, Mark Joseph Vella
Themulus : a timed contract-calculus — Alberto Aranda Garcia, Maria-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
SpotCheck : on-device anomaly detection for Android — Mark Joseph Vella, Christian Colombo
Secure communication in the quantum era : (group) key establishment — Christian Colombo, María Isabel González Vasco, Rainer Steinwandt, Pavol Zajac
Runtime verification of contracts with Themulus — Alberto Aranda Garcia, Maria-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
Reducing the forensic footprint with Android accessibility attacks — Yonas Leguesse, Mark Joseph Vella, Christian Colombo, Julio Hernandez-Castro
Real-time triggering of Android memory dumps for stealthy attack investigation — Jennifer Bellizzi, Mark Joseph Vella, Christian Colombo, Julio Hernandez-Castro
CLARVA : model-based residual verification of Java programs — Shaun Azzopardi, Christian Colombo, Gordon J. Pace
A technique for automata-based verification with residual reasoning — Shaun Azzopardi, Christian Colombo, Gordon J. Pace

2019

Living off Android’s accessible land — Yonas Leguesse, Mark Joseph Vella, Christian Colombo
Hooking Android apps for just-in-time memory dumping — Jennifer Bellizzi, Mark Joseph Vella, Christian Colombo
First international competition on runtime verification : rules, benchmarks, tools, and final results of CRV 2014 — Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang
COST Action IC 1402 ArVI : runtime verification beyond monitoring - activity report of working group 1 — Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srđan Krstić, Martin Leucker, Florian Lorber, Joa̋o M. Lourenço, Leonardo Mariani, Cesar Sanchez, Gerardo Schneider, Volker Stolz
Applying runtime verification to group key establishment — Christian Colombo, María Isabel González Vasco, Mark Joseph Vella, Pavol Zajac
A survey of challenges for runtime verification from advanced application domains (beyond software) — César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srđan Krstić, Joa̋o M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss

2018

Securing calls to ethereum smart contracts with static and dynamic analysis — Shaun Azzopardi, Christian Colombo, Gordon J. Pace
Runtime verification — Christian Colombo, Martin Leucker
Industrial experiences with runtime verification of financial transaction systems : lessons learnt and standing challenges — Christian Colombo, Gordon J. Pace
COST Action IC1402 runtime verification beyond monitoring — Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, Cesar Sanchez, Gerardo Schneider, Volker Stolz
Contracts over smart contracts : recovering from violations dynamically — Christian Colombo, Joshua Ellul, Gordon J. Pace
Considering academia-industry projects meta-characteristics in runtime verification design — Christian Colombo, Gordon J. Pace
A controlled natural language for financial services compliance checking — Shaun Azzopardi, Christian Colombo, Gordon J. Pace

2017

Runtime verification using Valour — Shaun Azzopardi, Christian Colombo, Jean Paul Ebejer, Edward Mallia, Gordon J. Pace
Runtime verification using Larva — Christian Colombo, Gordon J. Pace
Exploring the link between test suite quality and automatic specification inference — Luke Chircop, Christian Colombo, Mark Micallef
Control-flow residual analysis for symbolic automata — Shaun Azzopardi, Christian Colombo, Gordon J. Pace

2016

Improving the automatic runtime monitor generation process via pruning : a way forward — Luke Chircop, Christian Colombo, Mark Micallef, Adrian Francalanza, Gordon J. Pace
Run-time monitoring for the diagnosis and recovery of complex physical systems — Giacinto De Cataldo, Christian Colombo, Antonio Franco, Gordon J. Pace, Gianluca Valentino, Kevin Vella
Using gherkin to extract tests and monitors for safer medical device interaction design — Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace
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
Organising LTL monitors over distributed systems with a global clock — Christian Colombo, Yliès Falcone
First international summer school on runtime verification : as part of the ArVi COST Action 1402 — Christian Colombo, Yliès Falcone
Extracting runtime monitors from tests — Christian Colombo, Mark Micallef, Keith Spiteri
Device-centric monitoring for mobile device management — Luke Chircop, Christian Colombo, Gordon J. Pace
Compliance checking in the open payments ecosystem — Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella
Automatically generating runtime monitors from tests — Abigail Cauchi, Luke Chircop, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace
An automata-based approach to evolving privacy policies for social networks — Raul Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider
A model-based approach to combining static and dynamic verification techniques — Shaun Azzopardi, Christian Colombo, Gordon J. Pace
A controlled natural language for tax fraud detection — Aaron Calafato, Christian Colombo, Gordon J. Pace

2015

An overview of techniques aimed at automatically generating oracles from tests — Luke Chircop, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace
Mutate my software — Mark Micallef, Christian Colombo
Using control flow analysis to improve the effectiveness of incremental mutation testing — Luke Bajada, Mark Micallef, Christian Colombo
Lessons learnt from using DSLs for automated software testing — Mark Micallef, Christian Colombo
Investigating instrumentation techniques for ESB runtime verification — Christian Colombo, Gabriel Dimech, Adrian Francalanza
Device centric monitoring on mobile devices — Luke Chircop, Christian Colombo, Gordon J. Pace
BYOD for Android - just add Java — Jessica Buttigieg, Mark Joseph Vella, Christian Colombo
A controlled natural language for business intelligence monitoring — Christian Colombo, Jean Paul Grech, Gordon J. Pace

2014

Using DSLs for software testing — Mark Micallef, Christian Colombo
Investigating different instrumentation techniques in the context of ESB runtime verification — Gabriel Dimech, Christian Colombo, Adrian Francalanza
Improving the Gherkin specification language using aspect-oriented techniques — John Aquilina Alamango, Christian Colombo, Mark Micallef
Improving Android security through real-time policy enforcement — Luke Chircop, Christian Colombo, Gordon J. Pace
Extracting monitors from JUnit tests — Christian Colombo, Jonathan Micallef, Mark Micallef
Event-based characterisation of temporal properties over system states — Christian Colombo, Gordon J. Pace, Justine Scicluna
A DSL for business intelligence monitoring — Christian Colombo, Jean Paul Grech, Gordon J. Pace
A domain specific property language for fraud detection to support agile specification development — Aaron Calafato, Christian Colombo, Gordon J. Pace
Verifying web applications : from business level specifications to automated model-based testing — Christian Colombo, Mark Micallef, Mark Scerri
Monitoring distributed systems with distributed polyLarva — Ian Cassar, Adrian Francalanza, Christian Colombo
Lifelong verification of software systems — Christian Colombo, Mark Micallef, Gordon J. Pace
Comprehensive monitor-oriented compensation programming — Christian Colombo, Gordon J. Pace
Applying runtime verification techniques to an enterprise service bus — Gabriel Dimech, Christian Colombo, Adrian Francalanza

2013

Applying runtime verification techniques to enterprise service bus architectures — Christian Colombo, Gabriel Dimech, Adrian Francalanza
Using Gherkin for interaction design testing and monitoring — Abigail Cauchi, Christian Colombo, Mark Micallef, Gordon J. Pace
Towards incremental mutation testing — Mark Anthony Cachia, Mark Micallef, Christian Colombo
SMock - a test platform for monitoring tools — Christian Colombo, Ruth Mizzi, Gordon J. Pace
Recovery within long running transactions — Christian Colombo, Gordon J. Pace
PolyLarva : technology agnostic runtime verification — Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
OSGiLarva : a monitoring framework supporting OSGi’s dynamicity — Yufang Dan, Nicolas Stouls, Christian Colombo, Stéphane Frénot
Monitor-oriented compensation programming through compensating automata — Christian Colombo, Gordon J. Pace
Facilitating and extending software testing through monitoring techniques — Christian Colombo, Mark Micallef, Gordon J. Pace
Extensible technology agnostic runtime verification — Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
Addressing practical challenges of mutation testing — Mark Anthony Cachia, Mark Micallef, Christian Colombo
A case study on graphically modelling and detecting knowledge mobility risks — Mark Micallef, Christian Colombo

2012

Combining testing and runtime verification — Christian Colombo
Trusting the machine — Gordon J. Pace, Christian Colombo
Separating compensation concerns and programming them with compensating automata — Christian Colombo, Gordon J. Pace
Towards a specification-based correctness of Erlang systems through asynchronous monitoring — Christian Colombo, Adrian Francalanza
Simplifying contract-violating traces — Christian Colombo, Adrian Francalanza, Ian Grima
Safer asynchronous runtime monitoring using compensations — Christian Colombo, Gordon J. Pace, Patrick Abela
Runtime verification and compensations — Christian Colombo
Programming compensations for system-monitor synchronisation — Christian Colombo, Gordon J. Pace
PolyLARVA : runtime verification with configurable resource-aware monitoring boundaries — Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
Fast-forward runtime monitoring - an industrial case study — Christian Colombo, Gordon J. Pace
Considerations for monitoring highly concurrent systems — Ruth Mizzi, Christian Colombo, Adrian Francalanza, Gordon J. Pace
A monitoring approach for dynamic service-oriented architecture systems — Yufang Dan, Nicolas Stouls, Stéphane Frénot, Christian Colombo

2011

ELARVA : a monitoring tool for Erlang — Christian Colombo, Adrian Francalanza, Rudolph Gatt
An event-driven language for cartographic modelling of knowledge in software development organisations — Mark Micallef, Christian Colombo
A compensating transaction example in twelve notations — Christian Colombo, Gordon J. Pace

2010

LarvaStat : monitoring of statistical properties — Christian Colombo, Andrew Gauci, Gordon J. Pace
Dynamic automata in Larva — John Paul Cassar, Christian Colombo, Gordon J. Pace
Compensation-aware runtime monitoring — Christian Colombo, Gordon J. Pace, Patrick Abela
An architecture supporting compensation-aware monitoring — Christian Colombo, Gordon J. Pace, Patrick Abela

2009

Statistics and runtime verification — Andrew Gauci, Gordon J. Pace, Christian Colombo
Slowdown invariance of timed regular expressions — Ingram Bondin, Gordon J. Pace, Christian Colombo
Safe runtime verification of real-time properties — Christian Colombo, Gordon J. Pace, Gerardo Schneider
Resource-bounded runtime verification of Java programs with real-time properties — Christian Colombo, Gordon J. Pace, Gerardo Schneider
Offline runtime verification with real-time properties : a case study — Christian Colombo, Gordon J. Pace, Patrick Abela
LARVA - safer monitoring of real-time Java programs (tool paper) — Christian Colombo, Gordon J. Pace, Gerardo Schneider

2008

Practical runtime monitoring with impact guarantees of Java programs with real-time constraints — Christian Colombo
LARVA converter user manual — Christian Colombo
Dynamic event-based runtime monitoring of real-time and contextual properties — Christian Colombo, Gordon J. Pace, Gerardo Schneider
Dynamic analysis overview and a proposed verification tool for temporal properties in security-critical software — Christian Colombo
A practical approach to runtime verification of real-time properties for Java programs — Christian Colombo, Gordon J. Pace, Gerardo Schneider

2007

Kanban scheduling system — Christian Colombo, John Abela
Aspect-oriented programming runtime-enforcement of temporal properties in security-critical software — Christian Colombo, Gordon J. Pace

2026

2025

2024