 | 2009 |
|---|
| 18 |       | Thomas Reinbacher,
Martin Horauer,
Bastian Schlich:
Using 3-valued memory representation for state space reduction in embedded assembly code model checking.
DDECS 2009: 114-119 |
| 17 | | Thomas Reinbacher,
Jörg Brauer,
Martin Horauer,
Bastian Schlich:
Refining assembly code static analysis for the Intel MCS-51 microcontroller.
SIES 2009: 161-170 |
| 16 | | Ansgar Fehnker,
Ralf Huuck,
Bastian Schlich,
Michael Tapp:
Automatic Bug Detection in Microcontroller Software by Static Program Analysis.
SOFSEM 2009: 267-278 |
| 15 | | Jörg Brauer,
Bastian Schlich,
Thomas Reinbacher,
Stefan Kowalewski:
Stack bounds analysis for microcontroller assembly code.
WESS 2009 |
| 14 | | Ralf Huuck,
Gerwin Klein,
Bastian Schlich:
Preface.
Electr. Notes Theor. Comput. Sci. 254: 1-3 (2009) |
| 13 | | Jörg Brauer,
Bastian Schlich,
Stefan Kowalewski:
Parallel and Distributed Invariant Checking of Microcontroller Software.
Electr. Notes Theor. Comput. Sci. 254: 45-63 (2009) |
| 12 | | Jörg Brauer,
Ralf Huuck,
Bastian Schlich:
Interprocedural Pointer Analysis in Goanna.
Electr. Notes Theor. Comput. Sci. 254: 65-83 (2009) |
| 11 | | Gerwin Klein,
Ralf Huuck,
Bastian Schlich:
Operating System Verification.
J. Autom. Reasoning 42(2-4): 123-124 (2009) |
| 10 | | Bastian Schlich,
Stefan Kowalewski:
Model checking C source code for embedded systems.
STTT 11(3): 187-202 (2009) |
| 2008 |
|---|
| 9 | | 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 |
| 8 | | Thomas Reinbacher,
Martin Kramer,
Martin Horauer,
Bastian Schlich:
Challenges in embedded model checking - a simulator for the [mc]square model checker.
SIES 2008: 245-248 |
| 7 | | Ralf Huuck,
Gerwin Klein,
Bastian Schlich:
Preface.
Electr. Notes Theor. Comput. Sci. 217: 1-3 (2008) |
| 6 | | 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 |
|---|
| 5 | | Bastian Schlich,
Jann Löll,
Stefan Kowalewski:
Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.
FMICS 2007: 21-37 |
| 4 | | Thomas Noll,
Bastian Schlich:
Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.
Haifa Verification Conference 2007: 185-201 |
| 3 | | Bastian Schlich,
Falk Salewski,
Stefan Kowalewski:
Applying Model Checking to an Automotive Microcontroller Application.
SIES 2007: 209-216 |
| 2006 |
|---|
| 2 |  | Jacob Palczynski,
Bastian Schlich,
Stefan Kowalewski:
Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern.
GI Jahrestagung (1) 2006: 751-755 |
| 1 | | Bastian Schlich,
Stefan Kowalewski:
[mc]square: A Model Checker for Microcontroller Code.
ISoLA 2006: 466-473 |
