Tim Kelly
Tim Kelly
Professor of High Integrity Systems
Verified email at york.ac.uk
TitleCited byYear
Arguing safety: a systematic approach to managing safety cases
TP Kelly
University of York, 1999
646*1999
The goal structuring notation–a safety argument notation
T Kelly, R Weaver
Proceedings of the dependable systems and networks 2004 workshop on …, 2004
5372004
Large-scale complex IT systems
I Sommerville, D Cliff, R Calinescu, J Keen, T Kelly, M Kwiatkowska, ...
arXiv preprint arXiv:1109.3444, 2011
2102011
Safety case construction and reuse using patterns
TP Kelly, JA McDermid
Safe Comp 97, 55-69, 1997
1931997
Deriving safety requirements using scenarios
K Allenby, T Kelly
Proceedings Fifth IEEE International Symposium on Requirements Engineering …, 2001
1772001
A new approach to creating clear safety arguments
R Hawkins, T Kelly, J Knight, P Graydon
Advances in systems safety, 3-23, 2011
1422011
A systematic approach to safety case management
T Kelly
SAE Technical Paper, 2004
1112004
Safety case development: Current practice, future prospects
SP Wilson, TP Kelly, JA McDermid
Safety and Reliability of Software Based Systems, 135-156, 1997
931997
Safety tactics for software architecture design
W Wu, T Kelly
Proceedings of the 28th Annual International Computer Software and …, 2004
852004
A systematic approach to safety case maintenance
TP Kelly, JA McDermid
Reliability Engineering & System Safety 71 (3), 271-284, 2001
792001
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
762006
Assurance cases and prescriptive software safety certification: A comparative study
R Hawkins, I Habli, T Kelly, J McDermid
Safety science 59, 55-71, 2013
732013
Certifiably safe software-dependent systems: challenges and directions
J Hatcliff, A Wassyng, T Kelly, C Comar, P Jones
Proceedings of the on Future of Software Engineering, 182-200, 2014
682014
Functional hazard analysis for highly integrated aerospace systems
PJ Wilkinson, TP Kelly
IET Digital Library, 1998
671998
Architectural considerations in the certification of modular systems
I Bate, T Kelly
Reliability Engineering & System Safety 81 (3), 303-324, 2003
652003
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
592015
Reviewing assurance arguments-a step-by-step approach
T Kelly
Workshop on assurance cases for security-the metrics challenge, dependable …, 2007
582007
Safety case patterns-reusing successful arguments
T Kelly, J McDermid
IET Digital Library, 1998
561998
Arguing conformance
P Graydon, I Habli, R Hawkins, T Kelly, J Knight
IEEE software 29 (3), 50-57, 2012
542012
Gsn community standard version 1
K Attwood, P Chinneck, M Clarke, G Cleland, M Coates, T Cockram, ...
Origin Consulting (York) Limited, 2011
532011
The system can't perform the operation now. Try again later.
Articles 1–20