( en | de | ru )

 

Disambiguation of "Kelly, Tim"

Author of the publication

copydeleteadd this publication to your clipboard
Supporting the Automated Generation of Modular Product Line Safety Cases.

, , , , , and . DepCoS-RELCOMEX, volume 365 of Advances in Intelligent Systems and Computing, page 319-330. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Kelly

Lutz-Ulrich Kelly

Sven Kelly

William James Kelly

Norman Kelly

 

Other publications of authors with the same name

Developing Assurance Cases for D-MILS Systems., , and . MILS@HiPEAC, Zenodo, (2015)Rethinking of Strategy for Safety Argument Development., , and . SAFECOMP Workshops, volume 8696 of Lecture Notes in Computer Science, page 384-395. Springer, (2014)Evolving Robust Networks for Systems-of-Systems., , , and . SSBSE, volume 7515 of Lecture Notes in Computer Science, page 30-44. Springer, (2012)Principled Construction of Software Safety Cases., , and . SASSUR@SAFECOMP, HAL, (2013)Developing artificial neural networks for safety critical systems., , and . Neural Comput. Appl., 16 (1): 11-19 (2007)The need for flexible requirements in dependable systems, and . Proceedings of the 4th International Workshop on Requirements for High Assurance Systems (RHAS), (2005)The goal structuring notation--a safety argument notation, and . Proceedings of the dependable systems and networks 2004 workshop on assurance cases, (2004)Automated Model-Based Assurance Case Management Using Constrained Natural Language., , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 43 (1): 291-304 (January 2024)Mechanised Assurance Cases with Integrated Formal Methods in Isabelle., , , and . CoRR, (2019)Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study., , , and . SSS, page 133-146. Springer, (2007)