Checkpointing and Error Recovery in distributed Systems. - John A. McDermid (ICDCS, 1981)

Editorial. - Roy D. Dowsing; Owen Davies; John A. McDermid (Softw. Microsystems, 1985)

The IEE and software engineers. - John A. McDermid (Softw. Microsystems, 1985)

Software metrics and integrated project support environments. - Barbara A. Kitchenham; John A. McDermid (Softw. Eng. J., 1986)

Editorial: Mascot 3. - John A. McDermid (Softw. Eng. J., 1986)

Implementation of a model lift control system from a formal specification. - J. P. Mocek; John Alexander McDermid (Softw. Eng. J., 1987)

The Role of Formal Methods in Software Development. - John Alexander McDermid (J. Inf. Technol., 1987)

Security Models and Enterprise Models. - John E. Dobson; John A. McDermid (DBSec, 1988)

Low Level Synchronisation Problems in Digital Systems. - John Alexander McDermid; Gary Morgan (FTRTFT, 1988)

Security Policies for Integrated Project Support Environments. - John Alexander McDermid; Ernest S. Hocking (DBSec, 1989)

A Framework for Expressing Models of Security Policy. - John E. Dobson; John A. McDermid (S&P, 1989)

Towards an Object Oriented Development Environment for Secure Applications. - Ernest S. Hocking; John Alexander McDermid (ESORICS, 1990)

A Tool for Defining the Architecture of Z Specifications. - Andrew Charles Coombes; John A. McDermid (Z User Workshop, 1990)

CADIZ - Computer Aided Design in Z. - David Jordan; John A. McDermid; Ian Toyn (Z User Workshop, 1990)

An Approach to Object-Oriented Specification Using Z. - Peter John Whysall; John Alexander McDermid (Z User Workshop, 1990)

A Formal Model of Security Dependency for Analysis and Testing of Secure Systems. - John A. McDermid; Qi Shi 001 (CSFW, 1991)

The Structure of Permissions: A Normative Framework for Access Rights. - Philip Morris; John A. McDermid (DBSec, 1991)

Safety arguments, software and system reliability. - John Alexander McDermid (ISSRE, 1991)

Secure composition of systems. - John A. McDermid; Qi Shi 001 (ACSAC, 1992)

Formalizing and Validating Complex Security Requirements. - Philip Morris; John A. McDermid (DBSec, 1992)

Incremental processing of Z specifications. - Alexandre Marcos Lins de Vasconcelos; John Alexander McDermid (FORTE, 1992)

Formal Methods for Real-Time Systems. - Leonor Barroca 001; John A. McDermid (NATO ASI RTC, 1992)

"Birds-of-a-Feather-Group" on Safety Critical Systems. - W. J. Cullyer; John Alexander McDermid (NATO ASI RTC, 1992)

Safety Engineering and Assurance for Real-Time Systems. - John Alexander McDermid (NATO ASI RTC, 1992)

What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? - John Alexander McDermid (NATO ASI RTC, 1992)

Using Diagrams to Give a Formal Specification of Timing Constraints in Z. - Andrew Charles Coombes; John A. McDermid (Z User Workshop, 1992)

Formal Methods: Use and Relevance for the Development of Safety-Critical Systems. - Leonor Maria Melo Torcato Barroca; John A. McDermid (Comput. J., 1992)

On the Meaning of Safety and Security. - Alan Burns 001; John A. McDermid; John E. Dobson (Comput. J., 1992)

Learning from IPSE's Mistakes. - Alan W. Brown; John Alexander McDermid (IEEE Softw., 1992)

Applying noninterference to composition of systems: a more practical approach. - Qi Shi 001; John A. McDermid; Jonathan D. Moffett (ACSAC, 1993)

Investigating and Formalising the Development of HIS Within PSEEs. - Itana Maria de Souza Gimenes; John A. McDermid (ISPW, 1993)

Dynamic Sets and Their Application in VDM. - Shaoying Liu; John A. McDermid (SAC, 1993)

Constructing Secure Distributed Systems Using Components. - Qi Shi 001; John A. McDermid (SRDS, 1993)

