| |
| 1999 | ||
|---|---|---|
| 5 | EE | Vered Gafni: Robots: A Real-Time Systems Architectural Style. ESEC / SIGSOFT FSE 1999: 57-74 |
| 4 | EE | Vered Gafni, Yishai A. Feldman, Amiram Yehudai: Real-Time Systems Development with MASS. Electr. Notes Theor. Comput. Sci. 25: (1999) |
| 1996 | ||
| 3 | Shaul Simhi, Vered Gafni, Amiram Yehudai: Combining Reflection and Finite State Diagrams for Design Enforcement. TAPOS 2(4): 269-281 (1996) | |
| 1994 | ||
| 2 | Vered Gafni, Amiram Yehudai, Yishai A. Feldman: Activation-Oriented Specification of Real-Time Systems. FTRTFT 1994: 268-287 | |
| 1989 | ||
| 1 | Vered Gafni: A Tasking Model for Reactive Systems. IEEE Real-Time Systems Symposium 1989: 258-267 | |
| 1 | Yishai A. Feldman | [2] [4] |
| 2 | Shaul Simhi | [3] |
| 3 | Amiram Yehudai | [2] [3] [4] |