Search the dblp DataBase

Publications of Author

1. David Harel, Itai Segall
   Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs^, . [Citation Graph (0, 0)][DBLP]
   TACAS, 2007, pp:485-499 [Conf]
   
2. 
   Some Results on the Expressive Power and Complexity of LSCs. [Citation Graph (, )][DBLP]
   
   
3. 
   Low power mode in cloud storage systems. [Citation Graph (, )][DBLP]
   
   
4. 
   Accelerating Smart Play-Out. [Citation Graph (, )][DBLP]
   
   
5. 
   Visualizing inter-dependencies between scenarios. [Citation Graph (, )][DBLP]
   
   
6. 
   Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. [Citation Graph (, )][DBLP]
   
   
7. 
   Crafting game-models using reactive system design. [Citation Graph (, )][DBLP]