Tim Kelly

Search results

• 2015

  Supporting the Automated Generation of Modular Product Line Safety Cases

  Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I. & Kelly, T., 2015, Theory and Engineering of Complex Systems and Dependability: Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland. Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T. & Kacprzyk, J. (eds.). Cham: Springer, Vol. 365. p. 319-330 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2014

  Assurance cases for block-configurable software

  Hawkins, R., Miyazawa, A., Cavalcanti, A., Kelly, T. & Rowlands, J., 2014, Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings. Bondavalli, A. & Di Giandomenico, F. (eds.). Cham: Springer, Vol. 8666 LNCS. p. 155-169 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8666 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Quantifying Uncertainty in Safety Cases Using Evidential Reasoning

  Nair, S., Walkinshaw, N. & Kelly, T., 2014, Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Bondavalli, A., Ceccarelli, A. & Ortmeier, F. (eds.). Cham: Springer, p. 413-418 6 p. (Lecture Notes in Computer Science; vol. 8696).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Rethinking of Strategy for Safety Argument Development

  Sun, L., Silva, N. & Kelly, T., 2014, Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Bondavalli, A., Ceccarelli, A. & Ortmeier, F. (eds.). Cham: Springer, p. 384-395 12 p. (Lecture Notes in Computer Science; vol. 8696).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2012

  Assessing Software Interference Management When Modifying Safety-Related Software: Computer Safety, Reliability, and Security

  Graydon, P. J. & Kelly, T., 2012, Computer Safety, Reliability, and Security. Ortmeier, F. & Daniel, P. (eds.). Springer, Vol. 7613. p. 132-145 14 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2009

  An Argument-Based Approach to the Integration of Safety and Design

  Attwood, K. C., Kelly, T. & Wilkinson, P., 2009, Journal of the Safety and Reliability Society. 4 ed. Vol. 29. p. 5-16 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control

  Kurd, Z., Kelly, T., McDermid, J., Calinescu, R. & Kwiatkowska, M., 2009, Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings . Buth, B., Rabe, G. & Seyfarth, T. (eds.). BERLIN: Springer, Vol. 5775. p. 326-341 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Towards establishing a self-management architecture for dynamic risk management in 'intelligent' aero-engine control

  Kurd, Z., Kelly, T., McDermid, J. A., Calinescu, R. & Kwiatkowska, M. Z., Jan 2009, IET System Safety 2009. 555 CP ed. London: IET and SaRS, Vol. 2009. p. 33-40

  Research output: Chapter in Book/Report/Conference proceeding › Chapter