| 2021 | Networking | Parallel VM Deployment with Provable Guarantees. | Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard |
| 2020 | INFOCOM | Poster Abstract: Parallel VM Placement with Provable Guarantees. | Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard |
| 2019 | AAAI | Verifying Robustness of Gradient Boosted Models. | Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Itai Segall |
| 2019 | INFOCOM | Faster Placement of Virtual Machines through Adaptive Caching. | Gil Einziger, Maayan Goldstein, Yaniv Sa'ar |
| 2018 | CAV | Synthesis of Asynchronous Reactive Programs from Temporal Specifications. | Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar |
| 2018 | INFOCOM | Optimizing NFV Chain Deployment through Minimizing the Cost of Virtual Switching. | Marcelo Caggiani Luizelli, Danny Raz, Yaniv Sa'ar |
| 2017 | IM | The actual cost of software switching for NFV chaining. | Marcelo Caggiani Luizelli, Danny Raz, Yaniv Sa'ar, Jose Yallouz |
| 2013 | ICSE | Counter play-out: executing unrealizable scenario-based specifications. | Shahar Maoz, Yaniv Sa'ar |
| 2012 | MODELS | Assume-Guarantee Scenarios: Semantics and Synthesis. | Shahar Maoz, Yaniv Sa'ar |
| 2010 | CAV | A Dash of Fairness for Compositional Reasoning. | Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar |
| 2010 | CAV | SPLIT: A Compositional LTL Verifier. | Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar |
| 2010 | CAV | Jtlv: A Framework for Developing Verification Algorithms. | Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck |
| 2008 | VMCAI | All You Need Is Compassion. | Amir Pnueli, Yaniv Sa'ar |
| 2006 | VMCAI | Synthesis of Reactive(1) Designs. | Nir Piterman, Amir Pnueli, Yaniv Sa'ar |