Research output per year
Research output per year
Search results
-
2017
A framework for synthesis of safety justification for digitally enabled healthcare services
Despotou, G., Ryan, M., Arvanitis, T. N., Rae, A. J., White, S., Kelly, T. & Jones, R. W., 24 Apr 2017, In: DIGITAL HEALTH. 3, 20 p., 2055207617704271.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2011
Distinguishing Fact from Fiction in a System of Systems Safety Case
Stephenson, Z., Fairburn, C., Despotou, G., Kelly, T., Herbert, N. & Daughtrey, B., 2011, In: Advances in Systems Safety. p. 55-72 18 p.Research output: Contribution to journal › Article › peer-review
-
2009
Supporting through life safety assurance of COTS based upgrades
Despotou, G., Bennett, M. & Kelly, T., 2009, In: Proc peer reviewed track 27th System Safety Society (SSS) International System Safety Conference (ISSC), Huntsville AL.Research output: Contribution to journal › Article › peer-review
-
2008
Defining a framework for the development and management of dependability cases
Despotou, G., Kolovos, D., Paige, R. & Kelly, T., 2008, In: Proc. 26th International System Safety Conference, Vancouver, Canada.Research output: Contribution to journal › Article › peer-review
-
2007
An Argument-Based Approach for Assessing Design Alternatives and Facilitating Trade-offs in Critical Systems
Despotou, G. & Kelly, T., 2007, In: Journal of System Safety. 43, 2, p. 22 1 p.Research output: Contribution to journal › Article › peer-review
-
Design and development of dependability case architecture during system development
Despotou, G. & Kelly, T., 2007, In: 25th International System Safety Conference. System Safety Society.Research output: Contribution to journal › Article › peer-review
-
2005
Combining software evidence: arguments and assurance
Weaver, R., Despotou, G., Kelly, T. & McDermid, J. A., 2005, In: ACM SIGSOFT Software Engineering Notes. 30, 4, p. 1-7 7 p.Research output: Contribution to journal › Article › peer-review
-
The need for flexible requirements in dependable systems
Despotou, G. & Kelly, T., 2005, In: Proceedings of the 4th International Workshop on Requirements for High Assurance Systems (RHAS).Research output: Contribution to journal › Article › peer-review