| 2024 | SAFECOMP | Reconciling Safety Measurement and Dynamic Assurance. | Ewen Denney, Ganesh Pai |
| 2023 | ICFEM | Guided Integration of Formal Verification in Assurance Cases. | Irfan Sljivo, Ewen Denney, Jonathan Menzies |
| 2020 | AAAI | Hazard Contribution Modes of Machine Learning Components. | Ewen Denney, Ganesh Pai, Colin Smith |
| 2020 | SAFECOMP | Quantifying Assurance in Learning-Enabled Systems. | Erfan Asaadi, Ewen Denney, Ganesh Pai |
| 2019 | EDCC | Towards Quantification of Assurance for Learning-Enabled Components. | Erfan Asaadi, Ewen Denney, Ganesh Pai |
| 2017 | MODELS | Model-Driven Development of Safety Architectures. | Ewen Denney, Ganesh Pai, Iain Whiteside |
| 2017 | SAFECOMP | Modeling the Safety Architecture of UAS Flight Operations. | Ewen Denney, Ganesh Pai, Iain Whiteside |
| 2016 | SAFECOMP | Composition of Safety Argument Patterns. | Ewen Denney, Ganesh J. Pai |
| 2015 | ICSE | Dynamic Safety Cases for Through-Life Safety Assurance. | Ewen Denney, Ganesh J. Pai, Ibrahim Habli |
| 2015 | SAFECOMP | Towards a Formal Basis for Modular Safety Cases. | Ewen Denney, Ganesh J. Pai |
| 2014 | SAFECOMP | Querying Safety Cases. | Ewen Denney, Dwight Naylor, Ganesh J. Pai |
| 2013 | ICSE | 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). | Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight |
| 2013 | ISSRE | Evidence arguments for using formal methods in software certification. | Ewen Denney, Ganesh Pai |
| 2013 | LPAR | A Semantic Basis for Proof Queries and Transformations. | David Aspinall, Ewen Denney, Christoph Lth |
| 2013 | SAFECOMP | A Formal Basis for Safety Case Patterns. | Ewen Denney, Ganesh Pai |
| 2012 | DSN | Perspectives on software safety case development for unmanned aircraft. | Ewen Denney, Ganesh Pai, Ibrahim Habli |
| 2012 | ICECCS | Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. | Ewen Denney, Ganesh Pai, Josef Pohl |
| 2012 | LPAR | Querying Proofs. | David Aspinall, Ewen Denney, Christoph Lth |
| 2012 | SAFECOMP | A Lightweight Methodology for Safety Case Assembly. | Ewen Denney, Ganesh Pai |
| 2012 | SAFECOMP | AdvoCATE: An Assurance Case Automation Toolset. | Ewen Denney, Ganesh Pai, Josef Pohl |
| 2011 | ESEM | Towards Measurement of Confidence in Safety Cases. | Ewen Denney, Ganesh Pai, Ibrahim Habli |
| 2010 | SAFECOMP | Deriving Safety Cases for Hierarchical Structure in Model-Based Development. | Nurlida Basir, Ewen Denney, Bernd Fischer |
| 2010 | TAP | Testing First-Order Logic Axioms in Program Verification. | Ki Yung Ahn, Ewen Denney |
| 2008 | AISC | A Tactic Language for Hiproofs. | David Aspinall, Ewen Denney, Christoph Lth |
| 2008 | GPCE | Generating customized verifiers for automatically generated code. | Ewen Denney, Bernd Fischer |
| 2008 | SAFECOMP | Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. | Nurlida Basir, Ewen Denney, Bernd Fischer |
| 2006 | GPCE | A generic annotation inference algorithm for the safety certification of automatically generated code. | Ewen Denney, Bernd Fischer |
| 2006 | ISoLA | Extending Source Code Generators for Evidence-Based Software Certification. | Ewen Denney, Bernd Fischer |
| 2005 | GPCE | Certifiable Program Generation. | Ewen Denney, Bernd Fischer |
| 2004 | CADE | Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. | Ewen Denney, Bernd Fischer, Johann Schumann |
| 2003 | FM | Correctness of Source-Level Safety Policies. | Ewen Denney, Bernd Fischer |
| 2000 | ESOP | Correctness of Java Card Method Lookup via Logical Relations. | Ewen Denney, Thomas P. Jensen |