Itai Segall

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

The Resh Programming Language for Multirobot Orchestration.

[BibT_eX]

[DOI]

Martin Carroll

Kedar S. Namjoshi

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

Cost Effective Troubleshooting of NFV Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 2020 IFIP Networking Conference, 2020

Automatic Ex-Vivo Regression Testing of Microservices.

[BibT_eX]

[DOI]

Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020

Learning Software Constraints via Installation Attempts.

[BibT_eX]

[DOI]

Ran Ben Basat

Proceedings of the 1st Symposium on Algorithmic Principles of Computer Systems, 2020

2019

Scalable Prediction of Service-Level Events in Datacenter Infrastructure Using Deep Neural Networks.

[BibT_eX]

[DOI]

IEEE Access, 2019

Verifying Robustness of Gradient Boosted Models.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Designing Optimal Middlebox Recovery Schemes With Performance Guarantees.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2018

2017

Optimizing Virtual Backup Allocation for Middleboxes.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2017

Multidimensional resource allocation in practice.

[BibT_eX]

[DOI]

Danny Raz

Proceedings of the 10th ACM International Systems and Storage Conference, 2017

Experience Report: Log-Based Behavioral Differencing.

[BibT_eX]

[DOI]

Danny Raz

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Deep convolutional neural networks for detecting noisy neighbours in cloud infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 25th European Symposium on Artificial Neural Networks, 2017

2016

Using Machine Learning to Detect Noisy Neighbors in 5G Networks.

[BibT_eX]

[DOI]

Udi Margolin

Alberto Mozo

Bruno Ordozgoiti Rubio

Danny Raz

Elisha J. Rosensweig

CoRR, 2016

Repeated Combinatorial Test Design - Unleashing the Potential in Multiple Testing Iterations.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015

Feedback-driven combinatorial test design and execution.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM International Systems and Storage Conference, 2015

Synthesizing tests for combinatorial coverage of modal scenario specifications.

[BibT_eX]

[DOI]

Valerio Panzica La Manna

Joel Greenyer

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Combining minimization and generation for combinatorial testing.

[BibT_eX]

[DOI]

Aviad Zlotnick

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Automatic and Continuous Software Architecture Validation.

[BibT_eX]

[DOI]

Clarissa Cassales Marquezan

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

CloudWave: Where adaptive cloud management meets DevOps.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Computers and Communications, 2014

Combinatorial Testing with Order Requirements.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Using Projections to Debug Large Combinatorial Models.

[BibT_eX]

[DOI]

Eitan Farchi

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Interaction-based test-suite minimization.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Synthesis from scenario-based specifications.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2012

Using program closures to make an application programming interface (API) implementation thread safe.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012

Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012

Common Patterns in Combinatorial Models.

[BibT_eX]

[DOI]

Aviad Zlotnick

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Simplified Modeling of Combinatorial Test Spaces.

[BibT_eX]

[DOI]

Aviad Zlotnick

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Interactive refinement of combinatorial test plans.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Using binary decision diagrams for combinatorial test design.

[BibT_eX]

[DOI]

Eitan Farchi

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010

Accelerating Smart Play-Out.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Block storage listener for detecting file-level intrusions.

[BibT_eX]

[DOI]

Proceedings of the IEEE 26th Symposium on Mass Storage Systems and Technologies, 2010

2009

Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications.

[BibT_eX]

[DOI]

Hillel Kugler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Low power mode in cloud storage systems.

[BibT_eX]

[DOI]

Danny Harnik

Dalit Naor

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

2008

Visualizing inter-dependencies between scenarios.

[BibT_eX]

[DOI]

Proceedings of the ACM 2008 Symposium on Software Visualization, 2008

Crafting game-models using reactive system design.

[BibT_eX]

[DOI]

Proceedings of the 2008 Conference on Future Play: Research, Play, Share, 2008

Some Results on the Expressive Power and Complexity of LSCs.

[BibT_eX]

[DOI]

Shahar Maoz

Proceedings of the Pillars of Computer Science, 2008

2007

Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs<sup>, </sup>.

[BibT_eX]

[DOI]