Orna Raz

发表

Schahram Dustdar, Onn Shehory, Philipp Leitner, 2013, Softw. Test. Verification Reliab..
Mary Shaw, Philip Koopman, Orna Raz, 2002 .
Mary Shaw, Philip Koopman, Orna Raz, 2002, WOSS '02.
Mary Shaw, Christos Faloutsos, Philip Koopman, 2003 .
Onn Shehory, Orna Raz, Shmuel Ur, 2011, 2011 33rd International Conference on Software Engineering (ICSE).
Orna Raz, Aviad Zlotnick, 2009, SYSTOR '09.
Mary Shaw, Philip Koopman, Orna Raz, 2002, ICSE '02.
Eitan Farchi, Dan Pelleg, Orna Raz, 2009, 2009 31st International Conference on Software Engineering - Companion Volume.
Orna Raz, 2012, Haifa Verification Conference.
Daniel Kroening, Ian G. Harris, Sharon Barner, 2010, Lecture Notes in Computer Science.
Mary Shaw, Orna Raz, 2000, Tenth International Workshop on Software Specification and Design. IWSSD-10 2000.
Mary Shaw, Christos Faloutsos, Philip Koopman, 2004, SEKE.
Schahram Dustdar, Onn Shehory, Philipp Leitner, 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.
Orna Raz, Marcel Zalmanovici, Samuel Ackerman, 2021, Communications in Computer and Information Science.
Orna Raz, Rachel Tzoref, Marcel Zalmanovici, 2017, 2018 IEEE/ACM 40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP).
Eitan Farchi, Dan Pelleg, Orna Raz, 2009, ISSTA.
Shenghua Bao, Orna Raz, Ramani Routray, 2018, AAAI Workshops.
Eitan Farchi, Gadi Haber, Orna Raz, 2007, Haifa Verification Conference.
Eitan Farchi, Orna Raz, Moran Shochat, 2009, Haifa Verification Conference.
Schahram Dustdar, Orna Raz, Waldemar Hummer, 2011, PESOS '11.
Orna Raz, Marcel Zalmanovici, Sima Nadler, 2019, CSCML.
Eitan Farchi, Orna Raz, Y. Ben-Chaim, 2009, 2009 ICSE Workshop on Wikis for Software Engineering.
Orna Raz, Rachel Tzoref, Marcel Zalmanovici, 2016, SIGSOFT FSE.