Orna Raz

50 papers A* 3A 2C 1Misc 1Journal 27Unranked 15
YearRankTypeTitle / Venue / Authors
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