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: Keul:Steffen
Contributed to:
2011
2010
2007Wrote 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.