Concepedia

David Harel

DH

Statistics

Publications

166

Citations

22.1K

H-Index

59

Active since

1977

Affiliations

Weizmann Institute of Science(Current)

Ben-Gurion University of the Negev

IBM Research - Thomas J. Watson Research Center

David Harel is an author at Weizmann Institute of Science specializing in computer science, computing, and formal methods.

Publications per year

1977–2022

166

Publications

166

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

On visual formalisms

David Harel · Communications of the ACM · 1988 · 1.3K citations · Full text

Architecture, Computer Science, Systems Engineering +16

STATEMATE: a working environment for the development of complex reactive systems

David Harel, H. Lachover, A. Naamad et al. · IEEE Transactions on Software Engineering · 1990 · 1.1K citations

Engineering, Computer Engineering, Computer Science +17

The STATEMATE semantics of statecharts

David Harel, A. Naamad · ACM Transactions on Software Engineering and Methodology · 1996 · 1K citations

Computing, Computer Science, Formal Methods +14

LSCs: Breathing Life into Message Sequence Charts

Werner Damm, David Harel · Formal Methods in System Design · 2001 · 822 citations

Computing, Data Science, Data Analytics +4

1–5 of 166