Yaniv Sa'ar

According to our database, Yaniv Sa'ar authored at least 20 papers between 2006 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Synthesis of coordination programs from linear temporal specifications.

Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar

Proc. ACM Program. Lang., 2020

Poster Abstract: Parallel VM Placement with Provable Guarantees.

Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard

Proceedings of the 39th IEEE Conference on Computer Communications, 2020

2019

Synthesis of coordination programs from linear temporal logic.

Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar

CoRR, 2019

Faster Placement of Virtual Machines through Adaptive Caching.

Gil Einziger, Maayan Goldstein, Yaniv Sa'ar

Proceedings of the 2019 IEEE Conference on Computer Communications, 2019

Verifying Robustness of Gradient Boosted Models.

Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Itai Segall

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

2018

Optimizing NFV Chain Deployment through Minimizing the Cost of Virtual Switching.

Marcelo Caggiani Luizelli, Danny Raz, Yaniv Sa'ar

Proceedings of the 2018 IEEE Conference on Computer Communications, 2018

Synthesis of Asynchronous Reactive Programs from Temporal Specifications.

Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

The actual cost of software switching for NFV chaining.

Marcelo Caggiani Luizelli, Danny Raz, Yaniv Sa'ar, Jose Yallouz

Proceedings of the 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 2017

2013

Two-Way Traceability and Conflict Debugging for AspectLTL Programs.

Shahar Maoz, Yaniv Sa'ar

LNCS Trans. Aspect Oriented Softw. Dev., 2013

Counter play-out: executing unrealizable scenario-based specifications.

Shahar Maoz, Yaniv Sa'ar

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

2012

Synthesis of Reactive(1) designs.

Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar

J. Comput. Syst. Sci., 2012

Verification of multi-linked heaps.

Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck

J. Comput. Syst. Sci., 2012

Assume-Guarantee Scenarios: Semantics and Synthesis.

Shahar Maoz, Yaniv Sa'ar

Proceedings of the Model Driven Engineering Languages and Systems, 2012

2011

AspectLTL: an aspect language for LTL specifications.

Shahar Maoz, Yaniv Sa'ar

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

Parallelizing a Symbolic Compositional Model-Checking Algorithm.

Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova

Proceedings of the Hardware and Software: Verification and Testing, 2010

Jtlv: A Framework for Developing Verification Algorithms.

Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

SPLIT: A Compositional LTL Verifier.

Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

A Dash of Fairness for Compositional Reasoning.

Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2008

All You Need Is Compassion.

Amir Pnueli, Yaniv Sa'ar

Proceedings of the Verification, 2008

2006

Synthesis of Reactive(1) Designs.

Nir Piterman, Amir Pnueli, Yaniv Sa'ar

Proceedings of the Verification, 2006