Dominique Gückel

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Dominique Gückel, Stefan Kowalewski
Automatic Derivation of Abstract Semantics From Instruction Set Descriptions. SSV (2011)
Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski
On-The-Fly Path Reduction. Electron. Notes Theor. Comput. Sci. 274 (2011)
Thomas Reinbacher, Dominique Gückel, Stefan Kowalewski, Martin Horauer
Testing Microcontroller Software Simulators. GI-Jahrestagung (2011)
Dominique Gückel, Jörg Brauer, Stefan Kowalewski
A system for synthesizing abstraction-enabled simulators for binary code verification. SIES (2010)
Dominique Gückel
Synthesis of Hardware Simulators for Use in Model Checking. AlgoSyn (2010)
Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski
Synthesizing simulators for model checking microcontroller binary code. DDECS (2010)
Wolfgang Thomas, Kai Bollue, Dominique Gückel, Gustavo Quiros, Michaela Slaats, Michael Ummels
DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)" (DFG-Graduiertenkolleg "Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)"). it Inf. Technol. 51 (4) (2009)