Research - Itai Segall
Publications
- D. Harel and I. Segall, "Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs", The 13th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), 2007. [pdf] [bibtex (DBLP)]
Full version in Technical Report MCS07-01, the Weizmann Institute of Science, 2007. [pdf]
- D. Harel, S. Maoz and I. Segall, "Some Results on the Expressive Power and Complexity of LSCs", in Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (A. Avron, N. Dershowitz and A. Rabinovich, eds.), Lecture Notes in Computer Science, vol. 4800, Springer-Verlag, Berlin, Feb. 08, pp. 351-366. [pdf] [bibtex (DBLP)]
- D. Harel and I. Segall. "Visualizing Inter-Dependencies Between Scenarios". In
R. Koschke, C. D. Hundhausen, and A. Telea, editors, Proceedings of the ACM 2008
Symposium on Software Visualization (SoftVis’08), pp 145–153. ACM, 2008. [website] [bibtex (DBLP)]
- D. Harel, H. Kugler, S. Maoz and I. Segall, "How Hard is Smart Play-Out? On the Complexity of Verification-Driven Execution", In Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan) (K. Lodaya et al, eds.), University Press (India), 2009, pp. 208-230. [pdf]
- D. Harel, I. Segall, H. Kugler and Y. Setty, "Crafting Game-Models using Reactive System Design", Proc. Future Play 2008, pp. 121-128, 2008 [pdf] [gym website] [SIV website]
- H. Kugler and I. Segall, "Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications", The 15th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09), 2009. [pdf] [bibtex (DBLP)]
- D. Harel, H. Kugler, S. Maoz, and I. Segall, "Accelerating Smart Play-Out", In Proc. 36th Int. Conf. on Current Trends in Theory and Practice of Computer Science (SOFSEM '10), LNCS, vol. 5901, Springer, 2010, pp. 477-488. [pdf] [bibtex (DBLP)]
Tools
