Ariel J. Birnbaum

According to our database, Ariel J. Birnbaum authored at least 3 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Simulation-Based Verification of Floating-Point Division.

Elena Guralnik, Merav Aharoni, Ariel J. Birnbaum, Anatoly Koyfman

IEEE Trans. Computers, 2011

Reverse Coverage Analysis.

Ariel J. Birnbaum, Laurent Fournier, Steven Mittermaier, Avi Ziv

Proceedings of the Hardware and Software: Verification and Testing, 2011

2009

Implementation Specific Verification of Divide and Square Root Instructions.

Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman, Avi Kaplan

Proceedings of the 19th IEEE Symposium on Computer Arithmetic, 2009