Publications
Number of publications matching the search criterion: 22
Journal article (3)
Realistic Safety Cases for the Timing of Systems (May 2014) Patrick Graydon, Iain Bate The Computer Journal (Comput. J.)
Using Argumentation to Evaluate Software Assurance Standards (Sep 2013) Patrick Graydon, Tim Kelly Information and Software Technology (IST)
Arguing Conformance (May 2012) Patrick Graydon, Ibrahim Habli , Richard Hawkins , Tim Kelly , John Knight IEEE Software 29(3), May–June 2012 (IEEE Softw.)
Conference/Workshop Paper (19)
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) -- Best Paper Award-- 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)
On the Nature and Content of Safety Contracts (Jan 2014) Patrick Graydon, Iain Bate 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)
Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling (Dec 2013) Patrick Graydon, Iain Bate 1st International Workshop on Mixed Criticality Systems (WMC 2013)
Improving Reliability of Real-Time Systems through Value and Time Voting (Dec 2013) Hüseyin Aysan, Iain Bate, Patrick Graydon, Sasikumar Punnekkat The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013)
A Perspective on Safety Argumentation: Aims, Achievements, Challenges, and Opportunities (Oct 2013) Patrick Graydon First International Workshop on Argument for Agreement and Assurance (AAA 2013)
Uncertainty and Confidence in Safety Logic (Aug 2013) Patrick Graydon 31st International System Safety Conference (ISSC'13)
The Role of Architectural Model Checking in Conducting Preliminary Safety Assessment (Aug 2013) Omar Jaradat, Patrick Graydon, Iain Bate 31st International System Safety Conference (ISSC'13)
Towards Automatic Verification of Safety Properties in AADL System Models (Aug 2013) -- Best Paper Award-- Stefan Björnander, Patrick Graydon, Rikard Land 31st International System Safety Conference (ISSC'13)
From Fault Injection to Mutant Injection: the Next Step for Safety Analysis? (Nov 2012) Guillermo Rodriguez-Navas, Patrick Graydon, Iain Bate Hardware and Software: Verification and Testing. Proc. of the 8th International Haifa Verification Conference, HVC 2012
A Method to Formally Evaluate Safety Case Arguments against a System Architecture Model (Nov 2012) Stefan Björnander, Rikard Land, Patrick Graydon, Kristina Lundqvist, Philippa Conmy 2nd edition of the IEEE Workshop on Software Certification (WoSoCER2012)
Assessing Software Interference Management When Modifying Safety-Related Software (Sep 2012) Patrick Graydon, Tim Kelly Next Generation of System Assurance Approaches for Safety-Critical Systems Workshop (Sassur'12)
Certification and Safety Cases (Aug 2010) Patrick Graydon, John Knight , Mitchell Green 28th International System Safety Conference (ISSC'10)
Practical Limits on Software Dependability (Jun 2010) Patrick Graydon, John Knight , Xiang Yin 15th International Conference on Reliable Software Technologies (Ada-Europe'10)
Software Process Synthesis in Assurance Based Development of Dependable Systems (Apr 2010) Patrick Graydon, John Knight 8th European Dependable Computing Conference (EDCC'10)
A Flexible Approach to Authorization of UAS Software (Oct 2009) Patrick Graydon, John Knight , Kimberly Wasson 28th Digital Avionics Systems Conference (DASC'09)
