Tim Kelly
Tim Kelly
Professor of High Integrity Systems
Verified email at
Cited by
Cited by
Arguing safety: a systematic approach to managing safety cases
TP Kelly
University of York, 1999
The goal structuring notation–a safety argument notation
T Kelly, R Weaver
Proceedings of the dependable systems and networks 2004 workshop on …, 2004
Large-scale complex IT systems
I Sommerville, D Cliff, R Calinescu, J Keen, T Kelly, M Kwiatkowska, ...
Communications of the ACM 55 (7), 71-77, 2012
Safety case construction and reuse using patterns
TP Kelly, JA McDermid
Safe Comp 97: The 16th International Conference on Computer Safety …, 1997
Deriving safety requirements using scenarios
K Allenby, T Kelly
Proceedings fifth ieee international symposium on requirements engineering …, 2001
A new approach to creating clear safety arguments
R Hawkins, T Kelly, J Knight, P Graydon
Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical …, 2011
Engineering trustworthy self-adaptive software with dynamic assurance cases
R Calinescu, D Weyns, S Gerasimou, MU Iftikhar, I Habli, T Kelly
IEEE Transactions on Software Engineering 44 (11), 1039-1069, 2017
A systematic approach to safety case management
T Kelly
SAE transactions, 257-266, 2004
Assurance cases and prescriptive software safety certification: A comparative study
R Hawkins, I Habli, T Kelly, J McDermid
Safety science 59, 55-71, 2013
Weaving an assurance case from design: a model-based approach
R Hawkins, I Habli, D Kolovos, R Paige, T Kelly
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
Safety tactics for software architecture design
W Wu, T Kelly
Proceedings of the 28th Annual International Computer Software and …, 2004
NIST interlaboratory study on glycosylation analysis of monoclonal antibodies: comparison of results from diverse analytical methods
MLA De Leoz, DL Duewer, A Fung, L Liu, HK Yau, O Potter, GO Staples, ...
Molecular & Cellular Proteomics 19 (1), 11-30, 2020
Certifiably safe software-dependent systems: challenges and directions
J Hatcliff, A Wassyng, T Kelly, C Comar, P Jones
Future of Software Engineering Proceedings, 182-200, 2014
Model-based safety assessment: Review of the discipline and its challenges
O Lisagor, T Kelly, R Niu
The Proceedings of 2011 9th International Conference on Reliability …, 2011
Safety case development: Current practice, future prospects
SP Wilson, TP Kelly, JA McDermid
Safety and Reliability of Software Based Systems: Twelfth Annual CSR …, 1997
Functional hazard analysis for highly integrated aerospace systems
PJ Wilkinson, TP Kelly
IET Digital Library, 1998
Should healthcare providers do safety cases? Lessons from a cross-industry review of safety case practices
MA Sujan, I Habli, TP Kelly, S Pozzi, CW Johnson
Safety science 84, 181-189, 2016
Requirements for domain-specific languages
DS Kolovos, RF Paige, T Kelly, FAC Polack
Proc. of ECOOP Workshop on Domain-Specific Program Development (DSPD) 2006, 2006
A systematic approach to safety case maintenance
TP Kelly, JA McDermid
Reliability Engineering & System Safety 71 (3), 271-284, 2001
New firms and high-technology industry in the United Kingdom: the case of computer electronics
D Keeble, T Kelly
New firms and regional development in Europe, 75-104, 2016
The system can't perform the operation now. Try again later.
Articles 1–20