Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
Wei, R., Foster, S. D., Mei, H., Yan, F., Yang, R., Habli, I., O'Halloran, C., Tudor, N., Kelly, T. & Nemouchi, Y., 1 Jul 2024, In: Journal of Systems and Software. 213, 0164-1212, 23 p., 112034.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Automated model based assurance case management using constrained natural language
Wei, R., Jiang, Z., Mei, H., Barmpis, K., Foster, S. D., Kelly, T. & Zhuang, Y., 8 Aug 2023, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43, 1, p. 291-304 14 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
Foster, S. D., Nemouchi, Y., Gleirscher, M., Wei, R. & Kelly, T., Dec 2021, In: Formal Aspects of Computing. 33, 6, p. 855-884Research output: Contribution to journal › Article › peer-review
Open AccessFile
Projects
- 9 Finished
-
PETER: PETER: Pan-European Training, research and education network on Electromagnetic Risk Management
Dawson, J. F. (Principal investigator), Kelly, T. (Co-investigator) & Trefzer, M. A. (Co-investigator)
1/04/19 → 30/09/23
Project: Research project (funded) › Research
-
NGNC Project (JLR4782)
Kelly, T. (Principal investigator) & Habli, I. (Co-investigator)
1/08/17 → 30/09/19
Project: Research project (funded) › Research
-
Factory in the Cloud (safecloud): Phase 2
Habli, I. (Principal investigator), Hawkins, R. D. (Co-investigator) & Kelly, T. (Co-investigator)
1/01/17 → 31/12/20
Project: Research project (funded) › Research
Activities
-
International Journal of Critical Computer-Based Systems (Journal)
Kelly, T. (Editorial board member)
2014Activity: Publication peer-review and editorial work › Editorial board
-
Modular Certification
Kelly, T. (Participant)
Nov 2013Activity: Other › Public engagement and outreach (general)
-
5th International Workshop on Software Engineering in Health Care (SEHC), ICSE 2013
Kelly, T. (Keynote/plenary speaker)
2013Activity: Participating in or organising an event › Seminar/workshop/course