Chris W. Johnson

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