Items where authors include "Kelly, Tim"
Up a levelArticle
Wei, Ran, Foster, Simon David orcid.org/0000-0002-9889-9514, Mei, Haitao et al. (7 more authors) (2024) ACCESS : Assurance Case Centric Engineering of Safety-critical Systems. Journal of Systems and Software. 112034. ISSN 0164-1212
Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (2 more authors) (2021) Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects of Computing. pp. 855-884. ISSN 1433-299X
De Oliveira, André, Bessi, Rosana, Masiero, Paulo C. et al. (4 more authors) (2019) Variability management in safety‐critical systems design and dependability analysis. Journal of Software: Evolution and Process.
Despotou, George, Ryan, Mark, Arvanitis, Theodoros N et al. (4 more authors) (2017) A framework for synthesis of safety justification for digitally enabled healthcare services. DIGITAL HEALTH. 2055207617704271. ISSN 2055-2076
de la Vara, Jose Luis, Ruiz, Alejandra, Attwood, Katrina et al. (5 more authors) (2016) Model-based specification of safety compliance needs for critical systems : A holistic generic metamodel. Information and Software Technology. pp. 16-30. ISSN 0950-5849
Hawkins, Richard David orcid.org/0000-0001-7347-3413, Habli, Ibrahim orcid.org/0000-0003-2736-8238 and Kelly, Tim orcid.org/0000-0002-7385-2031 (2015) The Need for a Weaving Model in Assurance Case Automation. Ada User Journal. pp. 187-191. ISSN 1381-6551
Attwood, Katrina Claire, Kelly, Tim orcid.org/0000-0002-7385-2031 and Conmy, Philippa (2014) The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS. Ada User Journal. pp. 251-258.
Proceedings Paper
Selviandro, Nungki, Kelly, Tim orcid.org/0000-0002-7385-2031 and Hawkins, Richard David orcid.org/0000-0001-7347-3413 (2018) The Visual Inheritance Structure to Support the Design of Visual Notations. In: Third International Workshop on Human Factors in Modeling (HuFaMo’18). UNSPECIFIED. . (In Press)
Hawkins, Richard orcid.org/0000-0001-7347-3413, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2015) Weaving an Assurance Case from Design: A Model-Based Approach. In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. UNSPECIFIED. IEEE , pp. 110-117.