Formal Assurance Arguments: A Solution In Search of a Problem? (Jun 2015) Patrick Graydon The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems (Jan 2015) Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick Graydon 16th IEEE International Symposium on High Assurance Systems Engineering (HASE 2015)
The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward (Nov 2014) Patrick Graydon, Iain Bate The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)
Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence (Sep 2014) Patrick Graydon The 33rd International Conference on Computer Safety, Reliability and Security (SafeComp 2014)
An Approach to Maintaining Safety Case Evidence After A System Change (May 2014) Omar Jaradat, Patrick Graydon, Iain Bate 2014 Tenth European Dependable Computing Conference (EDCC 2014)
Realistic Safety Cases for the Timing of Systems (May 2014) Patrick Graydon, Iain Bate The Computer Journal
Project Title | Status |
---|---|
PROMPT - Professional Master’s in Software Engineering (step II) | finished |
SSpiia - Safety & Security in Process Industrial IT and Automation | finished |
Thesis Title | Status |
---|---|
Evaluating What Should Be Logged in a Real-Time System Using Log-Selection Strategies | finished |