The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Christopher W. Johnson 0001 Chris W. Johnson 0001 ( http://dblp.L3S.de/Authors/Christopher_W._Johnson_0001 )

Publication years (Num. hits)
1994-1997 (20) 1998-2000 (15) 2001-2007 (15) 2008-2014 (19) 2015-2016 (15) 2017-2018 (3)
Publication types (Num. hits)
article(30) inproceedings(52) proceedings(5)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 7 keywords

Results
Found 88 publication records. Showing 87 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Martin Sablotny, Bjørn Sand Jensen, Chris W. Johnson 0001 Recurrent Neural Networks for Fuzz Testing Web Browsers. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Martin Sablotny, Bjørn Sand Jensen, Chris W. Johnson 0001 Recurrent Neural Networks for Fuzz Testing Web Browsers. Search on Bibsonomy ICISC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mark-Alexander Sujan, Ibrahim Habli, Tim P. Kelly, Astrid Gühnemann, Simone Pozzi, Christopher W. Johnson 0001 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. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhaoguang Peng, Yu Lu 0001, Alice Miller, Chris W. Johnson 0001, Tingdi Zhao Risk Assessment of Railway Transportation Systems using Timed Fault Trees. Search on Bibsonomy Quality and Reliability Eng. Int. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhaoguang Peng, Yu Lu 0001, Alice Miller, Tingdi Zhao, Chris W. Johnson 0001 Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Search on Bibsonomy Quality and Reliability Eng. Int. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cristian Bogdan, Jan Gulliksen, Stefan Sauer 0001, Peter Forbrig, Marco Winckler, Chris W. Johnson 0001, Philippe A. Palanque, Regina Bernhaupt, Filip Kis (eds.) 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 Search on Bibsonomy HCSE/HESSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yu Lu 0001, Alice A. Miller, Ruth Hoffmann, Christopher W. Johnson 0001 Towards the Automated Verification of Weibull Distributions for System Failure Rates. Search on Bibsonomy FMICS-AVoCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yu Lu 0001, Zhaoguang Peng, Alice Miller, Tingdi Zhao, Chris W. Johnson 0001 How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ying He 0004, Chris W. Johnson 0001 Improving the redistribution of the security lessons in healthcare: An evaluation of the Generic Security Template. Search on Bibsonomy I. J. Medical Informatics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Organisational, Political and Technical Barriers to the Integration of Safety and Cyber-Security Incident Reporting Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Barriers to the Use of Intrusion Detection Systems in Safety-Critical Applications. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Arnaud Prouzeau, Chris W. Johnson 0001 Simulating the Risks from Aircraft Debris to the Public on the Ground. Search on Bibsonomy ATACCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Feary, Thomas Feuerle, Cristina Gonzalez Rechea, Francisco Javier Saez, Chris W. Johnson 0001, Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Pim van Leeuwen, Marco Winckler (eds.) 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 Search on Bibsonomy ATACCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001, 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. Search on Bibsonomy INTERACT (4) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Veronica L. Foreman, Francesca M. Favarò, Joseph H. Saleh, Christopher W. Johnson 0001 Software in military aviation and drone mishaps: Analysis and recommendations for the investigation process. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gianfranco Elena, Christopher W. Johnson 0001 Laypeople and Experts risk perception of Cloud Computing Services. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Gianfranco Elena, Christopher W. Johnson 0001 Factors influencing risk acceptance of Cloud Computing services in the UK Government. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Maria Evangelopoulou, Christopher W. Johnson 0001 Empirical framework for situation awareness measurement techniques in network defense. Search on Bibsonomy CyberSA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhaoguang Peng, Yu Lu 0001, Alice Miller, Chris W. Johnson 0001, Tingdi Zhao Formal modelling and quantitative analysis of satellite navigation systems. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1C. Michael Holloway, Chris W. Johnson 0001 Towards Assessing Necessary Competence. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ying He 0004, Chris W. Johnson 0001, Yu Lu 0001, Yixia Lin Improving the Information Security Management: An Industrial Study in the Privacy of Electronic Patient Records. Search on Bibsonomy CBMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yu Lu 0001, Alice Miller, Chris W. Johnson 0001, Zhaoguang Peng, Tingdi Zhao Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker. Search on Bibsonomy CSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ying He 0004, Chris W. Johnson 0001, Maria Evangelopoulou, Zheng-Shuai Lin Diagraming Approach to Structure the Security Lessons: Evaluation Using Cognitive Dimensions. Search on Bibsonomy TRUST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ying He 0004, Chris W. Johnson 0001, Yu Lu 0001, Arniyati Ahmad Improving the Exchange of Lessons Learned in Security Incident Reports: Case Studies in the Privacy of Electronic Patient Records. Search on Bibsonomy IFIPTM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maria Evangelopoulou, Christopher W. Johnson 0001 Implementation of Safety Techniques in a Cyber Domain. Search on Bibsonomy SIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kyle J. S. White, Dimitrios P. Pezaros, Christopher W. Johnson 0001 Using Programmable Data Networks to Detect Critical Infrastructure Challenges. Search on Bibsonomy CRITIS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yun-Maw Cheng, Wei-Ju Chen, Tong-Ying Wu, Frode Eika Sandnes, Chris W. Johnson 0001, Chao-Yang Yang Designing Copresent Cycling Experience. Search on Bibsonomy HCI (2) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhaoguang Peng, Yu Lu 0001, Alice Miller, Chris W. Johnson 0001, Tingdi Zhao A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System. Search on Bibsonomy EMS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stefan Raue, Leif Azzopardi, Christopher W. Johnson 0001 #trapped!: social media search system requirements for emergency management professionals. Search on Bibsonomy SIGIR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 CyberSafety: CyberSecurity and Safety-Critical Software Engineering. Search on Bibsonomy SSS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kyle J. S. White, Dimitrios P. Pezaros, Christopher W. Johnson 0001 Increasing resilience of ATM networks using traffic monitoring and automated anomaly analysis. Search on Bibsonomy ATACCS The full citation details ... 2012 DBLP  BibTeX  RDF
1David Maxwell, Stefan Raue, Leif Azzopardi, Christopher W. Johnson 0001, Sarah Oates Crisees: Real-Time Monitoring of Social Media Streams to Support Crisis Management. Search on Bibsonomy ECIR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems. Search on Bibsonomy ECEASST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christopher W. Johnson 0001 Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace. Search on Bibsonomy SAFECOMP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christopher W. Johnson 0001, Stefan Raue On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications. Search on Bibsonomy SAFECOMP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Modelling the Role of Software in the Propagation of Failures across Infrastructures. Search on Bibsonomy ERCIM News The full citation details ... 2008 DBLP  BibTeX  RDF
1Chris W. Johnson 0001 Complexity, Structured Chaos and the Importance of Information Management for Mobile Computing in the UK Floods of 2007. Search on Bibsonomy Mobile Response The full citation details ... 2008 DBLP  DOI  BibTeX  RDF national critical infrastructures, mobile devices, accident analysis
1Chris W. Johnson 0001 Understanding the interaction between public policy, managerial decision-making and the engineering of critical infrastructures. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt, Ronald L. Boring, Chris W. Johnson 0001, Peter Johnson 0001 Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)? Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reliability safety critical systems, usability, safety, human error
1Chris W. Johnson 0001, C. Michael Holloway A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006). Search on Bibsonomy SSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christopher W. Johnson 0001 What are emergent properties and how do they affect the engineering of complex systems? Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sandra Basnyat, Nick Chozos, Chris W. Johnson 0001, Philippe A. Palanque Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. Search on Bibsonomy DSV-IS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001, Philippe A. Palanque (eds.) 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 Search on Bibsonomy Human Error, Safety and Systems Development The full citation details ... 2004 DBLP  BibTeX  RDF
1Chris W. Johnson 0001 The Role of Night Vision Equipment in Military Incidents and Accidents. Search on Bibsonomy Human Error, Safety and Systems Development The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Philippe A. Palanque, Floor Koornneef, Chris W. Johnson 0001, Gerd Szwillus, Peter C. Wright Safety-critical interaction: usability in incidents and accidents. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2004 DBLP  DOI  BibTeX  RDF usability, reliability, safety critical systems, human error
1Chris W. Johnson 0001, C. Michael Holloway A survey of logic formalisms to support mishap analysis. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001, C. Michael Holloway The ESA/NASA SOHO mission interruption: using the STAMP accident analysis technique for a software related 'mishap'. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 The Application of Causal Analysis Techniques for Computer-Related Mishaps. Search on Bibsonomy SAFECOMP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. Search on Bibsonomy SAFECOMP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Meurig Sage, Chris W. Johnson 0001 Formally verified, rapid prototyping for Air Traffic Control. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 A case study in the integration of accident reports and constructivedesign documents. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 (eds.) Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers Search on Bibsonomy DSV-IS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Proving properties of accidents. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Software Support for Incident Reporting Systems in Safety-Critical Applications. Search on Bibsonomy SAFECOMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Questioning the Foundations of Utility for Quality of Service in Interface Development. Search on Bibsonomy DSV-IS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Taking Fun Seriously: Using Cognitive Models to Reason About Interaction with Computer Games. Search on Bibsonomy Personal and Ubiquitous Computing The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001, R. M. Botting Using Reason's Model of Organisational Accidents in Formalising Accident Reports. Search on Bibsonomy Cognition, Technology & Work The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Why human error modeling has failed to help systems development. Search on Bibsonomy Interacting with Computers The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 A First Step Towards the Integration of Accident Reports and Constructive Design Documents. Search on Bibsonomy SAFECOMP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Evaluating the Contribution of DesktopVR for Safety-Critical Applications. Search on Bibsonomy SAFECOMP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1M. Angela Sasse, Chris W. Johnson 0001 (eds.) Human-Computer Interaction INTERACT '99: IFIP TC13 International Conference on Human-Computer Interaction, Edinburgh, UK, 30th August-3rd September 1999 Search on Bibsonomy INTERACT The full citation details ... 1999 DBLP  BibTeX  RDF
1R. M. Botting, Chris W. Johnson 0001 A formal and structured approach to the use of task analysis in accident modelling. Search on Bibsonomy Int. J. Hum.-Comput. Stud. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Mark D. Dunlop, Chris W. Johnson 0001, Jane Reid Exploring the layers of information retrieval evaluation. Search on Bibsonomy Interacting with Computers The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001, Mark D. Dunlop Subjectivity and Notions of Time and Value in Interactive Information Retrieval. Search on Bibsonomy Interacting with Computers The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Representing the impact of time on human error and systems failure. Search on Bibsonomy Interacting with Computers The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 On the Problems of Validating DesktopVR. Search on Bibsonomy BCS HCI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Meurig Sage, Chris W. Johnson 0001 Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle. Search on Bibsonomy DSV-IS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 The Impact of Time and Place on the Operation of Mobile Computing Devices. Search on Bibsonomy BCS HCI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Lorna Love, Chris W. Johnson 0001 Using Diagrams to Support the Analysis of System 'Failure' and Operator 'Error'. Search on Bibsonomy BCS HCI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 The Impact of Marginal Utility and Time on Distributed Information Retrieval. Search on Bibsonomy BCS HCI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Beyond Belief: Representing Knowledge Requirements For The Operation Of Safety-Critical Interfaces. Search on Bibsonomy INTERACT The full citation details ... 1997 DBLP  BibTeX  RDF
1Lorna Love, Chris W. Johnson 0001 Using "Accident Fault Trees" in Conjunction With Traditional Accident Reports. Search on Bibsonomy INTERACT The full citation details ... 1997 DBLP  BibTeX  RDF
1Chris W. Johnson 0001 Reasoning about Human Error and System Failure for Accident Analysis. Search on Bibsonomy INTERACT The full citation details ... 1997 DBLP  BibTeX  RDF
1Meurig Sage, Chris W. Johnson 0001 Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style. Search on Bibsonomy INTERACT The full citation details ... 1997 DBLP  BibTeX  RDF
1Meurig Sage, Chris W. Johnson 0001 Interactors and Haggis: Executable specifications for interactive systems. Search on Bibsonomy DSV-IS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Documenting the Design of Safety-Critical, User Interfaces. Search on Bibsonomy Interacting with Computers The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 The Evaluation of User Interface Notations. Search on Bibsonomy DSV-IS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001, Philip D. Gray Supporting Error-Driven Design. Search on Bibsonomy DSV-IS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Christopher W. Johnson 0001, Alastair J. Telford Extending the application of formal methods to analyse human error and system failure during accident investigations. Search on Bibsonomy Software Engineering Journal The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Christopher W. Johnson 0001 Literate Specification: Using Design Rationale to Support Formal Methods in the Development of Human-Machine Interfaces. Search on Bibsonomy Human-Computer Interaction The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Time and the Web: Representing and Reasoning about Temporal Properties of Interaction with Distributed Systems. Search on Bibsonomy BCS HCI The full citation details ... 1995 DBLP  BibTeX  RDF
1Chris W. Johnson 0001 Decision theory and safety-critical interfaces. Search on Bibsonomy INTERACT The full citation details ... 1995 DBLP  BibTeX  RDF
1Chris W. Johnson 0001 The economics of interface development. Search on Bibsonomy INTERACT The full citation details ... 1995 DBLP  BibTeX  RDF
1Philip D. Gray, Chris W. Johnson 0001 Requirements for the Next Generation of User Interface Specification Languages. Search on Bibsonomy DSV-IS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 Reports from Working Groups: The Challenge of Time. Search on Bibsonomy DSV-IS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 The Application of Petri Nets to Represent and Reason about Human Factors Problems during Accident Analyses. Search on Bibsonomy DSV-IS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Chris W. Johnson 0001 The Formal Analysis of Human-Computer Interaction During Accident Investigations. Search on Bibsonomy BCS HCI The full citation details ... 1994 DBLP  BibTeX  RDF
Displaying result #1 - #87 of 87 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license