Michal Rimon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2004–2012
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | DATE | Generating instruction streams using abstract CSP. | Yoav Katz, Michal Rimon, Avi Ziv |
| 2011 | DAC | Learning microarchitectural behaviors to improve stimuli generation quality. | Yoav Katz, Michal Rimon, Avi Ziv, Gai Shaked |
| 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 |
| 2005 | DAC | VLIW: a case study of parallelism verification. | Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Lichtenstein, Michal Rimon, Michael Vinov, Massimo A. Calligaro, Andrew Cofler, Gabriel Duffy |
| 2004 | DAC | Industrial experience with test generation languages for processor verification. | Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov |