Implementation Specific Verification of Divide and Square Root Instructions. - Elena Guralnik; Ariel J. Birnbaum; Anatoly Koyfman; Avi Kaplan (IEEE Symposium on Computer Arithmetic, 2009)

Injecting Floating-Point Testing Knowledge into Test Generators. - Merav Aharoni; Emanuel Gofman; Elena Guralnik; Anatoly Koyfman (Haifa Verification Conference, 2011)

Simulation-Based Verification of Floating-Point Division. - Elena Guralnik; Merav Aharoni; Ariel J. Birnbaum; Anatoly Koyfman (IEEE Trans. Computers, 2011)

Leveraging Accelerated Simulation for Floating-Point Regression. - John Paul; Elena Guralnik; Anatoly Koyfman; Amir Nahir; Subrat Panda (Haifa Verification Conference, 2012)