| |
| 2002 | ||
|---|---|---|
| 3 | EE | Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: PathFinder: A Tool for Design Exploration. CAV 2002: 510-514 |
| 2 | EE | Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: An Algorithmic Approach to Design Exploration. FME 2002: 146-162 |
| 1 | EE | Gil Ratsaby, Baruch Sterin, Shmuel Ur: Improvements in Coverability Analysis. FME 2002: 41-56 |
| 1 | Sharon Barner | [2] |
| 2 | Shoham Ben-David | [2] [3] |
| 3 | Anna Gringauze | [2] [3] |
| 4 | Gil Ratsaby | [1] |
| 5 | Shmuel Ur | [1] |
| 6 | Yaron Wolfsthal (Yaron Wolfstahl) | [2] [3] |