Ofer Peled
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2005–2010
Best venue rank
A*
Where they publish
Papers
3 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 |
| 2007 | DAC | A Framework for the Validation of Processor Architecture Compliance. | Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled |
| 2005 | DAC | A generic micro-architectural test plan approach for microprocessor verification. | Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet |