default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDItai Segall
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j5]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)- 2022
- [c35]Gal Amram, Shahar Maoz, Itai Segall, Matan Yossef:
Dynamic Update for Synthesized GR(1) Controllers. ICSE 2022: 786-797 - 2021
- [c34]Martin Carroll, Kedar S. Namjoshi, Itai Segall:
The Resh Programming Language for Multirobot Orchestration. ICRA 2021: 4026-4032 - [c33]Hans C. Woithe, Itai Segall:
daß: Distributable And Scalable Simulation of Robotic Applications. IROS 2021: 7550-7556 - [i4]Martin Carroll, Kedar S. Namjoshi, Itai Segall:
The Resh Programming Language for Multirobot Orchestration. CoRR abs/2103.13921 (2021) - 2020
- [c32]Ran Ben Basat, Maayan Goldstein, Itai Segall:
Learning Software Constraints via Installation Attempts. APOCS 2020: 60-74 - [c31]Luca Gazzola, Maayan Goldstein, Leonardo Mariani, Itai Segall, Luca Ussi:
Automatic Ex-Vivo Regression Testing of Microservices. AST@ICSE 2020: 11-20 - [c30]Ran Ben Basat, Gil Einziger, Maayan Goldstein, Liat Pele, Itai Segall:
Cost Effective Troubleshooting of NFV Infrastructure. Networking 2020: 686-694
2010 – 2019
- 2019
- [j4]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: 179779-179798 (2019) - [c29]Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Itai Segall:
Verifying Robustness of Gradient Boosted Models. AAAI 2019: 2446-2453 - [i3]Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Itai Segall:
Verifying Robustness of Gradient Boosted Models. CoRR abs/1906.10991 (2019) - 2018
- [j3]Yossi Kanizo, Ori Rottenstreich, Itai Segall, Jose Yallouz:
Designing Optimal Middlebox Recovery Schemes With Performance Guarantees. IEEE J. Sel. Areas Commun. 36(10): 2373-2383 (2018) - [c28]Yossi Kanizo, Ori Rottenstreich, Itai Segall, Jose Yallouz:
Designing Optimal Middlebox Recovery Schemes with Performance Guarantees. INFOCOM 2018: 2096-2104 - [e1]Christine Julien, Grace A. Lewis, Itai Segall:
Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27 - 28, 2018. ACM 2018 [contents] - [i2]Ran Ben-Basat, Maayan Goldstein, Itai Segall:
Learning Software Constraints via Installation Attempts. CoRR abs/1804.08902 (2018) - 2017
- [j2]Yossi Kanizo, Ori Rottenstreich, Itai Segall, Jose Yallouz:
Optimizing Virtual Backup Allocation for Middleboxes. IEEE/ACM Trans. Netw. 25(5): 2759-2772 (2017) - [c27]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 - [c26]Maayan Goldstein, Danny Raz, Itai Segall:
Experience Report: Log-Based Behavioral Differencing. ISSRE 2017: 282-293 - [c25]Danny Raz, Itai Segall, Maayan Goldstein:
Multidimensional resource allocation in practice. SYSTOR 2017: 1:1-1:10 - 2016
- [c24]Yossi Kanizo, Ori Rottenstreich, Itai Segall, Jose Yallouz:
Optimizing virtual backup allocation for middleboxes. ICNP 2016: 1-10 - [c23]Itai Segall:
Repeated Combinatorial Test Design - Unleashing the Potential in Multiple Testing Iterations. ICST 2016: 12-21 - [i1]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 abs/1610.07419 (2016) - 2015
- [c22]Maayan Goldstein, Itai Segall:
Automatic and Continuous Software Architecture Validation. ICSE (2) 2015: 59-68 - [c21]Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Combining minimization and generation for combinatorial testing. ICST Workshops 2015: 1-9 - [c20]Valerio Panzica La Manna, Itai Segall, Joel Greenyer:
Synthesizing tests for combinatorial coverage of modal scenario specifications. MoDELS 2015: 126-135 - [c19]Itai Segall, Rachel Tzoref-Brill:
Feedback-driven combinatorial test design and execution. SYSTOR 2015: 12:1-12:6 - 2014
- [c18]Eitan Farchi, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Combinatorial Testing with Order Requirements. ICST Workshops 2014: 118-127 - [c17]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: 1-6 - 2013
- [c16]Dale Blue, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Interaction-based test-suite minimization. ICSE 2013: 182-191 - [c15]Eitan Farchi, Itai Segall, Rachel Tzoref-Brill:
Using Projections to Debug Large Combinatorial Models. ICST Workshops 2013: 311-320 - 2012
- [j1]David Harel, Itai Segall:
Synthesis from scenario-based specifications. J. Comput. Syst. Sci. 78(3): 970-980 (2012) - [c14]Itai Segall, Rachel Tzoref-Brill:
Interactive refinement of combinatorial test plans. ICSE 2012: 1371-1374 - [c13]Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Simplified Modeling of Combinatorial Test Spaces. ICST 2012: 573-579 - [c12]Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Common Patterns in Combinatorial Models. ICST 2012: 624-629 - [c11]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: 18-24 - [c10]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: 25-35 - 2011
- [c9]Itai Segall, Rachel Tzoref-Brill, Eitan Farchi:
Using binary decision diagrams for combinatorial test design. ISSTA 2011: 254-264 - 2010
- [c8]Miriam Allalouf, Muli Ben-Yehuda, Julian Satran, Itai Segall:
Block storage listener for detecting file-level intrusions. MSST 2010: 1-12 - [c7]David Harel, Hillel Kugler, Shahar Maoz, Itai Segall:
Accelerating Smart Play-Out. SOFSEM 2010: 477-488
2000 – 2009
- 2009
- [c6]Danny Harnik, Dalit Naor, Itai Segall:
Low power mode in cloud storage systems. IPDPS 2009: 1-8 - [c5]Hillel Kugler, Itai Segall:
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. TACAS 2009: 77-91 - 2008
- [c4]David Harel, Shahar Maoz, Itai Segall:
Some Results on the Expressive Power and Complexity of LSCs. Pillars of Computer Science 2008: 351-366 - [c3]David Harel, Itai Segall, Hillel Kugler, Yaki Setty:
Crafting game-models using reactive system design. Future Play 2008: 121-128 - [c2]David Harel, Itai Segall:
Visualizing inter-dependencies between scenarios. SOFTVIS 2008: 145-153 - 2007
- [c1]David Harel, Itai Segall:
Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, . TACAS 2007: 485-499
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
