2009 |
8 | EE | Aviad Zlotnick,
Orna Raz:
Hardware-less testing for RAS software.
SYSTOR 2009: 17 |
2008 |
7 | EE | Moran Shochat,
Orna Raz,
Eitan Farchi:
SeeCode - A Code Review Plug-in for Eclipse.
Haifa Verification Conference 2008: 205-209 |
2007 |
6 | EE | Orna Raz,
Moshe Klausner,
Nitzan Peleg,
Gadi Haber,
Eitan Farchi,
Shachar Fienblit,
Yakov S. Filiarsky,
Shay Gammer,
Sergey Novikov:
The Advantages of Post-Link Code Coverage.
Haifa Verification Conference 2007: 235-251 |
2004 |
5 | | Orna Raz,
Rebecca B. Buchheit,
Mary Shaw,
Philip Koopman,
Christos Faloutsos:
Automated Assistance for Eliciting User Expectations.
SEKE 2004: 80-85 |
2002 |
4 | EE | Orna Raz,
Philip Koopman,
Mary Shaw:
Semantic anomaly detection in online data sources.
ICSE 2002: 302-312 |
3 | EE | Orna Raz:
Research abstract for semantic detection in dynamic data feeds with incomplete specifications.
ICSE 2002: 733-734 |
2 | EE | Orna Raz,
Philip Koopman,
Mary Shaw:
Enabling automatic adaptation in systems with under-specified elements.
WOSS 2002: 55-60 |
2000 |
1 | EE | Orna Raz,
Mary Shaw:
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions.
IWSSD 2000: 159-170 |