| 2009 |
|---|
| 8 | EE | Ansgar Fehnker,
Ralf Huuck,
Bastian Schlich,
Michael Tapp:
Automatic Bug Detection in Microcontroller Software by Static Program Analysis.
SOFSEM 2009: 267-278 |
| 2008 |
|---|
| 7 | EE | Jörg Beckers,
Daniel Klünder,
Stefan Kowalewski,
Bastian Schlich:
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation.
ABZ 2008: 112-124 |
| 6 | EE | Ralf Huuck,
Gerwin Klein,
Bastian Schlich:
Preface.
Electr. Notes Theor. Comput. Sci. 217: 1-3 (2008) |
| 5 | EE | Gerlind Herberich,
Bastian Schlich,
Carsten Weise,
Thomas Noll:
Proving Correctness of an Efficient Abstraction for Interrupt Handling.
Electr. Notes Theor. Comput. Sci. 217: 133-150 (2008) |
| 2007 |
|---|
| 4 | EE | Bastian Schlich,
Jann Löll,
Stefan Kowalewski:
Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.
FMICS 2007: 21-37 |
| 3 | EE | Thomas Noll,
Bastian Schlich:
Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.
Haifa Verification Conference 2007: 185-201 |
| 2 | EE | Bastian Schlich,
Falk Salewski,
Stefan Kowalewski:
Applying Model Checking to an Automotive Microcontroller Application.
SIES 2007: 209-216 |
| 2006 |
|---|
| 1 | | Jacob Palczynski,
Bastian Schlich,
Stefan Kowalewski:
Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern.
GI Jahrestagung (1) 2006: 751-755 |
