Ewen Denney

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

2023

Guided Integration of Formal Verification in Assurance Cases.

[BibT_eX]

[DOI]

Irfan Sljivo

Jonathan Menzies

Proceedings of the Formal Methods and Software Engineering, 2023

2020

Dynamic Assurance Cases: A Pathway to Trusted Autonomy.

[BibT_eX]

[DOI]

Computer, 2020

Quantifying Assurance in Learning-Enabled Systems.

[BibT_eX]

[DOI]

Erfan Asaadi

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

Hazard Contribution Modes of Machine Learning Components.

[BibT_eX]

[DOI]

Colin Smith

Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019

The role of safety architectures in aviation safety cases.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2019

Towards Quantification of Assurance for Learning-Enabled Components.

[BibT_eX]

[DOI]

Erfan Asaadi

Proceedings of the 15th European Dependable Computing Conference, 2019

2018

Editorial.

[BibT_eX]

[DOI]

Perdita Stevens

Andrzej Wasowski

Formal Aspects Comput., 2018

Tool support for assurance case development.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2018

2017

Modeling the Safety Architecture of UAS Flight Operations.

[BibT_eX]

[DOI]

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

Model-Driven Development of Safety Architectures.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

A programmable SDN+NFV-based architecture for UAV telemetry monitoring.

[BibT_eX]

[DOI]

Kyle J. S. White

Matt D. Knudson

Angelos K. Marnerides

Dimitrios P. Pezaros

Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017

2016

Composition of Safety Argument Patterns.

[BibT_eX]

[DOI]

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

2015

Towards a Formal Basis for Modular Safety Cases.

[BibT_eX]

[DOI]

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

Dynamic Safety Cases for Through-Life Safety Assurance.

[BibT_eX]

[DOI]

Ibrahim Habli

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Formal Foundations for Hierarchical Safety Cases.

[BibT_eX]

[DOI]

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

2014

Automating the Assembly of Aviation Safety Cases.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2014

Querying Safety Cases.

[BibT_eX]

[DOI]

Dwight Naylor

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

2013

A framework for testing first-order logic axioms in program verification.

[BibT_eX]

[DOI]

Ki Yung Ahn

Softw. Qual. J., 2013

A Formal Basis for Safety Case Patterns.

[BibT_eX]

[DOI]

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

Hierarchical Safety Cases.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2013

A Semantic Basis for Proof Queries and Transformations.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Evidence arguments for using formal methods in software certification.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

1st international workshop on assurance cases for software-intensive systems (ASSURE 2013).

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

AdvoCATE: An Assurance Case Automation Toolset.

[BibT_eX]

[DOI]

Josef Pohl

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

A Lightweight Methodology for Safety Case Assembly.

[BibT_eX]

[DOI]

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

Querying Proofs.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

An Integrated Safety and Systems Engineering Methodology for Small Unmanned Aircraft Systems.

[BibT_eX]

[DOI]

Proceedings of the Infotech@Aerospace 2012, 2012

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal.

[BibT_eX]

[DOI]

Josef Pohl

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Perspectives on software safety case development for unmanned aircraft.

[BibT_eX]

[DOI]

Ibrahim Habli

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

2011

Towards Measurement of Confidence in Safety Cases.

[BibT_eX]

[DOI]

Ibrahim Habli

Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

2010

Tactics for Hierarchical Proof.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2010

Preface: Special Issue on Nasa Formal Methods Symposium 2009.

[BibT_eX]

[DOI]

Dimitra Giannakopoulou

Corina S. Pasareanu

Innov. Syst. Softw. Eng., 2010

Testing First-Order Logic Axioms in Program Verification.

[BibT_eX]

[DOI]

Ki Yung Ahn

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Deriving Safety Cases for Hierarchical Structure in Model-Based Development.

[BibT_eX]

[DOI]

Nurlida Basir

Proceedings of the Computer Safety, 2010

2009

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

2008

Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code.

[BibT_eX]

[DOI]

Nurlida Basir

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.

[BibT_eX]

[DOI]

Nurlida Basir

Proceedings of the Computer Safety, 2008

Generating customized verifiers for automatically generated code.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2008

Explaining Verification Conditions.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2008

A Tactic Language for Hiproofs.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2006

An Empirical Evaluation of Automated Theorem Provers in Software Certification.

[BibT_eX]

[DOI]

Johann Schumann

Int. J. Artif. Intell. Tools, 2006

Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Extending Source Code Generators for Evidence-Based Software Certification.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

A generic annotation inference algorithm for the safety certification of automatically generated code.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2006

2005

Hiproofs: A Hierarchical Notion of Proof Tree.

[BibT_eX]

[DOI]

John Power

Konstantinos Tourlas

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Software certificate management (SoftCeMent'05).

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Certifiable Program Generation.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2005

2004

Combining Model-Driven and Schema-Based Program Synthesis.

[BibT_eX]

Jon Whittle

Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Adding Assurance to Automatically Generated Code.

[BibT_eX]

[DOI]

Johann Schumann

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

Using Automated Theorem Provers to Certify Auto-generated Aerospace Software.

[BibT_eX]

[DOI]

Johann Schumann

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

A Generic Software Safety Document Generator.

[BibT_eX]

[DOI]

Ram Prasad Venkatesan

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Correctness of Source-Level Safety Policies.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

2002

Correctness of Java card method lookup via logical relations.

[BibT_eX]

[DOI]

Thomas P. Jensen

Theor. Comput. Sci., 2002

2001

The Synthesis of a Java Card Tokenization Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

An Operational Semantics of the Java Card Firewall.

[BibT_eX]

[DOI]

Marc Éluard

Thomas P. Jensen

Proceedings of the Smart Card Programming and Security, 2001

2000

A Prototype Proof Translator from HOL to Coq.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

1999

A theory of program refinement.

[BibT_eX]

[DOI]

PhD thesis, 1999

1998

Simply-typed underdeterminism.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1998

Refinement types for specification.

[BibT_eX]