Ewen Denney

	2012
32		David Aspinall, Ewen Denney, Christoph Lüth: Querying Proofs. LPAR 2012: 92-106
	2011
31		Ewen Denney, Ulrik Pagh Schultz: 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
30		Ewen Denney, Ganesh Pai, Ibrahim Habli: Towards Measurement of Confidence in Safety Cases. ESEM 2011: 380-383
	2010
29		Nurlida Basir, Ewen Denney, Bernd Fischer: Deriving Safety Cases for Hierarchical Structure in Model-Based Development. SAFECOMP 2010: 68-81
28		Ki Yung Ahn, Ewen Denney: Testing First-Order Logic Axioms in Program Verification. TAP 2010: 22-37
27		Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu: Preface: Special Issue on Nasa Formal Methods Symposium 2009. ISSE 6(3): 171-172 (2010)
26		David Aspinall, Ewen Denney, Christoph Lüth: Tactics for Hierarchical Proof. Mathematics in Computer Science 3(3): 309-330 (2010)
	2009
25		Ewen Denney, Bernd Fischer: A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. ASE 2009: 560-564
24		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)
	2008
23		David Aspinall, Ewen Denney, Christoph Lüth: A Tactic Language for Hiproofs. AISC/MKM/Calculemus 2008: 339-354
22		Ewen Denney, Bernd Fischer: Explaining Verification Conditions. AMAST 2008: 145-159
21		Ewen Denney, Bernd Fischer: Generating customized verifiers for automatically generated code. GPCE 2008: 77-88
20		Nurlida Basir, Ewen Denney, Bernd Fischer: Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. SAFECOMP 2008: 249-262
	2006
19		Ewen Denney, Bernd Fischer: Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). ASE 2006: 265-268
18		Ewen Denney, Bernd Fischer: A generic annotation inference algorithm for the safety certification of automatically generated code. GPCE 2006: 121-130
17		Ewen Denney, Bernd Fischer: Extending Source Code Generators for Evidence-Based Software Certification. ISoLA 2006: 138-145
16		Ewen Denney, John Power, Konstantinos Tourlas: Hiproofs: A Hierarchical Notion of Proof Tree. Electr. Notes Theor. Comput. Sci. 155: 341-359 (2006)
15		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
14		Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones: Software certificate management (SoftCeMent'05). ASE 2005: 463
13		Ewen Denney, Bernd Fischer: Certifiable Program Generation. GPCE 2005: 17-28
	2004
12		Ewen Denney, Ram Prasad Venkatesan: A Generic Software Safety Document Generator. AMAST 2004: 102-116
11		Ewen Denney, Bernd Fischer, Johann Schumann: Adding Assurance to Automatically Generated Code. HASE 2004: 297-299
10		Ewen Denney, Bernd Fischer, Johann Schumann: Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. IJCAR 2004: 198-212
9		Ewen Denney, Jon Whittle: Combining Model-Driven and Schema-Based Program Synthesis. Software Engineering Research and Practice 2004: 207-211
	2003
8		Ewen Denney, Bernd Fischer: Correctness of Source-Level Safety Policies. FME 2003: 894-913
	2002
7		Ewen Denney, Thomas P. Jensen: Correctness of Java card method lookup via logical relations. Theor. Comput. Sci. 283(2): 305-331 (2002)
	2001
6		Ewen Denney: The Synthesis of a Java Card Tokenization Algorithm. ASE 2001: 43-50
5		Marc Éluard, Thomas P. Jensen, Ewen Denney: An Operational Semantics of the Java Card Firewall. E-smart 2001: 95-110
	2000
4		Ewen Denney, Thomas P. Jensen: Correctness of Java Card Method Lookup via Logical Relations. ESOP 2000: 104-118
3		Ewen Denney: A Prototype Proof Translator from HOL to Coq. TPHOLs 2000: 108-125
	1998
2		Ewen Denney: Refinement types for specification. PROCOMET 1998: 148-166
1		Ewen Denney: Simply-typed underdeterminism. J. Comput. Sci. Technol. 13(6): 491-508 (1998)

Coauthor Index

1	Ki Yung Ahn	[28]
2	David Aspinall	[23] [26] [32]
3	Nurlida Basir	[20] [24] [29]
4	Marc Éluard	[5]
5	Bernd Fischer	[8] [10] [11] [13] [14] [15] [17] [18] [19] [20] [21] [22] [24] [25] [29]
6	Dimitra Giannakopoulou	[27]
7	Ibrahim Habli	[30]
8	Dieter Hutter	[14]
9	Thomas P. Jensen	[4] [5] [7]
10	Mark Jones	[14]
11	Christoph Lüth	[23] [26] [32]
12	Ganesh Pai	[30]
13	Corina S. Pasareanu	[27]
14	John Power (A. John Power)	[16]
15	Ulrik Pagh Schultz	[31]
16	Johann Schumann	[10] [11] [15]
17	Konstantinos Tourlas	[16]
18	Ram Prasad Venkatesan	[12]
19	Jon Whittle (Jonathan Whittle)	[9]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page