Dominator Homomorphism Based Code Matching for Source-Level Simulation of Embedded Software

by Ste­fan Stat­tel­mann, Oliver Bring­mann, and Wolf­gang Rosen­stiel
In Pro­ceed­ings of the Sev­enth IEEE/ACM/IFIP In­ter­na­tional Con­fer­ence on Hard­ware/Soft­ware Code­sign and Sys­tem Syn­the­sis, pages 305–314, 2011.