Rivi Sherman

According to our database, Rivi Sherman authored at least 6 papers between 1982 and 1990.

Collaborative distances:

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

1990

STATEMATE: A Working Environment for the Development of Complex Reactive Systems.

David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot

IEEE Trans. Software Eng., 1990

1988

STATEMATE; A Working Environment for the Development of Complex Reactive Systems.

David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring

Proceedings of the Proceedings, 1988

1987

On the Formal Semantics of Statecharts (Extended Abstract)

David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1983

Propositional Dynamic Logic of Flowcharts.

David Harel, Rivi Sherman

Proceedings of the Fundamentals of Computation Theory, 1983

1982

Looping vs. Repeating in Dynamic Logic

David Harel, Rivi Sherman

Inf. Control., 1982

Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL.

Rivi Sherman, Amir Pnueli, David Harel

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982