Research output per year
Research output per year
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 -
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods
Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, (E-pub ahead of print) Integrated Formal Methods: Proceedings of the 15th International Conference. Springer, Vol. 11918. p. 379-398 20 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Model Based System Assurance Using the Structured Assurance Case Metamodel
Wei, R., Kelly, T. P., Dai, X., Zhao, S. & Hawkins, R. D., 1 Aug 2019, In: Journal of Systems and Software. 154, p. 211-233 23 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile
-
PETER: PETER: Pan-European Training, research and education network on Electromagnetic Risk Management
Dawson, J. F., Kelly, T. & Trefzer, M. A.
1/04/19 → 30/09/23
Project: Research project (funded) › Research
-
-
Dependability Engineering Innovation for CPS - DEIS
1/01/17 → 31/12/19
Project: Research project (funded) › Research
Activities
-
International Journal of Critical Computer-Based Systems (Journal)
Tim Kelly (Editorial board member)
2014Activity: Publication peer-review and editorial work › Editorial board
-
Modular Certification
Tim Kelly (Participant)
Nov 2013Activity: Other › Public engagement and outreach (general)
-
5th International Workshop on Software Engineering in Health Care (SEHC), ICSE 2013
Tim Kelly (Keynote/plenary speaker)
2013Activity: Participating in or organising an event › Seminar/workshop/course