BibTeX records: Rivi Sherman

• > Home > Persons > Rivi Sherman

@article{DBLP:journals/tse/HarelLNPPSST90,
  author       = {David Harel and
                  Hagi Lachover and
                  Amnon Naamad and
                  Amir Pnueli and
                  Michal Politi and
                  Rivi Sherman and
                  Aharon Shtull{-}Trauring and
                  Mark B. Trakhtenbrot},
  title        = {{STATEMATE:} {A} Working Environment for the Development of Complex
                  Reactive Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {16},
  number       = {4},
  pages        = {403--414},
  year         = {1990},
  url          = {https://doi.org/10.1109/32.54292},
  doi          = {10.1109/32.54292},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/HarelLNPPSST90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/HarelLNPPSS88,
  author       = {David Harel and
                  Hagi Lachover and
                  Amnon Naamad and
                  Amir Pnueli and
                  Michal Politi and
                  Rivi Sherman and
                  Aharon Shtull{-}Trauring},
  editor       = {Tan Chin Nam and
                  Larry E. Druffel and
                  Bertrand Meyer},
  title        = {STATEMATE; {A} Working Environment for the Development of Complex
                  Reactive Systems},
  booktitle    = {Proceedings, 10th International Conference on Software Engineering,
                  Singapore, Singapore, April 11-15, 1988},
  pages        = {396--406},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {http://dl.acm.org/citation.cfm?id=55861},
  timestamp    = {Mon, 30 Oct 2017 11:35:10 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HarelLNPPSS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/HarelPSS87,
  author       = {David Harel and
                  Amir Pnueli and
                  Jeanette P. Schmidt and
                  Rivi Sherman},
  title        = {On the Formal Semantics of Statecharts (Extended Abstract)},
  booktitle    = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
                  '87), Ithaca, New York, USA, June 22-25, 1987},
  pages        = {54--64},
  publisher    = {{IEEE} Computer Society},
  year         = {1987},
  timestamp    = {Thu, 22 Jan 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/HarelPSS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/HarelS85,
  author       = {David Harel and
                  Rivi Sherman},
  title        = {Propositional Dynamic Logic of Flowcharts},
  journal      = {Inf. Control.},
  volume       = {64},
  number       = {1-3},
  pages        = {119--135},
  year         = {1985},
  url          = {https://doi.org/10.1016/S0019-9958(85)80047-4},
  doi          = {10.1016/S0019-9958(85)80047-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/HarelS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siamcomp/ShermanPH84,
  author       = {Rivi Sherman and
                  Amir Pnueli and
                  David Harel},
  title        = {Is the Interesting Part of Process Logic Uninteresting? {A} Translation
                  from {PL} to {PDL}},
  journal      = {{SIAM} J. Comput.},
  volume       = {13},
  number       = {4},
  pages        = {825--839},
  year         = {1984},
  url          = {https://doi.org/10.1137/0213051},
  doi          = {10.1137/0213051},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/ShermanPH84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/HarelS83,
  author       = {David Harel and
                  Rivi Sherman},
  editor       = {Marek Karpinski},
  title        = {Propositional Dynamic Logic of Flowcharts},
  booktitle    = {Fundamentals of Computation Theory, Proceedings of the 1983 International
                  FCT-Conference, Borgholm, Sweden, August 21-27, 1983},
  series       = {Lecture Notes in Computer Science},
  volume       = {158},
  pages        = {195--206},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12689-9\_104},
  doi          = {10.1007/3-540-12689-9\_104},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/HarelS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/HarelS82,
  author       = {David Harel and
                  Rivi Sherman},
  title        = {Looping vs. Repeating in Dynamic Logic},
  journal      = {Inf. Control.},
  volume       = {55},
  number       = {1-3},
  pages        = {175--192},
  year         = {1982},
  url          = {https://doi.org/10.1016/S0019-9958(82)90553-8},
  doi          = {10.1016/S0019-9958(82)90553-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/HarelS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/ShermanPH82,
  author       = {Rivi Sherman and
                  Amir Pnueli and
                  David Harel},
  editor       = {Richard A. DeMillo},
  title        = {Is the Interesting Part of Process Logic Uninteresting - {A} Translation
                  from {PL} to {PDL}},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {347--360},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582189},
  doi          = {10.1145/582153.582189},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/ShermanPH82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}