Tim Kelly

Engineering · Physical Sciences

32h-index4.2kcitations229works0.92yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Safety Systems Engineering in Autonomy(162), Software Reliability and Analysis Research(103), Risk and Safety Analysis(93), Advanced Software Engineering Methodologies(33), Quality and Safety in Healthcare(22)

Publications229 total

A Calibrated Memorization Index (MI) for Detecting Training Data Leakage in Generative MRI Models
ArXiv.org·2026Open Access
A Calibrated Memorization Index (MI) for Detecting Training Data Leakage in Generative MRI Models
arXiv (Cornell University)·2026Open Access
Formal Evidence Generation for Assurance Cases for Robotic Software Models
arXiv (Cornell University)·2026Open Access
Formal Evidence Generation for Assurance Cases for Robotic Software Models
arXiv (Cornell University)·2026Open Access
What’s Your Context - Assuring GPAI in Safety-critical Settings
2025
ACEditor: A Modeling Tool for Specifying and Synthesizing Executable Assurance Cases from Fault Trees
Lecture notes in computer science·2025
An EPICS Journey: Combining Service Learning and MultiDisciplinary Engineering Projects
2025Open Access
Assurance of AI and autonomous technology in complex environments: a human-centered perspective
2025
Model-Based Security Assurance Cases for Open and Adaptive Cyber-Physical Systems
Lecture notes on data engineering and communications technologies·2025
AI Safety
2024Open Access
ACCESS: Assurance Case Centric Engineering of Safety–critical Systems
Journal of Systems and Software·2024· 9 citedOpen Access
From Fault Tree Analysis to Runtime Model-Based Assurance Cases
Lecture notes on data engineering and communications technologies·2024· 2 cited
DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2023· 7 cited
Automated Model-Based Assurance Case Management Using Constrained Natural Language
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2023· 8 cited
Policing and mental health
Policy Press eBooks·2023
Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems
Lecture notes in networks and systems·2023· 3 cited
Designing critical systems with iterative automated safety analysis
Proceedings of the 59th ACM/IEEE Design Automation Conference·2022· 8 citedOpen Access
Access: Assurance Case Centric Engineering of Safety-Critical Systems
SSRN Electronic Journal·2022Open Access
Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM
ITNOW·2021· 3 citedOpen Access
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
Formal Aspects of Computing·2021· 27 citedOpen Access
page 1 of 12Next →

Frequent Co-authors

Ibrahim Habli(12), John McDermid(9), Richard Hawkins(9), Zeshan Kurd(6), Mark Sujan(3), Simone Pozzi(3), Ran Wei(3), Jane Fenn(3), Radu Călinescu(2), Richard F. Paige(2), John Knight(2), Patrick Graydon(2), Christopher W. Johnson(2), Iain Bate(2), José Luis de la Vara(2), Rob Alexander(2), Rob Weaver(2), Phil Williams(2), Ian Sommerville(1), Dave Cliff(1)