FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. - Yael Abarbanel; Ilan Beer; Leonid Gluhovsky; Sharon Keidar; Yaron Wolfsthal (CAV, 2000)

Transaction based pre-to-post silicon validation. - Eli Singerman; Yael Abarbanel; Sean Baartmans (DAC, 2011)

Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions. - Yael Abarbanel; Eli Singerman; Moshe Y. Vardi (DAC, 2014)