| 2025 |
J |
jnl |
CoRR
Racchit Jain, Satya Lokam, Yehonathan Refael, Adam Hakim, Lev Greenberg, Jay Tenenbaum
|
| 2024 |
J |
jnl |
CoRR
Yehonathan Refael, Adam Hakim, Lev Greenberg, Tal Aviv, Satya Lokam, Ben Fishman, Shachar Seidman
|
| 2023 |
J |
jnl |
Proc. Priv. Enhancing Technol.
Ehud Aharoni, Allon Adir, Moran Baruch, Nir Drucker, Gilad Ezov, Ariel Farkash, Lev Greenberg, Ramy Masalha, Guy Moshkowich, Dov Murik, Hayim Shaul, Omri Soceanu
|
| 2022 |
— |
conf |
ACNS Workshops
Moran Baruch, Nir Drucker, Lev Greenberg, Guy Moshkowich
|
| 2021 |
J |
jnl |
CoRR
Moran Baruch, Lev Greenberg, Guy Moshkowich
|
| 2020 |
— |
conf |
CPS4CIP
Omri Soceanu, Allon Adir, Ehud Aharoni, Lev Greenberg, Habtamu Abie
|
| 2020 |
J |
jnl |
CoRR
Ehud Aharoni, Allon Adir, Moran Baruch, Gilad Ezov, Ariel Farkash, Lev Greenberg, Ramy Masalha, Dov Murik, Omri Soceanu
|
| 2017 |
Misc |
conf |
SYSTOR
Shelly Garion, Hillel Kolodner, Allon Adir, Ehud Aharoni, Lev Greenberg
|
| 2015 |
— |
conf |
HSCC
David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter
|
| 2015 |
A* |
conf |
DAC
Armin Wasicek, Edward A. Lee, Hokeun Kim, Lev Greenberg, Akihito Iwai, Ilge Akkaya
|
| 2014 |
A* |
conf |
DAC
Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman
|
| 2013 |
Misc |
conf |
EMSOFT
David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter
|
| 2013 |
— |
conf |
Haifa Verification Conference
Andreas Abel, Allon Adir, Torsten Blochwitz, Lev Greenberg, Tamer Salman
|
| 2013 |
— |
conf |
CSER
Michael Masin, Lior Limonad, Aviad Sela, David Boaz, Lev Greenberg, Nir Mashkif, Ran Rinat
|
| 2012 |
— |
conf |
Haifa Verification Conference
Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman, Gil Shurek
|
| 2012 |
— |
conf |
CSER
Alexander Zadorojniy, Michael Masin, Lev Greenberg, Ofer M. Shir, Lawrence Zeidner
|
| 2012 |
B |
conf |
SAFECOMP
Philipp Helle, Michael Masin, Lev Greenberg
|