Arguing safety: a systematic approach to managing safety cases TP Kelly University of York, 1999 | 736* | 1999 |
The goal structuring notation–a safety argument notation T Kelly, R Weaver Proceedings of the dependable systems and networks 2004 workshop on …, 2004 | 647 | 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 | 248 | 2012 |
Safety case construction and reuse using patterns TP Kelly, JA McDermid Safe Comp 97, 55-69, 1997 | 219 | 1997 |
Deriving safety requirements using scenarios K Allenby, T Kelly Proceedings Fifth IEEE International Symposium on Requirements Engineering …, 2001 | 197 | 2001 |
A new approach to creating clear safety arguments R Hawkins, T Kelly, J Knight, P Graydon Advances in systems safety, 3-23, 2011 | 176 | 2011 |
A systematic approach to safety case management T Kelly SAE transactions, 257-266, 2004 | 127 | 2004 |
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 | 96 | 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 | 92 | 2017 |
Assurance cases and prescriptive software safety certification: A comparative study R Hawkins, I Habli, T Kelly, J McDermid Safety science 59, 55-71, 2013 | 91 | 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 | 87 | 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 | 86 | 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 | 82 | 2006 |
A systematic approach to safety case maintenance TP Kelly, JA McDermid Reliability Engineering & System Safety 71 (3), 271-284, 2001 | 82 | 2001 |
Functional hazard analysis for highly integrated aerospace systems PJ Wilkinson, TP Kelly IET Digital Library, 1998 | 79 | 1998 |
Architectural considerations in the certification of modular systems I Bate, T Kelly Reliability Engineering & System Safety 81 (3), 303-324, 2003 | 70 | 2003 |
Reviewing assurance arguments-a step-by-step approach T Kelly Workshop on assurance cases for security-the metrics challenge, dependable …, 2007 | 69 | 2007 |
Safety case patterns-reusing successful arguments T Kelly, J McDermid IET Digital Library, 1998 | 67 | 1998 |
Arguing conformance P Graydon, I Habli, R Hawkins, T Kelly, J Knight IEEE software 29 (3), 50-57, 2012 | 64 | 2012 |