Lev Greenberg
发表
Allon Adir,
Alex Goryachev,
Lev Greenberg,
2014,
2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).
Lev Greenberg,
Michael Masin,
Henry Broodney,
2012
.
Lev Greenberg,
Yishai A. Feldman,
Eldad Palachi,
2014
.
Hokeun Kim,
Edward A. Lee,
Radu Marculescu,
2015
.
Lev Greenberg,
Michael Masin,
Lior Limonad,
2013,
CSER.
Lev Greenberg,
Michael Masin,
Philipp Helle,
2012,
SAFECOMP.
Lev Greenberg,
Alberto Sangiovanni-Vincentelli,
Michael Masin,
2011
.
Allon Adir,
Lev Greenberg,
Moran Baruch,
2020,
ArXiv.
Hokeun Kim,
Edward A. Lee,
Lev Greenberg,
2015,
2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).
David Broman,
Edward A. Lee,
Lev Greenberg,
2014
.
Ofer M. Shir,
Lev Greenberg,
Michael Masin,
2012,
CSER.
Allon Adir,
Alex Goryachev,
Lev Greenberg,
2012,
Haifa Verification Conference.
Allon Adir,
Lev Greenberg,
Tamer Salman,
2013,
Haifa Verification Conference.
David Broman,
Edward A. Lee,
Lev Greenberg,
2015,
HSCC.
Lev Greenberg,
Shinichi Hirose,
Henry Broodney,
2015
.
David Broman,
Edward A. Lee,
Lev Greenberg,
2013,
2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
Allon Adir,
Lev Greenberg,
Shelly Garion,
2017,
SYSTOR.
Fighting COVID-19 in the Dark: Methodology for Improved Inference Using Homomorphically Encrypted DNN
pdf
Lev Greenberg,
Moran Baruch,
Guy Moshkowich,
2021,
ArXiv.
Lev Greenberg,
Michael Wetter,
Michael Masin,
2016
.
Lev Greenberg,
Michael Masin,
Alberto Ferrari,
2012
.