Dominique Gückel

According to our database, Dominique Gückel authored at least 8 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Synthesis of state space generators for model checking microcontroller code.

Dominique Gückel

PhD thesis, 2015

2011

Automatic Derivation of Abstract Semantics From Instruction Set Descriptions.

Dominique Gückel, Stefan Kowalewski

Proceedings of the 6th International Workshop on Systems Software Verification, 2011

Testing Microcontroller Software Simulators.

Thomas Reinbacher, Dominique Gückel, Stefan Kowalewski, Martin Horauer

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2010

On-The-Fly Path Reduction.

Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski

Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010

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

Dominique Gückel, Jörg Brauer, Stefan Kowalewski

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Synthesizing simulators for model checking microcontroller binary code.

Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski

Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010

Synthesis of Hardware Simulators for Use in Model Checking.

Dominique Gückel

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

2009

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