Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases. - Patrick J. Graydon; John C. Knight; Elisabeth A. Strunk (WADS, 2006)

Assurance Based Development of Critical Systems. - Patrick J. Graydon; John C. Knight; Elisabeth A. Strunk (DSN, 2007)

Practical Limits on Software Dependability: A Case Study. - Patrick J. Graydon; John C. Knight; Xiang Yin 001 (Ada-Europe, 2010)

Software Process Synthesis in Assurance Based Development of Dependable Systems. - Patrick J. Graydon; John C. Knight (EDCC, 2010)

A New Approach to creating Clear Safety Arguments. - Richard Hawkins; Tim P. Kelly; John C. Knight; Patrick J. Graydon (SSS, 2011)

From Fault Injection to Mutant Injection: The Next Step for Safety Analysis? - Guillermo Rodríguez-Navas; Patrick J. Graydon; Iain Bate (Haifa Verification Conference, 2012)

A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model. - Stefan Björnander; Rikard Land; Patrick J. Graydon; Kristina Lundqvist; Philippa Conmy (ISSRE Workshops, 2012)

Assessing Software Interference Management When Modifying Safety-Related Software. - Patrick J. Graydon; Tim P. Kelly (SAFECOMP Workshops, 2012)

Arguing Conformance. - Patrick J. Graydon; Ibrahim Habli; Richard Hawkins; Tim Kelly; John C. Knight (IEEE Softw., 2012)

Improving Reliability of Real-Time Systems through Value and Time Voting. - Hüseyin Aysan; Iain Bate; Patrick J. Graydon; Sasikumar Punnekkat (PRDC, 2013)

Using argumentation to evaluate software assurance standards. - Patrick J. Graydon; Tim P. Kelly (Inf. Softw. Technol., 2013)

On the Nature and Content of Safety Contracts. - Patrick J. Graydon; Iain Bate (HASE, 2014)

The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward. - Patrick J. Graydon; Iain Bate (PRDC, 2014)

Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence. - Patrick John Graydon (SAFECOMP, 2014)

Realistic Safety Cases for the Timing of Systems. - Patrick J. Graydon; Iain Bate (Comput. J., 2014)

An Approach to Maintaining Safety Case Evidence After A System Change. - Omar Jaradat; Patrick J. Graydon; Iain Bate (CoRR, 2014)

Formal Assurance Arguments: A Solution in Search of a Problem? - Patrick John Graydon (DSN, 2015)

Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems. - Irfan Sljivo; Omar Jaradat; Iain Bate; Patrick J. Graydon (HASE, 2015)

The Many Conflicting Visions of 'Safety Case'. - Patrick J. Graydon (DSN Workshops, 2017)