| Arguing safety: a systematic approach to managing safety cases TP Kelly University of York, 1999 | 877* | 1999 |
| The goal structuring notation–a safety argument notation T Kelly, R Weaver Proceedings of the dependable systems and networks 2004 workshop on …, 2004 | 794 | 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 | 304 | 2012 |
| Safety case construction and reuse using patterns TP Kelly, JA McDermid Safe Comp 97: The 16th International Conference on Computer Safety …, 1997 | 252 | 1997 |
| 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 | 228 | 2011 |
| Deriving safety requirements using scenarios K Allenby, T Kelly Proceedings fifth ieee international symposium on requirements engineering …, 2001 | 226 | 2001 |
| 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 | 216 | 2017 |
| A systematic approach to safety case management T Kelly SAE transactions, 257-266, 2004 | 149 | 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 | 131 | 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 | 126 | 2015 |
| 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 | 120 | 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 | 115 | 2014 |
| Safety tactics for software architecture design W Wu, T Kelly Proceedings of the 28th Annual International Computer Software and …, 2004 | 112 | 2004 |
| 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 | 111 | 2011 |
| Functional hazard analysis for highly integrated aerospace systems PJ Wilkinson, TP Kelly IEE Certification of Ground/Air Systems Seminar (Ref. No. 1998/255), 4/1-4/6, 1998 | 105 | 1998 |
| Safety case development: Current practice, future prospects SP Wilson, TP Kelly, JA McDermid Safety and Reliability of Software Based Systems: Twelfth Annual CSR …, 1997 | 103 | 1997 |
| 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 | 102 | 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 | 96 | 2006 |
| A systematic approach to safety case maintenance TP Kelly, JA McDermid Reliability Engineering & System Safety 71 (3), 271-284, 2001 | 96 | 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 | 91 | 2016 |
