Ewen Denney

Ki Yung Ahn, Ewen Denney: A framework for testing first-order logic axioms in program verification. Software Quality Journal 21(1): 159-200 (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: 1505-1506

Ewen Denney, Ganesh Pai, Iain Whiteside: Hierarchical Safety Cases. NASA Formal Methods 2013: 478-483

Ewen Denney, Ganesh Pai, Ibrahim Habli: Perspectives on software safety case development for unmanned aircraft. DSN 2012: 1-8

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

David Aspinall, Ewen Denney, Christoph Lüth: Querying Proofs. LPAR 2012: 92-106

Ewen Denney, Ganesh Pai: A Lightweight Methodology for Safety Case Assembly. SAFECOMP 2012: 1-12

Ewen Denney, Ganesh Pai, Josef Pohl: AdvoCATE: An Assurance Case Automation Toolset. SAFECOMP Workshops 2012: 8-21

Ewen Denney, Ganesh Pai, Ibrahim Habli: Towards Measurement of Confidence in Safety Cases. ESEM 2011: 380-383

Ewen Denney, Ulrik Pagh Schultz (Eds.): Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011. ACM 2011, isbn 978-1-4503-0689-8

Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu: Preface: Special Issue on Nasa Formal Methods Symposium 2009. ISSE 6(3): 171-172 (2010)

David Aspinall, Ewen Denney, Christoph Lüth: Tactics for Hierarchical Proof. Mathematics in Computer Science 3(3): 309-330 (2010)

Nurlida Basir, Ewen Denney, Bernd Fischer: Deriving Safety Cases for Hierarchical Structure in Model-Based Development. SAFECOMP 2010: 68-81

Ki Yung Ahn, Ewen Denney: Testing First-Order Logic Axioms in Program Verification. TAP 2010: 22-37

Nurlida Basir, Ewen Denney, Bernd Fischer: Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. Electr. Notes Theor. Comput. Sci. 238(4): 19-26 (2009)

Ewen Denney, Bernd Fischer: A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. ASE 2009: 560-564

Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu (Eds.): First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. NASA Conference Proceedings NASA/CP-2009-215407, 2009

David Aspinall, Ewen Denney, Christoph Lüth: A Tactic Language for Hiproofs. AISC/MKM/Calculemus 2008: 339-354

Ewen Denney, Bernd Fischer: Explaining Verification Conditions. AMAST 2008: 145-159

Ewen Denney, Bernd Fischer: Generating customized verifiers for automatically generated code. GPCE 2008: 77-88

Nurlida Basir, Ewen Denney, Bernd Fischer: Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. SAFECOMP 2008: 249-262

Ewen Denney, John Power, Konstantinos Tourlas: Hiproofs: A Hierarchical Notion of Proof Tree. Electr. Notes Theor. Comput. Sci. 155: 341-359 (2006)

Ewen Denney, Bernd Fischer, Johann Schumann: An Empirical Evaluation of Automated Theorem Provers in Software Certification. International Journal on Artificial Intelligence Tools 15(1): 81-108 (2006)

Ewen Denney, Bernd Fischer: A generic annotation inference algorithm for the safety certification of automatically generated code. GPCE 2006: 121-130

Ewen Denney, Bernd Fischer: Extending Source Code Generators for Evidence-Based Software Certification. ISoLA 2006: 138-145

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

Ewen Denney, Bernd Fischer: Certifiable Program Generation. GPCE 2005: 17-28

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

Ewen Denney, Ram Prasad Venkatesan: A Generic Software Safety Document Generator. AMAST 2004: 102-116

Ewen Denney, Bernd Fischer, Johann Schumann: Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. IJCAR 2004: 198-212

Ewen Denney, Bernd Fischer, Johann Schumann: Adding Assurance to Automatically Generated Code. HASE 2004: 297-299

Ewen Denney, Jon Whittle: Combining Model-Driven and Schema-Based Program Synthesis. Software Engineering Research and Practice 2004: 207-211

Ewen Denney, Bernd Fischer: Correctness of Source-Level Safety Policies. FME 2003: 894-913

Ewen Denney, Thomas P. Jensen: Correctness of Java card method lookup via logical relations. Theor. Comput. Sci. 283(2): 305-331 (2002)

Marc Éluard, Thomas P. Jensen, Ewen Denney: An Operational Semantics of the Java Card Firewall. E-smart 2001: 95-110

Ewen Denney: The Synthesis of a Java Card Tokenization Algorithm. ASE 2001: 43-50

Ewen Denney, Thomas P. Jensen: Correctness of Java Card Method Lookup via Logical Relations. ESOP 2000: 104-118

Ewen Denney: A Prototype Proof Translator from HOL to Coq. TPHOLs 2000: 108-125

Ewen Denney: Simply-typed underdeterminism. J. Comput. Sci. Technol. 13(6): 491-508 (1998)

Ewen Denney: Refinement types for specification. PROCOMET 1998: 148-166