| 2009 |
|---|
| 13 | EE | Ansgar Fehnker,
Ralf Huuck,
Bastian Schlich,
Michael Tapp:
Automatic Bug Detection in Microcontroller Software by Static Program Analysis.
SOFSEM 2009: 267-278 |
| 2008 |
|---|
| 12 | EE | Ralf Huuck,
Ansgar Fehnker,
Sean Seefried,
Jörg Brauer:
Goanna: Syntactic Software Model Checking.
ATVA 2008: 216-221 |
| 11 | EE | Ansgar Fehnker,
Ralf Huuck,
Felix Rauch,
Sean Seefried:
Some Assembly Required - Program Analysis of Embedded System Code.
SCAM 2008: 15-24 |
| 10 | EE | Ralf Huuck,
Gerwin Klein,
Bastian Schlich:
Preface.
Electr. Notes Theor. Comput. Sci. 217: 1-3 (2008) |
| 2007 |
|---|
| 9 | EE | Ansgar Fehnker,
Ralf Huuck,
Patrick Jayet,
Michel Lussenburg,
Felix Rauch:
Model Checking Software at Compile Time.
TASE 2007: 45-56 |
| 2006 |
|---|
| 8 | EE | Ansgar Fehnker,
Ralf Huuck,
Patrick Jayet,
Michel Lussenburg,
Felix Rauch:
Goanna - A Static Model Checker.
FMICS/PDMC 2006: 297-300 |
| 2005 |
|---|
| 7 | EE | Ralf Huuck:
Semantics and Analysis of Instruction List Programs.
Electr. Notes Theor. Comput. Sci. 115: 3-18 (2005) |
| 2004 |
|---|
| 6 | EE | Nanette Bauer,
Ralf Huuck,
Ben Lukoschus,
Sebastian Engell:
A Unifying Semantics for Sequential Function Charts.
SoftSpez Final Report 2004: 400-418 |
| 5 | EE | Nanette Bauer,
Sebastian Engell,
Ralf Huuck,
Sven Lohmann,
Ben Lukoschus,
Manuel Remelhe,
Olaf Stursberg:
Verification of PLC Programs Given as Sequential Function Charts.
SoftSpez Final Report 2004: 517-540 |
| 2001 |
|---|
| 4 | EE | Nanette Bauer,
Ralf Huuck:
Towards Automatic Verification of Embedded Control Software.
APAQS 2001: 375-386 |
| 2000 |
|---|
| 3 | | Sébastien Bornot,
Ralf Huuck,
Ben Lukoschus:
Statische Analysetechniken für speicherprogrammierbare Steuerungen.
FBT 2000: 175-181 |
| 2 | | Sébastien Bornot,
Ralf Huuck,
Ben Lukoschus:
Verification of Sequential Function Charts Using SMV.
PDPTA 2000 |
| 1997 |
|---|
| 1 | | Ralf Huuck,
Yassine Lakhnech,
Luis Urbina,
Sebastian Engell,
Stefan Kowalewski,
Jörg Preußig:
Comparing Timed C/E Systems with Timed Automata (Abstract).
HART 1997: 81-86 |
