David Harel
David Harel
Professor of Computer Science, The Weizmann Institute
Verified email at weizmann.ac.il - Homepage
Title
Cited by
Cited by
Year
Statecharts: A visual formalism for complex systems
D Harel
Science of computer programming 8 (3), 231-274, 1987
101991987
Statemate: A working environment for the development of complex reactive systems
D Harel, H Lachover, A Naamad, A Pnueli, M Politi, R Sherman, ...
IEEE Transactions on software engineering 16 (4), 403-414, 1990
18761990
On visual formalisms
D Harel
Communications of the ACM 31 (5), 514-530, 1988
18741988
Dynamic logic
D Harel, D Kozen, J Tiuryn
Handbook of philosophical logic, 99-217, 2001
17202001
The STATEMATE semantics of statecharts
D Harel, A Naamad
ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (4), 293-333, 1996
16581996
On the development of reactive systems
D Harel, A Pnueli
Logics and models of concurrent systems, 477-498, 1985
13411985
Fast algorithms for finding nearest common ancestors
D Harel, RE Tarjan
siam Journal on Computing 13 (2), 338-355, 1984
12961984
Dynamic logic
D Harel
Handbook of philosophical logic, 497-604, 1984
12691984
LSCs: Breathing life into message sequence charts
W Damm, D Harel
Formal methods in system design 19 (1), 45-80, 2001
11712001
Executable object modeling with statecharts
D Harel, E Gery
Proceedings of IEEE 18th International Conference on Software Engineering …, 1996
10271996
Modeling reactive systems with statecharts: the STATEMATE approach
D Harel, M Politi
McGraw-Hill, Inc., 1998
9121998
First-order dynamic logic
D Harel
Springer, 1979
8741979
The star graph: an attractive alternative to the n-cube
SB Akers, D Harel, B Krishnamurthy
Interconnection networks for high-performance parallel computers, 145-152, 1994
8621994
On the formal semantics of statecharts
D Harel
IEEE Symposium on Logic in Computer Science, 1987, 54-64, 1987
7751987
Drawing graphs nicely using simulated annealing
R Davidson, D Harel
ACM Transactions on Graphics (TOG) 15 (4), 301-331, 1996
7331996
Come, let’s play: scenario-based programming using LSCs and the play-engine
D Harel, R Marelly
Springer Science & Business Media, 2003
732*2003
Design of embedded systems: Formal models, validation, and synthesis
S Edwards, L Lavagno, EA Lee, A Sangiovanni-Vincentelli
Proceedings of the IEEE 85 (3), 366-390, 1997
7271997
Structure and complexity of relational queries
AK Chandra, D Harel
21st Annual Symposium on Foundations of Computer Science (sfcs 1980), 333-347, 1980
7051980
Algorithmics: the spirit of computing
D Harel, YA Feldman
Pearson Education, 2004
6932004
Meaningful modeling: what's the semantics of" semantics"?
D Harel, B Rumpe
Computer 37 (10), 64-72, 2004
6732004
The system can't perform the operation now. Try again later.
Articles 1–20