Search the dblp DataBase

Publications of Author

1. Ewen Denney, Ram Prasad Venkatesan
   A Generic Software Safety Document Generator. [Citation Graph (0, 0)][DBLP]
   AMAST, 2004, pp:102-116 [Conf]
   
2. Ewen Denney, Bernd Fischer, Johann Schumann
   Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2004, pp:198-212 [Conf]
   
3. Marc Éluard, Thomas P. Jensen, Ewen Denney
   An Operational Semantics of the Java Card Firewall. [Citation Graph (0, 0)][DBLP]
   E-smart, 2001, pp:95-110 [Conf]
   
4. Ewen Denney, Thomas P. Jensen
   Correctness of Java Card Method Lookup via Logical Relations. [Citation Graph (0, 0)][DBLP]
   ESOP, 2000, pp:104-118 [Conf]
   
5. Ewen Denney, Bernd Fischer
   Correctness of Source-Level Safety Policies. [Citation Graph (0, 0)][DBLP]
   FME, 2003, pp:894-913 [Conf]
   
6. Ewen Denney, Bernd Fischer
   Certifiable Program Generation. [Citation Graph (0, 0)][DBLP]
   GPCE, 2005, pp:17-28 [Conf]
   
7. Ewen Denney, Bernd Fischer
   A generic annotation inference algorithm for the safety certification of automatically generated code. [Citation Graph (0, 0)][DBLP]
   GPCE, 2006, pp:121-130 [Conf]
   
8. Ewen Denney, Bernd Fischer, Johann Schumann
   Adding Assurance to Automatically Generated Code. [Citation Graph (0, 0)][DBLP]
   HASE, 2004, pp:297-299 [Conf]
   
9. Ewen Denney
   The Synthesis of a Java Card Tokenization Algorithm. [Citation Graph (0, 0)][DBLP]
   ASE, 2001, pp:43-50 [Conf]
   
10. Ewen Denney, Bernd Fischer
    Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:265-268 [Conf]
    
11. Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones
    Software certificate management (SoftCeMent'05). [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:463- [Conf]
    
12. Ewen Denney
    Refinement types for specification. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:148-166 [Conf]
    
13. Ewen Denney, Jon Whittle
    Combining Model-Driven and Schema-Based Program Synthesis. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2004, pp:207-211 [Conf]
    
14. Ewen Denney
    A Prototype Proof Translator from HOL to Coq. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:108-125 [Conf]
    
15. Ewen Denney, John Power, Konstantinos Tourlas
    Hiproofs: A Hierarchical Notion of Proof Tree. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:341-359 [Journal]
    
16. Ewen Denney, Bernd Fischer, Johann Schumann
    An Empirical Evaluation of Automated Theorem Provers in Software Certification. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:81-108 [Journal]
    
17. Ewen Denney, Thomas P. Jensen
    Correctness of Java card method lookup via logical relations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:283, n:2, pp:305-331 [Journal]
    
18. 
    A Tactic Language for Hiproofs. [Citation Graph (, )][DBLP]
    
    
19. 
    Explaining Verification Conditions. [Citation Graph (, )][DBLP]
    
    
20. 
    Generating customized verifiers for automatically generated code. [Citation Graph (, )][DBLP]
    
    
21. 
    Extending Source Code Generators for Evidence-Based Software Certification. [Citation Graph (, )][DBLP]
    
    
22. 
    A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. [Citation Graph (, )][DBLP]
    
    
23. 
    Deriving Safety Cases for Hierarchical Structure in Model-Based Development. [Citation Graph (, )][DBLP]
    
    
24. 
    Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. [Citation Graph (, )][DBLP]
    
    
25. 
    Testing First-Order Logic Axioms in Program Verification. [Citation Graph (, )][DBLP]
    
    
26. 
    Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. [Citation Graph (, )][DBLP]