Oshri Adler

According to our database, Oshri Adler authored at least 2 papers between 2013 and 2014.

Collaborative distances:

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

2014

Facilitating timing debug by logic path correspondence.

Oshri Adler, Eli Arbel, Ilia Averbouch, Ilan Beer, Inna Grijnevitch

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Relative Equivalence in the Presence of Ambiguity.

Oshri Adler, Cindy Eisner, Tatyana Veksler

Proceedings of the Computer Aided Verification - 25th International Conference, 2013