Tim Kelly

Orcid: 0000-0002-7385-2031

Affiliations:
  • University of York, UK


According to our database1, Tim Kelly authored at least 111 papers between 1995 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automated Model-Based Assurance Case Management Using Constrained Natural Language.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., January, 2024

2023
Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems.
Proceedings of the Advanced Information Networking and Applications, 2023

2022
Designing critical systems with iterative automated safety analysis.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM.
Formal Aspects Comput., 2021

DEIS: Dependability Engineering Innovation for Industrial CPS.
CoRR, 2021

2020
Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria.
CoRR, 2020

Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities.
Proceedings of the Computer Safety, Reliability, and Security, 2020

2019
Variability management in safety-critical systems design and dependability analysis.
J. Softw. Evol. Process., 2019

Model based system assurance using the structured assurance case metamodel.
J. Syst. Softw., 2019

Mechanised Assurance Cases with Integrated Formal Methods in Isabelle.
CoRR, 2019

An Assurance Framework for Independent Co-assurance of Safety and Security.
CoRR, 2019

Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance.
Proceedings of the Computer Safety, Reliability, and Security, 2019

Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF.
Proceedings of the Computer Safety, Reliability, and Security, 2019

Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases.
IEEE Trans. Software Eng., 2018

On the Transition from Design Time to Runtime Model-Based Assurance Cases.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

The visual inheritance structure to support the design of visual notations.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Variability Management in Safety-Critical Software Product Line Engineering.
Proceedings of the New Opportunities for Software Reuse - 17th International Conference, 2018

ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases.
Proceedings of the 40th International Conference on Software Engineering, 2018

Control Diffusion of Information Collection for Situation Understanding Using Boosting MLNs.
Proceedings of the 21st International Conference on Information Fusion, 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

Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems.
Proceedings of the Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2017

DEIS: Dependability Engineering Innovation for Cyber-Physical Systems.
Proceedings of the Software Technologies: Applications and Foundations, 2017

Establishing Verification and Validation Objectives for Safety-Critical Bayesian Networks.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Integration of the 4+1 Software Safety Assurance Principles with Scrum.
Proceedings of the Systems, Software and Services Process Improvement, 2017

2016
Challenges and Opportunities in Agile Development in Safety Critical Systems: A Survey.
ACM SIGSOFT Softw. Eng. Notes, 2016

Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel.
Inf. Softw. Technol., 2016

Model-based safety analysis of software product lines.
Int. J. Embed. Syst., 2016

Addressing the 4+1 Software Safety Assurance Principles within Scrum.
Proceedings of the Scientific Workshop Proceedings of XP2016, 2016

The 4+1 Principles of Software Safety Assurance and Their Implications for Scrum.
Proceedings of the Agile Processes, in Software Engineering, and Extreme Programming, 2016

Using Process Models in System Assurance.
Proceedings of the Computer Safety, Reliability, and Security, 2016

Safe Multi-objective Planning with a Posteriori Preferences.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015
Computer-assisted safety argument review - a dialectics approach.
Argument Comput., 2015

Automatically Detecting Fallacies in System Safety Arguments.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2015

An evidential reasoning approach for assessing confidence in safety evidence.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Developing Assurance Cases for D-MILS Systems.
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

Weaving an Assurance Case from Design: A Model-Based Approach.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Supporting the Automated Generation of Modular Product Line Safety Cases.
Proceedings of the Theory and Engineering of Complex Systems and Dependability - Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29, 2015

Systematic application of ISO 26262 on a SEooC: Support by applying a systematic reuse approach.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014
Evolving robust networks for systems-of-systems: is it viable for large networks?
Empir. Softw. Eng., 2014

A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products.
Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

Rethinking of Strategy for Safety Argument Development.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Introduction to SASSUR 2014.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Quantifying Uncertainty in Safety Cases Using Evidential Reasoning.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Assurance Cases for Block-Configurable Software.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

Certifiably safe software-dependent systems: challenges and directions.
Proceedings of the on Future of Software Engineering, 2014

