Precise Control Flow Reconstruction Using Boolean Logic

by Thomas Reinbacher, Jörg Brauer
Reference:
Precise Control Flow Reconstruction Using Boolean Logic (Thomas Reinbacher, Jörg Brauer), In International Conference on Embedded Software (EMSOFT 2011) (Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister, eds.), ACM Press, 2011.
Bibtex Entry:
@string{acm="ACM Press"}
@inproceedings { RB11,
	author = { Reinbacher, Thomas and Brauer, J{"o}rg },
	editor = { Chakraborty, Samarjit and Jerraya, Ahmed and Baruah, Sanjoy
		K. and Fischmeister, Sebastian },
	title = { Precise Control Flow Reconstruction Using Boolean Logic },
	booktitle = { International Conference on Embedded Software (EMSOFT 2011) },
	publisher = { ACM },
	publishedas = { Druck Online },
	isbn = { 978-1-4503-0714-7 },
	language = { eng },
	pages = { 117--126 },
	year = { 2011 },
	timestamp = { 2011.07.03 },
	i11key = { conference },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:rb11.pdf },
	for_reporting_period = { 2011 },
}

Bookmark the permalink.