Software fault trees and weakest preconditions: a comparison and analysis. - Steven J. Clarke; John Alexander McDermid (Softw. Eng. J., 1993)

Specifying temporal requirements for distributed real-time systems in Z. - Andrew Charles Coombes; John A. McDermid (Softw. Eng. J., 1993)

Towards Operational Measures of Computer Security. - Bev Littlewood; Sarah Brocklehurst; Norman E. Fenton; Peter Mellor; Stella Page; David Wright 001; John Dobson; John A. McDermid; Dieter Gollmann (J. Comput. Secur., 1993)

An integrated tool set for software safety analysis. - Peter Fenelon; John A. McDermid (J. Syst. Softw., 1993)

Tool Support for High Integrity Ada Software. - A. D. Hutcheon; D. T. Jordan; John A. McDermid; R. H. Pierce; I. C. Wand; B. J. Jepson (Ada-Europe, 1994)

On analysis of secure information systems: a case study. - Qi Shi 001; John A. McDermid; Ning Zhang 001 (COMPSAC, 1994)

Towards a Z Method: Axiomatic Specification in Z. - Jon G. Hall; John A. McDermid (Z User Workshop, 1994)

Real-time safety-critical systems: analysis and synthesis. - Alan Burns 001; John A. McDermid (Softw. Eng. J., 1994)

A Framework for Requirements Analysis Using Automated Reasoning - David A. Duffy; Craig MacNish; John A. McDermid; Philip Morris (CAiSE, 1995)

Integrating requirements analysis and safety analysis. - Joanne M. Atlee; John A. McDermid (RE, 1995)

Requirements Analysis and Safety: A Case Study (using GRASP). - Andrew Charles Coombes; John A. McDermid; Jonathan D. Moffett; Philip Morris (SAFECOMP, 1995)

Safety Cases for Software Application Reuse. - Peter Fenelon; Tim P. Kelly; John A. McDermid (SAFECOMP, 1995)

Accessible Formal Method Support for PLC Software Development. - John A. McDermid; R. H. Pierce (SAFECOMP, 1995)

Integrated Analysis of Complex Safety Critical Systems. - Stephen P. Wilson; John A. McDermid (Comput. J., 1995)

Software Engineering: A Practitioner's Approach [Book Review]. - John Alexander McDermid (Softw. Eng. J., 1995)

High integrity software development: process and tool issues. - A. D. Hutcheon; D. T. Jordan; John A. McDermid; R. H. Pierce; I. C. Wand; B. J. Jepson (Microprocess. Microsystems, 1995)

CADiZ: An Architecture for Z Tools and its Implementation. - Ian Toyn; John A. McDermid (Softw. Pract. Exp., 1995)

A Case Study Using SAM - Safety Analysis of PES. - John A. McDermid; Shaoying Liu (APSEC, 1996)

An Integrated Approach to Domain Analysis and Reuse for Engineering Complex Systems. - Wing Lam; Ben Whittle; John Alexander McDermid; Steve Wilson (ECBS, 1996)

The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems. - Stephen P. Wilson; John A. McDermid; P. M. Kirkham; Peter Fenelon (ECBS, 1996)

Towards a Fixed Priority Scheduler for an Aircraft Application. - Iain Bate; Alan Burns 001; John A. McDermid; Andy Vickers (RTS, 1996)

Assessing Complex Computer Based Systems using the Goal Structuring Notation. - Stephen P. Wilson; John A. McDermid; Clive H. Pygott; David J. Tombs (ICECCS, 1996)

Software Hazard and Safety Analysis: Opportunities and Challenges. - John Alexander McDermid (SSS, 1996)

Managing analytical complexity of safety critical systems using viewpoints. - John A. McDermid; Andrew J. Vickers; Stephen P. Wilson (ISAW/Viewpoints@FSE, 1996)

A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System. - Shaoying Liu; John A. McDermid (J. Syst. Softw., 1996)

A Model for a Causal Logic for Requirements Engineering. - Jonathan D. Moffett; Jon G. Hall; Andrew Charles Coombes; John A. McDermid (Requir. Eng., 1996)

