John McDermid

Top papers

• Large-scale complex IT systems

  Ian Sommerville, Dave Cliff, Radu Călinescu, et al.·2012·Communications of the ACM
  ↗ 215OA
• An automated framework for structural test-data generation

  Nigel Tracey, John A. Clark, K. C. Mander, et al.·2002
  ↗ 206
• Hierarchically Performed Hazard Origin and Propagation Studies

  Yiannis Papadopoulos, John McDermid·1999·Lecture notes in computer science
  ↗ 199
• Towards Operational Measures of Computer Security

  Bev Littlewood, Sarah Brocklehurst, Norman Fenton, et al.·1993·Journal of Computer Security
  ↗ 195OA
• Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure

  Yiannis Papadopoulos, John McDermid, Ralph Sasse, et al.·2001·Reliability Engineering & System Safety
  ↗ 179
• Safety Case Construction and Reuse Using Patterns

  Tim Kelly, John McDermid·1997
  ↗ 156
• Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective

  Simon Burton, Ibrahim Habli, Tom Lawton, et al.·2019·Artificial Intelligence
  ↗ 154
• Towards integrated safety analysis and design

  P. Fenelon, John McDermid, M. Nicolson, et al.·1994·ACM SIGAPP Applied Computing Review
  ↗ 138
• Automated test-data generation for exception conditions

  Nigel Tracey, John A. Clark, K. C. Mander, et al.·2000·Software Practice and Experience
  ↗ 125
• Artificial intelligence explainability: the technical and ethical dimensions

  John McDermid, Yan Jia, Zoë Porter, et al.·2021·Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences
  ↗ 114OA
• An integrated tool set for software safety analysis

  P. Fenelon, John McDermid·1993·Journal of Systems and Software
  ↗ 113
• A Systematic Approach to Safety Case Maintenance

  Tim Kelly, John McDermid·1999·Lecture notes in computer science
  ↗ 112