Facing the challenge of new design features: an effective verification approach. - Wisam Kadry; Ronny Morad; Alex Goryachev; Eli Almog; Christopher A. Krygowski (DAC, 2011)

A New Test-Generation Methodology for System-Level Verification of Production Processes. - Allon Adir; Alex Goryachev; Lev Greenberg; Tamer Salman; Gil Shurek (Haifa Verification Conference, 2012)

Special Session on Security Verification. - Alex Goryachev (Haifa Verification Conference, 2012)

SLAM: SLice And Merge - Effective Test Generation for Large Systems. - Tali Rabetti; Ronny Morad; Alex Goryachev; Wisam Kadry; Richard D. Peterson (Haifa Verification Conference, 2013)

Using a High-Level Test Generation Expert System for Testing In-Car Networks. - Allon Adir; Alex Goryachev; Lev Greenberg; Tamer Salman (DAC, 2014)

Verification of Non-Mainline Functions in Todays Processor Chips. - Johannes Koesters; Alex Goryachev (DAC, 2014)

Panel: Future SoC verification methodology: UVM evolution or revolution? - Rolf Drechsler; Christophe Chevallaz; Franco Fummi; Alan J. Hu; Ronny Morad; Frank Schirrmeister; Alex Goryachev (DATE, 2014)

Offset polygon and annulus placement problems. - Gill Barequet; Alex Goryachev (Comput. Geom., 2014)