Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, . - David Harel; Itai Segall (TACAS, 2007)

Some Results on the Expressive Power and Complexity of LSCs. - David Harel; Shahar Maoz; Itai Segall (Pillars of Computer Science, 2008)

Crafting game-models using reactive system design. - David Harel; Itai Segall; Hillel Kugler; Yaki Setty (Future Play, 2008)

Visualizing inter-dependencies between scenarios. - David Harel; Itai Segall (SOFTVIS, 2008)

Low power mode in cloud storage systems. - Danny Harnik; Dalit Naor; Itai Segall (IPDPS, 2009)

Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. - Hillel Kugler; Itai Segall (TACAS, 2009)

Block storage listener for detecting file-level intrusions. - Miriam Allalouf; Muli Ben-Yehuda; Julian Satran; Itai Segall (MSST, 2010)

Accelerating Smart Play-Out. - David Harel; Hillel Kugler; Shahar Maoz; Itai Segall (SOFSEM, 2010)

Using binary decision diagrams for combinatorial test design. - Itai Segall; Rachel Tzoref-Brill; Eitan Farchi (ISSTA, 2011)

Interactive refinement of combinatorial test plans. - Itai Segall; Rachel Tzoref-Brill (ICSE, 2012)

Simplified Modeling of Combinatorial Test Spaces. - Itai Segall; Rachel Tzoref-Brill; Aviad Zlotnick (ICST, 2012)

Common Patterns in Combinatorial Models. - Itai Segall; Rachel Tzoref-Brill; Aviad Zlotnick (ICST, 2012)

Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. - Jeremy S. Bradbury; Itai Segall; Eitan Farchi; Kevin Jalbert; David Kelk (PADTAD, 2012)

Using program closures to make an application programming interface (API) implementation thread safe. - Eitan Farchi; Itai Segall; João Lourenço; Diogo Sousa 001 (PADTAD, 2012)

Synthesis from scenario-based specifications. - David Harel; Itai Segall (J. Comput. Syst. Sci., 2012)

Interaction-based test-suite minimization. - Dale Blue; Itai Segall; Rachel Tzoref-Brill; Aviad Zlotnick (ICSE, 2013)

Using Projections to Debug Large Combinatorial Models. - Eitan Farchi; Itai Segall; Rachel Tzoref-Brill (ICST Workshops, 2013)

Combinatorial Testing with Order Requirements. - Eitan Farchi; Itai Segall; Rachel Tzoref-Brill; Aviad Zlotnick (ICST Workshops, 2014)

CloudWave: Where adaptive cloud management meets DevOps. - Dario Bruneo; Thomas Fritz 001; Sharon Keidar-Barner; Philipp Leitner 001; Francesco Longo 001; Clarissa Cassales Marquezan; Andreas Metzger; Klaus Pohl; Antonio Puliafito; Danny Raz; Andreas Roth 001; Eliot E. Salant; et al. (ISCC, 2014)

Automatic and Continuous Software Architecture Validation. - Maayan Goldstein; Itai Segall (ICSE (2), 2015)

Combining minimization and generation for combinatorial testing. - Itai Segall; Rachel Tzoref-Brill; Aviad Zlotnick (ICST Workshops, 2015)

Synthesizing tests for combinatorial coverage of modal scenario specifications. - Valerio Panzica La Manna; Itai Segall; Joel Greenyer (MoDELS, 2015)

Feedback-driven combinatorial test design and execution. - Itai Segall; Rachel Tzoref-Brill (SYSTOR, 2015)

Optimizing virtual backup allocation for middleboxes. - Yossi Kanizo; Ori Rottenstreich; Itai Segall; Jose Yallouz (ICNP, 2016)

Repeated Combinatorial Test Design - Unleashing the Potential in Multiple Testing Iterations. - Itai Segall (ICST, 2016)

Using Machine Learning to Detect Noisy Neighbors in 5G Networks. - Udi Margolin; Alberto Mozo; Bruno Ordozgoiti Rubio; Danny Raz; Elisha J. Rosensweig; Itai Segall (CoRR, 2016)

Deep convolutional neural networks for detecting noisy neighbours in cloud infrastructure. - Bruno Ordozgoiti; Alberto Mozo; Sandra Gómez Canaval; Udi Margolin; Elisha J. Rosensweig; Itai Segall (ESANN, 2017)

Experience Report: Log-Based Behavioral Differencing. - Maayan Goldstein; Danny Raz; Itai Segall (ISSRE, 2017)

Multidimensional resource allocation in practice. - Danny Raz; Itai Segall; Maayan Goldstein (SYSTOR, 2017)

Designing Optimal Middlebox Recovery Schemes with Performance Guarantees. - Yossi Kanizo; Ori Rottenstreich; Itai Segall; Jose Yallouz (INFOCOM, 2018)

Verifying Robustness of Gradient Boosted Models. - Gil Einziger; Maayan Goldstein; Yaniv Sa'ar; Itai Segall (AAAI, 2019)

Scalable Prediction of Service-Level Events in Datacenter Infrastructure Using Deep Neural Networks. - Alberto Mozo; Itai Segall; Udi Margolin; Sandra Gómez Canaval (IEEE Access, 2019)

Learning Software Constraints via Installation Attempts. - Ran Ben Basat; Maayan Goldstein; Itai Segall (APOCS, 2020)

Automatic Ex-Vivo Regression Testing of Microservices. - Luca Gazzola; Maayan Goldstein; Leonardo Mariani; Itai Segall; Luca Ussi (AST, 2020)

Cost Effective Troubleshooting of NFV Infrastructure. - Ran Ben Basat; Gil Einziger; Maayan Goldstein; Liat Pele; Itai Segall (Networking, 2020)

The Resh Programming Language for Multirobot Orchestration. - Martin Carroll; Kedar S. Namjoshi; Itai Segall (ICRA, 2021)

daß: Distributable And Scalable Simulation of Robotic Applications. - Hans C. Woithe; Itai Segall (IROS, 2021)

Dynamic Update for Synthesized GR(1) Controllers. - Gal Amram; Shahar Maoz; Itai Segall; Matan Yossef (ICSE, 2022)

ExVivoMicroTest: ExVivo Testing of Microservices. - Luca Gazzola; Maayan Goldstein; Leonardo Mariani; Marco Mobilio; Itai Segall; Alessandro Tundo; Luca Ussi (J. Softw. Evol. Process., 2023)