Skip to content

Dominique Gckel

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2010–2011

Best venue rank

B

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2011GITesting Microcontroller Software Simulators.Thomas Reinbacher, Dominique Gckel, Stefan Kowalewski, Martin Horauer
2010DDECSSynthesizing simulators for model checking microcontroller binary code.Dominique Gckel, Bastian Schlich, Jrg Brauer, Stefan Kowalewski