Ontology-Based Tools in the Service of Hardware Verification. - Eyal Bin; Alaa Ghanayim; Karen Holtz; Eitan Marcus; Ronny Morad; Ofer Peled; Michal Rimon; Gil Shurek; Elena Tsanko (SEKE, 2010)

Approximating Minimum-Power Degree and Connectivity Problems. - Guy Kortsarz; Vahab S. Mirrokni; Zeev Nutov; Elena Tsanko (Algorithmica, 2011)

Verification of Transactional Memory in POWER8. - Allon Adir; Dave Goodman; Daniel Hershcovich; Oz Hershkovitz; Bryan G. Hickerson; Karen Holtz; Wisam Kadry; Anatoly Koyfman; John M. Ludden; Charles Meissner; Amir Nahir; Randall R. Pratt; et al. (DAC, 2014)

Using Graph-Based CSP to Solve the Address Translation Problem. - Merav Aharoni; Yael Ben-Haim; Shai Doron; Anatoly Koyfman; Elena Tsanko; Michael Veksler (CP, 2016)

Post-Silicon Validation of the IBM POWER9 Processor. - Tom Kolan; Hillel Mendelson; Vitali Sokhin; Kevin Reick; Elena Tsanko; Greg Wetli (DATE, 2020)

Post Silicon Validation of the MMU. - Tom Kolan; Hillel Mendelson; Vitali Sokhin; Shai Doron; Hernan Theiler; Shay Aviv; Hagai Hadad; Natalia Freidman; Elena Tsanko; John M. Ludden; Bryant Cockcroft (DATE, 2021)