| 2025 | AINA | Model-Based Security Assurance Cases for Open and Adaptive Cyber-Physical Systems. | Lus Nascimento, Andr Luz de Oliveira, Regina Villela, Edelberto Franco Silva, Ran Wei, Richard Hawkins, Tim Kelly |
| 2024 | AINA | From Fault Tree Analysis to Runtime Model-Based Assurance Cases. | Lus Nascimento, Andr Luz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly |
| 2023 | AINA | Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems. | Lus Nascimento, Andr Luz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly |
| 2022 | DAC | Designing critical systems with iterative automated safety analysis. | Ran Wei, Zhe Jiang, Xiaoran Guo, Haitao Mei, Athanasios Zolotas, Tim Kelly |
| 2020 | SAFECOMP | Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. | Jan Reich, Daniel Schneider, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud, Cem Kaypmaz |
| 2019 | IFM | Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. | Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly |
| 2019 | SAFECOMP | Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF. | Nikita Johnson, Tim Kelly |
| 2019 | SAFECOMP | Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance. | Nikita Johnson, Tim Kelly |
| 2018 | FUSION | Control Diffusion of Information Collection for Situation Understanding Using Boosting MLNs. | Erik Blasch, Robert Cruise, Sriraam Natarajan, Ali K. Raz, Tim Kelly |
| 2018 | ICSE | ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. | Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly |
| 2018 | ICSR | Variability Management in Safety-Critical Software Product Line Engineering. | Andr Luz de Oliveira, Rosana T. V. Braga, Paulo Csar Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly |
| 2018 | MODELS | The visual inheritance structure to support the design of visual notations. | Nungki Selviandro, Tim Kelly, Richard Hawkins |
| 2018 | MODELS | On the Transition from Design Time to Runtime Model-Based Assurance Cases. | Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou |
| 2017 | EuroSPI | Integration of the 4+1 Software Safety Assurance Principles with Scrum. | Osama Doss, Tim Kelly, Tor Stlhane, Brge Haugset, Mark Dixon |
| 2017 | ISSRE | Establishing Verification and Validation Objectives for Safety-Critical Bayesian Networks. | Mark Douthwaite, Tim Kelly |
| 2016 | SAFECOMP | Using Process Models in System Assurance. | Richard Hawkins, Thomas Richardson, Tim Kelly |
| 2015 | DATE | Systematic application of ISO 26262 on a SEooC: Support by applying a systematic reuse approach. | Alejandra Ruiz, Alberto Melzi, Tim Kelly |
| 2015 | DEPCoS | Supporting the Automated Generation of Modular Product Line Safety Cases. | Andr Luz de Oliveira, Rosana T. V. Braga, Paulo Csar Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly |
| 2015 | ISSRE | An evidential reasoning approach for assessing confidence in safety evidence. | Sunil Nair, Neil Walkinshaw, Tim Kelly, Jose Luis de la Vara |
| 2015 | PRIMA | Automatically Detecting Fallacies in System Safety Arguments. | Tangming Yuan, Suresh Manandhar, Tim Kelly, Simon Wells |
| 2014 | ICSE | Certifiably safe software-dependent systems: challenges and directions. | John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones |
| 2014 | SAFECOMP | Assurance Cases for Block-Configurable Software. | Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands |
| 2014 | SAFECOMP | Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. | Sunil Nair, Neil Walkinshaw, Tim Kelly |
| 2014 | SAFECOMP | Introduction to SASSUR 2014. | Alejandra Ruiz, Tim Kelly, Jose Luis de la Vara |
| 2014 | SAFECOMP | Rethinking of Strategy for Safety Argument Development. | Linling Sun, Nuno Silva, Tim Kelly |
| 2013 | ICSE | 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). | Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight |
| 2013 | SAFECOMP | Principled Construction of Software Safety Cases. | Richard Hawkins, Ibrahim Habli, Tim Kelly |
| 2013 | SAFECOMP | Towards a multi-view point safety contract. | Alejandra Ruiz, Tim Kelly, Huscar Espinoza |
| 2012 | ICSE | Introducing safety cases for health IT. | Georgios Despotou, Sean White, Tim Kelly, Mark Ryan |
| 2012 | SSBSE | Evolving Robust Networks for Systems-of-Systems. | Jonathan M. Aitken, Robert Alexander, Tim Kelly, Simon M. Poulding |
| 2011 | SAFECOMP | Using a Software Safety Argument Pattern Catalogue: Two Case Studies. | Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly |
| 2009 | SAFECOMP | Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. | Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska |
| 2008 | ISSRE | A Model-Driven Approach to Assuring Process Reliability. | Ibrahim Habli, Tim Kelly |
| 2007 | APSEC | Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. | Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett |
| 2007 | ER | Extending Argumentation to Goal-Oriented Requirements Engineering. | Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly |
| 2007 | ICSE | Capturing and Replaying Architectural Knowledge through Derivational Analogy. | Ibrahim Habli, Tim Kelly |
| 2007 | SAFECOMP | Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. | Weihang Wu, Tim Kelly |
| 2007 | SPLC | Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. | Ibrahim Habli, Tim Kelly |
| 2006 | CaiSE | Structuring Safety Policy Decomposition. | Martin Hall-May, Tim Kelly |
| 2006 | CaiSE | Deviational Analyses for Validating Regulations on Real Systems. | Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark |
| 2006 | ICSE | Towards Evidence-Based Architectural Design for Safety-Critical Software Applications. | Weihang Wu, Tim Kelly |
| 2006 | SAFECOMP | System of Systems Hazard Analysis Using Simulation and Machine Learning. | Robert Alexander, Dimitar Kazakov, Tim Kelly |
| 2006 | SAFECOMP | Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems. | Martin Hall-May, Tim Kelly |
| 2005 | ICSE | Failure modelling in software architecture design for safety. | Weihang Wu, Tim Kelly |
| 2005 | ICWS | Establishing a Standard Business Process Execution Architecture for Integrating Web Services. | Thilina Gunasinghe, Tim Kelly |
| 2005 | SAFECOMP | Defining and Decomposing Safety Policy for Systems of Systems. | Martin Hall-May, Tim Kelly |
| 2004 | COMPSAC | Safety Tactics for Software Architecture Design. | Weihang Wu, Tim Kelly |
| 2004 | COMPSAC | Component Failure Mitigation According to Failure Type. | Fan Ye, Tim Kelly |
| 2004 | SAFECOMP | Using Fuzzy Self-Organising Maps for Safety Critical Systems. | Zeshan Kurd, Tim Kelly |
| 2003 | KES | Establishing Safety Criteria for Artificial Neural Networks. | Zeshan Kurd, Tim Kelly |
| 2003 | SAFECOMP | Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. | Zeshan Kurd, Tim Kelly |
| 2002 | SAFECOMP | Architectural Considerations in the Certification of Modular Systems. | Iain Bate, Tim Kelly |
| 2001 | RE | Deriving Safety Requirements Using Scenarios. | Karen Allenby, Tim Kelly |