Tim Kelly
External collaborator
Publications
Simula-affiliated publications listed
2014
Proceedings, refereed
Read Introduction to SASSUR 2014
A. Ruiz, T. Kelly and J. L. de la Vara
Introduction to SASSUR 2014
SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR
Read Quantifying Uncertainty in Safety Cases Using Evidential Reasoning
S. Nair, N. Walkinshaw and T. Kelly
Quantifying Uncertainty in Safety Cases Using Evidential Reasoning
SASSUR 2014, Computer Safety, Reliability, and Security
Technical reports
Read An Evidential Reasoning Approach for Assessing Confidence in Safety Evidence
S. Nair, N. Walkinshaw, T. Kelly and J. L. de la Vara
An Evidential Reasoning Approach for Assessing Confidence in Safety Evidence