- Software Safety: Where's the Evidence? John A McDermid
- Developing Safety Contracts for OO Systems R.D. Hawkins; University of York; York, UK
- Safety case architectures to complement a contract-based approach to designing safe systems S.A. Bates; The University of York; York, UK
- Performing Hazard and Safety Analysis of Object Oriented Systems R. D. Hawkins; Department of Computer Science, University of York; York, UK
- Establishing timing requirements for control loops in real-time systems Iain Bate*, John McDermid, Peter Nightingale
- oftware is the primary determinant of function in many modern engineered systems, from
- Complexity: Concept, Causes and Control John A McDermid,
- A Search Based Automated Test-Data Generation Framework for Safety-Critical Systems
- CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2006; 18:12551275
- On the Formal Development of Safety-Critical Software Andy Galloway, Frantz Iwu, John McDermid and Ian Toyn
- A Family-Oriented Software Development Process for Engine Controllers
- Automated Safety Monitoring: A Review and Classification of Methods
- Derivation of Safety Requirements for an Embedded Control System
- Reliability Engineering and System Safety ] (]]]]) ]]]]]] Integrating safety and formal analyses using UML and PFS
- Automation of System Safety Analysis: Possibilities and Pitfalls Andrew Galloway, University of York, Heslington, York YO10 5DD UK
- Safety Specification of the Active Traffic Management Control System for English Motorways
- Test Data Generation for Product Lines A Mutation Testing Approach
- Generating Evidence for Certification of Modern Processors for use in Safety-Critical Systems
- Int. symposium on PLCs in Safety-Related Applications, Cologne, May 2000 Systematic Anticipation and Validation of Scenarios
- Process Tailoring in Iterative Development John Murdoch, John A. McDermid
- The Challenges of Complex IT Projects
- HEALTH MODELLING FOR AGILITY IN SAFETY-CRITICAL SYSTEMS DEVELOPMENT
- Flexibility and Manageability of IMS Projects Zo Stephenson, Mark Nicholson, John McDermid; University of York Department of Computer Science;
- Towards a Practicable Process for Automated Safety Analysis O. Lisagor; Department of Computer Science, The University of York; York, UK
- Software Hazard and Safety Analysis John McDermid
- Automated Component Configuration in Safety-Critical Zoe Stephenson1
- Safety Analysis of Software Architectures "Lightweight PSSA" O. Lisagor; Department of Computer Science, The University of York; York, UK
- Epipole Estimation under Pure Camera Translation* Zezhi Chen1,2
- Identifying Safety Dependencies in Modular Computer Systems Philippa Conmy; Department of Computer Science; University of York, UK
- Failure Modes and Effects Analysis (FMEA) and Systematic Design J. Murdoch, J.A. McDermid; High Integrity Systems Engineering Group;
- MODEL-BASED SEMIAUTOMATIC SAFETY ANALYSIS OF PROGRAMMABLE SYSTEMS IN AUTOMOTIVE APPLICATIONS
- Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure
- Investigating the Effectiveness of Object-Oriented Testing Strategies with the Mutation Method
- Journal of Reliability Engineering and System Safety 63 (1999) 47-66 Elsevier Science
- INVESTIGATING THE APPLICABILITY OF TRADITIONAL TEST ADEQUACY CRITERIA FOR OBJECT-ORIENTED PROGRAMS
- High level failure analysis for Integrated Modular Avionics Philippa Conmy, John McDermid
