Tim Kelly

Search results

• 2015

  An evidential reasoning approach for assessing confidence in safety evidence: Software Reliability Engineering (ISSRE), 2015 IEEE 26th International Symposium on

  Nair, S., Walkinshaw, N., Kelly, T. & de la Vara, J. L., 2015, p. 541-552. 12 p.

  Research output: Contribution to conference › Other › peer-review
• 2014

  A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products: Computing Systems Engineering (SBESC), 2014 Brazilian Symposium on

  de Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I. & Kelly, T., 2014, p. 7-12. 6 p.

  Research output: Contribution to conference › Other › peer-review
• 2011

  Justifying the validity of safety assessment models with safety case patterns: System Safety, 2011 6th IET International Conference on

  Sun, L., Lisagor, O. & Kelly, T., 2011, p. 1-6. 6 p.

  Research output: Contribution to conference › Other › peer-review

• Model-based safety assessment: Review of the discipline and its challenges: Reliability, Maintainability and Safety (ICRMS), 2011 9th International Conference on

  Lisagor, O., Kelly, T. & Niu, R., 2011, p. 625-632. 8 p.

  Research output: Contribution to conference › Other › peer-review

• On validation of the safety analysis of modern railway systems: Service Operations, Logistics, and Informatics (SOLI), 2011 IEEE International Conference on

  Lisagor, O., Sun, L., Kelly, T., Liu, C. & Niu, R., 2011, p. 537-542. 6 p.

  Research output: Contribution to conference › Other › peer-review