Yaniv Sa'ar

25 papers A* 7A 1B 4Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2023 J jnl
High Throughput VMs Placement With Constrained Communication Overhead and Provable Guarantees.
IEEE Trans. Netw. Serv. Manag.
Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard
2022 J jnl
Parallel Virtual Machines Placement with Provable Guarantees.
CoRR
Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard
2021 B conf
Parallel VM Deployment with Provable Guarantees.
Networking
Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard
2020 — conf
Poster Abstract: Parallel VM Placement with Provable Guarantees.
INFOCOM Workshops
Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard
2020 J jnl
Synthesis of coordination programs from linear temporal specifications.
Proc. ACM Program. Lang.
Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
2019 A* conf
Faster Placement of Virtual Machines through Adaptive Caching.
INFOCOM
Gil Einziger, Maayan Goldstein, Yaniv Sa'ar
2019 J jnl
Synthesis of coordination programs from linear temporal logic.
CoRR
Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
2019 A* conf
Verifying Robustness of Gradient Boosted Models.
AAAI
Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Itai Segall
2019 J jnl
Verifying Robustness of Gradient Boosted Models.
CoRR
Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Itai Segall
2018 A* conf
Optimizing NFV Chain Deployment through Minimizing the Cost of Virtual Switching.
INFOCOM
Marcelo Caggiani Luizelli, Danny Raz, Yaniv Sa'ar
2018 — conf
Synthesis of Asynchronous Reactive Programs from Temporal Specifications.
CAV (1)
Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
2017 B conf
The actual cost of software switching for NFV chaining.
IM
Marcelo Caggiani Luizelli, Danny Raz, Yaniv Sa'ar, Jose Yallouz
2013 A* conf
Counter play-out: executing unrealizable scenario-based specifications.
ICSE
Shahar Maoz, Yaniv Sa'ar
2013 J jnl
Two-Way Traceability and Conflict Debugging for AspectLTL Programs.
LNCS Trans. Aspect Oriented Softw. Dev.
Shahar Maoz, Yaniv Sa'ar
2012 A conf
Assume-Guarantee Scenarios: Semantics and Synthesis.
MoDELS
Shahar Maoz, Yaniv Sa'ar
2012 J jnl
Synthesis of Reactive(1) designs.
J. Comput. Syst. Sci.
Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar
2012 — conf
Two-way traceability and conflict debugging for AspectLTL programs.
AOSD
Shahar Maoz, Yaniv Sa'ar
2012 J jnl
Verification of multi-linked heaps.
J. Comput. Syst. Sci.
Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck
2011 — conf
AspectLTL: an aspect language for LTL specifications.
AOSD
Shahar Maoz, Yaniv Sa'ar
2010 A* conf
A Dash of Fairness for Compositional Reasoning.
CAV
Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar
2010 A* conf
Jtlv: A Framework for Developing Verification Algorithms.
CAV
Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck
2010 — conf
Parallelizing a Symbolic Compositional Model-Checking Algorithm.
Haifa Verification Conference
Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova
2010 A* conf
SPLIT: A Compositional LTL Verifier.
CAV
Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar
2008 B conf
All You Need Is Compassion.
VMCAI
Amir Pnueli, Yaniv Sa'ar
2006 B conf
Synthesis of Reactive(1) Designs.
VMCAI
Nir Piterman, Amir Pnueli, Yaniv Sa'ar