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

1985

Propositional Dynamic Logic of Flowcharts

David Harel, Rivi Sherman

Inf. Control., 1985

1984

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

Rivi Sherman, Amir Pnueli, David Harel

SIAM J. Comput., 1984

1982

Looping vs. Repeating in Dynamic Logic

David Harel, Rivi Sherman

Inf. Control., 1982