![]() | ![]() |
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] |