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 × Canada
1 × Spain
1 × USA
Collaborated with:
S.Staiger G.Vogel E.Wiebe
Talks about:
static (3) race (2) interprocedur (1) version (1) softwar (1) control (1) automot (1) analysi (1) global (1) detect (1)

Person: Steffen Keul

DBLP DBLP: Keul:Steffen

Contributed to:

SCAM 20112011
Ada-Europe 20102010
WCRE 20072007

Wrote 3 papers:

SCAM-2011-Keul #analysis
Tuning Static Data Race Analysis for Automotive Control Software (SK), pp. 45–54.
AdaEurope-2010-Keul #detection #version control
Static Versioning of Global State for Race Condition Detection (SK), pp. 111–124.
WCRE-2007-StaigerVKW #interprocedural
Interprocedural Static Single Assignment Form (SS, GV, SK, EW), pp. 1–10.

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.