University of Malta
 

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

2018

  • Runtime Verification Hands-on Session - ARVI Spring School, Praz Sur Arly, France, March 2018 [Repository]
  • Marrying RV with the Financial Transaction Industry - ARVI Spring School, Praz Sur Arly, France, March 2018 [Presentation PDF]  

2017

  • Model-based performance testing of industrial systems - Talk at Computer Science Annual Workshop, November 2017 [Presentation PDF]  
  • 10 Years of Runtime Verification - Talk at Athens Technical University, May 2017 [Presentation PDF]

2016

  • Extracting Runtime Monitors from Tests: An Introduction - Computer Science Annual Workshop, November 2017 [Presentation PDF]
  • Runtime Verification Hands-on Session - ARVI Summer School, Madrid, Spain, September 2016 [Repository]
  • Extracting Runtime Monitors from Tests: An Overview and a way forward - Talk at VORTEX, 1st Workshop on Runtime Verification, Rome, Italy, July 2016 [Abstract PDF Presentation PDF] 
  • Model-based testing: What's in it for industry - Talk at the 3rd Software QA Professionals Meetup, Microsoft Innovation Centre, Malta, July 2016 [PDF]
  • Do Exploratory Testers Need Formal Training? - Talk at TAIC PART, Chicago, USA, April 2016. [Presentation PDF]
  • Our experience in using DSLs with RV, and the OPE Project - Talk at Verimag, Grenoble, France, February 2016 [PDF]

2015

  • Facilitating testing and monitoring of number entry systems in medical devices - Talk at ARVI IC1402 COST action meeting, Tallinn, Estonia, December 2015 [PDF] 

2014 

  • Harnessing Sophisticated Assertion Checking Through Runtime Testing - Talk at the TVS second Software Testing Conference, Bristol, UK, March 2014 [YouTube] [PDF] 

2013 

  • Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing - Talk at the Rich Model Toolkit COST Action Meeting, Malta, June 2013 [PPTX-ZIP] 
  • Runtime Testing - From Assertions to Monitors - Workshop at Specialist Group in Software Testing (SIGIST), June 2013 [Tutorial page]
  • Using Assertions to Capture and Check Application-Wide Properties, Embedded Software Security, May 2013. Mike Bartley (in collaboration with Christian Colombo) [PPTX-ZIP]

2012 

  • Monitor-Oriented Compensation Programming, SVARM-VERIFY, Manchester, UK, 2012 [PPTX-ZIP]
  •  Online video giving a summary of my PhD (WICT 2012): here

2011 

  • A Monitoring-Oriented Programming Language, Erlang Factory, London, UK, 2011 [PDF]
  • Online video introducing runtime verification and Larva (Virginia Tech 2011): here 
  • Online interview by InfoQ about Larva and Elarva (Erlang Factory 2011): here 
  • Online video about Elarva (Erlang Factory 2011): here

2009 

  • Resource-Bounded Monitoring of Java Programs, SYNCHRON, Schloss Dagstuhl, Germany, 2009 [PDF]

2008 

  • Runtime Verification of Contracts for Java Programs, Formal Languages and Analysis of Contract-Oriented Software (FLACOS), Malta, 2008 [PPT-ZIP
 
 
Last Updated: 21 March 2018

Log In back to UoM Homepage