Vered Gafni

According to our database, Vered Gafni authored at least 6 papers between 1989 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1999

Robots: A Real-Time Systems Architectural Style.

Vered Gafni

Proceedings of the Software Engineering, 1999

1998

Real-Time Systems Development with MASS.

Vered Gafni, Yishai A. Feldman, Amiram Yehudai

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

1996

Combining Reflection and Finite State Diagrams for Design Enforcement.

Shaul Simhi, Vered Gafni, Amiram Yehudai

Theory Pract. Object Syst., 1996

1994

Activation-Oriented Specification of Real-Time Systems.

Vered Gafni, Amiram Yehudai, Yishai A. Feldman

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1991

Reactions: an activation scheme specification language.

Vered Gafni

Proceedings of the Euromicro '91 Workshop on Real Time Systems, 1991

1989

A Tasking Model for Reactive Systems.

Vered Gafni

Proceedings of the Real-Time Systems Symposium, 1989