关注
Tim Kelly
Tim Kelly
Professor of High Integrity Systems
在 york.ac.uk 的电子邮件经过验证
标题
引用次数
引用次数
年份
Arguing safety: a systematic approach to managing safety cases
TP Kelly
University of York, 1999
850*1999
The goal structuring notation–a safety argument notation
T Kelly, R Weaver
Proceedings of the dependable systems and networks 2004 workshop on …, 2004
7712004
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
2952012
Safety case construction and reuse using patterns
TP Kelly, JA McDermid
Safe Comp 97: The 16th International Conference on Computer Safety …, 1997
2481997
Deriving safety requirements using scenarios
K Allenby, T Kelly
Proceedings fifth ieee international symposium on requirements engineering …, 2001
2242001
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
2152011
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
1992017
A systematic approach to safety case management
T Kelly
SAE transactions, 257-266, 2004
1482004
Assurance cases and prescriptive software safety certification: A comparative study
R Hawkins, I Habli, T Kelly, J McDermid
Safety science 59, 55-71, 2013
1302013
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
1222015
Safety tactics for software architecture design
W Wu, T Kelly
Proceedings of the 28th Annual International Computer Software and …, 2004
1132004
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
1102014
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
1092020
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
1072011
Safety case development: Current practice, future prospects
SP Wilson, TP Kelly, JA McDermid
Safety and Reliability of Software Based Systems: Twelfth Annual CSR …, 1997
1051997
Functional hazard analysis for highly integrated aerospace systems
PJ Wilkinson, TP Kelly
IET Digital Library, 1998
1021998
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
952016
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
932006
A systematic approach to safety case maintenance
TP Kelly, JA McDermid
Reliability Engineering & System Safety 71 (3), 271-284, 2001
932001
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
882016
系统目前无法执行此操作,请稍后再试。
文章 1–20