Patrick J. Graydon

17 papers A 1B 1C 3Misc 2Journal 4Unranked 6

Year	Rank	Type	Title / 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