Publications - Christian Colombo - University of Malta

2013

Extensible Technology Agnostic Runtime Verification, Christian Colombo, Adrian Francalanza, Ruth Mizzi and Gordon Pace, FESCA, Rome, Italy, 2013. (PDF)
Monitor-Oriented Compensation Programming Through Compensating Automata, Christian Colombo and Gordon Pace, GT-VMT, Rome, Italy, 2013. (PDF)
A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks, Mark Micallef and Christian Colombo, GT-VMT, Rome, Italy, 2013. (PDF)
Towards Incremental Mutation Testing, Mark Anthony Cachia, Mark Micallef and Christian Colombo, VSSE, Rome, Italy, 2013. (PDF)
Addressing Practical Challenges of Mutation Testing, Mark Anthony Cachia, Mark Micallef and Christian Colombo, internal report 01-WICT-2012, University of Malta, 2013. (PDF)
Combining Testing and Runtime Verification, Christian Colombo, internal report 02-WICT-2012, University of Malta, 2013. (PDF)
Recovery within Long Running Transactions, Christian Colombo and Gordon Pace, ACM Computing Surveys, 45(3), 2013. (PDF) (BiBTeX entry)

2012

Fast-Forward Runtime Monitoring - An Industrial Case Study, Christian Colombo, and Gordon Pace, RV, Istanbul, Turkey, 2012. (PDF) (Bibtex Entry)
Simplifying Contract-Violating Traces, Christian Colombo, Adrian Francalanza, and Ian Grima, FLACOS, 2012. (PDF) (BiBTeX entry)
polyLarva: Runtime Verification with Configurable System-Monitor Resource-Aware Boundaries, Christian Colombo, Adrian Francalanza, Ruth Mizzi and Gordon Pace, Software Engineering and Formal Methods, 2012. (PDF) (BiBTeX entry)
Separating Compensation Concerns and Programming them with Compensating Automata, Christian Colombo and Gordon J. Pace, Department of Computer Science, University of Malta. Technical Report CS2012-01, 2012. (PDF) (BiBTeX entry)
A Monitoring Approach for Dynamic Service-Oriented Architecture Systems, Yufang Dan, Nicolas Stouls, Stéphane Frénot and Christian Colombo, Service Computation, Nice, France, 2012. (PDF) (Bibtex Entry) [best paper award]
Programming Compensations for System-Monitor Synchronisation, Christian Colombo and Gordon Pace, internal report 03-WICT-2012, University of Malta, 2012. (PDF)
Towards a Specification-Based Correctness of Erlang Systems Through Asynchronous Monitoring, Christian Colombo and Adrian Francalanza, internal report 02-WICT-2012, University of Malta, 2012. (PDF)
Considerations for Monitoring Highly Concurrent Systems, Ruth Mizzi, Christian Colombo, Adrian Francalanza and Gordon Pace, internal report 01-WICT-2012, University of Malta, 2012. (PDF)
Safer Asynchronous Runtime Monitoring Using Compensations, Christian Colombo, Gordon Pace and Patrick Abela, in Formal Methods in System Design, 41(3): 269-294, 2012. (PDF) (BiBTeX entry)

2011

Elarva: A Monitoring tool for Erlang, Christian Colombo, Adrian Francalanza and Rudolph Gatt, in RV, San Francisco, CA, USA, 2011. (PDF) (BiBTeX entry)
An Event-Driven Language for Cartographic Modelling of Knowledge in Software Development Organisations, Mark Micallef and Christian Colombo, Department of Computer Science, University of Malta. Technical Report CS2011-02, 2011. (PDF) (BiBTeX entry)
A Compensating Transaction Example in Twelve Notations, Christian Colombo and Gordon J. Pace, Department of Computer Science, University of Malta. Technical Report CS2011-01, 2011. (PDF) (BiBTeX entry)

2010

Compensation-Aware Runtime Monitoring, Christian Colombo, Gordon J. Pace and Patrick Abela, in RV, Malta, 2010. (PDF) (BiBTeX entry)
LarvaStat: Monitoring of Statistical Properties, Christian Colombo, Andrew Gauci and Gordon J. Pace, in RV, Malta, 2010.(PDF) (BiBTeX entry)
An Architecture Supporting Compensation-Aware Monitoring, Christian Colombo, Gordon J. Pace and Patrick Abela, internal report 01-WICT-2010, Malta. (PDF)
Dynamic Automata in Larva, John Paul Cassar, Christian Colombo and Gordon J. Pace, internal report 02-WICT-2010, Malta. (PDF)

2009

Slowdown Invariance of Timed Regular Expressions, Ingram Bondin, Gordon J. Pace and Christian Colombo, internal report 03-WICT-2009, Malta. (PDF)
Statistics and Runtime Verification, Andrew Gauci, Gordon J. Pace and Christian Colombo, internal report 02-WICT-2009, Malta. (PDF)
Offline Runtime Verification with Real-Time Properties: A Case Study, Christian Colombo, Gordon J. Pace and Patrick Abela, internal report 01-WICT-2009, Malta. (PDF)
Resource-Bounded Runtime Verification of Java Programs with Real-Time Properties, Christian Colombo, Gordon J. Pace and Gerardo Schneider, Department of Computer Science, University of Malta. Technical Report CS2009-01, 2009. (PDF) (BiBTeX entry)

LARVA - Safer Monitoring of Real-Time Java Programs, Christian Colombo, Gordon J. Pace and Gerardo Schneider, in SEFM 2009, Hanoi, Vietnam. (PDF) (BiBTeX entry)
Safe Runtime Verification of Real-Time Properties, Christian Colombo, Gordon J. Pace and Gerardo Schneider, in FORMATS 2009, Budapest, Hungary. (PDF) (BiBTeX entry)

2008

Practical Runtime Monitoring with Impact Guarantees of Java Programs with Real-Time Constraints, Christian Colombo, in MSc Thesis 2008, University of Malta. (PDF)
A Practical Approach to Runtime Verification of Real-Time Properties for Java Programs, Christian Colombo, Gordon J. Pace and Gerardo Schneider, in WICT 2008, Malta.
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties, Christian Colombo, Gordon J. Pace and Gerardo Schneider, in FMICS 2008, Italy. (PDF) (BiBTeX entry)