| 2009 |
|---|
| 5 | EE | Neta Aizenbud-Reshef,
Ido Guy,
Michal Jacovi:
Collaborative feed reading in a community.
GROUP 2009: 277-280 |
| 2008 |
|---|
| 4 | EE | Neta Aizenbud-Reshef,
Eran Belinsky,
Michal Jacovi,
David Laufer,
Vladimir Soroka:
Pensieve: augmenting human memory.
CHI Extended Abstracts 2008: 3231-3236 |
| 2006 |
|---|
| 3 | EE | Neta Aizenbud-Reshef,
Brian T. Nolan,
Julia Rubin,
Yael Shaham-Gafni:
Model traceability.
IBM Systems Journal 45(3): 515-526 (2006) |
| 2001 |
|---|
| 2 | EE | Neta Aizenbud-Reshef:
Coverage Analysis for Message Flows.
ISSRE 2001: 276-286 |
| 1 | | Yael Abarbanel-Vinov,
Neta Aizenbud-Reshef,
Ilan Beer,
Cindy Eisner,
Daniel Geist,
Tamir Heyman,
Iris Reuveni,
Eran Rippel,
Irit Shitsevalov,
Yaron Wolfsthal,
Tali Yatzkar-Haham:
On the Effective Deployment of Functional Formal Verification.
Formal Methods in System Design 19(1): 35-44 (2001) |
