| |
| 2009 | ||
|---|---|---|
| 5 | EE | Hillel Kugler, Itai Segall: Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. TACAS 2009: 77-91 |
| 2008 | ||
| 4 | EE | David Harel, Itai Segall, Hillel Kugler, Yaki Setty: Crafting game-models using reactive system design. Future Play 2008: 121-128 |
| 3 | EE | David Harel, Shahar Maoz, Itai Segall: Some Results on the Expressive Power and Complexity of LSCs. Pillars of Computer Science 2008: 351-366 |
| 2 | EE | David Harel, Itai Segall: Visualizing inter-dependencies between scenarios. SOFTVIS 2008: 145-153 |
| 2007 | ||
| 1 | EE | David Harel, Itai Segall: Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, . TACAS 2007: 485-499 |
| 1 | David Harel | [1] [2] [3] [4] |
| 2 | Hillel Kugler | [4] [5] |
| 3 | Shahar Maoz | [3] |
| 4 | Yaki Setty | [4] |