| 2025 | EDCC | Insights from Railway Professionals: Rethinking Railway Assumptions Regarding Safety and Autonomy. | Josh Hunter, John A. McDermid, Simon Burton |
| 2024 | SAFECOMP | Using GPT-4 to Generate Failure Logic. | Kester Clegg, Ibrahim Habli, John A. McDermid |
| 2024 | SAFECOMP | Bridging the Reality Gap: Assurable Simulations for an ML-Based Inspection Drone Flight Controller. | Philippa Ryan, Mathias von Essen, Liam Shackley, John A. McDermid |
| 2022 | SAFECOMP | Analysing the Safety of Decision-Making in Autonomous Systems. | Matt Osborne, Richard Hawkins, John A. McDermid |
| 2021 | AIME | Enhancing the Value of Counterfactual Explanations for Deep Learning. | Yan Jia, John A. McDermid, Ibrahim Habli |
| 2020 | IJCAI | Safety of Artificial Intelligence: A Collaborative Model. | John A. McDermid, Yan Jia |
| 2019 | IJCAI | Towards a Framework for Safety Assurance of Autonomous Systems. | John A. McDermid, Yan Jia, Ibrahim Habli |
| 2019 | SAFECOMP | A SysML Profile for Fault Trees - Linking Safety Models to System Design. | Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid |
| 2017 | UIC | Why functional safety experts worry about automotive systems having increasing autonomy. | Helen Monkhouse, Ibrahim Habli, John A. McDermid, Siddartha Khastgir, Gunwant Dhadyalla |
| 2016 | DSN | On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution. | Xueyi Zou, Rob Alexander, John A. McDermid |
| 2014 | SAFECOMP | Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search. | Xueyi Zou, Rob Alexander, John A. McDermid |
| 2011 | Networking | Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing. | Juan E. Tapiador, Mudhakar Srivatsa, John A. Clark, John A. McDermid |
| 2011 | SPLC | Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations. | Stuart Hutchesson, John A. McDermid |
| 2010 | SAFECOMP | Development of High-Integrity Software Product Lines Using Model Transformation. | Stuart Hutchesson, John A. McDermid |
| 2010 | SECRYPT | Risk based Access Control with Uncertain and Time-dependent Sensitivity. | John A. Clark, Juan E. Tapiador, John A. McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget |
| 2009 | MODELS | Domain analysis on an electronic health records system. | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
| 2009 | SAFECOMP | Probabilistic Failure Propagation and Transformation Analysis. | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
| 2009 | SAFECOMP | Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. | Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska |
| 2007 | SEW | Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. | Zo R. Stephenson, John A. McDermid |
| 2006 | ICFEM | Three Perspectives in Formal Engineering. | John A. McDermid, Andy Galloway |
| 2006 | SEW | Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. | Zo R. Stephenson, John A. McDermid, Jason Choy |
| 2005 | ICFEM | An Automated Approach to Specification-Based Program Inspection. | Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid |
| 2005 | SAC | High-integrity extreme programming. | Richard F. Paige, Howard Chivers, John A. McDermid, Zo R. Stephenson |
| 2002 | ISORC | A Technique for Managing Complexity of Use Cases for Large Complex Embedded Systems. | Eman Nasr, John A. McDermid, Guillem Bernat |
| 2001 | PROFES | A Family-Oriented Software Development Process for Engine Controllers. | Karen Allenby, Simon Burton, Darren Lee Buttle, John A. McDermid, John Murdoch, Alan Stephenson, Mike Bardill, Stuart Hutchesson |
| 2000 | SAFECOMP | Deriving Quantified Safety Requirements in Complex Systems. | Peter A. Lindsay, John A. McDermid, David J. Tombs |
| 1999 | SAFECOMP | A Systematic Approach to Safety Case Maintenance. | Tim P. Kelly, John A. McDermid |
| 1999 | SAFECOMP | Hierarchically Performed Hazard Origin and Propagation Studies. | Yiannis Papadopoulos, John A. McDermid |
| 1998 | ICFEM | Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. | John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine |
| 1997 | RE | Ten Steps Towards Systematic Requirements Reuse. | W. Lam, John A. McDermid, Andrew J. Vickers |
| 1997 | SAFECOMP | Safety Case Construction and Reuse Using Patterns. | Tim P. Kelly, John A. McDermid |
| 1997 | SAFECOMP | A systematic approach to software safety integrity levels. | Peter A. Lindsay, John A. McDermid |
| 1997 | SAFECOMP | Computer Based Support for Standards and Processes in Safety Critical Systems. | Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Clive H. Pygott, David J. Tombs |
| 1996 | APSEC | A Case Study Using SAM - Safety Analysis of PES. | John A. McDermid, Shaoying Liu |
| 1996 | ECRTS | Towards a Fixed Priority Scheduler for an Aircraft Application. | Iain Bate, Alan Burns, John A. McDermid, Andy Vickers |
| 1996 | ICECCS | Assessing Complex Computer Based Systems using the Goal Structuring Notation. | Stephen P. Wilson, John A. McDermid, Clive H. Pygott, David J. Tombs |
| 1995 | CaiSE | A Framework for Requirements Analysis Using Automated Reasoning | David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris |
| 1995 | RE | Integrating requirements analysis and safety analysis. | Joanne M. Atlee, John A. McDermid |
| 1995 | SAFECOMP | Requirements Analysis and Safety: A Case Study (using GRASP). | Andrew Charles Coombes, John A. McDermid, Jonathan D. Moffett, Philip Morris |
| 1995 | SAFECOMP | Safety Cases for Software Application Reuse. | Peter Fenelon, Tim P. Kelly, John A. McDermid |
| 1995 | SAFECOMP | Accessible Formal Method Support for PLC Software Development. | John A. McDermid, R. H. Pierce |
| 1994 | COMPSAC | On analysis of secure information systems: a case study. | Qi Shi, John A. McDermid, Ning Zhang |
| 1993 | ACSAC | Applying noninterference to composition of systems: a more practical approach. | Qi Shi, John A. McDermid, Jonathan D. Moffett |
| 1993 | SAC | Dynamic Sets and Their Application in VDM. | Shaoying Liu, John A. McDermid |
| 1993 | SRDS | Constructing Secure Distributed Systems Using Components. | Qi Shi, John A. McDermid |
| 1992 | ACSAC | Secure composition of systems. | John A. McDermid, Qi Shi |
| 1992 | DBSEC | Formalizing and Validating Complex Security Requirements. | Philip Morris, John A. McDermid |
| 1991 | DBSEC | The Structure of Permissions: A Normative Framework for Access Rights. | Philip Morris, John A. McDermid |
| 1989 | SP | A Framework for Expressing Models of Security Policy. | John E. Dobson, John A. McDermid |
| 1988 | DBSEC | Security Models and Enterprise Models. | John E. Dobson, John A. McDermid |
| 1981 | ICDCS | Checkpointing and Error Recovery in distributed Systems. | John A. McDermid |