Key Issues on Assuring the Safe Operation of Heath IT Systems.
Proceedings of the Integrating Information Technology and Management for Quality of Care [ICIMTH 2014, 2014

Deviation based Safety Analysis and Justification of Clinical Services.
Proceedings of the Integrating Information Technology and Management for Quality of Care [ICIMTH 2014, 2014

2013
Using argumentation to evaluate software assurance standards.
Inf. Softw. Technol., 2013

Safety cases for medical devices and health information technology: Involving health-care organisations in the assurance of safety.
Health Informatics J., 2013

Towards a multi-view point safety contract.
Proceedings of the SAFECOMP 2013, 2013

Principled Construction of Software Safety Cases.
Proceedings of the SAFECOMP 2013, 2013

1st international workshop on assurance cases for software-intensive systems (ASSURE 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Arguing Conformance.
IEEE Softw., 2012

Argument-based approach to computer system safety engineering.
Int. J. Crit. Comput. Based Syst., 2012

Large-scale complex IT systems.
Commun. ACM, 2012

Evolving Robust Networks for Systems-of-Systems.
Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

Introduction to Sassur 2012.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Assessing Software Interference Management When Modifying Safety-Related Software.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Introducing safety cases for health IT.
Proceedings of the 4th International Workshop on Software Engineering in Health Care, 2012

2011
Distinguishing Fact from Fiction in a System of Systems Safety Case.
Proceedings of the Advances in Systems Safety, 2011

A New Approach to creating Clear Safety Arguments.
Proceedings of the Advances in Systems Safety, 2011

Using a Software Safety Argument Pattern Catalogue: Two Case Studies.
Proceedings of the Computer Safety, Reliability, and Security, 2011

2010
Software safety: relating software assurance and software integrity.
Int. J. Crit. Comput. Based Syst., 2010

A case for dynamic risk assessment in NEC systems of systems.
Proceedings of the 5th International Conference on System of Systems Engineering, 2010

An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4.
Proceedings of the Making Systems Safer, 2010

Evaluation and Integration of COTS in Evidence based Assurance Frameworks.
Proceedings of the Making Systems Safer, 2010

A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines.
Proceedings of the Architecting Critical Systems, First International Symposium, 2010

2009
Towards Using Simulation to Evaluate Safety Policy for Systems of Systems.
Proceedings of the Safety and Security in Multiagent Systems, 2009

Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.
Proceedings of the Computer Safety, 2009

2008
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis.
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

ITU-T initiatives on climate change.
IEEE Commun. Mag., 2008

A Model-Driven Approach to Assuring Process Reliability.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2007
Using fuzzy self-organising maps for safety critical systems.
Reliab. Eng. Syst. Saf., 2007

Developing artificial neural networks for safety critical systems.
Neural Comput. Appl., 2007

Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System.
Proceedings of the Software Product Lines, 11th International Conference, 2007

Achieving Integrated Process and Product Safety Arguments.
Proceedings of the Safety of Systems, 2007

Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study.
Proceedings of the Safety of Systems, 2007

Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety.
Proceedings of the Computer Safety, 2007

Capturing and Replaying Architectural Knowledge through Derivational Analogy.
Proceedings of the Second Workshop on Sharing and Reusing Architectural Knowledge, 2007

Extending Argumentation to Goal-Oriented Requirements Engineering.
Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006
Process and product certification arguments: getting the balance right.
SIGBED Rev., 2006

Eliciting safety policy and balancing with operational fitness in systems of systems.
Proceedings of the 1st IEEE/SMC International Conference on System of Systems Engineering, 2006

Gaining Confidence in Goal-based Safety Cases.
Proceedings of the Developments in Risk-based Approaches to Safety, 2006

Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems.
Proceedings of the Computer Safety, 2006

System of Systems Hazard Analysis Using Simulation and Machine Learning.
Proceedings of the Computer Safety, 2006

Managing Architectural Design Decisions for Safety-Critical Software Systems.
Proceedings of the Quality of Software Architectures, 2006

Towards Evidence-Based Architectural Design for Safety-Critical Software Applications.
Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

Deviational Analyses for Validating Regulations on Real Systems.
Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

Structuring Safety Policy Decomposition.
Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

2005
Failure modelling in software architecture design for safety.
ACM SIGSOFT Softw. Eng. Notes, 2005

Combining software evidence: arguments and assurance.
ACM SIGSOFT Softw. Eng. Notes, 2005

Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control.
Proceedings of the Computer Safety, 2005

Defining and Decomposing Safety Policy for Systems of Systems.
Proceedings of the Computer Safety, 2005

Establishing a Standard Business Process Execution Architecture for Integrating Web Services.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

2004
Contract-Based Justification for COTS Component within Safety Critical Applications.
Proceedings of the Safety Critical Systems and Software 2004, 2004

Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications.
Proceedings of the Intelligent Data Engineering and Automated Learning, 2004

COTS Product Selection for Safety-Critical Systems.
Proceedings of the COTS-Based Software Systems, Third International Conference, 2004

Component Failure Mitigation According to Failure Type.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Safety Tactics for Software Architecture Design.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003
Architectural considerations in the certification of modular systems.
Reliab. Eng. Syst. Saf., 2003

A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments.
Proceedings of the Safety Critical Systems and Software 2003, 2003

Safety Lifecycle for Developing Safety Critical Artificial Neural Networks.
Proceedings of the Computer Safety, 2003

Establishing Safety Criteria for Artificial Neural Networks.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

2001
A systematic approach to safety case maintenance.
Reliab. Eng. Syst. Saf., 2001

Use of Modern Processors in Safety-Critical Applications.
Comput. J., 2001

Deriving Safety Requirements Using Scenarios.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

1997
Safety Case Construction and Reuse Using Patterns.
Proceedings of the 16th International Conference on Computer Safety, 1997

1995
Safety Cases for Software Application Reuse.
Proceedings of the 14th International Conference on Computer Safety, 1995


  Loading...