Christopher W. Johnson
Affiliations:- Queen's University Belfast, Electrical Engineering and Computer Science, UK
- University of Glasgow, Glasgow, UK (former)
According to our database1,
Christopher W. Johnson
authored at least 99 papers
between 1994 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
A Survey on Industrial Control System Digital Forensics: Challenges, Advances and Future Directions.
IEEE Commun. Surv. Tutorials, 2023
2022
IEEE Trans. Intell. Transp. Syst., 2022
Correction to: An evaluation of the formalised AcciMap approach for accident analysis in healthcare.
Cogn. Technol. Work., 2022
An evaluation of the formalised AcciMap approach for accident analysis in healthcare.
Cogn. Technol. Work., 2022
Case Studies in the Socio-technical Analysis of Cybersecurity Incidents: Comparing Attacks on the UK NHS and Irish Healthcare Systems.
Proceedings of the International Conference on Cybersecurity, 2022
2021
Security Awareness Level Evaluation of Healthcare Participants Through Educational Games.
Int. J. Serious Games, 2021
2020
To Computerised Provider Order Entry system: A comparison of ECF, HFACS, STAMP and AcciMap approaches.
Health Informatics J., 2020
Adapting STPA-sec for Socio-technical Cyber Security Challenges in Emerging Nations: A Case Study in Risk Management for Rwandan Health Care.
Proceedings of the 2020 International Conference on Cyber Security and Protection of Digital Services, 2020
Introducing a forensics data type taxonomy of acquirable artefacts from programmable logic controllers.
Proceedings of the 2020 International Conference on Cyber Security and Protection of Digital Services, 2020
Implementing the NIS Directive, driving cybersecurity improvements for Essential Services.
Proceedings of the 2020 International Conference on Cyber Situational Awareness, 2020
2018
Proceedings of the Information Security and Cryptology - ICISC 2018, 2018
2017
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.
Reliab. Eng. Syst. Saf., 2017
2016
Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites.
Qual. Reliab. Eng. Int., 2016
Qual. Reliab. Eng. Int., 2016
Towards the Automated Verification of Weibull Distributions for System Failure Rates.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016
2015
How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification.
Reliab. Eng. Syst. Saf., 2015
Software in military aviation and drone mishaps: Analysis and recommendations for the investigation process.
Reliab. Eng. Syst. Saf., 2015
Improving the redistribution of the security lessons in healthcare: An evaluation of the Generic Security Template.
Int. J. Medical Informatics, 2015
Factors influencing risk acceptance of Cloud Computing services in the UK Government.
CoRR, 2015
Organisational, Political and Technical Barriers to the Integration of Safety and Cyber-Security Incident Reporting Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2015
Proceedings of the Computer Safety, Reliability, and Security, 2015
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development.
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015
Empirical framework for situation awareness measurement techniques in network defense.
Proceedings of the 2015 International Conference on Cyber Situational Awareness, 2015
Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems, 2015
2014
CoRR, 2014
Diagraming Approach to Structure the Security Lessons: Evaluation Using Cognitive Dimensions.
Proceedings of the Trust and Trustworthy Computing - 7th International Conference, 2014
Proceedings of the 7th International Conference on Security of Information and Networks, 2014
Improving the Exchange of Lessons Learned in Security Incident Reports: Case Studies in the Privacy of Electronic Patient Records.
Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014
Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker.
Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014
Proceedings of the Critical Information Infrastructures Security, 2014
Improving the Information Security Management: An Industrial Study in the Privacy of Electronic Patient Records.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014
2013
#trapped!: social media search system requirements for emergency management professionals.
Proceedings of the 36th International ACM SIGIR conference on research and development in Information Retrieval, 2013
Proceedings of the Human-Computer Interaction. Applications and Services, 2013
A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System.
Proceedings of the Seventh UKSim/AMSS European Modelling Symposium, 2013
2012
Proceedings of the Achieving Systems Safety, 2012
Proceedings of the Advances in Information Retrieval, 2012
Increasing resilience of ATM networks using traffic monitoring and automated anomaly analysis.
Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2012
2011
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., 2011
2010
On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications.
Proceedings of the Computer Safety, 2010
Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace.
Proceedings of the Computer Safety, 2010
2008
Modelling the Role of Software in the Propagation of Failures across Infrastructures.
ERCIM News, 2008
Complexity, Structured Chaos and the Importance of Information Management for Mobile Computing in the UK Floods of 2007.
Proceedings of the Mobile Response, 2008
2007
Understanding the interaction between public policy, managerial decision-making and the engineering of critical infrastructures.
Reliab. Eng. Syst. Saf., 2007
A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006).
Proceedings of the Safety of Systems, 2007
Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)?
Proceedings of the Extended Abstracts Proceedings of the 2007 Conference on Human Factors in Computing Systems, 2007
2006
What are emergent properties and how do they affect the engineering of complex systems?
Reliab. Eng. Syst. Saf., 2006
2005
Lessons from the evacuation of the world trade centre, 9/11 2001 for the development of computer-based simulations.
Cogn. Technol. Work., 2005
The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions.
Proceedings of the FM 2005: Formal Methods, 2005
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems.
Proceedings of the Interactive Systems, 2005
Applying the lessons of the attack on the world trade center, 11th September 2001, to the design and use of interactive evacuation simulations.
Proceedings of the 2005 Conference on Human Factors in Computing Systems, 2005
2004
The Team-Based Operation of Safety-Critical Programmable Systems in US Commercial Aviation and the UK Maritime Industries.
Proceedings of the Human Error, 2004
Proceedings of the Human Error, 2004
Proceedings of the Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, 2004
2003
The ESA/NASA SOHO mission interruption: using the STAMP accident analysis technique for a software related 'mishap'.
Softw. Pract. Exp., 2003
Reliab. Eng. Syst. Saf., 2003
Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents.
Proceedings of the Computer Safety, 2003
Proceedings of the Computer Safety, 2003
2002
Reliab. Eng. Syst. Saf., 2002
Cogn. Technol. Work., 2002
Proceedings of the Components of System Safety, 2002
2001
A case study in the integration of accident reports and constructivedesign documents.
Reliab. Eng. Syst. Saf., 2001
2000
Proceedings of the Computer Safety, 2000
Questioning the Foundations of Utility for Quality of Service in Interface Development.
Proceedings of the Interactive Systems: Design, 2000
1999
Taking Fun Seriously: Using Cognitive Models to Reason About Interaction with Computer Games.
Pers. Ubiquitous Comput., 1999
Interact. Comput., 1999
Cogn. Technol. Work., 1999
A First Step Towards the Integration of Accident Reports and Constructive Design Documents.
Proceedings of the Computer Safety, 1999
Proceedings of the Computer Safety, 1999
1998
Interact. Comput., 1998
Interact. Comput., 1998
Int. J. Hum. Comput. Stud., 1998
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle.
Proceedings of the Design, 1998
Proceedings of the People and Computers XIII, Proceedings of HCI '98, 1998
1997
Human computer interaction and requirements engineering: papers from an interdisciplinary workshop, 15th January, 1996.
ACM SIGCHI Bull., 1997
Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style.
Proceedings of the Human-Computer Interaction, 1997
Using "Accident Fault Trees" in Conjunction With Traditional Accident Reports.
Proceedings of the Human-Computer Interaction, 1997
Reasoning about Human Error and System Failure for Accident Analysis.
Proceedings of the Human-Computer Interaction, 1997
Beyond Belief: Representing Knowledge Requirements For The Operation Of Safety-Critical Interfaces.
Proceedings of the Human-Computer Interaction, 1997
Proceedings of the Design, 1997
Proceedings of the People and Computers XII, Proceedings of HCI '97, 1997
Proceedings of the People and Computers XII, Proceedings of HCI '97, 1997
Proceedings of the People and Computers XII, Proceedings of HCI '97, 1997
1996
Extending the application of formal methods to analyse human error and system failure during accident investigations.
Softw. Eng. J., 1996
Literate Specification: Using Design Rationale to Support Formal Methods in the Development of Human-Machine Interfaces.
Hum. Comput. Interact., 1996
1995
Decision theory and safety-critical interfaces.
Proceedings of the Human-Computer Interaction, 1995
The economics of interface development.
Proceedings of the Human-Computer Interaction, 1995
The Application of Petri Nets to Represent and Reason about Human Factors Problems during Accident Analyses.
Proceedings of the Design, 1995
Proceedings of the Design, 1995
Time and the Web: Representing and Reasoning about Temporal Properties of Interaction with Distributed Systems.
Proceedings of the People and Computers X, 1995
1994
The Formal Analysis of Human-Computer Interaction During Accident Investigations.
Proceedings of the People and Computers IX, 1994