Vered Gafni

Publication Activity (10 Years)

Years Active: 1989-1999
Publications (10 Years): 0

Publications

Vered Gafni
Robots: A Real-Time Systems Architectural Style. ESEC / SIGSOFT FSE (1999)
Vered Gafni, Yishai A. Feldman, Amiram Yehudai
Real-Time Systems Development with MASS. Electron. Notes Theor. Comput. Sci. 25 (1999)
Shaul Simhi, Vered Gafni, Amiram Yehudai
Combining Reflection and Finite State Diagrams for Design Enforcement. Theory Pract. Object Syst. 2 (4) (1996)
Vered Gafni, Amiram Yehudai, Yishai A. Feldman
Activation-Oriented Specification of Real-Time Systems. FTRTFT (1994)
Vered Gafni
Reactions: an activation scheme specification language. RTS (1991)
Vered Gafni
A Tasking Model for Reactive Systems. RTSS (1989)