The Formal Analysis of Human-Computer Interaction During Accident Investigations. - Chris W. Johnson 001 (BCS HCI, 1994)

Time and the Web: Representing and Reasoning about Temporal Properties of Interaction with Distributed Systems. - Chris W. Johnson 001 (BCS HCI, 1995)

Requirements for the Next Generation of User Interface Specification Languages. - Philip D. Gray; Chris W. Johnson 001 (DSV-IS, 1995)

The Application of Petri Nets to Represent and Reason about Human Factors Problems during Accident Analyses. - Chris W. Johnson 001 (DSV-IS, 1995)

Reports from Working Groups: The Challenge of Time. - Chris W. Johnson 001 (DSV-IS, 1995)

The economics of interface development. - Chris W. Johnson 001 (INTERACT, 1995)

Decision theory and safety-critical interfaces. - Chris W. Johnson 001 (INTERACT, 1995)

The Evaluation of User Interface Notations. - Chris W. Johnson 001 (DSV-IS, 1996)

Supporting Error-Driven Design. - Chris W. Johnson 001; Philip D. Gray (DSV-IS, 1996)

Literate Specification: Using Design Rationale to Support Formal Methods in the Development of Human-Machine Interfaces. - Christopher W. Johnson 001 (Hum. Comput. Interact., 1996)

Extending the application of formal methods to analyse human error and system failure during accident investigations. - Christopher W. Johnson 001; Alastair J. Telford (Softw. Eng. J., 1996)

Documenting the Design of Safety-Critical, User Interfaces. - Chris W. Johnson 001 (Interact. Comput., 1996)

The Impact of Time and Place on the Operation of Mobile Computing Devices. - Chris W. Johnson 001 (BCS HCI, 1997)

The Impact of Marginal Utility and Time on Distributed Information Retrieval. - Chris W. Johnson 001 (BCS HCI, 1997)

Using Diagrams to Support the Analysis of System 'Failure' and Operator 'Error'. - Lorna Love; Chris W. Johnson 001 (BCS HCI, 1997)

Interactors and Haggis: Executable specifications for interactive systems. - Meurig Sage; Chris W. Johnson 001 (DSV-IS, 1997)

Beyond Belief: Representing Knowledge Requirements For The Operation Of Safety-Critical Interfaces. - Chris W. Johnson 001 (INTERACT, 1997)

Reasoning about Human Error and System Failure for Accident Analysis. - Chris W. Johnson 001 (INTERACT, 1997)

Using "Accident Fault Trees" in Conjunction With Traditional Accident Reports. - Lorna Love; Chris W. Johnson 001 (INTERACT, 1997)

Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style. - Meurig Sage; Chris W. Johnson 001 (INTERACT, 1997)

The epistemics of accidents. - Christopher W. Johnson 001 (Int. J. Hum. Comput. Stud., 1997)

Human computer interaction and requirements engineering: papers from an interdisciplinary workshop, 15th January, 1996. - Chris W. Johnson 001; Sara Jones 001 (ACM SIGCHI Bull., 1997)

On the Problems of Validating DesktopVR. - Chris W. Johnson 001 (BCS HCI, 1998)

Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle. - Meurig Sage; Chris W. Johnson 001 (DSV-IS, 1998)

A formal and structured approach to the use of task analysis in accident modelling. - R. M. Botting; Chris W. Johnson 001 (Int. J. Hum. Comput. Stud., 1998)

Exploring the layers of information retrieval evaluation. - Mark D. Dunlop; Chris W. Johnson 001; Jane Reid (Interact. Comput., 1998)

Representing the impact of time on human error and systems failure. - Chris W. Johnson 001 (Interact. Comput., 1998)

Subjectivity and Notions of Time and Value in Interactive Information Retrieval. - Chris W. Johnson 001; Mark D. Dunlop (Interact. Comput., 1998)

Evaluating the Contribution of DesktopVR for Safety-Critical Applications. - Chris W. Johnson 001 (SAFECOMP, 1999)

A First Step Towards the Integration of Accident Reports and Constructive Design Documents. - Chris W. Johnson 001 (SAFECOMP, 1999)

