Patrick J. Graydon

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