The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ewen Denney: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.070secs, Finished in 0.072secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002