Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Tim Kelly

Evolving Robust Networks for Systems-Of-Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Isabelle/Sacm: Computer-Assisted Assurance Cases With Integrated Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Framework for Synthesis of Safety Justification for Digitally Enabled Healthcare Services

Digital Health
Health Information ManagementHealth PolicyComputer Science ApplicationsHealth Informatics
2017English

Safe Multi-Objective Planning With a Posteriori Preferences

2016English

Establishing a Framework for Dynamic Risk Management in ‘Intelligent’ Aero-Engine Control

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

System of Systems Hazard Analysis Using Simulation and Machine Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy