Yaniv Sa'ar

25 papers A* 7A 1B 4Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2023 J jnl
IEEE Trans. Netw. Serv. Manag.
Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard
2022 J jnl
CoRR
Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard
2021 B conf
Networking
Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard
2020 conf
INFOCOM Workshops
Itamar Cohen, Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Gabriel Scalosub, Erez Waisbard
2020 J jnl
Proc. ACM Program. Lang.
Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
2019 A* conf
INFOCOM
Gil Einziger, Maayan Goldstein, Yaniv Sa'ar
2019 J jnl
CoRR
Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
2019 A* conf
AAAI
Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Itai Segall
2019 J jnl
CoRR
Gil Einziger, Maayan Goldstein, Yaniv Sa'ar, Itai Segall
2018 A* conf
INFOCOM
Marcelo Caggiani Luizelli, Danny Raz, Yaniv Sa'ar
2018 conf
CAV (1)
Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
2017 B conf
IM
Marcelo Caggiani Luizelli, Danny Raz, Yaniv Sa'ar, Jose Yallouz
2013 A* conf
ICSE
Shahar Maoz, Yaniv Sa'ar
2013 J jnl
LNCS Trans. Aspect Oriented Softw. Dev.
Shahar Maoz, Yaniv Sa'ar
2012 A conf
MoDELS
Shahar Maoz, Yaniv Sa'ar
2012 J jnl
J. Comput. Syst. Sci.
Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar
2012 conf
AOSD
Shahar Maoz, Yaniv Sa'ar
2012 J jnl
J. Comput. Syst. Sci.
Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck
2011 conf
AOSD
Shahar Maoz, Yaniv Sa'ar
2010 A* conf
CAV
Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar
2010 A* conf
CAV
Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck
2010 conf
Haifa Verification Conference
Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova
2010 A* conf
CAV
Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar
2008 B conf
VMCAI
Amir Pnueli, Yaniv Sa'ar
2006 B conf
VMCAI
Nir Piterman, Amir Pnueli, Yaniv Sa'ar