Search the dblp DataBase

Publications of Author

1. 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. [Citation Graph (3, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:4, pp:403-414 [Journal]
   
2. 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. [Citation Graph (2, 0)][DBLP]
   ICSE, 1988, pp:396-406 [Conf]
   
3. David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman
   On the Formal Semantics of Statecharts (Extended Abstract) [Citation Graph (2, 0)][DBLP]
   LICS, 1987, pp:54-64 [Conf]
   
4. David Harel, Rivi Sherman
   Propositional Dynamic Logic of Flowcharts. [Citation Graph (0, 0)][DBLP]
   FCT, 1983, pp:195-206 [Conf]
   
5. Rivi Sherman, Amir Pnueli, David Harel
   Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. [Citation Graph (0, 0)][DBLP]
   POPL, 1982, pp:347-360 [Conf]
   
6. David Harel, Rivi Sherman
   Looping vs. Repeating in Dynamic Logic [Citation Graph (0, 0)][DBLP]
   Information and Control, 1982, v:55, n:1-3, pp:175-192 [Journal]
   
7. David Harel, Rivi Sherman
   Propositional Dynamic Logic of Flowcharts [Citation Graph (0, 0)][DBLP]
   Information and Control, 1985, v:64, n:1-3, pp:119-135 [Journal]
   
8. Rivi Sherman, Amir Pnueli, David Harel
   Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL. [Citation Graph (0, 0)][DBLP]
   SIAM J. Comput., 1984, v:13, n:4, pp:825-839 [Journal]