Patrick J. Graydon
According to our database1, Patrick J. Graydon authored at least 19 papers between 2006 and 2017.
Legend:Book In proceedings Article PhD thesis Other
The Many Conflicting Visions of 'Safety Case'.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017
Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015
Formal Assurance Arguments: A Solution in Search of a Problem?
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015
An Approach to Maintaining Safety Case Evidence After A System Change.
Realistic Safety Cases for the Timing of Systems.
Comput. J., 2014
Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence.
Proceedings of the Computer Safety, Reliability, and Security, 2014
The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014
On the Nature and Content of Safety Contracts.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014
Using argumentation to evaluate software assurance standards.
Information & Software Technology, 2013
Improving Reliability of Real-Time Systems through Value and Time Voting.
Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013
IEEE Software, 2012
Assessing Software Interference Management When Modifying Safety-Related Software.
Proceedings of the Computer Safety, Reliability, and Security, 2012
A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012
From Fault Injection to Mutant Injection: The Next Step for Safety Analysis?
Proceedings of the Hardware and Software: Verification and Testing, 2012
A New Approach to creating Clear Safety Arguments.
Proceedings of the Advances in Systems Safety, 2011
Software Process Synthesis in Assurance Based Development of Dependable Systems.
Proceedings of the Eighth European Dependable Computing Conference, 2010
Practical Limits on Software Dependability: A Case Study.
Proceedings of the Reliable Software Technologiey, 2010
Assurance Based Development of Critical Systems.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases.
Proceedings of the Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], 2006