by Dominique Gückel, Jörg Brauer, Stefan Kowalewski
Reference:
A System for Synthesizing Abstraction-Enabled Simulators for Binary Code Verification (Dominique Gückel, Jörg Brauer, Stefan Kowalewski), In Industrial Embedded Systems (SIES 2010), Trento, Italy, IEEE, 2010.
Bibtex Entry:
@inproceedings { GBK10,
author = { G{"u}ckel, Dominique and Brauer, J{"o}rg and Kowalewski,
Stefan },
booktitle = { Industrial Embedded Systems (SIES 2010), Trento, Italy },
title = { A System for Synthesizing Abstraction-Enabled Simulators for
Binary Code Verification },
year = { 2010 },
pages = { 118--127 },
publisher = { IEEE },
timestamp = { 2010.06.01 },
url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:gbk10.pdf },
i11key = { conference },
i11projectkey = { Arcade },
for_reporting_period = { 2010 },
}