Tim Kelly

Search results

• 2017

  From Safety Cases to Security Cases

  Alexander, R. D., Hawkins, R. D. & Kelly, T. P., Feb 2017.

  Research output: Contribution to conference › Paper

  Open Access

  File

• Incorporating epistemic uncertainty into the safety assurance of socio-technical systems

  Leong, C. W. K., Kelly, T. P. & Alexander, R. D., 29 Apr 2017.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
• 2016

  Safe Multi-objective Planning with a Posteriori Preferences

  Eastwood, T. C. M. R., Alexander, R. D. & Kelly, T. P., 7 Jan 2016. 8 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
• 2011

  A Risk Modelling Approach for a Communicating System of Systems

  Aitken, J. M., Alexander, R. & Kelly, T., 2011, p. 442-447.

  Research output: Contribution to conference › Paper › peer-review
• 2010

  A Case for Dynamic Risk Assessment in NEC Systems of Systems

  Aitken, J. M., Alexander, R. & Kelly, T., 2010.

  Research output: Contribution to conference › Paper › peer-review

• A Systematic Approach for Developing Software Safety Arguments

  Hawkins, R. D. & Kelly, T., Jul 2010, p. 25-33.

  Research output: Contribution to conference › Paper

• Safety Lifecycle Activities for Autonomous Systems Development

  Alexander, R., Gorry, B. & Kelly, T., 2010.

  Research output: Contribution to conference › Paper
• 2009

  A Critique of the “Unmanned Systems Safety Guide for DoD Acquisition”

  Alexander, R., Herbert, N. & Kelly, T., 2009.

  Research output: Contribution to conference › Paper

• Deriving Safety Requirements for Autonomous Systems

  Alexander, R., Herbert, N. & Kelly, T., Jul 2009.

  Research output: Contribution to conference › Paper › peer-review

• Escaping the Non-Quantitative Trap

  Alexander, R. & Kelly, T., 2009.

  Research output: Contribution to conference › Paper

• Software Assurance Arguments vs Formal Mathematical Arguments

  Habli, I., Stephenson, Z. R., Kelly, T. P. & McDermid, J. A., Nov 2009.

  Research output: Contribution to conference › Paper › peer-review

• The Role of the Human in an Autonomous System

  Alexander, R. D., Herbert, N. J. & Kelly, T. P., 2009.

  Research output: Contribution to conference › Paper
• 2008

  Simulation and Prediction in Safety Case Evidence

  Alexander, R. & Kelly, T., 2008.

  Research output: Contribution to conference › Paper

• Structuring Safety Cases for Autonomous Systems

  Alexander, R., Herbert, N. & Kelly, T., 2008.

  Research output: Contribution to conference › Paper
• 2007

  Certification of Autonomous Systems

  R Alexander, M. H-M. & Kelly, T., 2007.

  Research output: Contribution to conference › Paper

• Certification of Autonomous Systems under UK Military Safety Standards

  Alexander, R., Hall-May, M. & Kelly, T., 2007.

  Research output: Contribution to conference › Paper

• Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System

  Habli, I. & Kelly, T., 2007, p. 193-202.

  Research output: Contribution to conference › Paper › peer-review

• Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety

  Wu, W. & Kelly, T., 2007, p. 172-186.

  Research output: Contribution to conference › Paper › peer-review

• Ensuring Dependable Systems of Systems

  Kelly, T., Hall-May, M. & Alexander, R., 2007.

  Research output: Contribution to conference › Paper

• Extending Argumentation to Goal-Oriented Requirements Engineering

  Habli, I., Wu, W., Attwood, K. & Kelly, T., 2007, p. 306-316.

  Research output: Contribution to conference › Paper › peer-review

• Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems

  Mahmood, T., Kazmierczak, E., Kelly, T. & Plunkett, D., 2007, p. 175-182.

  Research output: Contribution to conference › Paper › peer-review
• 2006

  Can we Remove the Human from Hazard Analysis?

  Alexander, R. & Kelly, T., 2006.

  Research output: Contribution to conference › Paper

• Combining Simulation with Machine Learning to Build Accident Models

  Alexander, R. & Kelly, T., 2006.

  Research output: Contribution to conference › Paper

• Deviational Analyses for Validating Regulations on Real Systems

  Polack, F., Srivatanakul, T., Kelly, T., Clark, J. A., Laleau, R. & Lemoine, M., 2006.

  Research output: Contribution to conference › Paper

• Managing Architectural Design Decisions for Safety-Critical Software Systems

  Wu, W. & Kelly, T., 2006, p. 59-77.

  Research output: Contribution to conference › Paper › peer-review

