2023 

• The Theory & Practice of Runtime Verification - Training School Session at ICTAC, Lima, Peru, December 2023.
  
• Runtime Verification as a Toolkit of Techniques for Cyber Security Monitoring - Talk at Universidad de Buenos Aires, November 2023 [Presentation PDF]
• Shaping the Future of AI in Malta - Identifying Strengths and Spotting Opportunities - Panel Discussion at the Malta TECHXPO, September 2023.
  
• Hardware Security Modules - Unpacking a Black Box - Talk at National Cybersecurity Community CYBER Breakfast, Malta, May 2023 [Presentation PDF]
• Runtime Verification as a Toolkit of Techniques for Cyber Security Monitoring - Talk at the University of Genova, April 2023 [Presentation PDF]
• Using infrastructure-based agents to enhance forensic logging of third-party applications - Talk at ICISSP, Lisbon, March 2023 [Presentation PDF]

2022

• Securing quantum-era communication using runtime verification - Talk at Cybersecurity Workshop, Malta, September 2022.

2021 

• The Cyber Research Domain: From Threat, to Tool, to Training - Talk at cyber ROOT, Malta, October 2021 [Presentation PDF]
• Runtime Verification: Passing on the Baton - Talk at ISOLA21, Rhodes, Greece, October, 2021 [Presentation PDF].
• Cyber Security Challenges: What are researchers doing to help? - Talk at Science in the City Malta, September 2021 [Facebook video] [Presentation PDF]

2020 

• Secure Communication in the Quantum Era - Talk at Science in the City Malta, November 2020 [Facebook video] [Presentation PDF]
• University of Malta’s research project - Talk at Cybersecurity Conference, ESkills Foundation, Malta, February 2020 [Presentation PDF]

2019

• Runtime Verification for Protocol Implementation - Talk at Universidad Rey Juan Carlos, Madrid, Spain, September 2019 [Presentation PDF]
• Applying Runtime Verification to Group Key Establishment - Talk at Slovak University of Technology in Bratislava (STU), Slovakia, January 2019, and University of Malta, April 2019 [Presentation PDF]

2018

• Applying Runtime Verification to Group Key Establishment  - Talk at Computer Science Annual Workshop, November 2018
• RV demo in industrial financial transaction systems, in collaboration with Shaun Azzopardi and Ixaris Ltd, Industry Day @ ISoLA, Cyprus, 2018 [PDF]
• Runtime Verification Hands-on Session - ARVI Spring School, Praz Sur Arly, France, March 2018 [Youtube] [Repository]
• Marrying RV with the Financial Transaction Industry - ARVI Spring School, Praz Sur Arly, France, March 2018 [Youtube][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): [Online video]
• Online interview by InfoQ about Larva and Elarva (Erlang Factory 2011): [Online video] 
• Online video about Elarva (Erlang Factory 2011): [Online video]

2009 

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