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; Kai Bollue; Dominique Gückel; Gustavo Quiros; Michaela Slaats; Michael Ummels (it Inf. Technol., 2009)

Synthesis of Hardware Simulators for Use in Model Checking. - Dominique Gückel (AlgoSyn, 2010)

Synthesizing simulators for model checking microcontroller binary code. - Dominique Gückel; Bastian Schlich; Jörg Brauer; Stefan Kowalewski (DDECS, 2010)

A system for synthesizing abstraction-enabled simulators for binary code verification. - Dominique Gückel; Jörg Brauer; Stefan Kowalewski (SIES, 2010)

On-The-Fly Path Reduction. - Sebastian Biallas; Jörg Brauer; Dominique Gückel; Stefan Kowalewski (TTSS, 2010)

Testing Microcontroller Software Simulators. - Thomas Reinbacher; Dominique Gückel; Stefan Kowalewski; Martin Horauer (GI-Jahrestagung, 2011)

Automatic Derivation of Abstract Semantics From Instruction Set Descriptions. - Dominique Gückel; Stefan Kowalewski (SSV, 2011)

Synthesis of state space generators for model checking microcontroller code. - Dominique Gückel (2015)