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 }, }