Patrick J. Graydon

According to our database1, Patrick J. Graydon authored at least 19 papers between 2006 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
The Many Conflicting Visions of 'Safety Case'.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

2015
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

2014
An Approach to Maintaining Safety Case Evidence After A System Change.
CoRR, 2014

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

2013
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

2012
Arguing Conformance.
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

2011
A New Approach to creating Clear Safety Arguments.
Proceedings of the Advances in Systems Safety, 2011

2010
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

2007
Assurance Based Development of Critical Systems.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006
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


  Loading...