| 2008 |
|---|
| 21 | EE | David Aspinall,
Ewen Denney,
Christoph Lüth:
A Tactic Language for Hiproofs.
AISC/MKM/Calculemus 2008: 339-354 |
| 20 | EE | Ewen Denney,
Bernd Fischer:
Explaining Verification Conditions.
AMAST 2008: 145-159 |
| 19 | EE | Ewen Denney,
Bernd Fischer:
Generating customized verifiers for automatically generated code.
GPCE 2008: 77-88 |
| 18 | EE | Nurlida Basir,
Ewen Denney,
Bernd Fischer:
Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.
SAFECOMP 2008: 249-262 |
| 2006 |
|---|
| 17 | EE | Ewen Denney,
Bernd Fischer:
Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).
ASE 2006: 265-268 |
| 16 | EE | Ewen Denney,
Bernd Fischer:
A generic annotation inference algorithm for the safety certification of automatically generated code.
GPCE 2006: 121-130 |
| 15 | EE | Ewen Denney,
John Power,
Konstantinos Tourlas:
Hiproofs: A Hierarchical Notion of Proof Tree.
Electr. Notes Theor. Comput. Sci. 155: 341-359 (2006) |
| 14 | EE | 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) |
| 2005 |
|---|
| 13 | EE | Ewen Denney,
Bernd Fischer,
Dieter Hutter,
Mark Jones:
Software certificate management (SoftCeMent'05).
ASE 2005: 463 |
| 12 | EE | Ewen Denney,
Bernd Fischer:
Certifiable Program Generation.
GPCE 2005: 17-28 |
| 2004 |
|---|
| 11 | EE | Ewen Denney,
Ram Prasad Venkatesan:
A Generic Software Safety Document Generator.
AMAST 2004: 102-116 |
| 10 | EE | Ewen Denney,
Bernd Fischer,
Johann Schumann:
Adding Assurance to Automatically Generated Code.
HASE 2004: 297-299 |
| 9 | EE | Ewen Denney,
Bernd Fischer,
Johann Schumann:
Using Automated Theorem Provers to Certify Auto-generated Aerospace Software.
IJCAR 2004: 198-212 |
| 8 | | Ewen Denney,
Jon Whittle:
Combining Model-Driven and Schema-Based Program Synthesis.
Software Engineering Research and Practice 2004: 207-211 |
| 2003 |
|---|
| 7 | EE | Ewen Denney,
Bernd Fischer:
Correctness of Source-Level Safety Policies.
FME 2003: 894-913 |
| 2002 |
|---|
| 6 | EE | Ewen Denney,
Thomas P. Jensen:
Correctness of Java card method lookup via logical relations.
Theor. Comput. Sci. 283(2): 305-331 (2002) |
| 2001 |
|---|
| 5 | EE | Ewen Denney:
The Synthesis of a Java Card Tokenization Algorithm.
ASE 2001: 43-50 |
| 4 | EE | Marc Éluard,
Thomas P. Jensen,
Ewen Denney:
An Operational Semantics of the Java Card Firewall.
E-smart 2001: 95-110 |
| 2000 |
|---|
| 3 | EE | Ewen Denney,
Thomas P. Jensen:
Correctness of Java Card Method Lookup via Logical Relations.
ESOP 2000: 104-118 |
| 2 | | Ewen Denney:
A Prototype Proof Translator from HOL to Coq.
TPHOLs 2000: 108-125 |
| 1998 |
|---|
| 1 | | Ewen Denney:
Refinement types for specification.
PROCOMET 1998: 148-166 |
