Oshri Adler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2013–2014
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | DATE | Facilitating timing debug by logic path correspondence. | Oshri Adler, Eli Arbel, Ilia Averbouch, Ilan Beer, Inna Grijnevitch |
| 2013 | CAV | Relative Equivalence in the Presence of Ambiguity. | Oshri Adler, Cindy Eisner, Tatyana Veksler |