Tim Kelly
Tim Kelly
Professor of High Integrity Systems
Email verificata su york.ac.uk
Titolo
Citata da
Citata da
Anno
Arguing safety: a systematic approach to managing safety cases
TP Kelly
University of York, 1999
701*1999
The goal structuring notation–a safety argument notation
T Kelly, R Weaver
Proceedings of the dependable systems and networks 2004 workshop on …, 2004
6062004
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
2352012
Safety case construction and reuse using patterns
TP Kelly, JA McDermid
Safe Comp 97, 55-69, 1997
2081997
Deriving safety requirements using scenarios
K Allenby, T Kelly
Proceedings Fifth IEEE International Symposium on Requirements Engineering …, 2001
1872001
A new approach to creating clear safety arguments
R Hawkins, T Kelly, J Knight, P Graydon
Advances in systems safety, 3-23, 2011
1682011
A systematic approach to safety case management
T Kelly
SAE transactions, 257-266, 2004
1232004
Safety case development: Current practice, future prospects
SP Wilson, TP Kelly, JA McDermid
Safety and Reliability of Software Based Systems, 135-156, 1997
961997
Safety tactics for software architecture design
W Wu, T Kelly
Proceedings of the 28th Annual International Computer Software and …, 2004
942004
Assurance cases and prescriptive software safety certification: A comparative study
R Hawkins, I Habli, T Kelly, J McDermid
Safety science 59, 55-71, 2013
852013
A systematic approach to safety case maintenance
TP Kelly, JA McDermid
Reliability Engineering & System Safety 71 (3), 271-284, 2001
822001
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
812006
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
802014
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
792017
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
792015
Functional hazard analysis for highly integrated aerospace systems
PJ Wilkinson, TP Kelly
IET Digital Library, 1998
741998
Reviewing assurance arguments-a step-by-step approach
T Kelly
Workshop on assurance cases for security-the metrics challenge, dependable …, 2007
682007
Architectural considerations in the certification of modular systems
I Bate, T Kelly
Reliability Engineering & System Safety 81 (3), 303-324, 2003
632003
Arguing conformance
P Graydon, I Habli, R Hawkins, T Kelly, J Knight
IEEE software 29 (3), 50-57, 2012
612012
Safety case patterns-reusing successful arguments
T Kelly, J McDermid
IET Digital Library, 1998
601998
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20