Dr. rer. nat. Dominique Marcel Gückel

| | Research Assistant

Phone +49 241 80 21168
Fax +49 241 80 22150

Address: Ahornstr. 55, 52074 Aachen
Office: room 2307 (building H)

About me

I am a research assistant at the Embedded Software Laboratory of RWTH Aachen since January 2011. Before that, I used to be a scholarship holder in the DFG Research Training Group (Graduiertenkolleg) AlgoSyn since January 2008. I conduct my research at the Embedded Software Laboratory of RWTH Aachen (Chair of Computer Science 11). The intention of my research is to extend the model checking tool [mc]square by synthesis functions.

  • German (first language)
  • English (fluent)
  • French (fluent)
  • Latin (degree: Latinum)
  • Spanish (basic knowledge)


  • Leader (lead editor) of the proceedings group for the Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Dagstuhl 2010. Printed version available (ISBN 386-130-146-6). Online version of the volume available as PDF.


  • Dominique Gückel: Erweiterung des Model-Checkers [mc]square um benutzerdefinierte Umgebungen. Diplomarbeit, RWTH Aachen, 2007.
  • Bastian Schlich, Dominique Gückel, and Stefan Kowalewski. Modeling the Environment of Microcontrollers to Tackle the State-Explosion Problem in Model Checking. In Proceedings of Symposium Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), ISBN 978 963 236 138 3. PDF
  • Dominique Gückel. Retargeting a Hardware-Dependent Model Checker by Using Architecture Description Languages. In Doctoral Symposium on Systems Software Verification (DS SSV 2009) , 4th International Workshop on Systems Software Verification (SSV 09), ISSN 0935–3232. PDF
  • Wolfgang Thomas, Kai Bollue, Dominique Gückel, Gustavo Quiros, Michaela Slaats and Michael Ummels. DFG Research Training Group “Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)”. In it - Information Technology, Volume 4 /2009, Oldenbourg, pp. 222-230.
  • Dominique Gückel, Bastian Schlich, Jörg Brauer, and Stefan Kowalewski. Synthesizing Simulators For Model Checking Microcontroller Binary Code. In Proceedings of 13th IEEE International Symposium on Design & Diagnostics of Electronic Circuits and Systems (DDECS 2010), ISBN 978-1-4244-6611-5, pp. 313-316.
  • Dominique Gückel. Synthesis of Hardware Simulators for Use in Model Checking. In Dagstuhl 2010. Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, ISBN 386-130-146-6, p. 76. PDF
  • Dominique Gückel, Jörg Brauer, and Stefan Kowalewski. A System for Synthesizing Abstraction-Enabled Simulators for Binary Code Verification. In Proceedings of 5th IEEE Symposium on Industrial Embedded Systems (SIES 2010), ISBN 978-1-4244-5840-0, pp. 118-127.
  • Sebastian Biallas, Jörg Brauer, Dominique Gückel, and Stefan Kowalewski. On-The-Fly Path Reduction. 4th International Workshop on Harnessing Theories for Tool Support in Software (TTSS'10), to appear.
  • Thomas Reinbacher, Dominique Gückel, Martin Horauer, and Stefan Kowalewski. Testing Microcontroller Software Simulators. In Proceedings of the Workshop on SLE for CPS at INFORMATIK 2011 (WS4C11), to appear.
  • Dominique Gückel and Stefan Kowalewski. Automatic Derivation of Abstract Semantics From Instruction Set Descriptions. In Proceedings of the 6th International Workshop on Systems Software Verification (SSV 2011), to appear.

Bachelor / Diploma / Master Theses


  • Florian Caron: State Partitioning for Model Checking Binary Code (Bachelor thesis)


  • Ivica Bogosavljevic: Synthesizing an Instruction Set Simulator for Model Checking Embedded Systems Software (Master thesis)
  • Sebastian Wehlmann: Tool-based implementation of a simulator for Renesas R8C/Tiny microcontrollers for extending the model checker [mc]square (Diploma thesis)


  • Tool-based implementation of a microcontroller simulator
  • Realization of abstraction techniques for supporting nondeterminism in synthetic simulators
  • Extending a simulator synthesis framework by static analyses

More topics are available on request.


Besides, I regularly supervise examinations in the lab course Hardwarenahe Programmierung (for undergraduate students in the bachelor programme). In the past, I also supervised exams in the lab course Elektronische Grundlagen für Informatiker (foundations of electronics for computer scientists).

This website uses cookies. By using the website, you agree with storing cookies on your computer. If you do not agree please leave the website.More information about cookies

RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany