Items where authors include "Kelly, Timothy Patrick"

Article

Wei, Ran, Kelly, Timothy Patrick orcid.org/0000-0002-7385-2031, Dai, Xiaotian orcid.org/0000-0002-6669-5234 et al. (2 more authors) (2019) Model Based System Assurance Using the Structured Assurance Case Metamodel. Journal of Systems and Software. pp. 211-233. ISSN 0164-1212

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Weyns, Danny, Gerasimou, Simos et al. (3 more authors) (2018) Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Transactions on Software Engineering. 8008800. pp. 1039-1069. ISSN 0098-5589

Sujan, Mark, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Pozzi, Simone et al. (3 more authors) (2017) How can health care organisations make and justify decisions about risk reduction?:Lessons from a cross-industry review and a health care stakeholder consensus development process. Reliability Engineering and System Safety. ISSN 0951-8320

Conference or Workshop Item

Leong, Chris Wai Kiat, Kelly, Timothy Patrick orcid.org/0000-0002-7385-2031 and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2017) Incorporating epistemic uncertainty into the safety assurance of socio-technical systems. In: 2nd international Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies, 29 Apr 2017.

Alexander, Robert David orcid.org/0000-0003-3818-0310, Hawkins, Richard David orcid.org/0000-0001-7347-3413 and Kelly, Timothy Patrick orcid.org/0000-0002-7385-2031 (2017) From Safety Cases to Security Cases. In: UNSPECIFIED.

Eastwood, Tai Chi Minh Ralph, Alexander, Robert David orcid.org/0000-0003-3818-0310 and Kelly, Timothy Patrick orcid.org/0000-0002-7385-2031 (2016) Safe Multi-objective Planning with a Posteriori Preferences. In: UNSPECIFIED.

Proceedings Paper

Nemouchi, Yakoub, Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (1 more author) (2019) Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. In: Integrated Formal Methods:Proceedings of the 15th International Conference. UNSPECIFIED. LNCS . Springer , pp. 379-398.

De Oliveira, André Luiz, Braga, Rosana T. V., Masiero, Paulo C. et al. (3 more authors) (2018) Variability Management in Safety-Critical Software Product Line Engineering. In: International Conference on Software Reuse. UNSPECIFIED. .