Detection of metamorphic computer viruses using algebraic specification. - Matt Webster; Grant Malcolm (J. Comput. Virol., 2006)

Reproducer Classification Using the Theory of Affordances. - Matt Webster; Grant Malcolm (ALIFE, 2007)

Hierarchical Components and Entity-based Modelling in Artificial Life. - Matt Webster; Grant Malcolm (ALIFE, 2008)

Formal affordance-based models of computer virus reproduction. - Matt Webster; Grant Malcolm (J. Comput. Virol., 2008)

Formal models of reproduction : from computer viruses to artificial life. - Matthew P. Webster (2008)

Detection of metamorphic and virtualization-based malware using algebraic specification. - Matt Webster; Grant Malcolm (J. Comput. Virol., 2009)

Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. - Matthew P. Webster; Michael Fisher 001; Neil Cameron; Mike Jump (SAFECOMP, 2011)

Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation. - Matt Webster; Neil Cameron; Michael Jump; Michael Fisher 001 (Infotech@Aerospace, 2012)

Model checking agent programming languages. - Louise A. Dennis; Michael Fisher 001; Matthew P. Webster; Rafael H. Bordini (Autom. Softw. Eng., 2012)

R-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems. - Matt Webster; Grant Malcolm (Biosyst., 2012)

Using Agent JPF to Build Models for Other Model Checkers. - Louise A. Dennis; Michael Fisher 001; Matthew P. Webster (CLIMA, 2013)

Ethical Choice in Unforeseen Circumstances. - Louise A. Dennis; Michael Fisher 001; Marija Slavkovik 001; Matthew P. Webster (TAROS, 2013)

Verifying autonomous systems. - Michael Fisher 001; Louise A. Dennis; Matthew P. Webster (Commun. ACM, 2013)

Formal Verification of an Autonomous Personal Robotic Assistant. - Matt Webster; Clare Dixon; Michael Fisher 001; Maha Salem; Joe Saunders; Kheng Lee Koay; Kerstin Dautenhahn (AAAI Spring Symposia, 2014)

"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours. - Clare Dixon; Matthew P. Webster; Joe Saunders; Michael Fisher 001; Kerstin Dautenhahn (TAROS, 2014)

Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. - Matthew P. Webster; Neil Cameron; Michael Fisher 001; Mike Jump (J. Aerosp. Inf. Syst., 2014)

An Assurance-based Approach to Verification and Validation of Human-Robot Teams. - Matt Webster; David G. Western; Dejanira Araiza-Illan; Clare Dixon; Kerstin Eder; Michael Fisher 001; Anthony G. Pipe (CoRR, 2016)

Formal verification of ethical choices in autonomous systems. - Louise A. Dennis; Michael Fisher 001; Marija Slavkovik 001; Matt Webster (Robotics Auton. Syst., 2016)

Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. - Matt Webster; Clare Dixon; Michael Fisher 001; Maha Salem; Joe Saunders; Kheng Lee Koay; Kerstin Dautenhahn; Joan Saez-Pons (IEEE Trans. Hum. Mach. Syst., 2016)

CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. - Paul Gainer; Clare Dixon; Kerstin Dautenhahn; Michael Fisher 001; Ullrich Hustadt; Joe Saunders; Matt Webster (FMICS-AVoCS, 2017)

Verifiable Self-Certifying Autonomous Systems. - Michael Fisher 001; Emily C. Collins 001; Louise A. Dennis; Matt Luckcuck; Matt Webster; Mike Jump; Vincent Pagé; Charles Patchett; Fateme Dinmohammadi; David Flynn; Valentin Robu; Xingyu Zhao 001 (ISSRE Workshops, 2018)

Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. - Matt Webster; Michael Breza; Clare Dixon; Michael Fisher 001; Julie A. McCann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)

Two-stage agent program verification. - Louise A. Dennis; Michael Fisher 001; Matt Webster (J. Log. Comput., 2018)

Probabilistic Model Checking of Robots Deployed in Extreme Environments. - Xingyu Zhao 001; Valentin Robu; David Flynn; Fateme Dinmohammadi; Michael Fisher 001; Matt Webster (AAAI, 2019)

The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems. - Vincent J. Koeman; Louise A. Dennis; Matt Webster; Michael Fisher 001; Koen V. Hindriks (EMAS@AAMAS, 2019)

Modular Verification of Autonomous Space Robotics. - Marie Farrell; Rafael C. Cardoso 001; Louise A. Dennis; Clare Dixon; Michael Fisher 001; Georgios Kourtis; Alexei Lisitsa 001; Matt Luckcuck; Matt Webster (CoRR, 2019)

A corroborative approach to verification and validation of human-robot teams. - Matt Webster; David G. Western; Dejanira Araiza-Illan; Clare Dixon; Kerstin Eder; Michael Fisher 001; Anthony G. Pipe (Int. J. Robotics Res., 2020)

Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. - Matt Webster; Michael Breza; Clare Dixon; Michael Fisher 001; Julie A. McCann (J. Comput. Sci., 2020)

Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. - Kheng Lee Koay; Matt Webster; Clare Dixon; Paul Gainer; Dag Sverre Syrdal; Michael Fisher 001; Kerstin Dautenhahn (Paladyn J. Behav. Robotics, 2021)

An Overview of Verification and Validation Challenges for Inspection Robots. - Michael Fisher 001; Rafael C. Cardoso 001; Emily C. Collins 001; Christopher Dadswell; Louise A. Dennis; Clare Dixon; Marie Farrell; Angelo Ferrando 001; Xiaowei Huang 001; Mike Jump; Georgios Kourtis; Alexei Lisitsa 001; et al. (Robotics, 2021)

Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. - Vincent Pagé; Christopher Dadswell; Matt Webster; Mike Jump; Michael Fisher 001 (Robotics, 2021)