| 2022 | ICSE | Dynamic Update for Synthesized GR(1) Controllers. | Gal Amram, Shahar Maoz, Itai Segall, Matan Yossef |
| 2021 | ICRA | The Resh Programming Language for Multirobot Orchestration. | Martin Carroll, Kedar S. Namjoshi, Itai Segall |
| 2021 | IROS | da: Distributable And Scalable Simulation of Robotic Applications. | Hans C. Woithe, Itai Segall |
| 2020 | ICSE | Automatic Ex-Vivo Regression Testing of Microservices. | Luca Gazzola, Maayan Goldstein, Leonardo Mariani, Itai Segall, Luca Ussi |
| 2020 | Networking | Cost Effective Troubleshooting of NFV Infrastructure. | Ran Ben Basat, Gil Einziger, Maayan Goldstein, Liat Pele, Itai Segall |
| 2019 | AAAI | Verifying Robustness of Gradient Boosted Models. | Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Itai Segall |
| 2018 | INFOCOM | Designing Optimal Middlebox Recovery Schemes with Performance Guarantees. | Yossi Kanizo, Ori Rottenstreich, Itai Segall, Jose Yallouz |
| 2017 | ESANN | Deep convolutional neural networks for detecting noisy neighbours in cloud infrastructure. | Bruno Ordozgoiti, Alberto Mozo, Sandra Gmez Canaval, Udi Margolin, Elisha J. Rosensweig, Itai Segall |
| 2017 | ISSRE | Experience Report: Log-Based Behavioral Differencing. | Maayan Goldstein, Danny Raz, Itai Segall |
| 2017 | SYSTOR | Multidimensional resource allocation in practice. | Danny Raz, Itai Segall, Maayan Goldstein |
| 2016 | ICNP | Optimizing virtual backup allocation for middleboxes. | Yossi Kanizo, Ori Rottenstreich, Itai Segall, Jose Yallouz |
| 2016 | ICST | Repeated Combinatorial Test Design - Unleashing the Potential in Multiple Testing Iterations. | Itai Segall |
| 2015 | ICSE | Automatic and Continuous Software Architecture Validation. | Maayan Goldstein, Itai Segall |
| 2015 | ICST | Combining minimization and generation for combinatorial testing. | Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick |
| 2015 | MODELS | Synthesizing tests for combinatorial coverage of modal scenario specifications. | Valerio Panzica La Manna, Itai Segall, Joel Greenyer |
| 2015 | SYSTOR | Feedback-driven combinatorial test design and execution. | Itai Segall, Rachel Tzoref-Brill |
| 2014 | ICST | Combinatorial Testing with Order Requirements. | Eitan Farchi, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick |
| 2014 | ISCC | CloudWave: Where adaptive cloud management meets DevOps. | Dario Bruneo, Thomas Fritz, Sharon Keidar-Barner, Philipp Leitner, Francesco Longo, Clarissa Cassales Marquezan, Andreas Metzger, Klaus Pohl, Antonio Puliafito, Danny Raz, Andreas Roth, Eliot E. Salant, Itai Segall, Massimo Villari, Yaron Wolfsthal, Chris Woods |
| 2013 | ICSE | Interaction-based test-suite minimization. | Dale Blue, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick |
| 2013 | ICST | Using Projections to Debug Large Combinatorial Models. | Eitan Farchi, Itai Segall, Rachel Tzoref-Brill |
| 2012 | ICSE | Interactive refinement of combinatorial test plans. | Itai Segall, Rachel Tzoref-Brill |
| 2012 | ICST | Simplified Modeling of Combinatorial Test Spaces. | Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick |
| 2012 | ICST | Common Patterns in Combinatorial Models. | Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick |
| 2012 | ISSTA | Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. | Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk |
| 2012 | ISSTA | Using program closures to make an application programming interface (API) implementation thread safe. | Eitan Farchi, Itai Segall, Joo Loureno, Diogo Sousa |
| 2011 | ISSTA | Using binary decision diagrams for combinatorial test design. | Itai Segall, Rachel Tzoref-Brill, Eitan Farchi |
| 2010 | SOFSEM | Accelerating Smart Play-Out. | David Harel, Hillel Kugler, Shahar Maoz, Itai Segall |
| 2009 | TACAS | Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. | Hillel Kugler, Itai Segall |
| 2007 | TACAS | Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs | David Harel, Itai Segall |