default search action
Christopher W. Johnson 0001
Chris W. Johnson 0001
Person information
- affiliation: Queen's University Belfast, Electrical Engineering and Computer Science, UK
- affiliation (former): University of Glasgow, Glasgow, UK
Other persons with the same name
- Christopher W. Johnson 0002 (aka: Chris W. Johnson 0002) — Australian National University, Canberra, Australia
- Christopher W. Johnson 0003 — Los Alamos National Laboratory, Geophysics Group, NM, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j34]Marco M. Cook
, Angelos K. Marnerides
A Survey on Industrial Control System Digital Forensics: Challenges, Advances and Future Directions. IEEE Commun. Surv. Tutorials 25(3): 1705-1747 (2023) - 2022
- [j33]Oseghale Osezua Igene
An evaluation of the formalised AcciMap approach for accident analysis in healthcare. Cogn. Technol. Work. 24(1): 161-181 (2022) - [j32]Oseghale Osezua Igene
Correction to: An evaluation of the formalised AcciMap approach for accident analysis in healthcare. Cogn. Technol. Work. 24(1): 209 (2022) - [j31]Wei Ming Dan Chia
Risk Assessment Methodologies for Autonomous Driving: A Survey. IEEE Trans. Intell. Transp. Syst. 23(10): 16923-16939 (2022) - [c60]Joseph Kaberuka, Christopher W. Johnson:
Case Studies in the Socio-technical Analysis of Cybersecurity Incidents: Comparing Attacks on the UK NHS and Irish Healthcare Systems. Cyber Science 2022: 375-387 - 2021
- [j30]Mario A. Pulido, Chris W. Johnson, Ahmed Alzahrani:
Security Awareness Level Evaluation of Healthcare Participants Through Educational Games. Int. J. Serious Games 8(3): 25-41 (2021) - 2020
- [j29]Oseghale Osezua Igene
To Computerised Provider Order Entry system: A comparison of ECF, HFACS, STAMP and AcciMap approaches. Health Informatics J. 26(2): 1017-1042 (2020) - [c59]Tania Wallis
Implementing the NIS Directive, driving cybersecurity improvements for Essential Services. CyberSA 2020: 1-10 - [c58]Marco M. Cook
Introducing a forensics data type taxonomy of acquirable artefacts from programmable logic controllers. Cyber Security 2020: 1-8 - [c57]Joseph Kaberuka, Christopher W. Johnson:
Adapting STPA-sec for Socio-technical Cyber Security Challenges in Emerging Nations: A Case Study in Risk Management for Rwandan Health Care. Cyber Security 2020: 1-9
2010 – 2019
- 2018
- [c56]Martin Sablotny
Recurrent Neural Networks for Fuzz Testing Web Browsers. ICISC 2018: 354-370 - [i6]Martin Sablotny, Bjørn Sand Jensen, Chris W. Johnson:
Recurrent Neural Networks for Fuzz Testing Web Browsers. CoRR abs/1812.04852 (2018) - 2017
- [j28]Mark-Alexander Sujan, Ibrahim Habli, Tim P. Kelly, Astrid Gühnemann
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. 161: 1-11 (2017) - 2016
- [j27]Zhaoguang Peng, Yu Lu
Risk Assessment of Railway Transportation Systems using Timed Fault Trees. Qual. Reliab. Eng. Int. 32(1): 181-194 (2016) - [j26]Zhaoguang Peng, Yu Lu
Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Qual. Reliab. Eng. Int. 32(2): 345-361 (2016) - [c55]Yu Lu
Towards the Automated Verification of Weibull Distributions for System Failure Rates. FMICS-AVoCS 2016: 81-96 - [e5]Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris W. Johnson, Philippe A. Palanque, Regina Bernhaupt
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. Lecture Notes in Computer Science 9856, Springer 2016, ISBN 978-3-319-44901-2 [contents] - 2015
- [j25]Ying He
Improving the redistribution of the security lessons in healthcare: An evaluation of the Generic Security Template. Int. J. Medical Informatics 84(11): 941-949 (2015) - [j24]Veronica L. Foreman, Francesca M. Favarò, Joseph Homer Saleh, Christopher W. Johnson:
Software in military aviation and drone mishaps: Analysis and recommendations for the investigation process. Reliab. Eng. Syst. Saf. 137: 101-111 (2015) - [j23]Yu Lu
How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. Reliab. Eng. Syst. Saf. 144: 95-116 (2015) - [c54]Arnaud Prouzeau
Simulating the Risks from Aircraft Debris to the Public on the Ground. ATACCS 2015: 105-114 - [c53]Maria Evangelopoulou, Christopher W. Johnson:
Empirical framework for situation awareness measurement techniques in network defense. CyberSA 2015: 1-4 - [c52]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: 663-664 - [c51]Chris W. Johnson:
Barriers to the Use of Intrusion Detection Systems in Safety-Critical Applications. SAFECOMP 2015: 375-384 - [c50]Chris W. Johnson:
Organisational, Political and Technical Barriers to the Integration of Safety and Cyber-Security Incident Reporting Systems. SAFECOMP 2015: 400-409 - [e4]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:
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. ACM 2015, ISBN 978-1-4503-3562-1 [contents] - [i5]Gianfranco Elena, Christopher W. Johnson:
Factors influencing risk acceptance of Cloud Computing services in the UK Government. CoRR abs/1509.06533 (2015) - [i4]Gianfranco Elena, Christopher W. Johnson:
Laypeople and Experts risk perception of Cloud Computing Services. CoRR abs/1509.06536 (2015) - 2014
- [c49]Ying He
Improving the Information Security Management: An Industrial Study in the Privacy of Electronic Patient Records. CBMS 2014: 525-526 - [c48]Kyle J. S. White, Dimitrios P. Pezaros, Christopher W. Johnson:
Using Programmable Data Networks to Detect Critical Infrastructure Challenges. CRITIS 2014: 209-221 - [c47]Yu Lu
Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker. CSE 2014: 704-713 - [c46]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: 109-124 - [c45]Maria Evangelopoulou, Christopher W. Johnson:
Implementation of Safety Techniques in a Cyber Domain. SIN 2014: 261 - [c44]Ying He
Diagraming Approach to Structure the Security Lessons: Evaluation Using Cognitive Dimensions. TRUST 2014: 216-217 - [i3]Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao:
Formal modelling and quantitative analysis of satellite navigation systems. CoRR abs/1402.5599 (2014) - [i2]C. Michael Holloway, Chris W. Johnson:
Towards Assessing Necessary Competence. CoRR abs/1404.6803 (2014) - 2013
- [c43]Zhaoguang Peng
A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System. EMS 2013: 611-616 - [c42]Yun-Maw Cheng, Wei-Ju Chen, Tong-Ying Wu, Frode Eika Sandnes
Designing Copresent Cycling Experience. HCI (2) 2013: 20-25 - [c41]Stefan Raue, Leif Azzopardi, Christopher W. Johnson:
#trapped!: social media search system requirements for emergency management professionals. SIGIR 2013: 1073-1076 - 2012
- [c40]Kyle J. S. White, Dimitrios P. Pezaros, Christopher W. Johnson:
Increasing resilience of ATM networks using traffic monitoring and automated anomaly analysis. ATACCS 2012: 82-92 - [c39]David Maxwell, Stefan Raue, Leif Azzopardi, Christopher W. Johnson, Sarah Oates
Crisees: Real-Time Monitoring of Social Media Streams to Support Crisis Management. ECIR 2012: 573-575 - [c38]Chris W. Johnson:
CyberSafety: CyberSecurity and Safety-Critical Software Engineering. SSS 2012: 85-95 - 2011
- [j22]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) - 2010
- [c37]Christopher W. Johnson:
Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace. SAFECOMP 2010: 142-154 - [c36]Christopher W. Johnson, Stefan Raue:
On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications. SAFECOMP 2010: 402-417
2000 – 2009
- 2008
- [c35]Chris W. Johnson:
Complexity, Structured Chaos and the Importance of Information Management for Mobile Computing in the UK Floods of 2007. Mobile Response 2008: 1-11 - [i1]Chris W. Johnson:
Modelling the Role of Software in the Propagation of Failures across Infrastructures. ERCIM News 2008(75) (2008) - 2007
- [j21]Chris W. Johnson:
Understanding the interaction between public policy, managerial decision-making and the engineering of critical infrastructures. Reliab. Eng. Syst. Saf. 92(9): 1141-1154 (2007) - [c34]Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt
Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)? CHI Extended Abstracts 2007: 2133-2136 - [c33]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: 85-104 - 2006
- [j20]Christopher W. Johnson:
What are emergent properties and how do they affect the engineering of complex systems? Reliab. Eng. Syst. Saf. 91(12): 1475-1481 (2006) - 2005
- [j19]Christopher W. Johnson:
Lessons from the evacuation of the world trade centre, 9/11 2001 for the development of computer-based simulations. Cogn. Technol. Work. 7(4): 214-240 (2005) - [c32]Christopher W. Johnson:
Applying the lessons of the attack on the world trade center, 11th September 2001, to the design and use of interactive evacuation simulations. CHI 2005: 651-660 - [c31]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: 51-66 - [c30]Christopher W. Johnson:
The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions. FM 2005: 9-25 - 2004
- [c29]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: 1600-1601 - [c28]Chris W. Johnson:
The Role of Night Vision Equipment in Military Incidents and Accidents. Human Error, Safety and Systems Development 2004: 1-16 - [c27]Christopher W. Johnson:
The Team-Based Operation of Safety-Critical Programmable Systems in US Commercial Aviation and the UK Maritime Industries. Human Error, Safety and Systems Development 2004: 255-269 - [e3]Chris W. Johnson, Philippe A. Palanque:
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. IFIP 152, Kluwer/Springer 2004, ISBN 1-4020-8152-9 [contents] - 2003
- [j18]Chris W. Johnson, C. Michael Holloway:
A survey of logic formalisms to support mishap analysis. Reliab. Eng. Syst. Saf. 80(3): 271-291 (2003) - [j17]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): 1177-1198 (2003) - [c26]Chris W. Johnson:
The Application of Causal Analysis Techniques for Computer-Related Mishaps. SAFECOMP 2003: 368-381 - [c25]Chris W. Johnson:
Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. SAFECOMP 2003: 410-424 - 2002
- [j16]M. A. Jeffcott, Christopher W. Johnson:
The Use of a Formalised Risk Model in NHS Information System Development. Cogn. Technol. Work. 4(2): 120-136 (2002) - [j15]Meurig Sage, Chris W. Johnson:
Formally verified, rapid prototyping for Air Traffic Control. Reliab. Eng. Syst. Saf. 75(2): 121-132 (2002) - [c24]Christopher W. Johnson:
Reasons for the Failure of Incident Reporting in the Healthcare and Rail Industries. SSS 2002: 31-57 - 2001
- [j14]Chris W. Johnson:
A case study in the integration of accident reports and constructivedesign documents. Reliab. Eng. Syst. Saf. 71(3): 311-326 (2001) - [e2]Chris W. Johnson:
Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers. Lecture Notes in Computer Science 2220, Springer 2001, ISBN 3-540-42807-0 [contents] - 2000
- [j13]Chris W. Johnson:
Proving properties of accidents. Reliab. Eng. Syst. Saf. 67(2): 175-191 (2000) - [c23]Chris W. Johnson:
Questioning the Foundations of Utility for Quality of Service in Interface Development. DSV-IS 2000: 19-33 - [c22]Chris W. Johnson:
Software Support for Incident Reporting Systems in Safety-Critical Applications. SAFECOMP 2000: 96-106
1990 – 1999
- 1999
- [j12]Chris W. Johnson, R. M. Botting:
Using Reason's Model of Organisational Accidents in Formalising Accident Reports. Cogn. Technol. Work. 1(2): 107-118 (1999) - [j11]Chris W. Johnson:
Why human error modeling has failed to help systems development. Interact. Comput. 11(5): 517-524 (1999) - [j10]Chris W. Johnson:
Taking Fun Seriously: Using Cognitive Models to Reason About Interaction with Computer Games. Pers. Ubiquitous Comput. 3(3): 105-116 (1999) - [c21]Chris W. Johnson:
Evaluating the Contribution of DesktopVR for Safety-Critical Applications. SAFECOMP 1999: 67-78 - [c20]Chris W. Johnson:
A First Step Towards the Integration of Accident Reports and Constructive Design Documents. SAFECOMP 1999: 286-296 - [e1]M. Angela Sasse, Chris W. Johnson:
Human-Computer Interaction INTERACT '99: IFIP TC13 International Conference on Human-Computer Interaction, Edinburgh, UK, 30th August-3rd September 1999. IOS Press 1999 [contents] - 1998
- [j9]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): 223-244 (1998) - [j8]Chris W. Johnson, Mark D. Dunlop:
Subjectivity and Notions of Time and Value in Interactive Information Retrieval. Interact. Comput. 10(1): 67-75 (1998) - [j7]Mark D. Dunlop, Chris W. Johnson, Jane Reid:
Exploring the layers of information retrieval evaluation. Interact. Comput. 10(3): 225-236 (1998) - [j6]Chris W. Johnson:
Representing the impact of time on human error and systems failure. Interact. Comput. 11(1): 53-86 (1998) - [c19]Chris W. Johnson:
On the Problems of Validating DesktopVR. BCS HCI 1998: 327-338 - [c18]Meurig Sage, Chris W. Johnson:
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle. DSV-IS 1998: 134-154 - 1997
- [j5]Christopher W. Johnson:
The epistemics of accidents. Int. J. Hum. Comput. Stud. 47(5): 659-688 (1997) - [j4]Chris W. Johnson, Sara Jones:
Human computer interaction and requirements engineering: papers from an interdisciplinary workshop, 15th January, 1996. ACM SIGCHI Bull. 29(1): 31 (1997) - [c17]Chris W. Johnson:
The Impact of Time and Place on the Operation of Mobile Computing Devices. BCS HCI 1997: 175-190 - [c16]Chris W. Johnson:
The Impact of Marginal Utility and Time on Distributed Information Retrieval. BCS HCI 1997: 191-204 - [c15]Lorna Love, Chris W. Johnson:
Using Diagrams to Support the Analysis of System 'Failure' and Operator 'Error'. BCS HCI 1997: 245-261 - [c14]Meurig Sage, Chris W. Johnson:
Interactors and Haggis: Executable specifications for interactive systems. DSV-IS 1997: 93-108 - [c13]Meurig Sage, Chris W. Johnson:
Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style. INTERACT 1997: 126-133 - [c12]Chris W. Johnson:
Beyond Belief: Representing Knowledge Requirements For The Operation Of Safety-Critical Interfaces. INTERACT 1997: 315-322 - [c11]Chris W. Johnson:
Reasoning about Human Error and System Failure for Accident Analysis. INTERACT 1997: 331-338 - [c10]Lorna Love, Chris W. Johnson:
Using "Accident Fault Trees" in Conjunction With Traditional Accident Reports. INTERACT 1997: 602-603 - 1996
- [j3]Christopher W. Johnson:
Literate Specification: Using Design Rationale to Support Formal Methods in the Development of Human-Machine Interfaces. Hum. Comput. Interact. 11(4): 291-320 (1996) - [j2]Christopher W. Johnson, Alastair J. Telford:
Extending the application of formal methods to analyse human error and system failure during accident investigations. Softw. Eng. J. 11(6): 355-365 (1996) - [j1]Chris W. Johnson:
Documenting the Design of Safety-Critical, User Interfaces. Interact. Comput. 8(3): 221-239 (1996) - [c9]Chris W. Johnson:
The Evaluation of User Interface Notations. DSV-IS 1996: 188-206 - [c8]Chris W. Johnson, Philip D. Gray:
Supporting Error-Driven Design. DSV-IS 1996: 207-228 - 1995
- [c7]Chris W. Johnson:
Time and the Web: Representing and Reasoning about Temporal Properties of Interaction with Distributed Systems. BCS HCI 1995: 39-50 - [c6]Chris W. Johnson:
The Application of Petri Nets to Represent and Reason about Human Factors Problems during Accident Analyses. DSV-IS 1995: 93-112 - [c5]Philip D. Gray, Chris W. Johnson:
Requirements for the Next Generation of User Interface Specification Languages. DSV-IS 1995: 113-133 - [c4]Chris W. Johnson:
Reports from Working Groups: The Challenge of Time. DSV-IS 1995: 345-357 - [c3]Chris W. Johnson:
The economics of interface development. INTERACT 1995: 19-25 - [c2]Chris W. Johnson:
Decision theory and safety-critical interfaces. INTERACT 1995: 127-132 - 1994
- [c1]Chris W. Johnson:
The Formal Analysis of Human-Computer Interaction During Accident Investigations. BCS HCI 1994: 285-297
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: