Articoli con mandati relativi all'accesso pubblico - Tim KellyUlteriori informazioni
Non disponibili pubblicamente: 5
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
Mandati: UK Economic and Social Research Council
Devil’s in the detail: through-life safety and security co-assurance using SSAF
N Johnson, T Kelly
Computer Safety, Reliability, and Security: 38th International Conference …, 2019
Mandati: UK Engineering and Physical Sciences Research Council
Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems
L Nascimento, AL Oliveira, R Villela, R Wei, R Hawkins, T Kelly
International Conference on Advanced Information Networking and Applications …, 2023
Mandati: European Commission
Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance
N Johnson, T Kelly
Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE …, 2019
Mandati: UK Engineering and Physical Sciences Research Council
From Fault Tree Analysis to Runtime Model-Based Assurance Cases
L Nascimento, AL de Oliveira, R Villela, R Wei, R Hawkins, T Kelly
International Conference on Advanced Information Networking and Applications …, 2024
Mandati: European Commission
Disponibili pubblicamente: 15
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
Mandati: US National Institutes of Health, Australian Research Council, National …
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
Mandati: US National Institutes of Health
Model based system assurance using the structured assurance case metamodel
R Wei, TP Kelly, X Dai, S Zhao, R Hawkins
Journal of Systems and Software 154, 211-233, 2019
Mandati: European Commission
An evidential reasoning approach for assessing confidence in safety evidence
S Nair, N Walkinshaw, T Kelly, JL de la Vara
2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015
Mandati: Science Foundation Ireland, Research Council of Norway
Integration of formal proof into unified assurance cases with Isabelle/SACM
S Foster, Y Nemouchi, M Gleirscher, R Wei, T Kelly
Formal Aspects of Computing 33 (6), 855-884, 2021
Mandati: German Research Foundation, UK Engineering and Physical Sciences Research …
Isabelle/SACM: Computer-assisted assurance cases with integrated formal methods
Y Nemouchi, S Foster, M Gleirscher, T Kelly
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019
Mandati: German Research Foundation, UK Engineering and Physical Sciences Research …
Deis: Dependability engineering innovation for cyber-physical systems
R Wei, TP Kelly, R Hawkins, E Armengaud
Software Technologies: Applications and Foundations: STAF 2017 Collocated …, 2018
Mandati: European Commission
Deis: dependability engineering innovation for industrial cps
E Armengaud, G Macher, A Massoner, S Frager, R Adler, D Schneider, ...
Advanced Microsystems for Automotive Applications 2017: Smart Systems …, 2018
Mandati: European Commission
Quantifying uncertainty in safety cases using evidential reasoning
S Nair, N Walkinshaw, T Kelly
Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS …, 2014
Mandati: Science Foundation Ireland
ACCESS: Assurance Case Centric Engineering of Safety–critical Systems
R Wei, S Foster, H Mei, F Yan, R Yang, I Habli, C O’Halloran, N Tudor, ...
Journal of Systems and Software 213, 112034, 2024
Mandati: UK Engineering and Physical Sciences Research Council, European Commission …
On the Transition from Design Time to Runtime Model-Based Assurance Cases.
R Wei, T Kelly, J Reich, S Gerasimou
MoDELS (Workshops), 56-61, 2018
Mandati: European Commission
Automated model based assurance case management using constrained natural language
R Wei, Z Jiang, H Mei, K Barmpis, S Foster, T Kelly, Y Zhuang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023
Mandati: National Natural Science Foundation of China
Independent co-assurance using the safety-security assurance framework (SSAF): A Bayesian belief network implementation for IEC 61508 and common criteria
N Johnson, Y Gheraibia, T Kelly
arXiv preprint arXiv:2010.07288, 2020
Mandati: UK Engineering and Physical Sciences Research Council
Safety-security assurance framework (SSAF) in practice
N Johnson, T Kelly
37th International Conference on Computer Safety, Reliability, & Security …, 2018
Mandati: UK Engineering and Physical Sciences Research Council
Evolving robust networks for systems-of-systems: is it viable for large networks?
JM Aitken, R Alexander, T Kelly, S Poulding
Empirical Software Engineering 19, 1502-1530, 2014
Mandati: UK Engineering and Physical Sciences Research Council
Le informazioni sulla pubblicazione e sul finanziamento vengono stabilite automaticamente da un software