| 2008 | ||
|---|---|---|
| 4 | EE | Rajeev Alur, Aditya Kanade, Gera Weiss: Ranking Automata and Games for Prioritized Requirements. CAV 2008: 240-253 |
| 2007 | ||
| 3 | EE | Gera Weiss, Rajeev Alur: Automata Based Interfaces for Control and Scheduling. HSCC 2007: 601-613 |
| 2 | EE | Gera Weiss: State Nullification of Switched Systems by Linear Output Feedback. HSCC 2007: 775-778 |
| 2003 | ||
| 1 | EE | David Harel, Hillel Kugler, Gera Weiss: Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. Scenarios: Models, Transformations and Tools 2003: 26-42 |
| 1 | Rajeev Alur | [3] [4] |
| 2 | David Harel | [1] |
| 3 | Aditya Kanade | [4] |
| 4 | Hillel Kugler | [1] |