Tim Kelly

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 33

Top Venues

Publications

Ran Wei, Zhe Jiang, Haitao Mei, Konstantinos Barmpis, Simon Foster, Tim Kelly, Yan Zhuang
Automated Model-Based Assurance Case Management Using Constrained Natural Language. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (1) (2024)
Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. J. Syst. Softw. 213 (2024)
Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. CoRR (2024)
Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly
From Fault Tree Analysis to Runtime Model-Based Assurance Cases. AINA (2) (2024)
Ran Wei, Zhe Jiang, Xiaoran Guo, Ruizhe Yang, Haitao Mei, Athanasios Zolotas, Tim Kelly
DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (5) (2024)
Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly
Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems. AINA (1) (2023)
Ran Wei, Zhe Jiang, Xiaoran Guo, Haitao Mei, Athanasios Zolotas, Tim Kelly
Designing critical systems with iterative automated safety analysis. DAC (2022)
Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects Comput. 33 (6) (2021)
Eric Armengaud, Georg Macher, Alexander Massoner, Sebastian Frager, Rasmus Adler, Daniel Schneider, Simone Longo, Massimiliano Melis, Riccardo Groppo, Federica Villa, Pádraig O'Leary, Kevin Bambury, Anita Finnegan, Marc Zeller, Kai Höfig, Yiannis Papadopoulos, Richard Hawkins, Tim Kelly
DEIS: Dependability Engineering Innovation for Industrial CPS. CoRR (2021)
Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. CoRR (2020)
Jan Reich, Daniel Schneider, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud, Cem Kaypmaz
Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. SAFECOMP (2020)
Nikita Johnson, Youcef Gheraibia, Tim Kelly
Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria. CoRR (2020)
Nikita Johnson, Tim Kelly
An Assurance Framework for Independent Co-assurance of Safety and Security. CoRR (2019)
André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, David Parker, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
Variability management in safety-critical systems design and dependability analysis. J. Softw. Evol. Process. 31 (8) (2019)
Nikita Johnson, Tim Kelly
Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance. SAFECOMP Workshops (2019)
Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. IFM (2019)
Nikita Johnson, Tim Kelly
Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF. SAFECOMP (2019)
Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly
Mechanised Assurance Cases with Integrated Formal Methods in Isabelle. CoRR (2019)
Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly
ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. ICSE (2018)
Erik Blasch, Robert Cruise, Sriraam Natarajan, Ali K. Raz, Tim Kelly
Control Diffusion of Information Collection for Situation Understanding Using Boosting MLNs. FUSION (2018)
Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Trans. Software Eng. 44 (11) (2018)
Nungki Selviandro, Tim Kelly, Richard Hawkins
The visual inheritance structure to support the design of visual notations. MoDELS (Workshops) (2018)
Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou
On the Transition from Design Time to Runtime Model-Based Assurance Cases. MoDELS (Workshops) (2018)
André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
Variability Management in Safety-Critical Software Product Line Engineering. ICSR (2018)
Mark Douthwaite, Tim Kelly
Establishing Verification and Validation Objectives for Safety-Critical Bayesian Networks. ISSRE Workshops (2017)
Radu Calinescu, Simos Gerasimou, Ibrahim Habli, M. Usman Iftikhar, Tim Kelly, Danny Weyns
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. CoRR (2017)
Chris Leong, Tim Kelly, Robert Alexander
Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems. CREST@ETAPS (2017)
Osama Doss, Tim Kelly, Tor Stålhane, Børge Haugset, Mark Dixon
Integration of the 4+1 Software Safety Assurance Principles with Scrum. EuroSPI (2017)
Osama Doss, Tim Kelly
Addressing the 4+1 Software Safety Assurance Principles within Scrum. XP Workshops (2016)
Ralph Eastwood, Robert Alexander, Tim Kelly
Safe Multi-objective Planning with a Posteriori Preferences. HASE (2016)
André Luíz de Oliveira, Rosana T. V. Braga, Paulo Cesar Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
Model-based safety analysis of software product lines. Int. J. Embed. Syst. 8 (5/6) (2016)
Jose Luis de la Vara, Alejandra Ruiz, Katrina Attwood, Huáscar Espinoza, Rajwinder Kaur Panesar-Walawege, Ángel López, Idoya del Río, Tim Kelly
Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel. Inf. Softw. Technol. 72 (2016)
Richard Hawkins, Thomas Richardson, Tim Kelly
Using Process Models in System Assurance. SAFECOMP (2016)
Tangming Yuan, Suresh Manandhar, Tim Kelly, Simon Wells
Automatically Detecting Fallacies in System Safety Arguments. PRIMA Workshops (2015)
Tangming Yuan, Tim Kelly, Tianhua Xu
Computer-assisted safety argument review - a dialectics approach. Argument Comput. 6 (2) (2015)
Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly
Weaving an Assurance Case from Design: A Model-Based Approach. HASE (2015)
Alejandra Ruiz, Alberto Melzi, Tim Kelly
Systematic application of ISO 26262 on a SEooC: Support by applying a systematic reuse approach. DATE (2015)
Richard Hawkins, Tim Kelly, Ibrahim Habli
Developing Assurance Cases for D-MILS Systems. MILS@HiPEAC (2015)
André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
Supporting the Automated Generation of Modular Product Line Safety Cases. DepCoS-RELCOMEX (2015)
Sunil Nair, Neil Walkinshaw, Tim Kelly, Jose Luis de la Vara
An evidential reasoning approach for assessing confidence in safety evidence. ISSRE (2015)
André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. SBESC (2014)
Ibrahim Habli, Abdulaziz Al-Humam, Tim Kelly, Leila Fahel
Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures. MCPS (2014)
Linling Sun, Nuno Silva, Tim Kelly
Rethinking of Strategy for Safety Argument Development. SAFECOMP Workshops (2014)
Georgios Despotou, Richard W. Jones, Andrew Rae, Sean White, Mark Ryan, Tim Kelly
Deviation based Safety Analysis and Justification of Clinical Services. ICIMTH (2014)
Sunil Nair, Neil Walkinshaw, Tim Kelly
Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. SAFECOMP Workshops (2014)
Alejandra Ruiz, Tim Kelly, Jose Luis de la Vara
Introduction to SASSUR 2014. SAFECOMP Workshops (2014)
Jonathan M. Aitken, Robert Alexander, Tim Kelly, Simon M. Poulding
Evolving robust networks for systems-of-systems: is it viable for large networks? Empir. Softw. Eng. 19 (5) (2014)
John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones
Certifiably safe software-dependent systems: challenges and directions. FOSE (2014)
Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands
Assurance Cases for Block-Configurable Software. SAFECOMP (2014)
Georgios Despotou, Richard W. Jones, Sean White, Mark Ryan, Tim Kelly
Key Issues on Assuring the Safe Operation of Heath IT Systems. ICIMTH (2014)
Mark-Alexander Sujan, Floor Koornneef, Nick Chozos, Simone Pozzi, Tim Kelly
Safety cases for medical devices and health information technology: Involving health-care organisations in the assurance of safety. Health Informatics J. 19 (3) (2013)
Richard Hawkins, Ibrahim Habli, Tim Kelly
Principled Construction of Software Safety Cases. SASSUR@SAFECOMP (2013)
Alejandra Ruiz, Tim Kelly, Huáscar Espinoza
Towards a multi-view point safety contract. SASSUR@SAFECOMP (2013)
Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight
1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). ICSE (2013)
Georgios Despotou, Sean White, Tim Kelly, Mark Ryan
Introducing safety cases for health IT. SEHC@ICSE (2012)
Jonathan M. Aitken, Robert Alexander, Tim Kelly, Simon M. Poulding
Evolving Robust Networks for Systems-of-Systems. SSBSE (2012)
Tangming Yuan, Tim Kelly
Argument-based approach to computer system safety engineering. Int. J. Crit. Comput. Based Syst. 3 (3) (2012)
Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John Alexander McDermid, Richard F. Paige
Large-scale complex IT systems. Commun. ACM 55 (7) (2012)
Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight
Arguing Conformance. IEEE Softw. 29 (3) (2012)
Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly
Using a Software Safety Argument Pattern Catalogue: Two Case Studies. SAFECOMP (2011)
Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John Alexander McDermid, Richard F. Paige
Large-scale Complex IT Systems CoRR (2011)
Jonathan M. Aitken, Robert Alexander, Tim Kelly
A case for dynamic risk assessment in NEC systems of systems. SoSE (2010)
Ibrahim Habli, Richard Hawkins, Tim Kelly
Software safety: relating software assurance and software integrity. Int. J. Crit. Comput. Based Syst. 1 (4) (2010)
Catherine Menon, Richard Hawkins, John Alexander McDermid, Tim Kelly
An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. SSS (2010)
Ibrahim Habli, Tim Kelly
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. ISARCS (2010)
Ibrahim Habli, Tim Kelly
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Zeshan Kurd, Tim Kelly, John Alexander McDermid, Radu Calinescu, Marta Z. Kwiatkowska
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. SAFECOMP (2009)
Tim Kelly, Martin Adolph
ITU-T initiatives on climate change. IEEE Commun. Mag. 46 (10) (2008)
Ibrahim Habli, Tim Kelly
A Model-Driven Approach to Assuring Process Reliability. ISSRE (2008)
Weihang Wu, Tim Kelly
Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. SAFECOMP (2007)
Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly
Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. SSS (2007)
Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly
Extending Argumentation to Goal-Oriented Requirements Engineering. ER Workshops (2007)
Ibrahim Habli, Tim Kelly
Capturing and Replaying Architectural Knowledge through Derivational Analogy. SHARK/ADI@ICSE (2007)
Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. APSEC (2007)
Ibrahim Habli, Tim Kelly
Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. SPLC (2007)
Ibrahim Habli, Tim Kelly
Achieving Integrated Process and Product Safety Arguments. SSS (2007)
Zeshan Kurd, Tim Kelly, Jim Austin
Developing artificial neural networks for safety critical systems. Neural Comput. Appl. 16 (1) (2007)
Weihang Wu, Tim Kelly
Towards Evidence-Based Architectural Design for Safety-Critical Software Applications. WADS (2006)
Ibrahim Habli, Tim Kelly
Process and product certification arguments: getting the balance right. SIGBED Rev. 3 (4) (2006)
Georgios Despotou, Martin Hall-May, Tim Kelly
Eliciting safety policy and balancing with operational fitness in systems of systems. SoSE (2006)
Rob Weaver, Tim Kelly, Paul Mayo
Gaining Confidence in Goal-based Safety Cases. SSS (2006)
Weihang Wu, Tim Kelly
Managing Architectural Design Decisions for Safety-Critical Software Systems. QoSA (2006)
Martin Hall-May, Tim Kelly
Structuring Safety Policy Decomposition. ReMo2V (2006)
Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark
Deviational Analyses for Validating Regulations on Real Systems. ReMo2V (2006)
Martin Hall-May, Tim Kelly
Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems. SAFECOMP (2006)
Robert Alexander, Dimitar Kazakov, Tim Kelly
System of Systems Hazard Analysis Using Simulation and Machine Learning. SAFECOMP (2006)
Weihang Wu, Tim Kelly
Failure modelling in software architecture design for safety. WADS@ICSE (2005)
Weihang Wu, Tim Kelly
Failure modelling in software architecture design for safety. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Thilina Gunasinghe, Tim Kelly
Establishing a Standard Business Process Execution Architecture for Integrating Web Services. ICWS (2005)
Martin Hall-May, Tim Kelly
Defining and Decomposing Safety Policy for Systems of Systems. SAFECOMP (2005)
Rob Weaver, Georgios Despotou, Tim Kelly, John Alexander McDermid
Combining software evidence: arguments and assurance. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Fan Ye, Tim Kelly
Contract-Based Justification for COTS Component within Safety Critical Applications. SCS (2004)
Fan Ye, Tim Kelly
Component Failure Mitigation According to Failure Type. COMPSAC (2004)
Zeshan Kurd, Tim Kelly
Using Fuzzy Self-Organising Maps for Safety Critical Systems. SAFECOMP (2004)
Fan Ye, Tim Kelly
COTS Product Selection for Safety-Critical Systems. ICCBSS (2004)
Weihang Wu, Tim Kelly
Safety Tactics for Software Architecture Design. COMPSAC (2004)
Zeshan Kurd, Tim Kelly
Establishing Safety Criteria for Artificial Neural Networks. KES (2003)
Rob Weaver, Jane Fenn, Tim Kelly
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. SCS (2003)
Iain Bate, Tim Kelly
Architectural considerations in the certification of modular systems. Reliab. Eng. Syst. Saf. 81 (3) (2003)
Zeshan Kurd, Tim Kelly
Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. SAFECOMP (2003)

Tim Kelly.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tim Kelly