Travelled to:1 × Singapore
2 × USA
Collaborated with:D.Harel A.Pnueli J.P.Schmidt H.Lachover A.Naamad M.Politi A.Shtull-Trauring
Talks about:uninterest (1) statechart (1) translat (1) interest (1) reactiv (1) process (1) environ (1) develop (1) complex (1) system (1)
Person: Rivi Sherman
DBLP: Sherman:Rivi
Contributed to:
1988
1987
1982Wrote 3 papers:
- ICSE-1988-HarelLNPPSS #development
- STATEMATE; A Working Environment for the Development of Complex Reactive Systems (DH, HL, AN, AP, MP, RS, AST), pp. 396–406.
- LICS-1987-HarelPSS #on the #semantics
- On the Formal Semantics of Statecharts (DH, AP, JPS, RS), pp. 54–64.
- POPL-1982-ShermanPH #logic #process
- Is the Interesting Part of Process Logic Uninteresting — A Translation from PL to PDL (RS, AP, DH), pp. 347–360.