Patrick J. Graydon

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.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Formal Assurance Arguments: A Solution in Search of a Problem?

[BibT_eX]

[DOI]

Patrick John Graydon

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.

[BibT_eX]

[DOI]

Omar Jaradat

CoRR, 2014

Realistic Safety Cases for the Timing of Systems.

[BibT_eX]

[DOI]

Comput. J., 2014

Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence.

[BibT_eX]

[DOI]

Patrick John Graydon

Proceedings of the Computer Safety, Reliability, and Security, 2014

The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

On the Nature and Content of Safety Contracts.

[BibT_eX]

[DOI]

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

Using argumentation to evaluate software assurance standards.

[BibT_eX]

[DOI]

Tim P. Kelly

Inf. Softw. Technol., 2013

Improving Reliability of Real-Time Systems through Value and Time Voting.

[BibT_eX]

[DOI]

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

2012

Arguing Conformance.

[BibT_eX]

[DOI]

IEEE Softw., 2012

Assessing Software Interference Management When Modifying Safety-Related Software.

[BibT_eX]

[DOI]

Guillermo Rodríguez-Navas

Tim P. Kelly

Proceedings of the Computer Safety, Reliability, and Security, 2012

A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model.

[BibT_eX]

[DOI]

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?

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2012

2011

A New Approach to creating Clear Safety Arguments.

[BibT_eX]

[DOI]

Proceedings of the Advances in Systems Safety, 2011

2010

Software Process Synthesis in Assurance Based Development of Dependable Systems.

[BibT_eX]

[DOI]

Proceedings of the Eighth European Dependable Computing Conference, 2010

Practical Limits on Software Dependability: A Case Study.

[BibT_eX]

[DOI]

Xiang Yin

Proceedings of the Reliable Software Technologiey, 2010

2007

Assurance Based Development of Critical Systems.

[BibT_eX]

[DOI]

Elisabeth A. Strunk

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.

[BibT_eX]

[DOI]