Using Reason's Model of Organisational Accidents in Formalising Accident Reports. - Chris W. Johnson 001; R. M. Botting (Cogn. Technol. Work., 1999)

Why human error modeling has failed to help systems development. - Chris W. Johnson 001 (Interact. Comput., 1999)

Taking Fun Seriously: Using Cognitive Models to Reason About Interaction with Computer Games. - Chris W. Johnson 001 (Pers. Ubiquitous Comput., 1999)

Questioning the Foundations of Utility for Quality of Service in Interface Development. - Chris W. Johnson 001 (DSV-IS, 2000)

Software Support for Incident Reporting Systems in Safety-Critical Applications. - Chris W. Johnson 001 (SAFECOMP, 2000)

Proving properties of accidents. - Chris W. Johnson 001 (Reliab. Eng. Syst. Saf., 2000)

A case study in the integration of accident reports and constructivedesign documents. - Chris W. Johnson 001 (Reliab. Eng. Syst. Saf., 2001)

Reasons for the Failure of Incident Reporting in the Healthcare and Rail Industries. - Christopher W. Johnson 001 (SSS, 2002)

The Use of a Formalised Risk Model in NHS Information System Development. - M. A. Jeffcott; Christopher W. Johnson 001 (Cogn. Technol. Work., 2002)

Formally verified, rapid prototyping for Air Traffic Control. - Meurig Sage; Chris W. Johnson 001 (Reliab. Eng. Syst. Saf., 2002)

The Application of Causal Analysis Techniques for Computer-Related Mishaps. - Chris W. Johnson 001 (SAFECOMP, 2003)

Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. - Chris W. Johnson 001 (SAFECOMP, 2003)

A survey of logic formalisms to support mishap analysis. - Chris W. Johnson 001; C. Michael Holloway (Reliab. Eng. Syst. Saf., 2003)

The ESA/NASA SOHO mission interruption: using the STAMP accident analysis technique for a software related 'mishap'. - Chris W. Johnson 001; C. Michael Holloway (Softw. Pract. Exp., 2003)

Safety-critical interaction: usability in incidents and accidents. - Philippe A. Palanque; Floor Koornneef; Chris W. Johnson 001; Gerd Szwillus; Peter C. Wright (CHI Extended Abstracts, 2004)

The Role of Night Vision Equipment in Military Incidents and Accidents. - Chris W. Johnson 001 (Human Error, Safety and Systems Development, 2004)

The Team-Based Operation of Safety-Critical Programmable Systems in US Commercial Aviation and the UK Maritime Industries. - Christopher W. Johnson 001 (Human Error, Safety and Systems Development, 2004)

Applying the lessons of the attack on the world trade center, 11th September 2001, to the design and use of interactive evacuation simulations. - Christopher W. Johnson 001 (CHI, 2005)

Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. - Sandra Basnyat; Nick Chozos; Chris W. Johnson 001; Philippe A. Palanque (DSV-IS, 2005)

The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions. - Christopher W. Johnson 001 (FM, 2005)

Lessons from the evacuation of the world trade centre, 9/11 2001 for the development of computer-based simulations. - Christopher W. Johnson 001 (Cogn. Technol. Work., 2005)

What are emergent properties and how do they affect the engineering of complex systems? - Christopher W. Johnson 001 (Reliab. Eng. Syst. Saf., 2006)

Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)? - Philippe A. Palanque; Sandra Basnyat; Regina Bernhaupt; Ronald L. Boring; Chris W. Johnson 001; Peter Johnson 001 (CHI Extended Abstracts, 2007)

A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006). - Chris W. Johnson 001; C. Michael Holloway (SSS, 2007)

Understanding the interaction between public policy, managerial decision-making and the engineering of critical infrastructures. - Chris W. Johnson 001 (Reliab. Eng. Syst. Saf., 2007)

Complexity, Structured Chaos and the Importance of Information Management for Mobile Computing in the UK Floods of 2007. - Chris W. Johnson 001 (Mobile Response, 2008)