Safety Case Construction and Reuse Using Patterns. - Tim P. Kelly; John A. McDermid (SAFECOMP, 1997)

A systematic approach to software safety integrity levels. - Peter A. Lindsay; John A. McDermid (SAFECOMP, 1997)

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 (SAFECOMP, 1997)

A Summary of Domain Analysis Experience by Way of Heuristics. - W. Lam; John A. McDermid (SSR, 1997)

Ten Steps Towards Systematic Requirements Reuse. - W. Lam; John A. McDermid; Andrew J. Vickers (Requir. Eng., 1997)

Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. - John A. McDermid; Andy Galloway; Simon Burton 001; John A. Clark; Ian Toyn; Nigel J. Tracey; Samuel H. Valentine (ICFEM, 1998)

An Automated Framework for Structural Test-Data Generation. - Nigel J. Tracey; John A. Clark; Keith Mander; John A. McDermid (ASE, 1998)

COTS in Safety-Related Systems Issues and an Illustration. - R. May; John A. McDermid; I. H. A. Johnston (SSS, 1998)

The Cost of COTS (Interview). - Nancy Talbert; John Alexander McDermid (Computer, 1998)

A practical language and toolkit for high-integrity tools. - Ian Toyn; David Michael Cattrall; John A. McDermid; Jeremy L. Jacob (J. Syst. Softw., 1998)

A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries. - Yiannis Papadopoulos; John A. McDermid (Requir. Eng., 1998)

Hierarchically Performed Hazard Origin and Propagation Studies. - Yiannis Papadopoulos; John A. McDermid (SAFECOMP, 1999)

CONVERSE: A change-oriented process for engine controllers. - Darren Lee Buttle; John A. Clark; John A. McDermid; Alan Stephenson; Nigel James Tracey (IEE Proc. Softw., 1999)

Software engineering research: A critical appraisal. - John Alexander McDermid; Keith H. Bennett (IEE Proc. Softw., 1999)

(True) Polymorphism in SPARK2000. - Tse-Min Lin; John A. McDermid (Ada-Europe, 2000)

Generating evidence for certification of modern processors for use in safety-critical systems. - Iain Bate; Philippa Conmy; John A. McDermid (HASE, 2000)

Complexity: Concept, Causes and Control. - John Alexander McDermid (ICECCS, 2000)

Extending Commonality Analysis for Embedded Control System Families. - Alan Stephenson; Darren Lee Buttle; John A. McDermid (IW-SAPF, 2000)

Deriving Quantified Safety Requirements in Complex Systems. - Peter A. Lindsay; John A. McDermid; David J. Tombs (SAFECOMP, 2000)

Modelling Engineering Design Processes with Role Activity Diagrams. - John Murdoch; John A. McDermid (Trans. SDPS, 2000)

Automated test-data generation for exception conditions. - Nigel J. Tracey; John A. Clark; Keith Mander; John A. McDermid (Softw. Pract. Exp., 2000)

A Family-Oriented Software Development Process for Engine Controllers. - Karen Allenby; Simon Burton 001; Darren Lee Buttle; John A. McDermid; John Murdoch; Alan Stephenson; Mike Bardill; Stuart Hutchesson (PROFES, 2001)

High Level Failure Analysis for Integrated Modular Avionics. - Philippa Conmy; John A. McDermid (SCS, 2001)

Software Safety: Where's the Evidence? - John Alexander McDermid (SCS, 2001)

Use of Modern Processors in Safety-Critical Applications. - Iain Bate; Philippa Conmy; Tim Kelly; John A. McDermid (Comput. J., 2001)

Testing and testing techniques for real-time embedded software systems. - Nigel James Tracey; John A. McDermid (Microprocess. Microsystems, 2001)

A systematic approach to safety case maintenance. - Tim P. Kelly; John A. McDermid (Reliab. Eng. Syst. Saf., 2001)

Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. - Yiannis Papadopoulos; John A. McDermid; Ralph Sasse; Gunter Heiner (Reliab. Eng. Syst. Saf., 2001)

Investigating the effectiveness of object-oriented testing strategies using the mutation method. - Sun-Woo Kim; John A. Clark; John A. McDermid (Softw. Test. Verification Reliab., 2001)

