Tim Kelly

Tim Kelly publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Tim Kelly sits on this spectrum.

Tim Kelly D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Tim Kelly sits on this spectrum.

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