 | 2009 |
|---|
| 5 |       | Thomas Reinbacher,
Jörg Brauer,
Martin Horauer,
Bastian Schlich:
Refining assembly code static analysis for the Intel MCS-51 microcontroller.
SIES 2009: 161-170 |
| 4 | | Jörg Brauer,
Bastian Schlich,
Thomas Reinbacher,
Stefan Kowalewski:
Stack bounds analysis for microcontroller assembly code.
WESS 2009 |
| 3 | | Jörg Brauer,
Bastian Schlich,
Stefan Kowalewski:
Parallel and Distributed Invariant Checking of Microcontroller Software.
Electr. Notes Theor. Comput. Sci. 254: 45-63 (2009) |
| 2 | | Jörg Brauer,
Ralf Huuck,
Bastian Schlich:
Interprocedural Pointer Analysis in Goanna.
Electr. Notes Theor. Comput. Sci. 254: 65-83 (2009) |
| 2008 |
|---|
| 1 | | Ralf Huuck,
Ansgar Fehnker,
Sean Seefried,
Jörg Brauer:
Goanna: Syntactic Software Model Checking.
ATVA 2008: 216-221 |
