| Arguing safety: a systematic approach to managing safety cases TP Kelly University of York, 1999 | 751* | 1999 |
| The goal structuring notation–a safety argument notation T Kelly, R Weaver Proceedings of the dependable systems and networks 2004 workshop on …, 2004 | 663 | 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 | 257 | 2012 |
| Safety case construction and reuse using patterns TP Kelly, JA McDermid Safe Comp 97, 55-69, 1997 | 221 | 1997 |
| Deriving safety requirements using scenarios K Allenby, T Kelly Proceedings fifth ieee international symposium on requirements engineering …, 2001 | 205 | 2001 |
| A new approach to creating clear safety arguments R Hawkins, T Kelly, J Knight, P Graydon Advances in systems safety, 3-23, 2011 | 182 | 2011 |
| A systematic approach to safety case management T Kelly SAE transactions, 257-266, 2004 | 132 | 2004 |
| 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 | 113 | 2017 |
| Safety case development: Current practice, future prospects SP Wilson, TP Kelly, JA McDermid Safety and reliability of software based systems, 135-156, 1997 | 100 | 1997 |
| Safety tactics for software architecture design W Wu, T Kelly Proceedings of the 28th Annual International Computer Software and …, 2004 | 98 | 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 | 96 | 2013 |
| 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 | 93 | 2014 |
| 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 | 89 | 2015 |
| 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 | 85 | 2006 |
| A systematic approach to safety case maintenance TP Kelly, JA McDermid Reliability Engineering & System Safety 71 (3), 271-284, 2001 | 85 | 2001 |
| Functional hazard analysis for highly integrated aerospace systems PJ Wilkinson, TP Kelly IET Digital Library, 1998 | 81 | 1998 |
| Reviewing assurance arguments-a step-by-step approach T Kelly Workshop on assurance cases for security-the metrics challenge, dependable …, 2007 | 71 | 2007 |
| Safety case patterns-reusing successful arguments T Kelly, J McDermid IEE Colloquium on Understanding Patterns and Their Application to Systems …, 1998 | 69 | 1998 |
| Architectural considerations in the certification of modular systems I Bate, T Kelly Reliability Engineering & System Safety 81 (3), 303-324, 2003 | 68 | 2003 |
| Arguing conformance P Graydon, I Habli, R Hawkins, T Kelly, J Knight IEEE software 29 (3), 50-57, 2012 | 66 | 2012 |
