A Methodology for the Verification of a "System on Chip". - Daniel Geist; Giora Biran; Tamarah Arons; Michael Slavkin; Yvgeny Nustov; Monica Farkas; Karen Holtz; Andy Long; Dave King; Steve Barret (DAC, 1999)

Detecting Data Structures from Traces. - Alon Itai; Michael Slavkin (AAIP, 2007)