John Alexander McDermid

ORCID

Publication Activity (10 Years)

Years Active: 1987-2022
Publications (10 Years): 8

Top Venues

CoRR

Inf. Softw. Technol.

IEEE Embed. Syst. Lett.

STAF Workshops

Publications

Richard Hawkins, Matt Osborne, Mike Parsons, Mark Nicholson, John Alexander McDermid, Ibrahim Habli
Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE). CoRR (2022)
Matt Osborne, Richard Hawkins, John Alexander McDermid
Analysing the Safety of Decision-Making in Autonomous Systems. SAFECOMP (2022)
Yan Jia, John Alexander McDermid, Tom Lawton, Ibrahim Habli
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare. IEEE Trans. Emerg. Top. Comput. 10 (4) (2022)
Zoë Porter, Ibrahim Habli, John Alexander McDermid
A Principle-based Ethical Assurance Argument for AI and Autonomous Systems. CoRR (2022)
Josh Hunter, John Alexander McDermid
Investigating Human Error Within GoA-2 Metro Lines. RSSRail (2022)
Simon Burton, John Alexander McDermid, Philip Garnett, Rob Weaver
Safety, Complexity, and Automated Driving: Holistic Perspectives on Safety Assurance. Computer 54 (8) (2021)
Fredrik Asplund, John Alexander McDermid, Robert Oates, Jonathan Roberts
Rapid Integration of CPS Security and Safety. IEEE Embed. Syst. Lett. 11 (4) (2019)
Richard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos, John Alexander McDermid, Mike Bennett, Stuart Hutchesson, Andrew Hawthorn
SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction. STAF Workshops (2017)
Fredrik Asplund, Martin Törngren, Richard Hawkins, John Alexander McDermid
The Need for a Confidence View of CPS Support Environments (Fast Abstract). HASE (2015)
Martin Törngren, Saddek Bensalem, John Alexander McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz
Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. WESE (2015)
John Alexander McDermid
Nothing is Certain but Doubt and Tests. CoRR (2014)
Stuart Hutchesson, John Alexander McDermid
Trusted Product Lines. Inf. Softw. Technol. 55 (3) (2013)
Shaoying Liu, Yuting Chen, Fumiko Nagoya, John Alexander McDermid
Formal Specification-Based Inspection for Verification of Programs. IEEE Trans. Software Eng. 38 (5) (2012)
Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John Alexander McDermid, Richard F. Paige
Large-scale complex IT systems. Commun. ACM 55 (7) (2012)
John Alexander McDermid
The Risks of LSCITS: The Odds Are Stacked against Us. Monterey Workshop (2012)
Xiaocheng Ge, Richard F. Paige, John Alexander McDermid
Model-based Failure Failure Analysis of Business Process. ICEIS (3) (2011)
Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John Alexander McDermid, Richard F. Paige
Large-scale Complex IT Systems CoRR (2011)
Xiaocheng Ge, Richard F. Paige, John Alexander McDermid
Failures of a Business Process in Enterprise Systems. CENTERIS (1) (2011)
Stuart Hutchesson, John Alexander McDermid
Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations. SPLC (2011)
Juan E. Tapiador, Mudhakar Srivatsa, John A. Clark, John Alexander McDermid
Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing. Networking Workshops (2011)
Stuart Hutchesson, John Alexander McDermid
Development of High-Integrity Software Product Lines Using Model Transformation. SAFECOMP (2010)
Catherine Menon, Richard Hawkins, John Alexander McDermid, Tim Kelly
An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. SSS (2010)
John A. Clark, Juan E. Tapiador, John Alexander McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget
Modelling Uncertain and Time-Dependent Security Labels in MLS Systems. ICETE (Selected Papers) (2010)
John A. Clark, Juan E. Tapiador, John Alexander McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget
Risk based Access Control with Uncertain and Time-dependent Sensitivity. SECRYPT (2010)
Xiaocheng Ge, Richard F. Paige, John Alexander McDermid
Analysing System Failure Behaviours with PRISM. SSIRI (Companion) (2010)
Xiaocheng Ge, Richard F. Paige, John Alexander McDermid
An Iterative Approach for Development of Safety-Critical Software and Safety Arguments. AGILE (2010)
Shaoying Liu, John Alexander McDermid, Yuting Chen
A Rigorous Method for Inspection of Model-Based Formal Specifications. IEEE Trans. Reliab. 59 (4) (2010)
Xiaocheng Ge, Richard F. Paige, John Alexander McDermid
Domain analysis on an electronic health records system. FOSD (2009)
Xiaocheng Ge, Richard F. Paige, John Alexander McDermid
Probabilistic Failure Propagation and Transformation Analysis. SAFECOMP (2009)
Catherine Menon, Richard Hawkins, John Alexander McDermid
Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards. SSS (2009)
Zeshan Kurd, Tim Kelly, John Alexander McDermid, Radu Calinescu, Marta Z. Kwiatkowska
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. SAFECOMP (2009)
Alan W. Brown, John Alexander McDermid
The Art and Science of Software Architecture. ECSA (2007)
Zoë R. Stephenson, John Alexander McDermid
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. SEW (2007)
Alan W. Brown, John Alexander McDermid
The Art and Science of Software Architecture. Int. J. Cooperative Inf. Syst. 16 (3/4) (2007)
Frantz Iwu, Andy Galloway, John Alexander McDermid, Ian Toyn
Integrating safety and formal analyses using UML and PFS. Reliab. Eng. Syst. Saf. 92 (2) (2007)
Howard Chivers, John Alexander McDermid
Refactoring service-based systems: how to avoid trusting a workflow service. Concurr. Comput. Pract. Exp. 18 (10) (2006)
Zoë R. Stephenson, John Alexander McDermid, Jason Choy
Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. SEW (2006)
John Alexander McDermid, Andy Galloway
Three Perspectives in Formal Engineering. ICFEM (2006)
Richard F. Paige, Howard Chivers, John Alexander McDermid, Zoë R. Stephenson
High-integrity extreme programming. SAC (2005)
Andy Galloway, Frantz Iwu, John Alexander McDermid, Ian Toyn
On the Formal Development of Safety-Critical Software. VSTTE (2005)
Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John Alexander McDermid
An Automated Approach to Specification-Based Program Inspection. ICFEM (2005)
Zoë R. Stephenson, John Alexander McDermid
Deriving architectural flexibility requirements in safety-critical systems. IEE Proc. Softw. 152 (4) (2005)
Rob Weaver, Georgios Despotou, Tim Kelly, John Alexander McDermid
Combining software evidence: arguments and assurance. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John Alexander McDermid
Improving certification capability through automatic code generation. IFIP Congress Topical Sessions (2004)
Tse-Min Lin, John Alexander McDermid
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. Ada-Europe (2003)
Philippa Conmy, Mark Nicholson, John Alexander McDermid
Safety Assurance Contracts for Integrated Modular Avionics. SCS (2003)
Iain Bate, John Alexander McDermid, Peter Nightingale
Establishing timing requirements for control loops in real-time systems. Microprocess. Microsystems 27 (4) (2003)
Iain Bate, Richard Hawkins, John Alexander McDermid
A Contract-based Approach to Designing Safe Systems. SCS (2003)
Eman Nasr, John Alexander McDermid, Guillem Bernat
A Technique for Managing Complexity of Use Cases for Large Complex Embedded Systems. Symposium on Object-Oriented Real-Time Distributed Computing (2002)
John Alexander McDermid
Software Hazard and Safety Analysis. FTRTFT (2002)
John Alexander McDermid
Trends in Systems Safety. SCS (2002)
Eman Nasr, John Alexander McDermid, Guillem Bernat
Eliciting and Specifying Requirements with Use Cases for Embedded Systems. WORDS (2002)
Tim P. Kelly, John Alexander McDermid
A systematic approach to safety case maintenance. Reliab. Eng. Syst. Saf. 71 (3) (2001)
Philippa Conmy, John Alexander McDermid
High Level Failure Analysis for Integrated Modular Avionics. SCS (2001)
Sun-Woo Kim, John A. Clark, John Alexander McDermid
Investigating the effectiveness of object-oriented testing strategies using the mutation method. Softw. Test. Verification Reliab. 11 (3) (2001)
Iain Bate, Philippa Conmy, Tim Kelly, John Alexander McDermid
Use of Modern Processors in Safety-Critical Applications. Comput. J. 44 (6) (2001)
Yiannis Papadopoulos, John Alexander McDermid, Ralph Sasse, Gunter Heiner
Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliab. Eng. Syst. Saf. 71 (3) (2001)
John Alexander McDermid
Software Safety: Where's the Evidence? SCS (2001)
Nigel James Tracey, John Alexander McDermid
Testing and testing techniques for real-time embedded software systems. Microprocess. Microsystems 24 (9) (2001)
Peter A. Lindsay, John Alexander McDermid, David J. Tombs
Deriving Quantified Safety Requirements in Complex Systems. SAFECOMP (2000)
John Murdoch, John Alexander McDermid
Modelling Engineering Design Processes with Role Activity Diagrams. Trans. SDPS 4 (2) (2000)
Alan Stephenson, Darren Lee Buttle, John Alexander McDermid
Extending Commonality Analysis for Embedded Control System Families. IW-SAPF (2000)
Tse-Min Lin, John Alexander McDermid
(True) Polymorphism in SPARK2000. Ada-Europe (2000)
Iain Bate, Philippa Conmy, John Alexander McDermid
Generating evidence for certification of modern processors for use in safety-critical systems. HASE (2000)
Nigel J. Tracey, John A. Clark, Keith Mander, John Alexander McDermid
Automated test-data generation for exception conditions. Softw. Pract. Exp. 30 (1) (2000)
John Alexander McDermid
Complexity: Concept, Causes and Control. ICECCS (2000)
Yiannis Papadopoulos, John Alexander McDermid
Hierarchically Performed Hazard Origin and Propagation Studies. SAFECOMP (1999)
Tim P. Kelly, John Alexander McDermid
A Systematic Approach to Safety Case Maintenance. SAFECOMP (1999)
Darren Lee Buttle, John A. Clark, John Alexander McDermid, Alan Stephenson, Nigel James Tracey
CONVERSE: A change-oriented process for engine controllers. IEE Proc. Softw. 146 (3) (1999)
John Alexander McDermid, Keith H. Bennett
Software engineering research: A critical appraisal. IEE Proc. Softw. 146 (4) (1999)
Nancy Talbert, John Alexander McDermid
The Cost of COTS (Interview). Computer 31 (6) (1998)
Nigel J. Tracey, John A. Clark, Keith Mander, John Alexander McDermid
An Automated Framework for Structural Test-Data Generation. ASE (1998)
Yiannis Papadopoulos, John Alexander McDermid
A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries. Requir. Eng. 3 (1) (1998)
Ian Toyn, David Michael Cattrall, John Alexander McDermid, Jeremy L. Jacob
A practical language and toolkit for high-integrity tools. J. Syst. Softw. 41 (3) (1998)
W. Lam, John Alexander McDermid, Andrew J. Vickers
Ten Steps Towards Systematic Requirements Reuse. Requir. Eng. 2 (2) (1997)
Peter A. Lindsay, John Alexander McDermid
A systematic approach to software safety integrity levels. SAFECOMP (1997)
W. Lam, John Alexander McDermid
A Summary of Domain Analysis Experience by Way of Heuristics. SSR (1997)
W. Lam, John Alexander McDermid, Andrew J. Vickers
Ten Steps Towards Systematic Requirements Reuse. RE (1997)
Tim P. Kelly, John Alexander McDermid
Safety Case Construction and Reuse Using Patterns. SAFECOMP (1997)
Stephen P. Wilson, John Alexander McDermid, P. M. Kirkham, Clive H. Pygott, David J. Tombs
Computer Based Support for Standards and Processes in Safety Critical Systems. SAFECOMP (1997)
Stephen P. Wilson, John Alexander McDermid, P. M. Kirkham, Peter Fenelon
The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems. ECBS (1996)
John Alexander McDermid, Shaoying Liu
A Case Study Using SAM - Safety Analysis of PES. APSEC (1996)
Iain Bate, Alan Burns, John Alexander McDermid, Andy Vickers
Towards a Fixed Priority Scheduler for an Aircraft Application. RTS (1996)
Stephen P. Wilson, John Alexander McDermid, Clive H. Pygott, David J. Tombs
Assessing Complex Computer Based Systems using the Goal Structuring Notation. ICECCS (1996)
Jonathan D. Moffett, Jon G. Hall, Andrew Charles Coombes, John Alexander McDermid
A Model for a Causal Logic for Requirements Engineering. Requir. Eng. 1 (1) (1996)
John Alexander McDermid, Andrew J. Vickers, Stephen P. Wilson
Managing analytical complexity of safety critical systems using viewpoints. ISAW/Viewpoints@FSE (1996)
Shaoying Liu, John Alexander McDermid
A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System. J. Syst. Softw. 35 (2) (1996)
John Alexander McDermid
Software Hazard and Safety Analysis: Opportunities and Challenges. SSS (1996)
A. D. Hutcheon, D. T. Jordan, John Alexander McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson
High integrity software development: process and tool issues. Microprocess. Microsystems 19 (9) (1995)
Stephen P. Wilson, John Alexander McDermid
Integrated Analysis of Complex Safety Critical Systems. Comput. J. 38 (10) (1995)
Andrew Charles Coombes, John Alexander McDermid, Jonathan D. Moffett, Philip Morris
Requirements Analysis and Safety: A Case Study (using GRASP). SAFECOMP (1995)
John Alexander McDermid, R. H. Pierce
Accessible Formal Method Support for PLC Software Development. SAFECOMP (1995)
Joanne M. Atlee, John Alexander McDermid
Integrating requirements analysis and safety analysis. RE (1995)
David A. Duffy, Craig MacNish, John Alexander McDermid, Philip Morris
A Framework for Requirements Analysis Using Automated Reasoning CAiSE (1995)
Peter Fenelon, Tim P. Kelly, John Alexander McDermid
Safety Cases for Software Application Reuse. SAFECOMP (1995)
Ian Toyn, John Alexander McDermid
CADiZ: An Architecture for Z Tools and its Implementation. Softw. Pract. Exp. 25 (3) (1995)
Qi Shi, John Alexander McDermid, Ning Zhang
On analysis of secure information systems: a case study. COMPSAC (1994)
A. D. Hutcheon, D. T. Jordan, John Alexander McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson
Tool Support for High Integrity Ada Software. Ada-Europe (1994)
Jon G. Hall, John Alexander McDermid
Towards a Z Method: Axiomatic Specification in Z. Z User Workshop (1994)
Alan Burns, John Alexander McDermid
Real-time safety-critical systems: analysis and synthesis. Softw. Eng. J. 9 (6) (1994)

John Alexander McDermid.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John Alexander McDermid