Yossi Lichtenstein
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1988–2021
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ITiCSE | Machine Learning for Business Students: An Experiential Learning Approach. | Linus Wunderlich, Allen Higgins, Yossi Lichtenstein |
| 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 |
| 1996 | FMCAD | Coverage-Directed Test Generation Using Symbolic Techniques. | Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal |
| 1995 | DAC | Test Program Generation for Functional Verification of PowerPC Processors in IBM. | Aharon Aharon, Dave Goodman, Moshe Levinger, Yossi Lichtenstein, Yossi Malka, Charlotte Metzger, Moshe Molcho, Gil Shurek |
| 1994 | IAAI | Model Based Test Generation for Processor Verification. | Yossi Lichtenstein, Yossi Malka, Aharon Aharon |
| 1991 | IAAI | AGATHA: An Integrated Expert System to Test and Diagnose Complex Personal Computer Boards. | Daryl Allred, Yossi Lichtenstein, Chris Preist, Michael A. Bennett, Ajay Gupta |
| 1988 | ICLP | Abstract Algorithmic Debugging. | Yossi Lichtenstein, Ehud Shapiro |
| 1988 | LICS | Fully Abstract Denotational Semantics for Flat Concurrent Prolog | Rob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Shapiro |