Eitan Marcus
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2002–2010
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SEKE | Ontology-Based Tools in the Service of Hardware Verification. | Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko |
| 2006 | AAAI | Constraint-Based Random Stimuli Generation for Hardware Verification. | Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek |
| 2004 | DAC | Defining coverage views to improve functional coverage analysis. | Sigal Asaf, Eitan Marcus, Avi Ziv |
| 2002 | DAC | Hole analysis for functional coverage data. | Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv |