Rivi Sherman

Publication Activity (10 Years)

Years Active: 1982-1990
Publications (10 Years): 0

Publications

David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot
STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Trans. Software Eng. 16 (4) (1990)
David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring
STATEMATE; A Working Environment for the Development of Complex Reactive Systems. ICSE (1988)
David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman
On the Formal Semantics of Statecharts (Extended Abstract) LICS (1987)
David Harel, Rivi Sherman
Propositional Dynamic Logic of Flowcharts Inf. Control. 64 (1-3) (1985)
Rivi Sherman, Amir Pnueli, David Harel
Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL. SIAM J. Comput. 13 (4) (1984)
David Harel, Rivi Sherman
Propositional Dynamic Logic of Flowcharts. FCT (1983)
David Harel, Rivi Sherman
Looping vs. Repeating in Dynamic Logic Inf. Control. 55 (1-3) (1982)
Rivi Sherman, Amir Pnueli, David Harel
Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. POPL (1982)