BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × Germany
1 × Ireland
1 × Japan
1 × New Zealand
1 × Spain
2 × Italy
4 × USA
Collaborated with:
B.Fischer K.Y.Ahn ∅ T.P.Jensen G.J.Pai I.Habli J.Schumann G.Pai I.Whiteside
Talks about:
generat (7) safeti (6) automat (3) code (3) algorithm (2) softwar (2) program (2) correct (2) certifi (2) driven (2)

♂ Person: Ewen Denney

DBLP DBLP: Denney:Ewen

Facilitated 9 volumes:

ASE 2013Ed
ASE 2013GCh
ASE 2012DemoTrackCh
ASE 2012ExpertReviewPa
ASE 2012PrBoard
ASE 2012ToCh
ASE 2011PrCo
GPCE 2011Ed
ASE 2010PrCo

Contributed to:

ICSE 20152015
TAP 20102010
ASE 20092009
GPCE 20082008
ASE 20062006
GPCE 20062006
GPCE 20052005
IJCAR 20042004
FME 20032003
ASE 20012001
ESOP 20002000
MoDELS 20172017

Wrote 12 papers:

ICSE-v2-2015-DenneyPH #assurance #safety
Dynamic Safety Cases for Through-Life Safety Assurance (ED, GJP, IH), pp. 587–590.
TAP-2010-AhnD #axiom #first-order #logic #testing #verification
Testing First-Order Logic Axioms in Program Verification (KYA, ED), pp. 22–37.
ASE-2009-DenneyF #approach #documentation #traceability
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software (ED, BF), pp. 560–564.
GPCE-2008-DenneyF #automation #generative #verification
Generating customized verifiers for automatically generated code (ED, BF), pp. 77–88.
ASE-2006-DenneyF #automation #certification #safety
Annotation Inference for Safety Certification of Automatically Generated Code (ED, BF), pp. 265–268.
GPCE-2006-DenneyF #algorithm #automation #certification #safety
A generic annotation inference algorithm for the safety certification of automatically generated code (ED, BF), pp. 121–130.
GPCE-2005-DenneyF #generative
Certifiable Program Generation (ED, BF), pp. 17–28.
IJCAR-2004-DenneyFS #automation #proving #theorem proving #using
Using Automated Theorem Provers to Certify Auto-generated Aerospace Software (ED, BF, JS), pp. 198–212.
FME-2003-DenneyF #correctness #policy #safety
Correctness of Source-Level Safety Policies (ED, BF), pp. 894–913.
ASE-2001-Denney #algorithm #java #synthesis
The Synthesis of a Java Card Tokenization Algorithm (ED), pp. 43–50.
ESOP-2000-DenneyJ #correctness #java #logic
Correctness of Java Card Method Lookup via Logical Relations (ED, TPJ), pp. 104–118.
MoDELS-2017-DenneyPW #architecture #development #modelling #safety
Model-Driven Development of Safety Architectures (ED, GP, IW), pp. 156–166.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.