Avigail Orni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2015
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | DATE | Designer-level verification: an industrial experience story. | Stephen Bergman, Gabor Bobok, Walter Kowalski, Shlomit Koyfman, Shiri Moran, Ziv Nevo, Avigail Orni, Viresh Paruthi, Wolfgang Roesner, Gil Shurek, Vasantha Vuyyuru |
| 2011 | DAC | TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead. | Flavio M. de Paula, Amir Nahir, Ziv Nevo, Avigail Orni, Alan J. Hu |
| 2009 | CAV | Explaining Counterexamples Using Causality. | Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler |