 | 1990 |
|---|
| 8 |       | 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): 403-414 (1990) |
| 1988 |
|---|
| 7 |  | 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: 396-406 |
| 1987 |
|---|
| 6 | | David Harel,
Amir Pnueli,
Jeanette P. Schmidt,
Rivi Sherman:
On the Formal Semantics of Statecharts (Extended Abstract)
LICS 1987: 54-64 |
| 1985 |
|---|
| 5 | | David Harel,
Rivi Sherman:
Propositional Dynamic Logic of Flowcharts
Information and Control 64(1-3): 119-135 (1985) |
| 1984 |
|---|
| 4 | | 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): 825-839 (1984) |
| 1983 |
|---|
| 3 | | David Harel,
Rivi Sherman:
Propositional Dynamic Logic of Flowcharts.
FCT 1983: 195-206 |
| 1982 |
|---|
| 2 | | Rivi Sherman,
Amir Pnueli,
David Harel:
Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL.
POPL 1982: 347-360 |
| 1 | | David Harel,
Rivi Sherman:
Looping vs. Repeating in Dynamic Logic
Information and Control 55(1-3): 175-192 (1982) |
