Publications

2007
DOI
[bibtex]
Erika Abraham, Marc Herbstritt, Bernd Becker, Martin Steffen. Bounded Model Checking with Parametric Data Structures. Int. Workshop on Bounded Model Checking (BMC'06), Volume 174 of ENTCS, pages 3–16, Elsevier Science Publishers, 2007.
DOI
[bibtex]
Marc Herbstritt, Bernd Becker, Erika Abraham, Christian Herde. On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS'07), pages 1–6, IEEE Computer Society, 2007.
2006

[bibtex]
Erika Abraham, Marc Herbstritt, Bernd Becker, Martin Steffen. Memory-Aware Bounded Model Checking for Linear Hybrid Systems. 9th. Workshop for Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'06), pages 153–162, , 2006.