• Structuring Safety Policy Decomposition

  Hall-May, M. & Kelly, T., 2006.

  Research output: Contribution to conference › Paper › peer-review

• Towards Evidence-Based Architectural Design for Safety-Critical Software Applications

  Wu, W. & Kelly, T., 2006, p. 383-408.

  Research output: Contribution to conference › Paper › peer-review

• Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems

  Hall-May, M. & Kelly, T., 2006, p. 330-343.

  Research output: Contribution to conference › Paper › peer-review
• 2005

  Defining and Decomposing Safety Policy for Systems of Systems

  Hall-May, M. & Kelly, T., 2005, p. 37-51.

  Research output: Contribution to conference › Paper › peer-review

• Establishing a Standard Business Process Execution Architecture for Integrating Web Services

  Gunasinghe, T. & Kelly, T., 2005, p. 365-372.

  Research output: Contribution to conference › Paper › peer-review

• Goal-Based Safety Standards: Opportunities and Challenges

  Kelly, T. P., McDermid, J. A. & Weaver, R. A., 2005.

  Research output: Contribution to conference › Paper › peer-review

• Towards Using Simulation to Evaluate Safety Policy for Systems of Systems

  Alexander, R., Hall-May, M., Despotou, G. & Kelly, T., 2005.

  Research output: Contribution to conference › Paper

• Using Scenarios to Identify and Trade-Off Dependability Objectives in Design

  Despotou, G., McDermid, J. A. & Kelly, T. P., 2005.

  Research output: Contribution to conference › Paper › peer-review

• 2004

  Characterisation of Systems of Systems Failures

  Alexander, R., Hall-May, M. & Kelly, T., 2004.

  Research output: Contribution to conference › Paper

• Component Failure Mitigation According to Failure Type

  Ye, F. & Kelly, T., 2004, p. 258-264.

  Research output: Contribution to conference › Paper › peer-review

• Contract-Based Justification for COTS Component within Safety Critical Applications

  Ye, F. & Kelly, T., 2004, p. 13-22.

  Research output: Contribution to conference › Paper › peer-review

• COTS Product Selection for Safety-Critical Systems

  Ye, F. & Kelly, T., 2004, p. 53-62.

  Research output: Contribution to conference › Paper › peer-review

• Extending the safety case concept to address dependability

  Despotou, G. & Kelly, T., 2004.

  Research output: Contribution to conference › Paper

• Safety Tactics for Software Architecture Design

  Wu, W. & Kelly, T., 2004, p. 368-375.

  Research output: Contribution to conference › Paper › peer-review

• Using Fuzzy Self-Organising Maps for Safety Critical Systems

  Kurd, Z. & Kelly, T., 2004, p. 17-30.

  Research output: Contribution to conference › Paper › peer-review
• 2003

  A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments

  Weaver, R., Fenn, J. & Kelly, T., 2003, p. 57-67.

  Research output: Contribution to conference › Paper › peer-review

• Establishing Safety Criteria for Artificial Neural Networks

  Kurd, Z. & Kelly, T., 2003, p. 163-169.

  Research output: Contribution to conference › Paper › peer-review

• Safety Lifecycle for Developing Safety Critical Artificial Neural Networks

  Kurd, Z. & Kelly, T., 2003, p. 77-91.

  Research output: Contribution to conference › Paper › peer-review
• 2002

  Software Safety Arguments: Towards a Systematic Categorsation of Evidence

  Weaver, R., McDermid, J. A. & Kelly, T. P., 2002.

  Research output: Contribution to conference › Paper › peer-review

• 2001

  Deriving Safety Requirements Using Scenarios

  Allenby, K. & Kelly, T., 2001, p. 228-235.

  Research output: Contribution to conference › Paper › peer-review
• 1999

  A Systematic Approach to Safety Case Maintenance

  Kelly, T. P. & McDermid, J. A., 1999, p. 13-26.

  Research output: Contribution to conference › Paper › peer-review

• Issues in the Conduct of PSSA

  Dawkins, S. K., Kelly, T. P., McDermid, J. A., Murdoch, J. & Pumfrey, D. J., 1999.

  Research output: Contribution to conference › Paper › peer-review

• 1998

  Safety Case Patterns - Reusing Successful Arguments

  Kelly, T. P. & McDermid, J. A., 1998.

  Research output: Contribution to conference › Paper › peer-review

• 1995

  Safety cases for software application reuse

  Fenelon, P., Kelly, T. P., McDermid., J. A. & Rabe, G., 1995, p. 419-436.

  Research output: Contribution to conference › Paper › peer-review