Itai Segall

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 21

Top Topics

Programming Language

Cloud Infrastructure

Multi Robot Coordination

Top Venues

Publications

Luca Gazzola, Maayan Goldstein, Leonardo Mariani, Marco Mobilio, Itai Segall, Alessandro Tundo, Luca Ussi
ExVivoMicroTest: ExVivo Testing of Microservices. J. Softw. Evol. Process. 35 (4) (2023)
Gal Amram, Shahar Maoz, Itai Segall, Matan Yossef
Dynamic Update for Synthesized GR(1) Controllers. ICSE (2022)
Hans C. Woithe, Itai Segall
daß: Distributable And Scalable Simulation of Robotic Applications. IROS (2021)
Martin Carroll, Kedar S. Namjoshi, Itai Segall
The Resh Programming Language for Multirobot Orchestration. CoRR (2021)
Martin Carroll, Kedar S. Namjoshi, Itai Segall
The Resh Programming Language for Multirobot Orchestration. ICRA (2021)
Ran Ben Basat, Gil Einziger, Maayan Goldstein, Liat Pele, Itai Segall
Cost Effective Troubleshooting of NFV Infrastructure. Networking (2020)
Ran Ben Basat, Maayan Goldstein, Itai Segall
Learning Software Constraints via Installation Attempts. APOCS (2020)
Luca Gazzola, Maayan Goldstein, Leonardo Mariani, Itai Segall, Luca Ussi
Automatic Ex-Vivo Regression Testing of Microservices. AST@ICSE (2020)
Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Itai Segall
Verifying Robustness of Gradient Boosted Models. CoRR (2019)
Alberto Mozo, Itai Segall, Udi Margolin, Sandra Gómez Canaval
Scalable Prediction of Service-Level Events in Datacenter Infrastructure Using Deep Neural Networks. IEEE Access 7 (2019)
Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Itai Segall
Verifying Robustness of Gradient Boosted Models. AAAI (2019)
Yossi Kanizo, Ori Rottenstreich, Itai Segall, Jose Yallouz
Designing Optimal Middlebox Recovery Schemes With Performance Guarantees. IEEE J. Sel. Areas Commun. 36 (10) (2018)
Yossi Kanizo, Ori Rottenstreich, Itai Segall, Jose Yallouz
Designing Optimal Middlebox Recovery Schemes with Performance Guarantees. INFOCOM (2018)
Ran Ben-Basat, Maayan Goldstein, Itai Segall
Learning Software Constraints via Installation Attempts. CoRR (2018)
Maayan Goldstein, Danny Raz, Itai Segall
Experience Report: Log-Based Behavioral Differencing. ISSRE (2017)
Danny Raz, Itai Segall, Maayan Goldstein
Multidimensional resource allocation in practice. SYSTOR (2017)
Yossi Kanizo, Ori Rottenstreich, Itai Segall, Jose Yallouz
Optimizing Virtual Backup Allocation for Middleboxes. IEEE/ACM Trans. Netw. 25 (5) (2017)
Bruno Ordozgoiti, Alberto Mozo, Sandra Gómez Canaval, Udi Margolin, Elisha J. Rosensweig, Itai Segall
Deep convolutional neural networks for detecting noisy neighbours in cloud infrastructure. ESANN (2017)
Udi Margolin, Alberto Mozo, Bruno Ordozgoiti Rubio, Danny Raz, Elisha J. Rosensweig, Itai Segall
Using Machine Learning to Detect Noisy Neighbors in 5G Networks. CoRR (2016)
Itai Segall
Repeated Combinatorial Test Design - Unleashing the Potential in Multiple Testing Iterations. ICST (2016)
Yossi Kanizo, Ori Rottenstreich, Itai Segall, Jose Yallouz
Optimizing virtual backup allocation for middleboxes. ICNP (2016)
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
Combining minimization and generation for combinatorial testing. ICST Workshops (2015)
Maayan Goldstein, Itai Segall
Automatic and Continuous Software Architecture Validation. ICSE (2) (2015)
Itai Segall, Rachel Tzoref-Brill
Feedback-driven combinatorial test design and execution. SYSTOR (2015)
Valerio Panzica La Manna, Itai Segall, Joel Greenyer
Synthesizing tests for combinatorial coverage of modal scenario specifications. MoDELS (2015)
Eitan Farchi, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
Combinatorial Testing with Order Requirements. ICST Workshops (2014)
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
CloudWave: Where adaptive cloud management meets DevOps. ISCC (2014)
Dale Blue, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
Interaction-based test-suite minimization. ICSE (2013)
Eitan Farchi, Itai Segall, Rachel Tzoref-Brill
Using Projections to Debug Large Combinatorial Models. ICST Workshops (2013)
Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa
Using program closures to make an application programming interface (API) implementation thread safe. PADTAD (2012)
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
Common Patterns in Combinatorial Models. ICST (2012)
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
Simplified Modeling of Combinatorial Test Spaces. ICST (2012)
Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk
Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. PADTAD (2012)
David Harel, Itai Segall
Synthesis from scenario-based specifications. J. Comput. Syst. Sci. 78 (3) (2012)
Itai Segall, Rachel Tzoref-Brill
Interactive refinement of combinatorial test plans. ICSE (2012)
Itai Segall, Rachel Tzoref-Brill, Eitan Farchi
Using binary decision diagrams for combinatorial test design. ISSTA (2011)
Miriam Allalouf, Muli Ben-Yehuda, Julian Satran, Itai Segall
Block storage listener for detecting file-level intrusions. MSST (2010)
David Harel, Hillel Kugler, Shahar Maoz, Itai Segall
Accelerating Smart Play-Out. SOFSEM (2010)
Hillel Kugler, Itai Segall
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. TACAS (2009)
Danny Harnik, Dalit Naor, Itai Segall
Low power mode in cloud storage systems. IPDPS (2009)
David Harel, Shahar Maoz, Itai Segall
Some Results on the Expressive Power and Complexity of LSCs. Pillars of Computer Science (2008)
David Harel, Itai Segall
Visualizing inter-dependencies between scenarios. SOFTVIS (2008)
David Harel, Itai Segall, Hillel Kugler, Yaki Setty
Crafting game-models using reactive system design. Future Play (2008)
David Harel, Itai Segall
. TACAS (2007)