2019

• 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, and various others, in FMSD 54(3): 279-335, 2019. (PDF)
• COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, and various others, CoRR abs/1902.03776 (2019). (PDF)
  
• First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, and various others, STTT 21(1): 31-70 (2019). (PDF)

2018 

• Runtime Verification Conference 2018, Christian Colombo and Martin Leucker as editors, LNCS 11237, Springer.
• COST Action IC1402: Runtime Verification beyond Monitoring, Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, Cesar Sanchez, Gerardo Schneider and Volker Stolz, in RV, Limassol, Cyprus, 2018. (PDF)
  
• Considering Academia-Industry Projects Meta-Characteristics in Runtime Verification Design, Christian Colombo and Gordon Pace, in ISoLA, Limassol, Cyprus, 2018. (PDF)
• Contracts over Smart Contracts: Recovering from Violations Dynamically, Christian Colombo, Joshua Ellul, and Gordon Pace, in ISoLA, Limassol, Cyprus, 2018. (PDF)
• A Controlled Natural Language for Financial Services Compliance Checking, Shaun Azzopardi, Christian Colombo and Gordon Pace, in CNL, Co Kildare, Ireland, 2018. (PDF)
• Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges, Christian Colombo and Gordon Pace, in Handbook of Runtime Verification - Introductory and Advanced Topics, 10457, 206-227, Springer, 2018. (PDF)

2017

• Runtime Verification using Valour, Shaun Azzopardi, Christian Colombo, Jean Paul Ebejer, Edward Mallia, and Gordon Pace, RV-CuBES, Seattle, USA, 2017. (PDF)
• Runtime Verification using Larva, Christian Colombo and Gordon Pace, RV-CuBES, Seattle, USA, 2017. (PDF)
• Control-Flow Residual Analysis for Symbolic Automata, Shaun Azzopardi, Christian Colombo, and Gordon Pace, PrePost, Torino, Italy, 2017. (PDF)
  
• Exploring the link between automatic specification inference and test suite quality, Luke Chircop, Christian Colombo, and Mark Micallef, PrePost, Torino, Italy, 2017. (PDF)

2016

• Runtime Verification for Stream Processing Applications, Christian Colombo, Gordon Pace, Luke Camilleri, Claire Dimech, Reuben Farrugia, Jean Paul Grech, Alessio Magro, Andrew C Sammut, Kristian Zarb Adami, ISoLA, Corfu, Greece, 2016. (PDF)
• A Model-Based Approach to Combining Static and Dynamic Verification Techniques, Shaun Azzopardi, Christian Colombo, and Gordon Pace, ISoLA, Corfu, Greece, 2016. (PDF)
• First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402, Christian Colombo, Yliès Falcone, RV, Madrid, Spain, 2016. (PDF)
• An Automata-Based Approach to Evolving Privacy Policies for Social Networks, Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider, RV, Madrid, Spain, 2016. (PDF)
• Using Gherkin to Extract Tests and Monitors for Safer Medical Device Interaction Design, Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon Pace, in the Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016. (PDF)
• A Controlled Natural Language For Tax Fraud Detection, Aaron Calafato, Christian Colombo, Gordon Pace and Brian Vella, CNL, Aberdeen, UK, 2016. (PDF)
• Compliance Checking in the Open Payments Ecosystem, Shaun Azzopardi, Christian Colombo, Gordon Pace and Brian Vella, SEFM, Vienna, Austria, 2016. (PDF)
• Organising LTL Monitors over Distributed Systems with a Global Clock, Christian Colombo and Ylies Falcone, in Formal Methods in System Design, 49(1-2): 109-158, 2016. (PDF)
• Device-Centric Monitoring for Mobile Device Management, Luke Chircop, Christian Colombo and Gordon Pace, FESCA, Eindhoven, The Netherlands, 2016. (PDF)

2015

• Using Control Flow Analysis to Improve the Effectiveness of Incremental Mutation Testing, Luke Bajada, Mark Micallef and Christian Colombo, IWPSE, Bergamo, Italy, 2015. (PDF)
• BYOD for Android - Just add Java, Jessica Buttigieg, Mark Vella and Christian Colombo, TRUST, Crete, Greece, 2015. (PDF) Poster (PDF)
• Investigating Instrumentation Techniques for ESB Runtime Verification, Christian Colombo, Gabriel Dimech, and Adrian Francalanza, SEFM, York, UK, 2015. (PDF)
• A Controlled Natural Language for Business Intelligence Monitoring, Christian Colombo, Jean Paul Grech, and Gordon Pace, NLDB, Passau, Germany, 2015. (PDF)
• Lessons learnt from using DSLs for Automated Software Testing, Mark Micallef and Christian Colombo, TAIC PART, Graz, Austria, 2015. (PDF)
• Mutate my software, Mark Micallef and Christian Colombo, THINK Magazine, Issue 14, 2015. (Link)
• Extracting Runtime Monitors from Tests, Christian Colombo, Mark Micallef, and Keith Spiteri, White paper, 2015. (PDF)
• Device Centric Monitoring On Mobile Devices, Luke Chircop, Christian Colombo and Gordon Pace, internal report 03-WICT-2015, University of Malta, 2015. (PDF)
• Extracting Monitors from JUnit Tests, Christian Colombo, Jonathan Micallef and Mark Micallef, internal report 02-WICT-2015, University of Malta, 2015. (PDF)
• A Domain Specific Property Language For Fraud Detection To Support Agile Specification Development, Aaron Calafato, Christian Colombo and Gordon Pace, internal report 01-WICT-2015, University of Malta, 2015. (PDF)

2014

• Organising LTL Monitors over Distributed Systems with a Global Clock, Christian Colombo and Ylies Falcone, RV, Toronto, Canada, 2014. (PDF)
• Comprehensive Monitor-Oriented Compensation Programming, Christian Colombo and Gordon Pace, FESCA, Grenoble, France, 2014. (PDF)
• Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing, Christian Colombo, Mark Micallef, and Mark Scerri, MBT, Grenoble, France, 2014. (PDF)
• Monitoring Distributed Systems with Distributed PolyLarva, Ian Cassar, Christian Colombo, and Adrian Francalanza, Xjenza Online - Journal of The Malta Chamber of Scientists, 2014. (Link)
• Lifelong Verification of Software Systems, Christian Colombo, Mark Micallef, and Gordon Pace, internal report 01-WICT-2014, University of Malta, 2014. (PDF)
• A Domain Specific Property Language For Fraud Detection To Support Agile Specification Development, Aaron Calafato, Christian Colombo, and Gordon Pace, internal report 02-WICT-2014, University of Malta, 2014. (PDF)
• Applying Runtime Verification Techniques to an Enterprise Service Bus, Christian Colombo, Gabriel Dimech, and Adrian Francalanza, internal report 03-WICT-2014, University of Malta, 2014. (PDF)
• Monitoring Distributed Systems with Distributed PolyLarva, Ian Cassar, Christian Colombo, and Adrian Francalanza, internal report 04-WICT-2014, University of Malta, 2014. (PDF)