Safety Cases for Software Application Reuse. - Peter Fenelon; Tim P. Kelly; John A. McDermid (SAFECOMP, 1995)

Safety Case Construction and Reuse Using Patterns. - Tim P. Kelly; John A. McDermid (SAFECOMP, 1997)

Deriving Safety Requirements Using Scenarios. - Karen Allenby; Tim Kelly (RE, 2001)

Use of Modern Processors in Safety-Critical Applications. - Iain Bate; Philippa Conmy; Tim Kelly; John A. McDermid (Comput. J., 2001)

A systematic approach to safety case maintenance. - Tim P. Kelly; John A. McDermid (Reliab. Eng. Syst. Saf., 2001)

Establishing Safety Criteria for Artificial Neural Networks. - Zeshan Kurd; Tim Kelly (KES, 2003)

Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. - Zeshan Kurd; Tim Kelly (SAFECOMP, 2003)

A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. - Rob Weaver; Jane Fenn; Tim Kelly (SCS, 2003)

Architectural considerations in the certification of modular systems. - Iain Bate; Tim Kelly (Reliab. Eng. Syst. Saf., 2003)

Safety Tactics for Software Architecture Design. - Weihang Wu; Tim Kelly (COMPSAC, 2004)

Component Failure Mitigation According to Failure Type. - Fan Ye 005; Tim Kelly (COMPSAC, 2004)

COTS Product Selection for Safety-Critical Systems. - Fan Ye 005; Tim Kelly (ICCBSS, 2004)

Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications. - Zeshan Kurd; Tim P. Kelly; Jim Austin (IDEAL, 2004)

Contract-Based Justification for COTS Component within Safety Critical Applications. - Fan Ye 005; Tim Kelly (SCS, 2004)

Establishing a Standard Business Process Execution Architecture for Integrating Web Services. - Thilina Gunasinghe; Tim Kelly (ICWS, 2005)

Defining and Decomposing Safety Policy for Systems of Systems. - Martin Hall-May; Tim Kelly (SAFECOMP, 2005)

Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control. - Zeshan Kurd; Tim P. Kelly (SAFECOMP, 2005)

Combining software evidence: arguments and assurance. - Rob Weaver; Georgios Despotou; Tim Kelly; John A. McDermid (ACM SIGSOFT Softw. Eng. Notes, 2005)

Failure modelling in software architecture design for safety. - Weihang Wu; Tim Kelly (ACM SIGSOFT Softw. Eng. Notes, 2005)

Structuring Safety Policy Decomposition. - Martin Hall-May; Tim Kelly (ReMo2V, 2006)

Deviational Analyses for Validating Regulations on Real Systems. - Fiona Polack; Thitima Srivatanakul; Tim Kelly; John A. Clark (ReMo2V, 2006)

Towards Evidence-Based Architectural Design for Safety-Critical Software Applications. - Weihang Wu; Tim Kelly (WADS, 2006)

Managing Architectural Design Decisions for Safety-Critical Software Systems. - Weihang Wu; Tim Kelly (QoSA, 2006)

System of Systems Hazard Analysis Using Simulation and Machine Learning. - Robert Alexander; Dimitar Kazakov; Tim Kelly (SAFECOMP, 2006)

Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems. - Martin Hall-May; Tim Kelly (SAFECOMP, 2006)

Gaining Confidence in Goal-based Safety Cases. - Rob Weaver; Tim Kelly; Paul Mayo (SSS, 2006)

Eliciting safety policy and balancing with operational fitness in systems of systems. - Georgios Despotou; Martin Hall-May; Tim Kelly (SoSE, 2006)

Process and product certification arguments: getting the balance right. - Ibrahim Habli; Tim Kelly (SIGBED Rev., 2006)

Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. - Tariq Mahmood; Edmund Kazmierczak; Tim Kelly; Dennis Plunkett (APSEC, 2007)

Extending Argumentation to Goal-Oriented Requirements Engineering. - Ibrahim Habli; Weihang Wu; Katrina Attwood; Tim Kelly (ER Workshops, 2007)

Capturing and Replaying Architectural Knowledge through Derivational Analogy. - Ibrahim Habli; Tim Kelly (SHARK/ADI@ICSE, 2007)

Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. - Weihang Wu; Tim Kelly (SAFECOMP, 2007)

Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. - Jane Fenn; Richard Hawkins; Phil Williams; Tim Kelly (SSS, 2007)

Achieving Integrated Process and Product Safety Arguments. - Ibrahim Habli; Tim Kelly (SSS, 2007)

Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. - Ibrahim Habli; Tim Kelly (SPLC, 2007)

Developing artificial neural networks for safety critical systems. - Zeshan Kurd; Tim Kelly; Jim Austin (Neural Comput. Appl., 2007)

