University of Malta
 

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

2014

  • 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)
  • Lifelong Verification of Software SystemsChristian Colombo, Mark Micallef, and Gordon Pace, internal report 01-WICT-2014, University of Malta2014. (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 Malta2014. (PDF)
  • Applying Runtime Verification Techniques to an Enterprise Service Bus, Christian Colombo, Gabriel Dimech, and Adrian Francalanza, internal report 03-WICT-2014, University of Malta2014. (PDF)
  • Monitoring Distributed Systems with Distributed PolyLarva, Ian Cassar, Christian Colombo, and Adrian Francalanza, internal report 04-WICT-2014, University of Malta2014. (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 VerificationChristian Colombo, Adrian Francalanza, Ruth Mizzi and Gordon Pace, FESCA, Rome, Italy, 2013. (PDF)
  • Monitor-Oriented Compensation Programming Through Compensating AutomataChristian Colombo and Gordon PaceGT-VMT, Rome, Italy, 2013. (PDF)
  • A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks, Mark Micallef and Christian ColomboGT-VMT, Rome, Italy, 2013. (PDF)
  • Towards Incremental Mutation TestingMark Anthony Cachia, Mark Micallef and Christian ColomboVSSE, Rome, Italy, 2013. (PDF)
  • Addressing Practical Challenges of Mutation TestingMark Anthony Cachia, Mark Micallef and Christian Colombo, internal report 01-WICT-2012, University of Malta2013. (PDF)
  • Combining Testing and Runtime VerificationChristian Colombo, internal report 02-WICT-2012, University of Malta2013. (PDF)
  • Recovery within Long Running TransactionsChristian 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)
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: 3 April 2014

Log In back to UoM Homepage