Patrick J. Graydon

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 1

Top Topics

Safety Analysis

Real Time Databases

Regulatory Requirements

Software Package

Top Venues

Inf. Softw. Technol.

Publications

Patrick J. Graydon
The Many Conflicting Visions of 'Safety Case'. DSN Workshops (2017)
Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick J. Graydon
Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems. HASE (2015)
Patrick J. Graydon, Iain Bate
Realistic Safety Cases for the Timing of Systems. Comput. J. 57 (5) (2014)
Patrick J. Graydon, Iain Bate
The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward. PRDC (2014)
Patrick J. Graydon, Iain Bate
On the Nature and Content of Safety Contracts. HASE (2014)
Omar Jaradat, Patrick J. Graydon, Iain Bate
An Approach to Maintaining Safety Case Evidence After A System Change. CoRR (2014)
Hüseyin Aysan, Iain Bate, Patrick J. Graydon, Sasikumar Punnekkat
Improving Reliability of Real-Time Systems through Value and Time Voting. PRDC (2013)
Patrick J. Graydon, Tim P. Kelly
Using argumentation to evaluate software assurance standards. Inf. Softw. Technol. 55 (9) (2013)
Guillermo Rodríguez-Navas, Patrick J. Graydon, Iain Bate
From Fault Injection to Mutant Injection: The Next Step for Safety Analysis? Haifa Verification Conference (2012)
Stefan Björnander, Rikard Land, Patrick J. Graydon, Kristina Lundqvist, Philippa Conmy
A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model. ISSRE Workshops (2012)
Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight
Arguing Conformance. IEEE Softw. 29 (3) (2012)
Patrick J. Graydon, Tim P. Kelly
Assessing Software Interference Management When Modifying Safety-Related Software. SAFECOMP Workshops (2012)
Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon
A New Approach to creating Clear Safety Arguments. SSS (2011)
Patrick J. Graydon, John C. Knight, Xiang Yin
Practical Limits on Software Dependability: A Case Study. Ada-Europe (2010)
Patrick J. Graydon, John C. Knight
Software Process Synthesis in Assurance Based Development of Dependable Systems. EDCC (2010)
Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk
Assurance Based Development of Critical Systems. DSN (2007)
Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases. WADS (2006)