Refinement types for specification. - Ewen Denney (PROCOMET, 1998)

Simply-typed underdeterminism. - Ewen Denney (J. Comput. Sci. Technol., 1998)

A theory of program refinement. - Ewen Denney (1999)

A Prototype Proof Translator from HOL to Coq. - Ewen Denney (TPHOLs, 2000)

An Operational Semantics of the Java Card Firewall. - Marc Éluard; Thomas P. Jensen; Ewen Denney (E-smart, 2001)

The Synthesis of a Java Card Tokenization Algorithm. - Ewen Denney (ASE, 2001)

Correctness of Java card method lookup via logical relations. - Ewen Denney; Thomas P. Jensen (Theor. Comput. Sci., 2002)

Correctness of Source-Level Safety Policies. - Ewen Denney; Bernd Fischer 002 (FME, 2003)

A Generic Software Safety Document Generator. - Ewen Denney; Ram Prasad Venkatesan (AMAST, 2004)

Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. - Ewen Denney; Bernd Fischer 002; Johann Schumann (IJCAR, 2004)

Adding Assurance to Automatically Generated Code. - Ewen Denney; Bernd Fischer 002; Johann Schumann (HASE, 2004)

Combining Model-Driven and Schema-Based Program Synthesis. - Ewen Denney; Jon Whittle 001 (Software Engineering Research and Practice, 2004)

Certifiable Program Generation. - Ewen Denney; Bernd Fischer 002 (GPCE, 2005)

Software certificate management (SoftCeMent'05). - Ewen Denney; Bernd Fischer 002; Dieter Hutter; Mark Jones (ASE, 2005)

Hiproofs: A Hierarchical Notion of Proof Tree. - Ewen Denney; John Power; Konstantinos Tourlas (MFPS, 2005)

A generic annotation inference algorithm for the safety certification of automatically generated code. - Ewen Denney; Bernd Fischer 002 (GPCE, 2006)

Extending Source Code Generators for Evidence-Based Software Certification. - Ewen Denney; Bernd Fischer 002 (ISoLA, 2006)

Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). - Ewen Denney; Bernd Fischer 002 (ASE, 2006)

An Empirical Evaluation of Automated Theorem Provers in Software Certification. - Ewen Denney; Bernd Fischer 002; Johann Schumann (Int. J. Artif. Intell. Tools, 2006)

A Tactic Language for Hiproofs. - David Aspinall 001; Ewen Denney; Christoph Lüth (AISC/MKM/Calculemus, 2008)

Explaining Verification Conditions. - Ewen Denney; Bernd Fischer 002 (AMAST, 2008)

Generating customized verifiers for automatically generated code. - Ewen Denney; Bernd Fischer 002 (GPCE, 2008)

Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. - Nurlida Basir; Ewen Denney; Bernd Fischer 002 (SAFECOMP, 2008)

Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. - Nurlida Basir; Ewen Denney; Bernd Fischer 002 (SafeCert@ETAPS, 2008)

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. - Ewen Denney; Bernd Fischer 002 (ASE, 2009)

Deriving Safety Cases for Hierarchical Structure in Model-Based Development. - Nurlida Basir; Ewen Denney; Bernd Fischer 002 (SAFECOMP, 2010)

Testing First-Order Logic Axioms in Program Verification. - Ki Yung Ahn; Ewen Denney (TAP@TOOLS, 2010)

Preface: Special Issue on Nasa Formal Methods Symposium 2009. - Ewen Denney; Dimitra Giannakopoulou; Corina S. Pasareanu (Innov. Syst. Softw. Eng., 2010)

Tactics for Hierarchical Proof. - David Aspinall 001; Ewen Denney; Christoph Lüth (Math. Comput. Sci., 2010)

Towards Measurement of Confidence in Safety Cases. - Ewen Denney; Ganesh Pai; Ibrahim Habli (ESEM, 2011)

Perspectives on software safety case development for unmanned aircraft. - Ewen Denney; Ganesh Pai; Ibrahim Habli (DSN, 2012)

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. - Ewen Denney; Ganesh Pai; Josef Pohl (ICECCS, 2012)

