Arguing safety: a systematic approach to managing safety cases TP Kelly University of York, 1999 | 862* | 1999 |
The goal structuring notation–a safety argument notation T Kelly, R Weaver Proceedings of the dependable systems and networks 2004 workshop on …, 2004 | 780 | 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 | 297 | 2012 |
Safety case construction and reuse using patterns TP Kelly, JA McDermid Safe Comp 97: The 16th International Conference on Computer Safety …, 1997 | 248 | 1997 |
Deriving safety requirements using scenarios K Allenby, T Kelly Proceedings fifth ieee international symposium on requirements engineering …, 2001 | 226 | 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 | 223 | 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 | 205 | 2017 |
A systematic approach to safety case management T Kelly SAE transactions, 257-266, 2004 | 148 | 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 | 124 | 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 | 113 | 2020 |
Safety tactics for software architecture design W Wu, T Kelly Proceedings of the 28th Annual International Computer Software and …, 2004 | 113 | 2004 |
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 | 112 | 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 | 109 | 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 | 106 | 1997 |
Functional hazard analysis for highly integrated aerospace systems PJ Wilkinson, TP Kelly IET Digital Library, 1998 | 103 | 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 | 96 | 2016 |
A systematic approach to safety case maintenance TP Kelly, JA McDermid Reliability Engineering & System Safety 71 (3), 271-284, 2001 | 96 | 2001 |
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 | 93 | 2006 |
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 | 88 | 2016 |