Shlomit Koyfman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2014–2015
Best venue rank
A
Where they publish
Papers
2 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 |
| 2014 | ICCAD | Automated detection and verification of parity-protected memory elements. | Eli Arbel, Shlomit Koyfman, Prabhakar Kudva, Shiri Moran |