John A. McDermid

Stuart Hutchesson, John A. McDermid: Trusted Product Lines. Information & Software Technology 55(3): 525-540 (2013)

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

Shaoying Liu, Yuting Chen, Fumiko Nagoya, John A. McDermid: Formal Specification-Based Inspection for Verification of Programs. IEEE Trans. Software Eng. 38(5): 1100-1122 (2012)

John A. McDermid: The Risks of LSCITS: The Odds Are Stacked against Us. Monterey Workshop 2012: 94-117

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

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

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

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

Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige: Large-scale Complex IT Systems. CoRR abs/1109.3444 (2011)

Shaoying Liu, John A. McDermid, Yuting Chen: A Rigorous Method for Inspection of Model-Based Formal Specifications. IEEE Transactions on Reliability 59(4): 667-684 (2010)

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

Stuart Hutchesson, John A. McDermid: Development of High-Integrity Software Product Lines Using Model Transformation. SAFECOMP 2010: 389-401

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

John A. Clark, Juan E. Tapiador, John A. McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget: Risk based Access Control with Uncertain and Time-dependent Sensitivity. SECRYPT 2010: 5-13

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

Xiaocheng Ge, Richard F. Paige, John A. McDermid: Domain analysis on an electronic health records system. FOSD 2009: 49-54

Xiaocheng Ge, Richard F. Paige, John A. McDermid: Probabilistic Failure Propagation and Transformation Analysis. SAFECOMP 2009: 215-228

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

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

Alan W. Brown, John A. McDermid: The Art and Science of Software Architecture. Int. J. Cooperative Inf. Syst. 16(3/4): 439-466 (2007)

Frantz Iwu, Andy Galloway, John A. McDermid, Ian Toyn: Integrating safety and formal analyses using UML and PFS. Rel. Eng. & Sys. Safety 92(2): 156-170 (2007)

Alan W. Brown, John A. McDermid: The Art and Science of Software Architecture. ECSA 2007: 237-256

Zoë R. Stephenson, John A. McDermid: Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. SEW 2007: 53-62

Howard Chivers, John A. McDermid: Refactoring service-based systems: how to avoid trusting a workflow service. Concurrency and Computation: Practice and Experience 18(10): 1255-1275 (2006)

John A. McDermid, Andy Galloway: Three Perspectives in Formal Engineering. ICFEM 2006: 35-54

Zoë R. Stephenson, John A. McDermid, Jason Choy: Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. SEW 2006: 123-132

Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid: Combining software evidence: arguments and assurance. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)

Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid: An Automated Approach to Specification-Based Program Inspection. ICFEM 2005: 421-434

Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson: High-integrity extreme programming. SAC 2005: 1518-1523

Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn: On the Formal Development of Safety-Critical Software. VSTTE 2005: 362-373

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

Iain Bate, John A. McDermid, Peter Nightingale: Establishing timing requirements for control loops in real-time systems. Microprocessors and Microsystems 27(4): 159-169 (2003)

Tse-Min Lin, John A. McDermid: A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. Ada-Europe 2003: 309-321

Iain Bate, Richard Hawkins, John A. McDermid: A Contract-based Approach to Designing Safe Systems. SCS 2003: 25-36

Philippa Conmy, Mark Nicholson, John A. McDermid: Safety Assurance Contracts for Integrated Modular Avionics. SCS 2003: 69-78

John A. McDermid: Software Hazard and Safety Analysis. FTRTFT 2002: 23-36

Eman Nasr, John A. 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: 225-232

John A. McDermid: Trends in Systems Safety. SCS 2002: 3-8

Eman Nasr, John A. McDermid, Guillem Bernat: Eliciting and Specifying Requirements with Use Cases for Embedded Systems. WORDS 2002: 350-358

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

Nigel J. Tracey, John A. McDermid: Testing and testing techniques for real-time embedded software systems. Microprocessors and Microsystems - Embedded Hardware Design 24(9): 441 (2001)

Sun-Woo Kim, John A. Clark, John A. McDermid: Investigating the effectiveness of object-oriented testing strategies using the mutation method. Softw. Test., Verif. Reliab. 11(3): 207-225 (2001)

Karen Allenby, Simon Burton, Darren L. Buttle, John A. McDermid, John Murdoch, Alan Stephenson, Mike Bardill, Stuart Hutchesson: A Family-Oriented Software Development Process for Engine Controllers. PROFES 2001: 210-226

John A. McDermid: Software Safety: Where's the Evidence? SCS 2001: 1-6

Philippa Conmy, John A. McDermid: High Level Failure Analysis for Integrated Modular Avionics. SCS 2001: 13-22

Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid: Automated test-data generation for exception conditions. Softw., Pract. Exper. 30(1): 61-79 (2000)

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

John A. McDermid: Complexity: Concept, Causes and Control. ICECCS 2000: 2-

Alan Stephenson, Darren L. Buttle, John A. McDermid: Extending Commonality Analysis for Embedded Control System Families. IW-SAPF 2000: 217-224

Peter A. Lindsay, John A. McDermid, David J. Tombs: Deriving Quantified Safety Requirements in Complex Systems. SAFECOMP 2000: 117-130

Darren L. Buttle, John A. Clark, John A. McDermid, Alan Stephenson, Nigel J. Tracey: CONVERSE: A change-oriented process for engine controllers. IEE Proceedings - Software 146(3): 130-136 (1999)

John A. McDermid, Keith H. Bennett: Software engineering research: A critical appraisal. IEE Proceedings - Software 146(4): 179-186 (1999)

Tim P. Kelly, John A. McDermid: A Systematic Approach to Safety Case Maintenance. SAFECOMP 1999: 13-26

Yiannis Papadopoulos, John A. McDermid: Hierarchically Performed Hazard Origin and Propagation Studies. SAFECOMP 1999: 139-152

Nancy Talbert, John A. McDermid: The Cost of COTS (Interview). IEEE Computer 31(6): 46-52 (1998)

Ian Toyn, David M. Cattrall, John A. McDermid, Jeremy L. Jacob: A practical language and toolkit for high-integrity tools. Journal of Systems and Software 41(3): 161-173 (1998)

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

Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid: An Automated Framework for Structural Test-Data Generation. ASE 1998: 285-288

W. Lam, John A. McDermid, Andrew Vickers: Ten Steps Towards Systematic Requirements Reuse. Requir. Eng. 2(2): 102-113 (1997)

W. Lam, John A. McDermid, Andrew Vickers: Ten Steps Towards Systematic Requirements Reuse. RE 1997: 6-15

W. Lam, John A. McDermid: A Summary of Domain Analysis Experience by Way of Heuristics. SSR 1997: 54-64

Shaoying Liu, John A. McDermid: A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System. Journal of Systems and Software 35(2): 151-164 (1996)

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

John A. McDermid, Shaoying Liu: A Case Study Using SAM - Safety Analysis of PES. APSEC 1996: 217-

Stephen P. Wilson, John A. 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: 198-205

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

Stephen P. Wilson, John A. McDermid: Integrated Analysis of Complex Safety Critical Systems. Comput. J. 38(10): 765-776 (1995)

Ian Toyn, John A. McDermid: CADiZ: An Architecture for Z Tools and its Implementation. Softw., Pract. Exper. 25(3): 305-330 (1995)

David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris: A Framework for Requirements Analysis Using Automated Reasoning. CAiSE 1995: 68-81

Joanne M. Atlee, John A. McDermid: Integrating requirements analysis and safety analysis. RE 1995: 158-159

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

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

Peter Fenelon, John A. McDermid: An integrated tool set for software safety analysis. Journal of Systems and Software 21(3): 279-290 (1993)

Itana Maria de Souza Gimenes, John A. McDermid: Investigating and Formalising the Development of HIS Within PSEEs. ISPW 1993: 90-94

Shaoying Liu, John A. McDermid: Dynamic Sets and Their Application in VDM. SAC 1993: 187-192

Qi Shi, John A. McDermid: Constructing Secure Distributed Systems Using Components. SRDS 1993: 143-152

Alan Burns, John A. McDermid, John E. Dobson: On the Meaning of Safety and Security. Comput. J. 35(1): 3-15 (1992)

L. M. Barroca, John A. McDermid: Formal Methods: Use and Relevance for the Development of Safety-Critical Systems. Comput. J. 35(6): 579-599 (1992)

Alan W. Brown, John A. McDermid: Learning from IPSE's Mistakes. IEEE Software 9(2): 23-28 (1992)

Philip Morris, John A. McDermid: Formalizing and Validating Complex Security Requirements. DBSec 1992: 113-124

Alexandre Marcos Lins de Vasconcelos, John A. McDermid: Incremental processing of Z specifications. FORTE 1992: 53-69

Andrew Coombes, John A. McDermid: Using Diagrams to Give a Formal Specification of Timing Constraints in Z. Z User Workshop 1992: 119-130

John A. McDermid, Qi Shi: A Formal Model of Security Dependency for Analysis and Testing of Secure Systems. CSFW 1991: 188-200

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

Ernest S. Hocking, John A. McDermid: Towards an Object Oriented Development Environment for Secure Applications. ESORICS 1990: 191-200

Andrew Coombes, John A. McDermid: A Tool for Defining the Architecture of Z Specifications. Z User Workshop 1990: 77-92

David Jordan, John A. McDermid, Ian Toyn: CADIZ - Computer Aided Design in Z. Z User Workshop 1990: 93-104

Peter J. Whysall, John A. McDermid: An Approach to Object-Oriented Specification Using Z. Z User Workshop 1990: 193-215

John A. McDermid, Ernest S. Hocking: Security Policies for Integrated Project Support Environments. DBSec 1989: 41-74

John E. Dobson, John A. McDermid: A Framework for Expressing Models of Security Policy. IEEE Symposium on Security and Privacy 1989: 229-239

Carlo Ghezzi, John A. McDermid (Eds.): ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings. Lecture Notes in Computer Science 387, Springer 1989, isbn 3-540-51635-2

John E. Dobson, John A. McDermid: Security Models and Enterprise Models. DBSec 1988: 1-39

John A. McDermid, G. Morgan: Low Level Synchronisation Problems in Digital Systems. FTRTFT 1988: 139-141