An Integrated Safety and Systems Engineering Methodology for Small Unmanned Aircraft Systems. - Ewen Denney; Ganesh Pai; Corey Ippolito; Ritchie Lee (Infotech@Aerospace, 2012)

Querying Proofs. - David Aspinall 001; Ewen Denney; Christoph Lüth (LPAR, 2012)

A Lightweight Methodology for Safety Case Assembly. - Ewen Denney; Ganesh Pai (SAFECOMP, 2012)

AdvoCATE: An Assurance Case Automation Toolset. - Ewen Denney; Ganesh Pai; Josef Pohl (SAFECOMP Workshops, 2012)

1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). - Ewen Denney; Ganesh Pai; Ibrahim Habli; Tim Kelly; John C. Knight (ICSE, 2013)

Evidence arguments for using formal methods in software certification. - Ewen Denney; Ganesh Pai (ISSRE (Supplemental Proceedings), 2013)

A Semantic Basis for Proof Queries and Transformations. - David Aspinall 001; Ewen Denney; Christoph Lüth (LPAR, 2013)

Hierarchical Safety Cases. - Ewen Denney; Ganesh Pai; Iain Whiteside (NASA Formal Methods, 2013)

A Formal Basis for Safety Case Patterns. - Ewen Denney; Ganesh Pai (SAFECOMP, 2013)

A framework for testing first-order logic axioms in program verification. - Ki Yung Ahn; Ewen Denney (Softw. Qual. J., 2013)

Querying Safety Cases. - Ewen Denney; Dwight Naylor; Ganesh J. Pai (SAFECOMP, 2014)

Automating the Assembly of Aviation Safety Cases. - Ewen Denney; Ganesh J. Pai (IEEE Trans. Reliab., 2014)

Formal Foundations for Hierarchical Safety Cases. - Ewen Denney; Ganesh J. Pai; Iain Whiteside (HASE, 2015)

Dynamic Safety Cases for Through-Life Safety Assurance. - Ewen Denney; Ganesh J. Pai; Ibrahim Habli (ICSE (2), 2015)

Towards a Formal Basis for Modular Safety Cases. - Ewen Denney; Ganesh J. Pai (SAFECOMP, 2015)

Composition of Safety Argument Patterns. - Ewen Denney; Ganesh J. Pai (SAFECOMP, 2016)

A programmable SDN+NFV-based architecture for UAV telemetry monitoring. - Kyle J. S. White; Ewen Denney; Matt D. Knudson; Angelos K. Marnerides; Dimitrios P. Pezaros (CCNC, 2017)

Model-Driven Development of Safety Architectures. - Ewen Denney; Ganesh Pai; Iain Whiteside (MoDELS, 2017)

Modeling the Safety Architecture of UAS Flight Operations. - Ewen Denney; Ganesh Pai; Iain Whiteside (SAFECOMP, 2017)

Tool support for assurance case development. - Ewen Denney; Ganesh Pai (Autom. Softw. Eng., 2018)

Editorial. - Ewen Denney; Perdita Stevens; Andrzej Wasowski (Formal Aspects Comput., 2018)

Towards Quantification of Assurance for Learning-Enabled Components. - Erfan Asaadi; Ewen Denney; Ganesh Pai (EDCC, 2019)

The role of safety architectures in aviation safety cases. - Ewen Denney; Ganesh Pai; Iain Whiteside (Reliab. Eng. Syst. Saf., 2019)

Hazard Contribution Modes of Machine Learning Components. - Ewen Denney; Ganesh Pai; Colin Smith (SafeAI@AAAI, 2020)

Quantifying Assurance in Learning-Enabled Systems. - Erfan Asaadi; Ewen Denney; Ganesh Pai (SAFECOMP, 2020)

Dynamic Assurance Cases: A Pathway to Trusted Autonomy. - Erfan Asaadi; Ewen Denney; Jonathan Menzies; Ganesh J. Pai; Dimo Petroff (Computer, 2020)

Guided Integration of Formal Verification in Assurance Cases. - Irfan Sljivo; Ewen Denney; Jonathan Menzies (ICFEM, 2023)

Reconciling Safety Measurement and Dynamic Assurance. - Ewen Denney; Ganesh Pai (SAFECOMP, 2024)