Christian Colombo

Christian Colombo, Mark Micallef, C. Colombo, 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Elarva: A Monitoring Tool for Erlang

Adrian Francalanza, Christian Colombo, Rudolph Gatt, 2011, RV.

Runtime Verification of Contracts with Themulus

Gordon J. Pace, Christian Colombo, María-Emilia Cambronero, 2020, SEFM.

Extensible Technology-Agnostic Runtime Verification

Gordon J. Pace, Adrian Francalanza, Christian Colombo, 2013, FESCA.

Investigating Instrumentation Techniques for ESB Runtime Verification

Adrian Francalanza, Christian Colombo, Gabriel Dimech, 2015, SEFM.

A survey of challenges for runtime verification from advanced application domains (beyond software)

Dejan Nickovic, César Sánchez, Gordon J. Pace, 2018, Formal Methods in System Design.

OSGiLarva : a monitoring framework supporting OSGi’s dynamicity

Stéphane Frénot, Christian Colombo, Nicolas Stouls, 2013 .

Secure Communication in the Quantum Era: (Group) Key Establishment

Christian Colombo, Pavol Zajac, Rainer Steinwandt, 2020 .

Recovery within long-running transactions

Gordon J. Pace, Christian Colombo, G. Pace, 2013, CSUR.

SMock - A Test Platform for Monitoring Tools

Gordon J. Pace, Christian Colombo, Ruth Mizzi, 2013, RV.

A Model-Based Approach to Combining Static and Dynamic Verification Techniques

Gordon J. Pace, Christian Colombo, Shaun Azzopardi, 2016, ISoLA.

A Controlled Natural Language for Tax Fraud Detection

Gordon J. Pace, Christian Colombo, Aaron Calafato, 2016, CNL.

LarvaStat: Monitoring of Statistical Properties

Gordon J. Pace, Christian Colombo, Andrew Gauci, 2010, RV.

Run-time monitoring for the diagnosis and recovery of complex physical systems

Gordon J. Pace, Christian Colombo, Kevin Vella, 2016 .

Resource-Bounded Runtime Verification of Java Programs with Real-Time Properties

Gordon J. Pace, Christian Colombo, Gerardo Schneider, 2009 .

An architecture supporting compensation-aware monitoring

Gordon J. Pace, Christian Colombo, Patrick Abela, 2010 .

Simplifying Contract-Violating Traces

Adrian Francalanza, Christian Colombo, Ian Grima, 2012, FLACOS.

Runtime Verification using VALOUR

Gordon J. Pace, Christian Colombo, Jean-Paul Ebejer, 2017, RV-CuBES.

LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)

Gordon J. Pace, Christian Colombo, Gerardo Schneider, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

A Monitoring Approach for Dynamic Service-Oriented Architecture Systems

Stéphane Frénot, Christian Colombo, Nicolas Stouls, 2012 .

Compensation-Aware Runtime Monitoring

Gordon J. Pace, Christian Colombo, Patrick Abela, 2010, RV.

Programming compensations for system-monitor synchronisation

Gordon J. Pace, Christian Colombo, 2012 .

COST Action IC1402 Runtime Verification Beyond Monitoring

César Sánchez, Volker Stolz, Christian Colombo, 2018, RV.

A Practical Approach to Runtime Verification of Real-Time Properties for Java Programs

Gordon J. Pace, Christian Colombo, Gerardo Schneider, 2008 .

Using Gherkin for Interaction Design Testing and Monitoring

Gordon J. Pace, Christian Colombo, Mark Micallef, 2013 .

Runtime Verification

Christian Colombo, Martin Leucker, 2018, Lecture Notes in Computer Science.

Themulus: A Timed Contract-calculus

Gordon J. Pace, Christian Colombo, María-Emilia Cambronero, 2020, MODELSWARD.

Compliance Checking in the Open Payments Ecosystem

Gordon J. Pace, Christian Colombo, Shaun Azzopardi, 2016, SEFM.

A Compensating Transaction Example in Twelve Notations

Gordon J. Pace, Christian Colombo, 2011 .

Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design

Gordon J. Pace, Christian Colombo, 2018, ISoLA.

Towards a specification-based correctness of Erlang systems through asynchronous monitoring

Adrian Francalanza, Christian Colombo, 2012 .

polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries

Gordon J. Pace, Adrian Francalanza, Christian Colombo, 2012, SEFM.

Runtime Verification using LARVA

Gordon J. Pace, Christian Colombo, 2017, RV-CuBES.

Reducing the Forensic Footprint with Android Accessibility Attacks

Christian Colombo, Julio Hernandez-Castro, Yonas Leguesse, 2020, STM.

Safer asynchronous runtime monitoring using compensations

Gordon J. Pace, Christian Colombo, Patrick Abela, 2012, Formal Methods Syst. Des..

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)

