Yaniv Sa'ar
发表
Amir Pnueli,
Nir Piterman,
Yaniv Sa'ar,
2006,
VMCAI.
Dana Sherman,
Smadar Szekely,
Yaki Setty,
2018,
Canadian Medical Association Journal.
Kedar S. Namjoshi,
K. Namjoshi,
Yaniv Sa'ar,
2019
.
Yaniv Sa'ar,
Itai Segall,
Gil Einziger,
2019,
AAAI.
Amir Pnueli,
Nir Piterman,
Roderick Bloem,
2006,
J. Comput. Syst. Sci..
Shahar Maoz,
Yaniv Sa'ar,
Yaniv Sa'ar,
2011,
AOSD '11.
Kedar S. Namjoshi,
Yaniv Sa'ar,
Ariel Cohen,
2010,
CAV.
Kedar S. Namjoshi,
Yaniv Sa'ar,
Suguman Bansal,
2019,
Proc. ACM Program. Lang..
Kedar S. Namjoshi,
Yaniv Sa'ar,
Suguman Bansal,
2019,
ArXiv.
Kedar S. Namjoshi,
Lenore D. Zuck,
Yaniv Sa'ar,
2010,
Haifa Verification Conference.
Amir Pnueli,
Yaniv Sa'ar,
A. Pnueli,
2008,
VMCAI.
Kedar S. Namjoshi,
Yaniv Sa'ar,
Suguman Bansal,
2018,
CAV.
Amir Pnueli,
Lenore D. Zuck,
Yaniv Sa'ar,
2010,
CAV.
Yaniv Sa'ar,
Gil Einziger,
Maayan Goldstein,
2019,
IEEE INFOCOM 2019 - IEEE Conference on Computer Communications.
Shahar Maoz,
Yaniv Sa'ar,
Yaniv Sa'ar,
2012,
MODELS'12.
Danny Raz,
Yaniv Sa'ar,
Jose Yallouz,
2017,
2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM).
Amir Pnueli,
Lenore D. Zuck,
Yaniv Sa'ar,
2012,
J. Comput. Syst. Sci..