Chris W. Johnson

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 8

Top Topics

Transportation Systems

Information Security

Top Venues

Qual. Reliab. Eng. Int.

Publications

Marco Cook, Angelos K. Marnerides, Chris W. Johnson, Dimitrios Pezaros
A Survey on Industrial Control System Digital Forensics: Challenges, Advances and Future Directions. IEEE Commun. Surv. Tutorials 25 (3) (2023)
Mario A. Pulido, Chris W. Johnson, Ahmed Alzahrani
Security Awareness Level Evaluation of Healthcare Participants Through Educational Games. Int. J. Serious Games 8 (3) (2021)
Tania Wallis, Chris W. Johnson
Implementing the NIS Directive, driving cybersecurity improvements for Essential Services. CyberSA (2020)
Marco Cook, Ioannis Stavrou, Sarah Dimmock, Chris W. Johnson
Introducing a forensics data type taxonomy of acquirable artefacts from programmable logic controllers. Cyber Security (2020)
Martin Sablotny, Bjørn Sand Jensen, Chris W. Johnson
Recurrent Neural Networks for Fuzz Testing Web Browsers. CoRR (2018)
Martin Sablotny, Bjørn Sand Jensen, Chris W. Johnson
Recurrent Neural Networks for Fuzz Testing Web Browsers. ICISC (2018)
Zhaoguang Peng, Yu Lu, Alice Miller, Tingdi Zhao, Chris W. Johnson
Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Qual. Reliab. Eng. Int. 32 (2) (2016)
Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao
Risk Assessment of Railway Transportation Systems using Timed Fault Trees. Qual. Reliab. Eng. Int. 32 (1) (2016)
Chris W. Johnson
Organisational, Political and Technical Barriers to the Integration of Safety and Cyber-Security Incident Reporting Systems. SAFECOMP (2015)
Chris W. Johnson
Barriers to the Use of Intrusion Detection Systems in Safety-Critical Applications. SAFECOMP (2015)
Chris W. Johnson, Michael Feary, Célia Martinie, Philippe A. Palanque, Regina Peldszus
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development. INTERACT (4) (2015)
Ying He, Chris W. Johnson
Improving the redistribution of the security lessons in healthcare: An evaluation of the Generic Security Template. Int. J. Medical Informatics 84 (11) (2015)
Yu Lu, Zhaoguang Peng, Alice Miller, Tingdi Zhao, Chris W. Johnson
How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. Reliab. Eng. Syst. Saf. 144 (2015)
Arnaud Prouzeau, Chris W. Johnson
Simulating the Risks from Aircraft Debris to the Public on the Ground. ATACCS (2015)
Ying He, Chris W. Johnson, Yu Lu, Yixia Lin
Improving the Information Security Management: An Industrial Study in the Privacy of Electronic Patient Records. CBMS (2014)
C. Michael Holloway, Chris W. Johnson
Towards Assessing Necessary Competence. CoRR (2014)
Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao
Formal modelling and quantitative analysis of satellite navigation systems. CoRR (2014)
Ying He, Chris W. Johnson, Yu Lu, Arniyati Ahmad
Improving the Exchange of Lessons Learned in Security Incident Reports: Case Studies in the Privacy of Electronic Patient Records. IFIPTM (2014)
Yu Lu, Alice Miller, Chris W. Johnson, Zhaoguang Peng, Tingdi Zhao
Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker. CSE (2014)
Ying He, Chris W. Johnson, Maria Evangelopoulou, Zheng-Shuai Lin
Diagraming Approach to Structure the Security Lessons: Evaluation Using Cognitive Dimensions. TRUST (2014)
Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao
A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System. EMS (2013)
Yun-Maw Cheng, Wei-Ju Chen, Tong-Ying Wu, Frode Eika Sandnes, Chris W. Johnson, Chao-Yang Yang
Designing Copresent Cycling Experience. HCI (2) (2013)
Chris W. Johnson
CyberSafety: CyberSecurity and Safety-Critical Software Engineering. SSS (2012)
Chris W. Johnson
Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Chris W. Johnson
Complexity, Structured Chaos and the Importance of Information Management for Mobile Computing in the UK Floods of 2007. Mobile Response (2008)
Chris W. Johnson
Modelling the Role of Software in the Propagation of Failures across Infrastructures. ERCIM News 2008 (75) (2008)
Chris W. Johnson
Understanding the interaction between public policy, managerial decision-making and the engineering of critical infrastructures. Reliab. Eng. Syst. Saf. 92 (9) (2007)
Chris W. Johnson, C. Michael Holloway
A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006). SSS (2007)
Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt, Ronald L. Boring, Chris W. Johnson, Peter Johnson
Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)? CHI Extended Abstracts (2007)
Sandra Basnyat, Nick Chozos, Chris W. Johnson, Philippe A. Palanque
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. DSV-IS (2005)
Philippe A. Palanque, Floor Koornneef, Chris W. Johnson, Gerd Szwillus, Peter C. Wright
Safety-critical interaction: usability in incidents and accidents. CHI Extended Abstracts (2004)
Chris W. Johnson
The Role of Night Vision Equipment in Military Incidents and Accidents. Human Error, Safety and Systems Development (2004)
Chris W. Johnson, C. Michael Holloway
A survey of logic formalisms to support mishap analysis. Reliab. Eng. Syst. Saf. 80 (3) (2003)
Chris W. Johnson
Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. SAFECOMP (2003)
Chris W. Johnson, C. Michael Holloway
The ESA/NASA SOHO mission interruption: using the STAMP accident analysis technique for a software related 'mishap'. Softw. Pract. Exp. 33 (12) (2003)
Chris W. Johnson
The Application of Causal Analysis Techniques for Computer-Related Mishaps. SAFECOMP (2003)
Meurig Sage, Chris W. Johnson
Formally verified, rapid prototyping for Air Traffic Control. Reliab. Eng. Syst. Saf. 75 (2) (2002)
Chris W. Johnson
A case study in the integration of accident reports and constructivedesign documents. Reliab. Eng. Syst. Saf. 71 (3) (2001)
Chris W. Johnson
Software Support for Incident Reporting Systems in Safety-Critical Applications. SAFECOMP (2000)
Chris W. Johnson
Proving properties of accidents. Reliab. Eng. Syst. Saf. 67 (2) (2000)
Chris W. Johnson
Questioning the Foundations of Utility for Quality of Service in Interface Development. DSV-IS (2000)
Chris W. Johnson, R. M. Botting
Using Reason's Model of Organisational Accidents in Formalising Accident Reports. Cogn. Technol. Work. 1 (2) (1999)
Chris W. Johnson
Why human error modeling has failed to help systems development. Interact. Comput. 11 (5) (1999)
Chris W. Johnson
Evaluating the Contribution of DesktopVR for Safety-Critical Applications. SAFECOMP (1999)
Chris W. Johnson
A First Step Towards the Integration of Accident Reports and Constructive Design Documents. SAFECOMP (1999)
Chris W. Johnson
Taking Fun Seriously: Using Cognitive Models to Reason About Interaction with Computer Games. Pers. Ubiquitous Comput. 3 (3) (1999)
Chris W. Johnson, Mark D. Dunlop
Subjectivity and Notions of Time and Value in Interactive Information Retrieval. Interact. Comput. 10 (1) (1998)
Meurig Sage, Chris W. Johnson
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle. DSV-IS (1998)
R. M. Botting, Chris W. Johnson
A formal and structured approach to the use of task analysis in accident modelling. Int. J. Hum. Comput. Stud. 49 (3) (1998)
Chris W. Johnson
On the Problems of Validating DesktopVR. BCS HCI (1998)
Chris W. Johnson
Representing the impact of time on human error and systems failure. Interact. Comput. 11 (1) (1998)
Mark D. Dunlop, Chris W. Johnson, Jane Reid
Exploring the layers of information retrieval evaluation. Interact. Comput. 10 (3) (1998)
Lorna Love, Chris W. Johnson
Using "Accident Fault Trees" in Conjunction With Traditional Accident Reports. INTERACT (1997)
Lorna Love, Chris W. Johnson
Using Diagrams to Support the Analysis of System 'Failure' and Operator 'Error'. BCS HCI (1997)
Chris W. Johnson
Beyond Belief: Representing Knowledge Requirements For The Operation Of Safety-Critical Interfaces. INTERACT (1997)
Chris W. Johnson
The Impact of Time and Place on the Operation of Mobile Computing Devices. BCS HCI (1997)
Chris W. Johnson, Sara Jones
Human computer interaction and requirements engineering: papers from an interdisciplinary workshop, 15th January, 1996. ACM SIGCHI Bull. 29 (1) (1997)
Chris W. Johnson
Reasoning about Human Error and System Failure for Accident Analysis. INTERACT (1997)
Meurig Sage, Chris W. Johnson
Interactors and Haggis: Executable specifications for interactive systems. DSV-IS (1997)
Chris W. Johnson
The Impact of Marginal Utility and Time on Distributed Information Retrieval. BCS HCI (1997)
Meurig Sage, Chris W. Johnson
Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style. INTERACT (1997)
Chris W. Johnson
The Evaluation of User Interface Notations. DSV-IS (1996)
Chris W. Johnson, Philip D. Gray
Supporting Error-Driven Design. DSV-IS (1996)
Chris W. Johnson
Documenting the Design of Safety-Critical, User Interfaces. Interact. Comput. 8 (3) (1996)
Chris W. Johnson
The economics of interface development. INTERACT (1995)
Chris W. Johnson
Time and the Web: Representing and Reasoning about Temporal Properties of Interaction with Distributed Systems. BCS HCI (1995)
Chris W. Johnson
Decision theory and safety-critical interfaces. INTERACT (1995)
Philip D. Gray, Chris W. Johnson
Requirements for the Next Generation of User Interface Specification Languages. DSV-IS (1995)
Chris W. Johnson
Reports from Working Groups: The Challenge of Time. DSV-IS (1995)
Chris W. Johnson
The Application of Petri Nets to Represent and Reason about Human Factors Problems during Accident Analyses. DSV-IS (1995)
Chris W. Johnson
The Formal Analysis of Human-Computer Interaction During Accident Investigations. BCS HCI (1994)