Itai Segall

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