Rivi Sherman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1982–1988
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1988 | ICSE | 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 |
| 1987 | LICS | On the Formal Semantics of Statecharts (Extended Abstract) | David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman |
| 1983 | FCT | Propositional Dynamic Logic of Flowcharts. | David Harel, Rivi Sherman |
| 1982 | POPL | Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. | Rivi Sherman, Amir Pnueli, David Harel |