Tim P. Kelly

Publication Activity (10 Years)

Years Active: 1995-2019
Publications (10 Years): 6

Top Topics

Development Process

Agile Development

Safety Critical

Top Venues

SAFECOMP Workshops

Inf. Softw. Technol.

Publications

Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins
Model Based System Assurance Using the Structured Assurance Case Metamodel. CoRR (2019)
Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins
Model based system assurance using the structured assurance case metamodel. J. Syst. Softw. 154 (2019)
Mark-Alexander Sujan, Ibrahim Habli, Tim P. Kelly, Astrid Gühnemann, Simone Pozzi, Christopher W. Johnson
How can health care organisations make and justify decisions about risk reduction? Lessons from a cross-industry review and a health care stakeholder consensus development process. Reliab. Eng. Syst. Saf. 161 (2017)
Ran Wei, Tim P. Kelly, Richard Hawkins, Eric Armengaud
DEIS: Dependability Engineering Innovation for Cyber-Physical Systems. STAF Workshops (2017)
Osama Doss, Tim P. Kelly
The 4+1 Principles of Software Safety Assurance and Their Implications for Scrum. XP (2016)
Osama Doss, Tim P. Kelly
Challenges and Opportunities in Agile Development in Safety Critical Systems: A Survey. ACM SIGSOFT Softw. Eng. Notes 41 (2) (2016)
Patrick J. Graydon, Tim P. Kelly
Using argumentation to evaluate software assurance standards. Inf. Softw. Technol. 55 (9) (2013)
Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh, Didier Van Den Abeele
Introduction to Sassur 2012. SAFECOMP Workshops (2012)
Patrick J. Graydon, Tim P. Kelly
Assessing Software Interference Management When Modifying Safety-Related Software. SAFECOMP Workshops (2012)
Zoë Stephenson, Christian Fairburn, Georgios Despotou, Tim P. Kelly, Nicola Herbert, Bruce Daughtrey
Distinguishing Fact from Fiction in a System of Systems Safety Case. SSS (2011)
Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon
A New Approach to creating Clear Safety Arguments. SSS (2011)
Georgios Despotou, Mike Bennett, Tim P. Kelly
Evaluation and Integration of COTS in Evidence based Assurance Frameworks. SSS (2010)
Zeshan Kurd, Tim P. Kelly
Using fuzzy self-organising maps for safety critical systems. Reliab. Eng. Syst. Saf. 92 (11) (2007)
Zeshan Kurd, Tim P. Kelly
Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control. SAFECOMP (2005)
Zeshan Kurd, Tim P. Kelly, Jim Austin
Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications. IDEAL (2004)
Tim P. Kelly, John Alexander McDermid
A systematic approach to safety case maintenance. Reliab. Eng. Syst. Saf. 71 (3) (2001)
Tim P. Kelly, John Alexander McDermid
A Systematic Approach to Safety Case Maintenance. SAFECOMP (1999)
Tim P. Kelly, John Alexander McDermid
Safety Case Construction and Reuse Using Patterns. SAFECOMP (1997)
Peter Fenelon, Tim P. Kelly, John Alexander McDermid
Safety Cases for Software Application Reuse. SAFECOMP (1995)