Dominique Gückel

Synthesis of state space generators for model checking microcontroller code

Dominique Gückel, 2015 .

Testing Microcontroller Software Simulators

Stefan Kowalewski, Martin Horauer, Thomas Reinbacher, 2011, GI-Jahrestagung.

DFG Research Training Group “Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)”DFG-Graduiertenkolleg “Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)”

Wolfgang Thomas, Michael Ummels, Gustavo Quiros, 2009, it Inf. Technol..

Automatic Derivation of Abstract Semantics From Instruction Set Descriptions

Stefan Kowalewski, Dominique Gückel, 2011, SSV.

On-The-Fly Path Reduction

Stefan Kowalewski, Jörg Brauer, Sebastian Biallas, 2011, Electron. Notes Theor. Comput. Sci..

A system for synthesizing abstraction-enabled simulators for binary code verification

Stefan Kowalewski, Jörg Brauer, Dominique Gückel, 2010, International Symposium on Industrial Embedded System (SIES).

Synthesizing simulators for model checking microcontroller binary code

Stefan Kowalewski, Jörg Brauer, Bastian Schlich, 2010, 13th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems.