← Back to directory
David Harel
Researcher Next ID · RN-011006
Researcher · Computer Science
, Israel
Not currently recruitingFunding unknown
- Works count
- 541
- Citation count
- 30,422
- H-index
- 75
- i10-index
- 227
Research interests
Computer Science
Formal Methods in Verification
Advanced Software Engineering Methodologies
Model-Driven Software Engineering Techniques
Logic, programming, and type systems
Logic, Reasoning, and Knowledge
Publications
Dynamic Logic
Journal · 2000
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology · 1996 · 10.1145/235321.235322
STATEMATE: a working environment for the development of complex reactive systems
IEEE Transactions on Software Engineering · 1990 · 10.1109/32.54292
On visual formalisms
Communications of the ACM · 1988 · 10.1145/42411.42414
Statecharts: a visual formalism for complex systems
Science of Computer Programming · 1987 · 10.1016/0167-6423(87)90035-9
Current projects
No projects listed.