1. 1.11 September 2015: Model Checking Satellite Constellations, 1st Agent Verification Workshop, Department of Computer Science, University of Liverpool, UK


  1. 2.26 February 2013: Model Checking Port-based Network Access Control for Wireless Networks, Formal Analysis, Theory and Algorithms (FATA) Seminar, School of Computing Science, University of Glasgow, UK.


  1. 3.14 December 2012: Model Checking Port-based Network Access Control for Wireless Networks, Scottish Theorem Proving Seminar (STP 2012), School of Informatics, University of Edinburgh, UK.


  1. 4.3 April 2012: Timed Analysis of RFID Distance Bounding Protocols, 19th Automated Reasoning Workshop (ARW 2012), School of Computer Science, University of Manchester, UK.