Y. Vizel
发表
A. Gurfinkel,
Xiaoping Zhou,
Xiang Zhou,
2021,
Innovations in Systems and Software Engineering.
S. Malik,
Aarti Gupta,
Pramod Subramanyan,
2018,
ArXiv.
Sharad Malik,
Yakir Vizel,
Alexander Nadel,
2017,
SMT.
A. Gurfinkel,
Xiaoping Zhou,
Yuyan Bao,
2022,
2022 Formal Methods in Computer-Aided Design (FMCAD).
Arie Gurfinkel,
Yakir Vizel,
Yuyan Bao,
2021,
Innovations in Systems and Software Engineering.
Sharad Malik,
Pramod Subramanyan,
Aarti Gupta,
2018,
ACM Trans. Design Autom. Electr. Syst..
Arie Gurfinkel,
Sharon Shoham,
Yakir Vizel,
2018,
ATVA.
Arie Gurfinkel,
Sharon Shoham,
Yakir Vizel,
2019,
CAV.
Sharon Shoham,
Y. Vizel,
Shachar Itzhaky,
2023,
ArXiv.
Sharad Malik,
Pramod Subramanyan,
Aarti Gupta,
2018,
CAV.
Arie Gurfinkel,
Vijay Ganesh,
Yakir Vizel,
2019,
CAV.
Arie Gurfinkel,
Yakir Vizel,
A. Gurfinkel,
2014,
CAV.
Orna Grumberg,
Sharon Shoham,
Yakir Vizel,
2013,
Software Systems Safety.
Sharad Malik,
Georg Weissenbacher,
Yakir Vizel,
2015,
Proceedings of the IEEE.
Sharad Malik,
Pramod Subramanyan,
Aarti Gupta,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Roderick Bloem,
Swen Jacobs,
Yakir Vizel,
2019,
ATVA.
Sharad Malik,
Arie Gurfinkel,
Yakir Vizel,
2015,
CAV.
Y. Vizel,
Swen Jacobs,
Joachim Bard,
2023,
VMCAI.
Arie Gurfinkel,
Yakir Vizel,
A. Gurfinkel,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).