Publications

9 results for Yossi Lichtenstein

Looking for the locus of innovation in new service development
- - Iris Ginzburg
  - Allen Higgins
  - et al.
- 2007
- HICSS 2007
Addressing test generation challenges for configurable processor verification
- - M. Rimon
  - Yossi Lichtenstein
  - et al.
- 2006
- HLDVT 2006
Reuse in system-level stimuli-generation
- - Yoav Katz
  - Itai Jaeger
  - et al.
- 2005
- HLDVT 2005
VLIW - A case study of parallelism verification
- - Allon Adir
  - Yaron Arbetman
  - et al.
- 2005
- DAC 2005
Industrial experience with test generation languages for processor verification
- - Michael Behm
  - John Ludden
  - et al.
- 2004
- DAC 2004
ORGANIZATIONAL CONTROL SYSTEMS AND SOFTWARE QUALITY: A CROSS-NATIONAL STUDY
- - Sanjay Gosain
  - David P. Darcy
  - et al.
- 2003
- AIS-ICIS 2003
Testing concurrent programs:A formal evaluation of coverage criteria
- - Michael Factor
  - Eitan Farchi
  - et al.
- 1996
- Israel ICCSSE 1996
Test program generation for functional verification of PowerPC processors in IBM
- - Aharon Aharon
  - Dave Goodman
  - et al.
- 1995
- DAC 1995
Model based test generation for processor verification
- - Yossi Lichtenstein
  - Yossi Malka
  - et al.
- 1994
- IAAI 1994