Dejan Nickovic, Gordon J. Pace, Ezio Bartocci, 2019, Formal Methods Syst. Des..

Trusting the machine

Gordon J. Pace, Christian Colombo, 2012 .

Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges

Gordon J. Pace, Christian Colombo, 2018, Lectures on Runtime Verification.

Offline Runtime Verification with Real-Time Properties: A Ca se Study

Gordon J. Pace, Christian Colombo, Patrick Abela, 2009 .

Aspect-oriented programming runtime-enforcement of temporal properties in security-critical software

Gordon J. Pace, Christian Colombo, G. Pace, 2007 .

Applying runtime verification techniques to an enterprise service bus

Adrian Francalanza, Christian Colombo, Gabriel Dimech, 2014 .

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1 pdf

Florian Lorber, César Sánchez, Cyrille Artho, 2019, ArXiv.

Safe Runtime Verification of Real-Time Properties

Gordon J. Pace, Christian Colombo, Gerardo Schneider, 2009, FORMATS.

Applying runtime verification techniques to enterprise service bus architectures

Adrian Francalanza, Christian Colombo, Gabriel Dimech, 2013 .

A DSL for business intelligence monitoring

Gordon J. Pace, Christian Colombo, Jean Paul Grech, 2014 .

Exploring the Link Between Test Suite Quality and Automatic Specification Inference

Christian Colombo, Mark Micallef, Luke Chircop, 2017, PrePost@iFM.

Mutate my software

Christian Colombo, Mark Micallef, 2015 .

A Controlled Natural Language for Business Intelligence Monitoring

Gordon J. Pace, Christian Colombo, Jean-Paul Grech, 2015, NLDB.

Fast-Forward Runtime Monitoring - An Industrial Case Study

Gordon J. Pace, Christian Colombo, 2012, RV.

Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties

Gordon J. Pace, Christian Colombo, Gerardo Schneider, 2009, FMICS.

Lifelong verification of software systems

Gordon J. Pace, Christian Colombo, Mark Micallef, 2014 .

First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402

Christian Colombo, Yliès Falcone, 2016, RV.

An Automata-Based Approach to Evolving Privacy Policies for Social Networks

Gordon J. Pace, Christian Colombo, Gerardo Schneider, 2016, RV.

Runtime Verification for Stream Processing Applications

Gordon J. Pace, Reuben A. Farrugia, Christian Colombo, 2016, ISoLA.

Dynamic analysis overview and a proposed verification tool for temporal properties in security-critical software

Christian Colombo, C. Colombo, 2008 .

A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks

Christian Colombo, Mark Micallef, 2013 .

Towards Incremental Mutation Testing

Christian Colombo, Mark Micallef, Mark Anthony Cachia, 2013, Electron. Notes Theor. Comput. Sci..

Separating compensation concerns and programming them with compensating automata

Gordon J. Pace, Christian Colombo, 2012 .

Practical runtime monitoring with impact guarantees of java programs with real-time constraints

Christian Colombo, C. Colombo, 2008 .

Automatically generating runtime monitors from tests

Gordon J. Pace, Adrian Francalanza, Christian Colombo, 2016 .

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Ezio Bartocci, Yi Zhang, Felix Klaedtke, 2017, International Journal on Software Tools for Technology Transfer.

An event-driven language for cartographic modelling of knowledge in software development organisations

Christian Colombo, Mark Micallef, C. Colombo, 2011 .

RV-TEE: secure cryptographic protocol execution based on runtime verification

Christian Colombo, Mark Vella, Robert Abela, 2021, Journal of Computer Virology and Hacking Techniques.

Responding to Living-Off-the-Land Tactics using Just-in-Time Memory Forensics (JIT-MF) for Android pdf

Christian Colombo, Julio Hernandez-Castro, Mark Vella, 2021, SECRYPT.

Runtime verification for trustworthy secure shell deployment

Christian Colombo, Mark Vella, Axel Curmi, 2021, VORTEX@ISSTA.

Secure Implementation of a Quantum-Future GAKE Protocol

Christian Colombo, Tomáš Fabšič, Viliam Hromada, 2021, STM.

PoPL: Proof-of-Presence and Locality, or How to Secure Financial Transactions on Your Smartphone

Christian Colombo, Julio Hernandez-Castro, Mark Vella, 2021, IEEE Access.

Runtime Verification: Passing on the Baton

Gordon J. Pace, Christian Colombo, Gerardo Schneider, 2021, Formal Methods in Outer Space.

Combining Testing and Runtime Verification

Christian Colombo, 2013 .

An International Workshop on Competitions , Usability , Benchmarks , Evaluation , and Standardisation for Runtime Verification Tools Runtime Verification using Larva

Gordon J. Pace, Christian Colombo, 2017 .

A Domain Specific Property Language For Fraud Detection To Support Agile Specification Development

Gordon J. Pace, Christian Colombo, Aaron Calafato, 2014 .