BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
4 × USA
Collaborated with:
Y.Katz A.Ziv R.Keller Y.Lichtenstein M.Vinov G.Shaked M.L.Behm J.M.Ludden E.Bin A.Ghanayim K.Holtz E.Marcus R.Morad O.Peled G.Shurek E.Tsanko A.Adir Y.Arbetman B.Dubrov M.A.Calligaro A.Cofler G.Duffy
Talks about:
generat (3) verif (3) base (2) microarchitectur (1) processor (1) scientif (1) parallel (1) knowledg (1) instruct (1) industri (1)

Person: Michal Rimon

DBLP DBLP: Rimon:Michal

Contributed to:

DATE 20122012
DAC 20112011
SEKE 20102010
DAC 20052005
DAC 20042004
KBSE 19921992

Wrote 6 papers:

DATE-2012-KatzRZ #csp #generative #using
Generating instruction streams using abstract CSP (YK, MR, AZ), pp. 15–20.
DAC-2011-KatzRZS #architecture #behaviour #generative #learning #quality
Learning microarchitectural behaviors to improve stimuli generation quality (YK, MR, AZ, GS), pp. 848–853.
SEKE-2010-BinGHMMPRST #hardware #ontology #tool support #verification
Ontology-Based Tools in the Service of Hardware Verification (EB, AG, KH, EM, RM, OP, MR, GS, ET), pp. 303–308.
DAC-2005-AdirADLRVCCD #case study #named #parallel #verification
VLIW: a case study of parallelism verification (AA, YA, BD, YL, MR, MV, MAC, AC, GD), pp. 779–782.
DAC-2004-BehmLLRV #experience #generative #industrial #testing #verification
Industrial experience with test generation languages for processor verification (MLB, JML, YL, MR, MV), pp. 36–40.
KBSE-1992-KellerR #development #knowledge-based
A Knowledge-based Software Development Environment for Scientific Model-building (RK, MR), p. 27.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.