Avigail Orni

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Causal Ordering

Top Venues

Formal Methods Syst. Des.

Publications

Stephen Bergman, Gabor Bobok, Walter Kowalski, Shlomit Koyfman, Shiri Moran, Ziv Nevo, Avigail Orni, Viresh Paruthi, Wolfgang Roesner, Gil Shurek, Vasantha Vuyyuru
Designer-level verification: an industrial experience story. DATE (2015)
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler
Explaining counterexamples using causality. Formal Methods Syst. Des. 40 (1) (2012)
Flavio M. de Paula, Amir Nahir, Ziv Nevo, Avigail Orni, Alan J. Hu
TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead. DAC (2011)
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler
Explaining Counterexamples Using Causality. CAV (2009)