- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c9 |      | |
| 2011 | ||
| c8 | | Yoav Katz, Michal Rimon, Avi Ziv, Gai Shaked: Learning microarchitectural behaviors to improve stimuli generation quality. DAC 2011: 848-853 |
| 2010 | ||
| c7 | | John M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir: Advances in Simultaneous Multithreading Testcase Generation Methods. Haifa Verification Conference 2010: 146-160 |
| c6 |  | Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko: Ontology-Based Tools in the Service of Hardware Verification. SEKE 2010: 303-308 |
| 2007 | ||
| j3 | | Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan s Marcu, Gil Shurek: Constraint-Based Random Stimuli Generation for Hardware Verification. AI Magazine 28(3): 13-30 (2007) |
| 2006 | ||
| c5 | | Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek: Constraint-Based Random Stimuli Generation for Hardware Verification. AAAI 2006: 1720-1727 |
| c4 | | Michal Rimon, Yossi Lichtenstein, Allon Adir, Itai Jaeger, Michael Vinov, S. Johnson, D. Jani: Addressing Test Generation Challenges for Configurable Processor Verification. HLDVT 2006: 95-101 |
| 2005 | ||
| c3 | | Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Lichtenstein, Michal Rimon, Michael Vinov, Massimo A. Calligaro, Andrew Cofler, Gabriel Duffy: VLIW: a case study of parallelism verification. DAC 2005: 779-782 |
| 2004 | ||
| j2 | | Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv: Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. IEEE Design & Test of Computers 21(2): 84-93 (2004) |
| c2 | | Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov: Industrial experience with test generation languages for processor verification. DAC 2004: 36-40 |
| 2001 | ||
| c1 | | Allon Adir, Eitan Marcus, Michal Rimon, Amir Voskoboynik: Improving test quality through resource reallocation. HLDVT 2001: 64-69 |
| 1994 | ||
| j1 | | Richard M. Keller, Michal Rimon, Aseem Das: A knowledge-based prototyping environment for construction of scientific modeling software. Autom. Softw. Eng. 1(1): 79-128 (1994) |
Colors in the list of coauthors
Last update Sat May 25 01:55:02 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page