Modelling the Role of Software in the Propagation of Failures across Infrastructures. - Chris W. Johnson 001 (ERCIM News, 2008)

Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace. - Christopher W. Johnson 001 (SAFECOMP, 2010)

On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications. - Christopher W. Johnson 001; Stefan Raue (SAFECOMP, 2010)

Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems. - Chris W. Johnson 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Increasing resilience of ATM networks using traffic monitoring and automated anomaly analysis. - Kyle J. S. White; Dimitrios P. Pezaros; Christopher W. Johnson 001 (ATACCS, 2012)

Crisees: Real-Time Monitoring of Social Media Streams to Support Crisis Management. - David Maxwell 001; Stefan Raue; Leif Azzopardi; Christopher W. Johnson 001; Sarah Oates (ECIR, 2012)

CyberSafety: CyberSecurity and Safety-Critical Software Engineering. - Chris W. Johnson 001 (SSS, 2012)

A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System. - Zhaoguang Peng; Yu Lu 001; Alice Miller 001; Chris W. Johnson 001; Tingdi Zhao (EMS, 2013)

Designing Copresent Cycling Experience. - Yun-Maw Cheng; Wei-Ju Chen; Tong-Ying Wu; Frode Eika Sandnes; Chris W. Johnson 001; Chao-Yang Yang (HCI (2), 2013)

#trapped!: social media search system requirements for emergency management professionals. - Stefan Raue; Leif Azzopardi; Christopher W. Johnson 001 (SIGIR, 2013)

Improving the Information Security Management: An Industrial Study in the Privacy of Electronic Patient Records. - Ying He 004; Chris W. Johnson 001; Yu Lu 001; Yixia Lin (CBMS, 2014)

Using Programmable Data Networks to Detect Critical Infrastructure Challenges. - Kyle J. S. White; Dimitrios P. Pezaros; Christopher W. Johnson 001 (CRITIS, 2014)

Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker. - Yu Lu 001; Alice Miller 001; Chris W. Johnson 001; Zhaoguang Peng; Tingdi Zhao (CSE, 2014)

Improving the Exchange of Lessons Learned in Security Incident Reports: Case Studies in the Privacy of Electronic Patient Records. - Ying He 004; Chris W. Johnson 001; Yu Lu 001; Arniyati Ahmad (IFIPTM, 2014)

Implementation of Safety Techniques in a Cyber Domain. - Maria Evangelopoulou; Christopher W. Johnson 001 (SIN, 2014)

Diagraming Approach to Structure the Security Lessons: Evaluation Using Cognitive Dimensions. - Ying He 004; Chris W. Johnson 001; Maria Evangelopoulou; Zheng-Shuai Lin (TRUST, 2014)

Towards Assessing Necessary Competence. - C. Michael Holloway; Chris W. Johnson 001 (CoRR, 2014)

Formal modelling and quantitative analysis of satellite navigation systems. - Zhaoguang Peng; Yu Lu 001; Alice Miller 001; Chris W. Johnson 001; Tingdi Zhao (CoRR, 2014)

Simulating the Risks from Aircraft Debris to the Public on the Ground. - Arnaud Prouzeau; Chris W. Johnson 001 (ATACCS, 2015)

Empirical framework for situation awareness measurement techniques in network defense. - Maria Evangelopoulou; Christopher W. Johnson 001 (CyberSA, 2015)

IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development. - Chris W. Johnson 001; Michael Feary; Célia Martinie; Philippe A. Palanque; Regina Peldszus (INTERACT (4), 2015)

Barriers to the Use of Intrusion Detection Systems in Safety-Critical Applications. - Chris W. Johnson 001 (SAFECOMP, 2015)

Organisational, Political and Technical Barriers to the Integration of Safety and Cyber-Security Incident Reporting Systems. - Chris W. Johnson 001 (SAFECOMP, 2015)

Factors influencing risk acceptance of Cloud Computing services in the UK Government. - Gianfranco Elena; Christopher W. Johnson 001 (CoRR, 2015)

Laypeople and Experts risk perception of Cloud Computing Services. - Gianfranco Elena; Christopher W. Johnson 001 (CoRR, 2015)

Improving the redistribution of the security lessons in healthcare: An evaluation of the Generic Security Template. - Ying He 004; Chris W. Johnson 001 (Int. J. Medical Informatics, 2015)

Software in military aviation and drone mishaps: Analysis and recommendations for the investigation process. - Veronica L. Foreman; Francesca M. Favarò; Joseph Homer Saleh; Christopher W. Johnson 001 (Reliab. Eng. Syst. Saf., 2015)

How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. - Yu Lu 001; Zhaoguang Peng; Alice Miller 001; Tingdi Zhao; Chris W. Johnson 001 (Reliab. Eng. Syst. Saf., 2015)

Towards the Automated Verification of Weibull Distributions for System Failure Rates. - Yu Lu 001; Alice A. Miller; Ruth Hoffmann; Christopher W. Johnson 001 (FMICS-AVoCS, 2016)

Risk Assessment of Railway Transportation Systems using Timed Fault Trees. - Zhaoguang Peng; Yu Lu 001; Alice Miller 001; Chris W. Johnson 001; Tingdi Zhao (Qual. Reliab. Eng. Int., 2016)

Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. - Zhaoguang Peng; Yu Lu 001; Alice Miller 001; Tingdi Zhao; Chris W. Johnson 001 (Qual. Reliab. Eng. Int., 2016)

How can health care organisations make and justify decisions about risk reduction? Lessons from a cross-industry review and a health care stakeholder consensus development process. - Mark-Alexander Sujan; Ibrahim Habli; Tim P. Kelly; Astrid Gühnemann; Simone Pozzi; Christopher W. Johnson 001 (Reliab. Eng. Syst. Saf., 2017)

Recurrent Neural Networks for Fuzz Testing Web Browsers. - Martin Sablotny; Bjørn Sand Jensen; Chris W. Johnson 001 (ICISC, 2018)

Implementing the NIS Directive, driving cybersecurity improvements for Essential Services. - Tania Wallis; Chris W. Johnson 001 (CyberSA, 2020)

Introducing a forensics data type taxonomy of acquirable artefacts from programmable logic controllers. - Marco M. Cook; Ioannis Stavrou; Sarah Dimmock; Chris W. Johnson 001 (Cyber Security, 2020)

Adapting STPA-sec for Socio-technical Cyber Security Challenges in Emerging Nations: A Case Study in Risk Management for Rwandan Health Care. - Joseph Kaberuka; Christopher W. Johnson 001 (Cyber Security, 2020)

To Computerised Provider Order Entry system: A comparison of ECF, HFACS, STAMP and AcciMap approaches. - Oseghale Osezua Igene; Christopher W. Johnson 001 (Health Informatics J., 2020)

Security Awareness Level Evaluation of Healthcare Participants Through Educational Games. - Mario A. Pulido; Chris W. Johnson 001; Ahmed Alzahrani 004 (Int. J. Serious Games, 2021)

Case Studies in the Socio-technical Analysis of Cybersecurity Incidents: Comparing Attacks on the UK NHS and Irish Healthcare Systems. - Joseph Kaberuka; Christopher W. Johnson 001 (Cyber Science, 2022)

An evaluation of the formalised AcciMap approach for accident analysis in healthcare. - Oseghale Osezua Igene; Christopher W. Johnson 001; Jenny Long (Cogn. Technol. Work., 2022)

Correction to: An evaluation of the formalised AcciMap approach for accident analysis in healthcare. - Oseghale Osezua Igene; Christopher W. Johnson 001; Jenny Long (Cogn. Technol. Work., 2022)

Risk Assessment Methodologies for Autonomous Driving: A Survey. - Wei Ming Dan Chia; Sye Loong Keoh; Cindy Goh; Christopher W. Johnson 001 (IEEE Trans. Intell. Transp. Syst., 2022)

A Survey on Industrial Control System Digital Forensics: Challenges, Advances and Future Directions. - Marco M. Cook; Angelos K. Marnerides; Chris W. Johnson 001; Dimitrios Pezaros (IEEE Commun. Surv. Tutorials, 2023)