Synthesis of Reactive(1) Designs. - Nir Piterman; Amir Pnueli; Yaniv Sa'ar (VMCAI, 2006)

All You Need Is Compassion. - Amir Pnueli; Yaniv Sa'ar (VMCAI, 2008)

A Dash of Fairness for Compositional Reasoning. - Ariel Cohen 002; Kedar S. Namjoshi; Yaniv Sa'ar (CAV, 2010)

SPLIT: A Compositional LTL Verifier. - Ariel Cohen 002; Kedar S. Namjoshi; Yaniv Sa'ar (CAV, 2010)

Jtlv: A Framework for Developing Verification Algorithms. - Amir Pnueli; Yaniv Sa'ar; Lenore D. Zuck (CAV, 2010)

Parallelizing a Symbolic Compositional Model-Checking Algorithm. - Ariel Cohen 002; Kedar S. Namjoshi; Yaniv Sa'ar; Lenore D. Zuck; Katya I. Kisyova (Haifa Verification Conference, 2010)

AspectLTL: an aspect language for LTL specifications. - Shahar Maoz; Yaniv Sa'ar (AOSD, 2011)

Assume-Guarantee Scenarios: Semantics and Synthesis. - Shahar Maoz; Yaniv Sa'ar (MoDELS, 2012)

Verification of multi-linked heaps. - Ittai Balaban; Amir Pnueli; Yaniv Sa'ar; Lenore D. Zuck (J. Comput. Syst. Sci., 2012)

Synthesis of Reactive(1) designs. - Roderick Bloem; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Yaniv Sa'ar (J. Comput. Syst. Sci., 2012)

Counter play-out: executing unrealizable scenario-based specifications. - Shahar Maoz; Yaniv Sa'ar (ICSE, 2013)

Two-Way Traceability and Conflict Debugging for AspectLTL Programs. - Shahar Maoz; Yaniv Sa'ar (LNCS Trans. Aspect Oriented Softw. Dev., 2013)

The actual cost of software switching for NFV chaining. - Marcelo Caggiani Luizelli; Danny Raz; Yaniv Sa'ar; Jose Yallouz (IM, 2017)

Synthesis of Asynchronous Reactive Programs from Temporal Specifications. - Suguman Bansal; Kedar S. Namjoshi; Yaniv Sa'ar (CAV (1), 2018)

Optimizing NFV Chain Deployment through Minimizing the Cost of Virtual Switching. - Marcelo Caggiani Luizelli; Danny Raz; Yaniv Sa'ar (INFOCOM, 2018)

Verifying Robustness of Gradient Boosted Models. - Gil Einziger; Maayan Goldstein; Yaniv Sa'ar; Itai Segall (AAAI, 2019)

Faster Placement of Virtual Machines through Adaptive Caching. - Gil Einziger; Maayan Goldstein; Yaniv Sa'ar (INFOCOM, 2019)

Synthesis of coordination programs from linear temporal logic. - Suguman Bansal; Kedar S. Namjoshi; Yaniv Sa'ar (CoRR, 2019)

Poster Abstract: Parallel VM Placement with Provable Guarantees. - Itamar Cohen; Gil Einziger; Maayan Goldstein; Yaniv Sa'ar; Gabriel Scalosub; Erez Waisbard (INFOCOM Workshops, 2020)

Synthesis of coordination programs from linear temporal specifications. - Suguman Bansal; Kedar S. Namjoshi; Yaniv Sa'ar (Proc. ACM Program. Lang., 2020)

Parallel VM Deployment with Provable Guarantees. - Itamar Cohen; Gil Einziger; Maayan Goldstein; Yaniv Sa'ar; Gabriel Scalosub; Erez Waisbard (Networking, 2021)

Parallel Virtual Machines Placement with Provable Guarantees. - Itamar Cohen; Gil Einziger; Maayan Goldstein; Yaniv Sa'ar; Gabriel Scalosub; Erez Waisbard (CoRR, 2022)

High Throughput VMs Placement With Constrained Communication Overhead and Provable Guarantees. - Itamar Cohen; Gil Einziger; Maayan Goldstein; Yaniv Sa'ar; Gabriel Scalosub; Erez Waisbard (IEEE Trans. Netw. Serv. Manag., 2023)