University of Malta
 

Christian Colombo
Publications
UOM Main Page
 
 
  * Home
--------
  * Links
--------
  * Projects
--------
  * Publications
--------
  * Talks
--------
  * Tools
--------
 

2018 

  • Runtime Verification Conference 2018, Christian Colombo and Martin Leucker as editors, to be published.
  • COST Action IC1402: Runtime Verification beyond Monitoring, Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, Cesar Sanchez, Gerardo Schneider and Volker Stolz, RV 2018, to appear.
  • 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 ChallengesChristian 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)
  • 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, ISoLA, International Journal on Software Tools for Technology Transfer, 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 DetectionAaron 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. (PDFPoster (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 ColomboMark 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)

2013

  • Runtime Verification and Compensations, Christian Colombo, PhD Thesis, University of Malta, 2013. (PDF)
  • SMock— A Test Platform for Monitoring Tools, Christian Colombo, Ruth Mizzi, Gordon Pace, RV, Rennes, France, 2013. (PDF)
  • Facilitating and extending software testing through monitoring techniques, Christian Colombo, Mark Micallef and Gordon Pace, White Paper, 2013. (PDF)
  • OSGiLarva: a Monitoring Framework Supporting OSGi’s Dynamicity, Yufang Dan, Nicolas Stouls, Christian Colombo, and Stéphane Frénot, International Journal on Advances in Security, 6(1&2), pp. 49-61, 2013. (PDF)
  • 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 AutomataChristian Colombo and Gordon Pace, ECEASST 582013. (PDF)
  • A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks, Mark Micallef and Christian Colombo, ECEASST 582013. (PDF)
  • Towards Incremental Mutation TestingMark Anthony Cachia, Mark Micallef and Christian Colombo, ENTCS 294, 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 StudyChristian Colombo, and Gordon Pace, RV, Istanbul, Turkey, 2012. (PDF(Bibtex Entry)
  • Simplifying Contract-Violating TracesChristian 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 AutomataChristian Colombo and Gordon J. Pace, Department of Computer Science, University of Malta. Technical Report CS2012-01, 2012. (PDF) (BiBTeX entry) [for an updated version of the work see the PhD thesis further up in this list]
  • A Monitoring Approach for Dynamic Service-Oriented Architecture SystemsYufang 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 SynchronisationChristian Colombo and Gordon Pace,  internal report 03-WICT-2012, University of Malta, 2012. (PDF)
  • Towards a Specification-Based Correctness of Erlang Systems Through Asynchronous MonitoringChristian Colombo and Adrian Francalanza,  internal report 02-WICT-2012, University of Malta, 2012. (PDF)
  • Considerations for Monitoring Highly Concurrent SystemsRuth Mizzi, Christian Colombo, Adrian Francalanza and Gordon Pace,  internal report 01-WICT-2012, University of Malta, 2012. (PDF)
  • Safer Asynchronous Runtime Monitoring Using CompensationsChristian Colombo, Gordon Pace and Patrick Abela, in Formal Methods in System Design, 41(3): 269-294, 2012.   (PDF) (BiBTeX entry)
  • Trusting the machine, Gordon Pace and Christian Colombo, THINK Magazine, Issue 2, 2012. (Link
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 OrganisationsMark 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 NotationsChristian 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)
 
 
Last Updated: 28 September 2018

Log In back to UoM Homepage