![]() | ![]() |
| 2011 | ||
|---|---|---|
| 4 | Steffen Keul: Tuning Static Data Race Analysis for Automotive Control Software. SCAM 2011: 45-54 | |
| 2010 | ||
| 3 | Steffen Keul: Static Versioning of Global State for Race Condition Detection. Ada-Europe 2010: 111-124 | |
| 2008 | ||
| 2 | Eduard Wiebe, Steffen Keul, Stefan Staiger, Gunther Vogel: Entwurfsmuster-Erkennung mit Bauhaus. Workshop Software Reengineering 2008: 181-185 | |
| 2007 | ||
| 1 | Stefan Staiger, Gunther Vogel, Steffen Keul, Eduard Wiebe: Interprocedural Static Single Assignment Form. WCRE 2007: 1-10 | |
| 1 | Stefan Staiger | [1] [2] |
| 2 | Gunther Vogel | [1] [2] |
| 3 | Eduard Wiebe | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page