Ewen Denney

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 17

Top Venues

SAFECOMP

CoRR

MoDELS

Computer

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Erfan Asaadi, Ewen Denney, Ganesh Pai
Towards Quantification of Assurance for Learning-enabled Components. CoRR (2023)
Irfan Sljivo, Ewen Denney, Jonathan Menzies
Guided Integration of Formal Verification in Assurance Cases. ICFEM (2023)
Erfan Asaadi, Ewen Denney, Ganesh Pai
Quantifying Assurance in Learning-Enabled Systems. SAFECOMP (2020)
Erfan Asaadi, Ewen Denney, Jonathan Menzies, Ganesh J. Pai, Dimo Petroff
Dynamic Assurance Cases: A Pathway to Trusted Autonomy. Computer 53 (12) (2020)
Erfan Asaadi, Ewen Denney, Ganesh Pai
Quantifying Assurance in Learning-enabled Systems. CoRR (2020)
Ewen Denney, Ganesh Pai, Colin Smith
Hazard Contribution Modes of Machine Learning Components. SafeAI@AAAI (2020)
Erfan Asaadi, Ewen Denney, Ganesh Pai
Towards Quantification of Assurance for Learning-Enabled Components. EDCC (2019)
Ewen Denney, Ganesh Pai, Iain Whiteside
The role of safety architectures in aviation safety cases. Reliab. Eng. Syst. Saf. 191 (2019)
Ewen Denney, Ganesh Pai
Tool support for assurance case development. Autom. Softw. Eng. 25 (3) (2018)
Ewen Denney, Perdita Stevens, Andrzej Wasowski
Editorial. Formal Aspects Comput. 30 (1) (2018)
Ewen Denney, Ganesh Pai, Iain Whiteside
Modeling the Safety Architecture of UAS Flight Operations. SAFECOMP (2017)
Ewen Denney, Ganesh Pai, Iain Whiteside
Model-Driven Development of Safety Architectures. MoDELS (2017)
Kyle J. S. White, Ewen Denney, Matt D. Knudson, Angelos K. Marnerides, Dimitrios P. Pezaros
A programmable SDN+NFV-based architecture for UAV telemetry monitoring. CCNC (2017)
Ewen Denney, Ganesh J. Pai
Composition of Safety Argument Patterns. SAFECOMP (2016)
Ewen Denney, Ganesh J. Pai
Towards a Formal Basis for Modular Safety Cases. SAFECOMP (2015)
Ewen Denney, Ganesh J. Pai, Iain Whiteside
Formal Foundations for Hierarchical Safety Cases. HASE (2015)
Ewen Denney, Ganesh J. Pai, Ibrahim Habli
Dynamic Safety Cases for Through-Life Safety Assurance. ICSE (2) (2015)
Ewen Denney, Dwight Naylor, Ganesh J. Pai
Querying Safety Cases. SAFECOMP (2014)
Ewen Denney, Ganesh J. Pai
Automating the Assembly of Aviation Safety Cases. IEEE Trans. Reliab. 63 (4) (2014)
David Aspinall, Ewen Denney, Christoph Lüth
A Semantic Basis for Proof Queries and Transformations. LPAR (2013)
Ki Yung Ahn, Ewen Denney
A framework for testing first-order logic axioms in program verification. Softw. Qual. J. 21 (1) (2013)
Ewen Denney, Ganesh Pai
Evidence arguments for using formal methods in software certification. ISSRE (Supplemental Proceedings) (2013)
Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight
1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). ICSE (2013)
Ewen Denney, Ganesh Pai
A Formal Basis for Safety Case Patterns. SAFECOMP (2013)
Ewen Denney, Ganesh Pai, Iain Whiteside
Hierarchical Safety Cases. NASA Formal Methods (2013)
Ewen Denney, Ganesh Pai
A Lightweight Methodology for Safety Case Assembly. SAFECOMP (2012)
Ewen Denney, Ganesh Pai, Ibrahim Habli
Perspectives on software safety case development for unmanned aircraft. DSN (2012)
Ewen Denney, Ganesh Pai, Corey Ippolito, Ritchie Lee
An Integrated Safety and Systems Engineering Methodology for Small Unmanned Aircraft Systems. Infotech@Aerospace (2012)
Ewen Denney, Ganesh Pai, Josef Pohl
AdvoCATE: An Assurance Case Automation Toolset. SAFECOMP Workshops (2012)
Ewen Denney, Ganesh Pai, Josef Pohl
Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. ICECCS (2012)
David Aspinall, Ewen Denney, Christoph Lüth
Querying Proofs. LPAR (2012)
Ewen Denney, Ganesh Pai, Ibrahim Habli
Towards Measurement of Confidence in Safety Cases. ESEM (2011)
Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu
Preface: Special Issue on Nasa Formal Methods Symposium 2009. Innov. Syst. Softw. Eng. 6 (3) (2010)
David Aspinall, Ewen Denney, Christoph Lüth
Tactics for Hierarchical Proof. Math. Comput. Sci. 3 (3) (2010)
Ki Yung Ahn, Ewen Denney
Testing First-Order Logic Axioms in Program Verification. TAP@TOOLS (2010)
Nurlida Basir, Ewen Denney, Bernd Fischer
Deriving Safety Cases for Hierarchical Structure in Model-Based Development. SAFECOMP (2010)
Nurlida Basir, Ewen Denney, Bernd Fischer
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Ewen Denney, Bernd Fischer
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. ASE (2009)
Nurlida Basir, Ewen Denney, Bernd Fischer
Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. SAFECOMP (2008)
Ewen Denney, Bernd Fischer
Generating customized verifiers for automatically generated code. GPCE (2008)
David Aspinall, Ewen Denney, Christoph Lüth
A Tactic Language for Hiproofs. AISC/MKM/Calculemus (2008)
Ewen Denney, Bernd Fischer
Explaining Verification Conditions. AMAST (2008)
Ewen Denney, Bernd Fischer
A generic annotation inference algorithm for the safety certification of automatically generated code. GPCE (2006)
Ewen Denney, Bernd Fischer
Extending Source Code Generators for Evidence-Based Software Certification. ISoLA (2006)
Ewen Denney, Bernd Fischer
Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). ASE (2006)
Ewen Denney, Bernd Fischer, Johann Schumann
An Empirical Evaluation of Automated Theorem Provers in Software Certification. Int. J. Artif. Intell. Tools 15 (1) (2006)
Ewen Denney, Bernd Fischer
Certifiable Program Generation. GPCE (2005)
Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones
Software certificate management (SoftCeMent'05). ASE (2005)
Ewen Denney, John Power, Konstantinos Tourlas
Hiproofs: A Hierarchical Notion of Proof Tree. MFPS (2005)
Ewen Denney, Bernd Fischer, Johann Schumann
Adding Assurance to Automatically Generated Code. HASE (2004)
Ewen Denney, Jon Whittle
Combining Model-Driven and Schema-Based Program Synthesis. Software Engineering Research and Practice (2004)
Ewen Denney, Ram Prasad Venkatesan
A Generic Software Safety Document Generator. AMAST (2004)
Ewen Denney, Bernd Fischer, Johann Schumann
Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. IJCAR (2004)
Ewen Denney, Bernd Fischer
Correctness of Source-Level Safety Policies. FME (2003)
Ewen Denney, Thomas P. Jensen
Correctness of Java card method lookup via logical relations. Theor. Comput. Sci. 283 (2) (2002)
Marc Éluard, Thomas P. Jensen, Ewen Denney
An Operational Semantics of the Java Card Firewall. E-smart (2001)
Ewen Denney
The Synthesis of a Java Card Tokenization Algorithm. ASE (2001)
Ewen Denney
A Prototype Proof Translator from HOL to Coq. TPHOLs (2000)
Ewen Denney, Thomas P. Jensen
Correctness of Java Card Method Lookup via Logical Relations. ESOP (2000)
Ewen Denney
Refinement types for specification. PROCOMET (1998)
Ewen Denney
Simply-typed underdeterminism. J. Comput. Sci. Technol. 13 (6) (1998)

Ewen Denney.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ewen Denney