Software Hazard and Safety Analysis. - John Alexander McDermid (FTRTFT, 2002)

A Technique for Managing Complexity of Use Cases for Large Complex Embedded Systems. - Eman Nasr; John A. McDermid; Guillem Bernat (Symposium on Object-Oriented Real-Time Distributed Computing, 2002)

Trends in Systems Safety. - John Alexander McDermid (SCS, 2002)

Eliciting and Specifying Requirements with Use Cases for Embedded Systems. - Eman Nasr; John A. McDermid; Guillem Bernat (WORDS, 2002)

A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. - Tse-Min Lin; John A. McDermid (Ada-Europe, 2003)

Epipole Estimation under Pure Camera Translation. - Zezhi Chen; Nick E. Pears; John Alexander McDermid; Thomas Heseltine (DICTA, 2003)

A Contract-based Approach to Designing Safe Systems. - Iain Bate; Richard Hawkins; John A. McDermid (SCS, 2003)

Safety Assurance Contracts for Integrated Modular Avionics. - Philippa Conmy; Mark Nicholson 001; John A. McDermid (SCS, 2003)

Establishing timing requirements for control loops in real-time systems. - Iain Bate; John A. McDermid; Peter Nightingale (Microprocess. Microsystems, 2003)

Plane Segmentation from Two Views in Reciprocal-Polar Image Space. - Zezhi Chen; Nick E. Pears; Bojian Liang; John Alexander McDermid (ICIAR (1), 2004)

Improving certification capability through automatic code generation. - Neil C. Audsley; Iain Bate; Steven Crook-Dawkins; John A. McDermid (IFIP Congress Topical Sessions, 2004)

The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. - Paul Chinneck; David John Pumfrey; John A. McDermid (SCS, 2004)

An Automated Approach to Specification-Based Program Inspection. - Shaoying Liu; Fumiko Nagoya; Yuting Chen 001; Masashi Goya; John A. McDermid (ICFEM, 2005)

Two-stage visual localisation: landmark-based pose initialisation and model-based pose refinement. - Zezhi Chen; Philip Pe; John Alexander McDermid; Nick E. Pears (IROS, 2005)

High-integrity extreme programming. - Richard F. Paige; Howard Chivers; John A. McDermid; Zoë R. Stephenson (SAC, 2005)

On the Formal Development of Safety-Critical Software. - Andy Galloway; Frantz Iwu; John A. McDermid; Ian Toyn (VSTTE, 2005)

Deriving architectural flexibility requirements in safety-critical systems. - Zoë R. Stephenson; John A. McDermid (IEE Proc. Softw., 2005)

Combining software evidence: arguments and assurance. - Rob Weaver; Georgios Despotou; Tim Kelly; John A. McDermid (ACM SIGSOFT Softw. Eng. Notes, 2005)

Three Perspectives in Formal Engineering. - John A. McDermid; Andy Galloway (ICFEM, 2006)

Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. - Zoë R. Stephenson; John A. McDermid; Jason Choy (SEW, 2006)

Refactoring service-based systems: how to avoid trusting a workflow service. - Howard Chivers; John A. McDermid (Concurr. Comput. Pract. Exp., 2006)

Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. - Zoë R. Stephenson; John A. McDermid (SEW, 2007)

The Art and Science of Software Architecture. - Alan W. Brown; John Alexander McDermid (Int. J. Cooperative Inf. Syst., 2007)

Integrating safety and formal analyses using UML and PFS. - Frantz Iwu; Andy Galloway; John A. McDermid; Ian Toyn (Reliab. Eng. Syst. Saf., 2007)

Domain analysis on an electronic health records system. - Xiaocheng Ge; Richard F. Paige; John A. McDermid (FOSD, 2009)

Probabilistic Failure Propagation and Transformation Analysis. - Xiaocheng Ge; Richard F. Paige; John A. McDermid (SAFECOMP, 2009)

Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. - Zeshan Kurd; Tim Kelly; John A. McDermid; Radu Calinescu; Marta Z. Kwiatkowska (SAFECOMP, 2009)

