| 2025 |
J |
jnl |
CoRR
Ora Nova Fandina, Eitan Farchi, Shmulik Froimovich, Rami Katan, Alice Podolsky, Orna Raz, Avi Ziv
|
| 2025 |
J |
jnl |
CoRR
Samuel Ackerman, Wesam Ibraheem, Orna Raz, Marcel Zalmanovici
|
| 2025 |
J |
jnl |
CoRR
Itay Dreyfuss, Antonio Abu Nassar, Samuel Ackerman, Axel Bendavid, Eitan Farchi, Rami Katan, Orna Raz, Marcel Zalmanovici
|
| 2025 |
J |
jnl |
CoRR
Samuel Ackerman, Eitan Farchi, Orna Raz, Assaf Toledo
|
| 2025 |
— |
conf |
ASEW
Ziv Nevo, Orna Raz, Karen Yorav
|
| 2025 |
J |
jnl |
CoRR
Ziv Nevo, Orna Raz, Karen Yorav
|
| 2025 |
— |
conf |
ASEW
Ora Nova Fandina, Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Wesam Ibraheem, Rami Katan, Alice Podolsky, Orna Raz
|
| 2025 |
J |
jnl |
CoRR
Ora Nova Fandina, Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Wesam Ibraheem, Rami Katan, Alice Podolsky, Orna Raz
|
| 2024 |
J |
jnl |
CoRR
Swapnaja Achintalwar, Ioana Baldini, Djallel Bouneffouf, Joan Byamugisha, Maria Chang, Pierre L. Dognin, Eitan Farchi, Ndivhuwo Makondo, Aleksandra Mojsilovic, Manish Nagireddy, Karthikeyan Natesan Ramamurthy, Inkit Padhi, Orna Raz, Jesus Rios, Prasanna Sattigeri, Moninder Singh, Siphiwe Thwala, Rosario A. Uceda-Sosa, Kush R. Varshney
|
| 2024 |
J |
jnl |
IEEE Internet Comput.
Swapnaja Achintalwar, Ioana Baldini, Djallel Bouneffouf, Joan Byamugisha, Maria Chang, Pierre L. Dognin, Eitan Farchi, Ndivhuwo Makondo, Aleksandra Mojsilovic, Manish Nagireddy, Karthikeyan Natesan Ramamurthy, Inkit Padhi, Orna Raz, Jesus Rios, Prasanna Sattigeri, Moninder Singh, Siphiwe Thwala, Rosario A. Uceda-Sosa, Kush R. Varshney
|
| 2024 |
J |
jnl |
CoRR
Eitan Farchi, Shmulik Froimovich, Rami Katan, Orna Raz
|
| 2024 |
J |
jnl |
CoRR
Ora Nova Fandina, Leshem Choshen, Eitan Farchi, George Kour, Yotam Perlitz, Orna Raz
|
| 2024 |
J |
jnl |
CoRR
Swapnaja Achintalwar, Adriana Alvarado Garcia, Ateret Anaby-Tavor, Ioana Baldini, Sara E. Berger, Bishwaranjan Bhattacharjee, Djallel Bouneffouf, Subhajit Chaudhury, Pin-Yu Chen, Lamogha Chiazor, Elizabeth M. Daly, Rogério Abreu de Paula, Pierre L. Dognin, Eitan Farchi, Soumya Ghosh, Michael Hind, Raya Horesh, George Kour, Ja Young Lee, Erik Miehling, Keerthiram Murugesan, Manish Nagireddy, Inkit Padhi, David Piorkowski, Ambrish Rawat, Orna Raz, Prasanna Sattigeri, Hendrik Strobelt, Sarathkrishna Swaminathan, Christoph Tillmann, Aashka Trivedi, Kush R. Varshney, Dennis Wei, Shalisha Witherspoon, Marcel Zalmanovici
|
| 2024 |
J |
jnl |
CoRR
Marcel Zalmanovici, Orna Raz, Eitan Farchi, Iftach Freund
|
| 2024 |
J |
jnl |
CoRR
Samuel Ackerman, Eitan Farchi, Rami Katan, Orna Raz
|
| 2023 |
J |
jnl |
CoRR
Samuel Ackerman, Axel Bendavid, Eitan Farchi, Orna Raz
|
| 2023 |
J |
jnl |
CoRR
Ella Rabinovich, Samuel Ackerman, Orna Raz, Eitan Farchi, Ateret Anaby-Tavor
|
| 2023 |
J |
jnl |
CoRR
George Kour, Marcel Zalmanovici, Naama Zwerdling, Esther Goldbraich, Ora Nova Fandina, Ateret Anaby-Tavor, Orna Raz, Eitan Farchi
|
| 2022 |
J |
jnl |
CoRR
Samuel Ackerman, Eitan Farchi, Orna Raz, Onn Shehory
|
| 2022 |
J |
jnl |
CoRR
Samuel Ackerman, Ateret Anaby-Tavor, Eitan Farchi, Esther Goldbraich, George Kour, Ella Rabinovich, Orna Raz, Saritha Route, Marcel Zalmanovici, Naama Zwerdling
|
| 2022 |
J |
jnl |
CoRR
George Kour, Samuel Ackerman, Orna Raz, Eitan Farchi, Boaz Carmeli, Ateret Anaby-Tavor
|
| 2021 |
J |
jnl |
CoRR
Samuel Ackerman, Orna Raz, Marcel Zalmanovici, Aviad Zlotnick
|
| 2021 |
J |
jnl |
CoRR
George Kour, Marcel Zalmanovici, Orna Raz, Samuel Ackerman, Ateret Anaby-Tavor
|
| 2021 |
J |
jnl |
CoRR
Samuel Ackerman, Eitan Farchi, Orna Raz, Marcel Zalmanovici, Maya Zohar
|
| 2021 |
J |
jnl |
CoRR
Eliran Roffe, Samuel Ackerman, Orna Raz, Eitan Farchi
|
| 2021 |
J |
jnl |
CoRR
Samuel Ackerman, Orna Raz, Marcel Zalmanovici
|
| 2021 |
— |
conf |
DeepTest@ICSE
Samuel Ackerman, Parijat Dube, Eitan Farchi, Orna Raz, Marcel Zalmanovici
|
| 2021 |
J |
jnl |
CoRR
Samuel Ackerman, Parijat Dube, Eitan Farchi, Orna Raz, Marcel Zalmanovici
|
| 2020 |
J |
jnl |
CoRR
Samuel Ackerman, Eitan Farchi, Orna Raz, Marcel Zalmanovici, Parijat Dube
|
| 2019 |
— |
conf |
ESEC/SIGSOFT FSE
Guy Barash, Eitan Farchi, Ilan Jayaraman, Orna Raz, Rachel Tzoref-Brill, Marcel Zalmanovici
|
| 2019 |
— |
conf |
CSCML
Sima Nadler, Orna Raz, Marcel Zalmanovici
|
| 2018 |
— |
conf |
AAAI Workshops
Sujan Perera, Orna Raz, Ramani Routray, Shenghua Bao, Marcel Zalmanovici
|
| 2018 |
— |
conf |
ICSE (SEIP)
Dale Blue, Orna Raz, Rachel Tzoref-Brill, Paul A. Wojciak, Marcel Zalmanovici
|
| 2016 |
— |
conf |
SIGSOFT FSE
Marcel Zalmanovici, Orna Raz, Rachel Tzoref-Brill
|
| 2013 |
J |
jnl |
Softw. Test. Verification Reliab.
Waldemar Hummer, Orna Raz, Onn Shehory, Philipp Leitner, Schahram Dustdar
|
| 2012 |
— |
conf |
Haifa Verification Conference
Orna Raz
|
| 2011 |
A* |
conf |
ICSE
Yoram Adler, Noam Behar, Orna Raz, Onn Shehory, Nadav Steindler, Shmuel Ur, Aviad Zlotnick
|
| 2011 |
— |
ed. |
Haifa Verification Conference
Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz
|
| 2011 |
A |
conf |
ICST
Waldemar Hummer, Orna Raz, Onn Shehory, Philipp Leitner, Schahram Dustdar
|
| 2011 |
— |
conf |
PESOS@ICSE
Waldemar Hummer, Orna Raz, Schahram Dustdar
|
| 2009 |
A |
conf |
ISSTA
Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick
|
| 2009 |
— |
conf |
ICSE Companion
Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick
|
| 2009 |
Misc |
conf |
SYSTOR
Aviad Zlotnick, Orna Raz
|
| 2008 |
— |
conf |
Haifa Verification Conference
Moran Shochat, Orna Raz, Eitan Farchi
|
| 2007 |
— |
conf |
Haifa Verification Conference
Orna Raz, Moshe Klausner, Nitzan Peleg, Gadi Haber, Eitan Farchi, Shachar Fienblit, Yakov S. Filiarsky, Shay Gammer, Sergey Novikov
|
| 2004 |
C |
conf |
SEKE
Orna Raz, Rebecca B. Buchheit, Mary Shaw, Philip Koopman, Christos Faloutsos
|
| 2002 |
— |
conf |
WOSS
Orna Raz, Philip Koopman, Mary Shaw
|
| 2002 |
A* |
conf |
ICSE
Orna Raz
|
| 2002 |
A* |
conf |
ICSE
Orna Raz, Philip Koopman, Mary Shaw
|
| 2000 |
— |
conf |
IWSSD
Orna Raz, Mary Shaw
|