 | 2001 |
3 |  | Asaf Adi,
David Botzer,
Opher Etzion,
Tali Yatzkar-Haham:
Monitoring Business Processes through Event Correlation based on Dependency Model.
SIGMOD Conference 2001: 610 |
2 |  | 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) |
| 2000 |
1 |  | Asaf Adi,
David Botzer,
Opher Etzion,
Tali Yatzkar-Haham:
Push Technology Personalization through Event Correlation.
VLDB 2000: 643-645 |