Professional Issues in System Safety Engineering. - John Alexander McDermid; Martyn Thomas; Felix Redmill (SSS, 2009)

Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards. - Catherine Menon; Richard Hawkins; John A. McDermid (SSS, 2009)

An Iterative Approach for Development of Safety-Critical Software and Safety Arguments. - Xiaocheng Ge; Richard F. Paige; John A. McDermid (AGILE, 2010)

Modelling Uncertain and Time-Dependent Security Labels in MLS Systems. - John A. Clark; Juan E. Tapiador; John A. McDermid; Pau-Chen Cheng; Dakshi Agrawal; Natalie Ivanic; Dave Slogget (ICETE (Selected Papers), 2010)

Development of High-Integrity Software Product Lines Using Model Transformation. - Stuart Hutchesson; John A. McDermid (SAFECOMP, 2010)

An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. - Catherine Menon; Richard Hawkins; John A. McDermid; Tim Kelly (SSS, 2010)

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 (SECRYPT, 2010)

Analysing System Failure Behaviours with PRISM. - Xiaocheng Ge; Richard F. Paige; John A. McDermid (SSIRI (Companion), 2010)

A Rigorous Method for Inspection of Model-Based Formal Specifications. - Shaoying Liu; John A. McDermid; Yuting Chen 001 (IEEE Trans. Reliab., 2010)

Product-Line Models to Address Requirements Uncertainty, Volatility and Risk. - Zoë R. Stephenson; Katrina Attwood; John A. McDermid (Relating Software Requirements and Architectures, 2011)

Failures of a Business Process in Enterprise Systems. - Xiaocheng Ge; Richard F. Paige; John A. McDermid (CENTERIS (1), 2011)

Model-based Failure Failure Analysis of Business Process. - Xiaocheng Ge; Richard F. Paige; John A. McDermid (ICEIS (3), 2011)

Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing. - Juan E. Tapiador; Mudhakar Srivatsa; John A. Clark; John A. McDermid (Networking Workshops, 2011)

Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations. - Stuart Hutchesson; John A. McDermid (SPLC, 2011)

The Risks of LSCITS: The Odds Are Stacked against Us. - John Alexander McDermid (Monterey Workshop, 2012)

Goal-Based Safety Standards: Promises and Pitfalls. - John A. McDermid; Andrew Rae (SSS, 2012)

Large-scale complex IT systems. - Ian Sommerville; Dave Cliff; Radu Calinescu; Justin Keen; Tim Kelly; Marta Z. Kwiatkowska; John A. McDermid; Richard F. Paige (Commun. ACM, 2012)

Formal Specification-Based Inspection for Verification of Programs. - Shaoying Liu; Yuting Chen 001; Fumiko Nagoya; John A. McDermid (IEEE Trans. Software Eng., 2012)

Trusted Product Lines. - Stuart Hutchesson; John A. McDermid (Inf. Softw. Technol., 2013)

Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search. - Xueyi Zou; Rob Alexander; John A. McDermid (SAFECOMP, 2014)

Nothing is Certain but Doubt and Tests. - John Alexander McDermid (CoRR, 2014)

Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessment. - Andrew Rae; Rob Alexander; John A. McDermid (Reliab. Eng. Syst. Saf., 2014)

Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. - Martin Törngren; Saddek Bensalem; John A. McDermid; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli; Bernhard Schätz (WESE, 2015)

The Need for a Confidence View of CPS Support Environments (Fast Abstract). - Fredrik Asplund; Martin Törngren; Richard Hawkins; John A. McDermid (HASE, 2015)

Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic. - Victor Bandur; John Alexander McDermid (SAFECOMP Workshops, 2015)

Safety and Dependability. - John Alexander McDermid (Dependable Software Systems Engineering, 2015)

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 (DSN Workshops, 2016)

Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search. - Xueyi Zou; Rob Alexander; John A. McDermid (J. Aerosp. Inf. Syst., 2016)

SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction. - Richard F. Paige; Athanasios Zolotas; Dimitrios S. Kolovos; John A. McDermid; Mike Bennett; Stuart Hutchesson; Andrew Hawthorn (STAF Workshops, 2017)

