Tim P. Kelly

19 papers B 5C 4Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2019 J jnl
Model Based System Assurance Using the Structured Assurance Case Metamodel.
CoRR
Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins
2019 J jnl
Model based system assurance using the structured assurance case metamodel.
J. Syst. Softw.
Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins
2017 — conf
DEIS: Dependability Engineering Innovation for Cyber-Physical Systems.
STAF Workshops
Ran Wei, Tim P. Kelly, Richard Hawkins, Eric Armengaud
2017 J jnl
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.
Mark-Alexander Sujan, Ibrahim Habli, Tim P. Kelly, Astrid Gühnemann, Simone Pozzi, Christopher W. Johnson
2016 J jnl
Challenges and Opportunities in Agile Development in Safety Critical Systems: A Survey.
ACM SIGSOFT Softw. Eng. Notes
Osama Doss, Tim P. Kelly
2016 B conf
The 4+1 Principles of Software Safety Assurance and Their Implications for Scrum.
XP
Osama Doss, Tim P. Kelly
2013 J jnl
Using argumentation to evaluate software assurance standards.
Inf. Softw. Technol.
Patrick J. Graydon, Tim P. Kelly
2012 — conf
Assessing Software Interference Management When Modifying Safety-Related Software.
SAFECOMP Workshops
Patrick J. Graydon, Tim P. Kelly
2012 — conf
Introduction to Sassur 2012.
SAFECOMP Workshops
Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh, Didier Van Den Abeele
2011 C conf
A New Approach to creating Clear Safety Arguments.
SSS
Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon
2011 C conf
Distinguishing Fact from Fiction in a System of Systems Safety Case.
SSS
Zoë Stephenson, Christian Fairburn, Georgios Despotou, Tim P. Kelly, Nicola Herbert, Bruce Daughtrey
2010 C conf
Evaluation and Integration of COTS in Evidence based Assurance Frameworks.
SSS
Georgios Despotou, Mike Bennett, Tim P. Kelly
2007 J jnl
Using fuzzy self-organising maps for safety critical systems.
Reliab. Eng. Syst. Saf.
Zeshan Kurd, Tim P. Kelly
2005 B conf
Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control.
SAFECOMP
Zeshan Kurd, Tim P. Kelly
2004 C conf
Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications.
IDEAL
Zeshan Kurd, Tim P. Kelly, Jim Austin
2001 J jnl
A systematic approach to safety case maintenance.
Reliab. Eng. Syst. Saf.
Tim P. Kelly, John A. McDermid
1999 B conf
A Systematic Approach to Safety Case Maintenance.
SAFECOMP
Tim P. Kelly, John A. McDermid
1997 B conf
Safety Case Construction and Reuse Using Patterns.
SAFECOMP
Tim P. Kelly, John A. McDermid
1995 B conf
Safety Cases for Software Application Reuse.
SAFECOMP
Peter Fenelon, Tim P. Kelly, John A. McDermid