| 2003 | ||
|---|---|---|
| 2 | EE | Sharon Keidar, Yoav Rodeh: Searching for Counter-Examples Adaptively. IWFM 2003 |
| 2000 | ||
| 1 | Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal: FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. CAV 2000: 538-542 | |
| 1 | Yael Abarbanel | [1] |
| 2 | Ilan Beer | [1] |
| 3 | Leonid Gluhovsky | [1] |
| 4 | Yoav Rodeh | [2] |
| 5 | Yaron Wolfsthal (Yaron Wolfstahl) | [1] |