Why functional safety experts worry about automotive systems having increasing autonomy. - Helen Monkhouse; Ibrahim Habli; John A. McDermid; Siddartha Khastgir; Gunwant Dhadyalla (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2017)

Towards a Framework for Safety Assurance of Autonomous Systems. - John A. McDermid; Yan Jia 008; Ibrahim Habli (AISafety@IJCAI, 2019)

Integrating Existing Safety Analyses into SysML. - Kester Dean Clegg; Mole Li; David Stamp; Alan Grigg; John A. McDermid (IMBSA, 2019)

A SysML Profile for Fault Trees - Linking Safety Models to System Design. - Kester Dean Clegg; Mole Li; David Stamp; Alan Grigg; John A. McDermid (SAFECOMP, 2019)

Rapid Integration of CPS Security and Safety. - Fredrik Asplund; John A. McDermid; Robert Oates; Jonathan Roberts (IEEE Embed. Syst. Lett., 2019)

Safety of Artificial Intelligence: A Collaborative Model. - John A. McDermid; Yan Jia 008 (AISafety@IJCAI, 2020)

Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective. - Simon Burton 001; Ibrahim Habli; Tom Lawton; John A. McDermid; Phillip Morgan; Zoë Porter (Artif. Intell., 2020)

The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. - Grace Bang; Guy Barash; Ryan Beal; Jacques Calì; Mauricio Castillo-Effen; Xin Cynthia Chen; Niyati Chhaya; Rachel Cummings; Rohan Dhoopar; Sebastijan Dumancic; Huáscar Espinoza; Eitan Farchi; et al. (AI Mag., 2020)

Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models. - Ibrahim Habli; Rob Alexander; Richard Hawkins; Mark Sujan; John A. McDermid; Chiara Picardi; Tom Lawton (CoRR, 2020)

An enhanced vehicle control model for assessing highly automated driving safety. - Helen Monkhouse; Ibrahim Habli; John A. McDermid (Reliab. Eng. Syst. Saf., 2020)

Enhancing the Value of Counterfactual Explanations for Deep Learning. - Yan Jia 008; John A. McDermid; Ibrahim Habli (AIME, 2021)

Safety, Complexity, and Automated Driving: Holistic Perspectives on Safety Assurance. - Simon Burton 001; John A. McDermid; Philip Garnett; Rob Weaver (Computer, 2021)

A Framework for Assurance of Medication Safety using Machine Learning. - Yan Jia 008; Tom Lawton; John A. McDermid; Eric Rojas 001; Ibrahim Habli (CoRR, 2021)

Safety-driven design of machine learning for sepsis treatment. - Yan Jia 008; Tom Lawton; John Burden; John A. McDermid; Ibrahim Habli (J. Biomed. Informatics, 2021)

Investigating Human Error Within GoA-2 Metro Lines. - Josh Hunter; John Alexander McDermid (RSSRail, 2022)

Analysing the Safety of Decision-Making in Autonomous Systems. - Matt Osborne; Richard Hawkins; John A. McDermid (SAFECOMP, 2022)

A Principle-based Ethical Assurance Argument for AI and Autonomous Systems. - Zoë Porter; Ibrahim Habli; John A. McDermid (CoRR, 2022)

Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE). - Richard Hawkins; Matt Osborne; Mike Parsons; Mark Nicholson 001; John A. McDermid; Ibrahim Habli (CoRR, 2022)

Safety Assessment for Autonomous Systems' Perception Capabilities. - John Molloy; John Alexander McDermid (CoRR, 2022)

The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. - Yan Jia 008; John A. McDermid; Tom Lawton; Ibrahim Habli (IEEE Trans. Emerg. Top. Comput., 2022)

Distinguishing two features of accountability for AI technologies. - Zoë Porter; Annette Zimmermann; Phillip Morgan; John A. McDermid; Tom Lawton; Ibrahim Habli (Nat. Mac. Intell., 2022)

Graceful Degradation with Condition- and Inference-Awareness for Mixed-Criticality Scheduling in Autonomous Systems. - Jie Zou; Xiaotian Dai 001; John A. McDermid (CPS-IoT Week Workshops, 2023)

