| 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 |
