Tim Kelly

Best Publications

• The Goal Structuring Notation – A Safety Argument Notation

  Tim Kelly

  697
  Citations

• Large-scale complex IT systems

  Ian Sommerville;Dave Cliff;Radu Calinescu;Justin Keen

  286
  Citations

• Safety Case Construction and Reuse Using Patterns

  Tim P. Kelly;John Alexander McDermid

  245
  Citations

• Deriving safety requirements using scenarios

  K. Allenby;T. Kelly

  217
  Citations

• A New Approach to creating Clear Safety Arguments

  Richard Hawkins;Tim P. Kelly;John C. Knight;Patrick J. Graydon

  215
  Citations

• Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

  Radu Calinescu;Danny Weyns;Simos Gerasimou;Muhammad Usman Iftikhar

  188
  Citations

• A Systematic Approach to Safety Case Management

  Tim Kelly

  143
  Citations

• Assurance cases and prescriptive software safety certification: A comparative study

  Richard Hawkins;Ibrahim Habli;Tim Kelly;John McDermid

  122
  Citations

• Weaving an Assurance Case from Design: A Model-Based Approach

  Richard Hawkins;Ibrahim Habli;Dimitris Kolovos;Richard Paige

  117
  Citations

• Certifiably safe software-dependent systems: challenges and directions

  John Hatcliff;Alan Wassyng;Tim Kelly;Cyrille Comar

  105
  Citations

• Safety tactics for software architecture design

  Weihang Wu;T. Kelly

  103
  Citations

• Safety Case Development: Current Practice, Future Prospects

  S. P. Wilson;T. P. Kelly;J. A. McDermid

  103
  Citations

• Architectural considerations in the certification of modular systems

  Iain Bate;Tim Kelly

  90
  Citations

• Model-based safety assessment: Review of the discipline and its challenges

  Oleg Lisagor;Tim Kelly;Ru Niu

  89
  Citations

• Should healthcare providers do safety cases? Lessons from a cross-industry review of safety case practices

  Mark-Alexander Sujan;Ibrahim Habli;Tim P. Kelly;Simone Pozzi

  85
  Citations

• Safety case patterns-reusing successful arguments

  T. Kelly;J. McDermid

  75
  Citations

• Arguing Conformance

  P. Graydon;I. Habli;R. Hawkins;T. Kelly

  74
  Citations

• Developing artificial neural networks for safety critical systems

  Zeshan Kurd;Tim Kelly;Jim Austin

  72
  Citations

• Using a software safety argument pattern catalogue: two case studies

  Richard Hawkins;Kester Clegg;Rob Alexander;Tim Kelly

  62
  Citations

• A Systematic Approach to Safety Case Maintenance

  T. P. Kelly;John A. McDermid

  43
  Citations