Using fuzzy self-organising maps for safety critical systems. - Zeshan Kurd; Tim P. Kelly (Reliab. Eng. Syst. Saf., 2007)

A Model-Driven Approach to Assuring Process Reliability. - Ibrahim Habli; Tim Kelly (ISSRE, 2008)

ITU-T initiatives on climate change. - Tim Kelly; Martin Adolph (IEEE Commun. Mag., 2008)

A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. - Ibrahim Habli; Tim Kelly (SafeCert@ETAPS, 2008)

Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. - Zeshan Kurd; Tim Kelly; John A. McDermid; Radu Calinescu; Marta Z. Kwiatkowska (SAFECOMP, 2009)

Towards Using Simulation to Evaluate Safety Policy for Systems of Systems. - Robert Alexander; Martin Hall-May; Georgios Despotou; Tim Kelly (Safety and Security in Multiagent Systems, 2009)

A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. - Ibrahim Habli; Tim Kelly (ISARCS, 2010)

Evaluation and Integration of COTS in Evidence based Assurance Frameworks. - Georgios Despotou; Mike Bennett; Tim P. Kelly (SSS, 2010)

An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. - Catherine Menon; Richard Hawkins; John A. McDermid; Tim Kelly (SSS, 2010)

A case for dynamic risk assessment in NEC systems of systems. - Jonathan M. Aitken; Robert Alexander; Tim Kelly (SoSE, 2010)

Software safety: relating software assurance and software integrity. - Ibrahim Habli; Richard Hawkins; Tim Kelly (Int. J. Crit. Comput. Based Syst., 2010)

Using a Software Safety Argument Pattern Catalogue: Two Case Studies. - Richard Hawkins; Kester Dean Clegg; Robert Alexander; Tim Kelly (SAFECOMP, 2011)

A New Approach to creating Clear Safety Arguments. - Richard Hawkins; Tim P. Kelly; John C. Knight; Patrick J. Graydon (SSS, 2011)

Distinguishing Fact from Fiction in a System of Systems Safety Case. - Zoë Stephenson; Christian Fairburn; Georgios Despotou; Tim P. Kelly; Nicola Herbert; Bruce Daughtrey (SSS, 2011)

Introducing safety cases for health IT. - Georgios Despotou; Sean White; Tim Kelly; Mark Ryan 003 (SEHC@ICSE, 2012)

Assessing Software Interference Management When Modifying Safety-Related Software. - Patrick J. Graydon; Tim P. Kelly (SAFECOMP Workshops, 2012)

Introduction to Sassur 2012. - Alejandra Ruiz 001; Tim P. Kelly; Mehrdad Sabetzadeh; Didier Van Den Abeele (SAFECOMP Workshops, 2012)

Evolving Robust Networks for Systems-of-Systems. - Jonathan M. Aitken; Robert Alexander; Tim Kelly; Simon M. Poulding (SSBSE, 2012)

Large-scale complex IT systems. - Ian Sommerville; Dave Cliff; Radu Calinescu; Justin Keen; Tim Kelly; Marta Z. Kwiatkowska; John A. McDermid; Richard F. Paige (Commun. ACM, 2012)

Argument-based approach to computer system safety engineering. - Tangming Yuan; Tim Kelly (Int. J. Crit. Comput. Based Syst., 2012)

Arguing Conformance. - Patrick J. Graydon; Ibrahim Habli; Richard Hawkins; Tim Kelly; John C. Knight (IEEE Softw., 2012)

1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). - Ewen Denney; Ganesh Pai; Ibrahim Habli; Tim Kelly; John C. Knight (ICSE, 2013)

Principled Construction of Software Safety Cases. - Richard Hawkins; Ibrahim Habli; Tim Kelly (SASSUR@SAFECOMP, 2013)

Towards a multi-view point safety contract. - Alejandra Ruiz 001; Tim Kelly; Huáscar Espinoza (SASSUR@SAFECOMP, 2013)

Safety cases for medical devices and health information technology: Involving health-care organisations in the assurance of safety. - Mark-Alexander Sujan; Floor Koornneef; Nick Chozos; Simone Pozzi; Tim Kelly (Health Informatics J., 2013)

Using argumentation to evaluate software assurance standards. - Patrick J. Graydon; Tim P. Kelly (Inf. Softw. Technol., 2013)

Deviation based Safety Analysis and Justification of Clinical Services. - Georgios Despotou; Richard W. Jones; Andrew Rae; Sean White; Mark Ryan 003; Tim Kelly (ICIMTH, 2014)

Key Issues on Assuring the Safe Operation of Heath IT Systems. - Georgios Despotou; Richard W. Jones; Sean White; Mark Ryan 003; Tim Kelly (ICIMTH, 2014)