The Need for the Human-Centred Explanation for ML-based Clinical Decision Support Systems. - Yan Jia 008; John A. McDermid; Nathan Gerard Jayy Hughes; Mark Sujan; Tom Lawton; Ibrahim Habli (ICHI, 2023)

Safety engineering, role responsibility and lessons from the Uber ATG Tempe Accident. - Philippa Ryan Conmy; John A. McDermid; Ibrahim Habli; Zoë Porter (TAS, 2023)

Unravelling Responsibility for AI. - Zoë Porter; Joanna Al-Qaddoumi; Philippa Ryan Conmy; Phillip Morgan; John A. McDermid; Ibrahim Habli (CoRR, 2023)

reTSN: Resilient and Efficient Time-Sensitive Network for Automotive In-Vehicle Communication. - Jie Zou; Xiaotian Dai 001; John A. McDermid (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Using GPT-4 to Generate Failure Logic. - Kester Dean Clegg; Ibrahim Habli; John A. McDermid (SAFECOMP (Workshops), 2024)

Bridging the Reality Gap: Assurable Simulations for an ML-Based Inspection Drone Flight Controller. - Philippa Ryan; Mathias von Essen; Liam Shackley; John A. McDermid (SAFECOMP (Workshops), 2024)

What's my role? Modelling responsibility for AI-based safety-critical systems. - Philippa Ryan; Zoë Porter; Joanna Al-Qaddoumi; John A. McDermid; Ibrahim Habli (CoRR, 2024)

Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology. - Josh Hunter; John A. McDermid; Simon Burton 001 (CoRR, 2024)

International Scientific Report on the Safety of Advanced AI (Interim Report). - Yoshua Bengio; Sören Mindermann; Daniel Privitera; Tamay Besiroglu; Rishi Bommasani; Stephen Casper; Yejin Choi 001; Danielle Goldfarb; Hoda Heidari; Leila Khalatbari; Shayne Longpre; Vasilios Mavroudis; et al. (CoRR, 2024)

Context-Aware Graceful Degradation for Mixed-Criticality Scheduling in Autonomous Systems. - Jie Zou; Xiaotian Dai 001; John A. McDermid (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

The Safety of Autonomy: A Systematic Approach. - John A. McDermid; Radu Calinescu; Ibrahim Habli; Richard Hawkins; Yan Jia 008; John Molloy; Matt Osborne; Colin Paterson; Zoë Porter; Philippa Ryan Conmy (Computer, 2024)

A principles-based ethics assurance argument pattern for AI and autonomous systems. - Zoë Porter; Ibrahim Habli; John A. McDermid; Marten H. L. Kaas (AI Ethics, 2024)

Hazard and Safety Analysis of Machine-Learning-Based Perception Capabilities in Autonomous Vehicles. - John Molloy; Sepeedeh Shahbeigi; John A. McDermid (Computer, 2024)

Insights from Railway Professionals: Rethinking Railway Assumptions Regarding Safety and Autonomy. - Josh Hunter; John A. McDermid; Simon Burton 001 (EDCC, 2025)

Upstream and Downstream AI Safety: Both on the Same River? - John A. McDermid; Yan Jia 008; Ibrahim Habli (CoRR, 2025)

International AI Safety Report. - Yoshua Bengio; Sören Mindermann; Daniel Privitera; Tamay Besiroglu; Rishi Bommasani; Stephen Casper; Yejin Choi 001; Philip Fox; Ben Garfinkel; Danielle Goldfarb; Hoda Heidari; Anson Ho; et al. (CoRR, 2025)

The BIG Argument for AI Safety Cases. - Ibrahim Habli; Richard Hawkins; Colin Paterson; Philippa Ryan; Yan Jia 008; Mark Sujan; John A. McDermid (CoRR, 2025)

The case for delegated AI autonomy for Human AI teaming in healthcare. - Yan Jia 008; Harriet Evans; Zoë Porter; Simon Graham; John A. McDermid; Tom Lawton; David R. J. Snead; Ibrahim Habli (CoRR, 2025)