Travelled to:1 × United Kingdom
4 × USA
Collaborated with:E.Y.Shapiro M.Rimon M.Vinov R.Gerth M.Codish M.L.Behm J.M.Ludden A.Aharon D.Goodman M.Levinger Y.Malka C.Metzger M.Molcho G.Shurek A.Adir Y.Arbetman B.Dubrov M.A.Calligaro A.Cofler G.Duffy
Talks about:verif (3) processor (2) abstract (2) generat (2) test (2) algorithm (1) parallel (1) industri (1) function (1) program (1)
Person: Yossi Lichtenstein
DBLP: Lichtenstein:Yossi
Contributed to:
200520041995
1988
1988Wrote 5 papers:
- 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.
- DAC-1995-AharonGLLMMMS #functional #generative #verification
- Test Program Generation for Functional Verification of PowerPC Processors in IBM (AA, DG, ML, YL, YM, CM, MM, GS), pp. 279–285.
- JICSCP-1988-LichtensteinS88 #algorithm #debugging
- Abstract Algorithmic Debugging (YL, EYS), pp. 512–531.
- LICS-1988-GerthCLS #concurrent #prolog #semantics
- Fully Abstract Denotational Semantics for Flat Concurrent Prolog (RG, MC, YL, EYS), pp. 320–335.