Certifiably safe software-dependent systems: challenges and directions. - John Hatcliff; Alan Wassyng; Tim Kelly; Cyrille Comar; Paul L. Jones (FOSE, 2014)

Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures. - Ibrahim Habli; Abdulaziz Al-Humam; Tim Kelly; Leila Fahel (MCPS, 2014)

Assurance Cases for Block-Configurable Software. - Richard Hawkins; Alvaro Miyazawa; Ana Cavalcanti 001; Tim Kelly; John Rowlands (SAFECOMP, 2014)

Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. - Sunil Nair; Neil Walkinshaw; Tim Kelly (SAFECOMP Workshops, 2014)

Introduction to SASSUR 2014. - Alejandra Ruiz 001; Tim Kelly; Jose Luis de la Vara (SAFECOMP Workshops, 2014)

Rethinking of Strategy for Safety Argument Development. - Linling Sun; Nuno Silva; Tim Kelly (SAFECOMP Workshops, 2014)

A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. - André Luíz de Oliveira; Rosana T. V. Braga; Paulo César Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly (SBESC, 2014)

Evolving robust networks for systems-of-systems: is it viable for large networks? - Jonathan M. Aitken; Robert Alexander; Tim Kelly; Simon M. Poulding (Empir. Softw. Eng., 2014)

Systematic application of ISO 26262 on a SEooC: Support by applying a systematic reuse approach. - Alejandra Ruiz 001; Alberto Melzi; Tim Kelly (DATE, 2015)

Supporting the Automated Generation of Modular Product Line Safety Cases. - André Luíz de Oliveira; Rosana T. V. Braga; Paulo César Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly (DepCoS-RELCOMEX, 2015)

Weaving an Assurance Case from Design: A Model-Based Approach. - Richard Hawkins; Ibrahim Habli; Dimitrios S. Kolovos; Richard F. Paige; Tim Kelly (HASE, 2015)

Developing Assurance Cases for D-MILS Systems. - Richard Hawkins; Tim Kelly; Ibrahim Habli (MILS@HiPEAC, 2015)

An evidential reasoning approach for assessing confidence in safety evidence. - Sunil Nair; Neil Walkinshaw; Tim Kelly; Jose Luis de la Vara (ISSRE, 2015)

Automatically Detecting Fallacies in System Safety Arguments. - Tangming Yuan; Suresh Manandhar; Tim Kelly; Simon Wells (PRIMA Workshops, 2015)

Computer-assisted safety argument review - a dialectics approach. - Tangming Yuan; Tim Kelly; Tianhua Xu (Argument Comput., 2015)

Safe Multi-objective Planning with a Posteriori Preferences. - Ralph Eastwood; Robert Alexander; Tim Kelly (HASE, 2016)

Using Process Models in System Assurance. - Richard Hawkins; Thomas Richardson 003; Tim Kelly (SAFECOMP, 2016)

The 4+1 Principles of Software Safety Assurance and Their Implications for Scrum. - Osama Doss; Tim P. Kelly (XP, 2016)

Addressing the 4+1 Software Safety Assurance Principles within Scrum. - Osama Doss; Tim Kelly (XP Workshops, 2016)

Model-based safety analysis of software product lines. - André Luíz de Oliveira; Rosana T. V. Braga; Paulo César Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly (Int. J. Embed. Syst., 2016)

Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel. - Jose Luis de la Vara; Alejandra Ruiz 001; Katrina Attwood; Huáscar Espinoza; Rajwinder Kaur Panesar-Walawege; Ángel López; Idoya del Río; Tim Kelly (Inf. Softw. Technol., 2016)

Challenges and Opportunities in Agile Development in Safety Critical Systems: A Survey. - Osama Doss; Tim P. Kelly (ACM SIGSOFT Softw. Eng. Notes, 2016)

Integration of the 4+1 Software Safety Assurance Principles with Scrum. - Osama Doss; Tim Kelly; Tor Stålhane; Børge Haugset; Mark Dixon (EuroSPI, 2017)

Establishing Verification and Validation Objectives for Safety-Critical Bayesian Networks. - Mark Douthwaite; Tim Kelly (ISSRE Workshops, 2017)

DEIS: Dependability Engineering Innovation for Cyber-Physical Systems. - Ran Wei; Tim P. Kelly; Richard Hawkins; Eric Armengaud (STAF Workshops, 2017)

Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems. - Chris Leong; Tim Kelly; Robert Alexander (CREST@ETAPS, 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. - Mark-Alexander Sujan; Ibrahim Habli; Tim P. Kelly; Astrid Gühnemann; Simone Pozzi; Christopher W. Johnson 001 (Reliab. Eng. Syst. Saf., 2017)

Control Diffusion of Information Collection for Situation Understanding Using Boosting MLNs. - Erik Blasch; Robert Cruise; Sriraam Natarajan; Ali K. Raz; Tim Kelly (FUSION, 2018)

ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. - Radu Calinescu; Danny Weyns; Simos Gerasimou; M. Usman Iftikhar; Ibrahim Habli; Tim Kelly (ICSE, 2018)

Variability Management in Safety-Critical Software Product Line Engineering. - André Luíz de Oliveira; Rosana T. V. Braga; Paulo César Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly (ICSR, 2018)

The visual inheritance structure to support the design of visual notations. - Nungki Selviandro; Tim Kelly; Richard Hawkins (MoDELS (Workshops), 2018)

On the Transition from Design Time to Runtime Model-Based Assurance Cases. - Ran Wei; Tim Kelly; Jan Reich; Simos Gerasimou (MoDELS (Workshops), 2018)

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. - Radu Calinescu; Danny Weyns; Simos Gerasimou; Muhammad Usman Iftikhar; Ibrahim Habli; Tim Kelly (IEEE Trans. Software Eng., 2018)

Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. - Yakoub Nemouchi; Simon Foster 001; Mario Gleirscher; Tim Kelly (IFM, 2019)

Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF. - Nikita Johnson; Tim Kelly (SAFECOMP, 2019)

Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance. - Nikita Johnson; Tim Kelly (SAFECOMP Workshops, 2019)

An Assurance Framework for Independent Co-assurance of Safety and Security. - Nikita Johnson; Tim Kelly (CoRR, 2019)

Mechanised Assurance Cases with Integrated Formal Methods in Isabelle. - Yakoub Nemouchi; Simon Foster 001; Mario Gleirscher; Tim Kelly (CoRR, 2019)

Model based system assurance using the structured assurance case metamodel. - Ran Wei; Tim P. Kelly; Xiaotian Dai 001; Shuai Zhao 004; Richard Hawkins (J. Syst. Softw., 2019)

Variability management in safety-critical systems design and dependability analysis. - André Luíz de Oliveira; Rosana T. V. Braga; Paulo César Masiero; David Parker 002; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly (J. Softw. Evol. Process., 2019)

Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. - Jan Reich; Daniel Schneider 001; Ioannis Sorokos; Yiannis Papadopoulos; Tim Kelly; Ran Wei; Eric Armengaud; Cem Kaypmaz (SAFECOMP, 2020)

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

DEIS: Dependability Engineering Innovation for Industrial CPS. - Eric Armengaud; Georg Macher; Alexander Massoner; Sebastian Frager; Rasmus Adler; Daniel Schneider 001; Simone Longo; Massimiliano Melis; Riccardo Groppo; Federica A. Villa; Pádraig O'Leary; Kevin Bambury; et al. (CoRR, 2021)

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. - Simon Foster 001; Yakoub Nemouchi; Mario Gleirscher; Ran Wei; Tim Kelly (Formal Aspects Comput., 2021)

Designing critical systems with iterative automated safety analysis. - Ran Wei; Zhe Jiang 004; Xiaoran Guo; Haitao Mei; Athanasios Zolotas; Tim Kelly (DAC, 2022)

Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems. - Luís Nascimento; André Luíz de Oliveira; Regina Villela 001; Ran Wei; Richard Hawkins; Tim Kelly (AINA (1), 2023)

From Fault Tree Analysis to Runtime Model-Based Assurance Cases. - Luís Nascimento; André Luíz de Oliveira; Regina Villela 001; Ran Wei; Richard Hawkins; Tim Kelly (AINA (2), 2024)

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. - Ran Wei; Simon Foster 001; Haitao Mei; Fang Yan 004; Ruizhe Yang; Ibrahim Habli; Colin O'Halloran; Nick Tudor; Tim Kelly (CoRR, 2024)

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. - Ran Wei; Simon Foster 001; Haitao Mei; Fang Yan 004; Ruizhe Yang; Ibrahim Habli; Colin O'Halloran; Nick Tudor; Tim Kelly; Yakoub Nemouchi (J. Syst. Softw., 2024)

Automated Model-Based Assurance Case Management Using Constrained Natural Language. - Ran Wei; Zhe Jiang 004; Haitao Mei; Konstantinos Barmpis; Simon Foster 001; Tim Kelly; Yan Zhuang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis. - Ran Wei; Zhe Jiang 004; Xiaoran Guo; Ruizhe Yang; Haitao Mei; Athanasios Zolotas; Tim Kelly (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Model-Based Security Assurance Cases for Open and Adaptive Cyber-Physical Systems. - Luís Nascimento; André Luíz de Oliveira; Regina Villela 001; Edelberto Franco Silva; Ran Wei; Richard Hawkins; Tim Kelly (AINA (8), 2025)