David Harel

Author: David Harel

My research interests are in several areas of computer science. In the past these included computability (especially levels of undecidability), logics of programs (especially dynamic logic), database theory (especially query languages and their power), and automata theory. In recent years, my activity in these areas has diminished, being replaced by software and systems engineering, object-oriented analysis and design, visual languages, layout of diagrams, modeling and analysis of biological systems, and the synthesis and communication of smell.

Publications

Publication period start: 1987
Number of co-authors: 18

Co-authors

Number of publications with favourite co-authors
Yehuda Koren
2
Meir Sardas
2
Itai Segall
2

Productive Colleagues

Most productive colleagues in number of publications
Itai Segall
2
Shahar Maoz
4
Yehuda Koren
15

Publications

Maoz, Shahar, Harel, David (2010): On Tracing Reactive Systems. In Software and Systems Modeling, 0 (0) pp. . https://www.springerlink.com/content/x2p70t81302330r6/

Harel, David (2009): Statecharts in the making: a personal account. In Communications of the ACM, 52 (3) pp. 67-75. https://dl.acm.org/doi/10.1145/1467247.1467274

Harel, David (2008): Can Programming Be Liberated, Period?. In IEEE Computer, 41 (1) pp. 28-37. https://doi.ieeecomputersociety.org/10.1109/MC.2008.10

Efroni, Sol, Harel, David, Cohen, Irun R. (2005): Reactive Animation: Realistic Modeling of Complex Dynamic Systems. In IEEE Computer, 38 (1) pp. 38-47. https://doi.ieeecomputersociety.org/10.1109/MC.2005.31

Harel, David, Rumpe, Bernhard (2004): Meaningful Modeling: What\'s the Semantics of \"Semantics\"?. In IEEE Computer, 37 (10) pp. 64-72. https://csdl.computer.org/comp/mags/co/2004/10/rx064abs.htm

Harel, David, Yashchin, Gregory (2002): An algorithm for blob hierarchy layout. In The Visual Computer, 18 (3) pp. 164-185. https://springerlink.metapress.com/openurl.asp?genre=article&issn=1432-2315&volume=18&issue=3&spage=164

Harel, David (2001): From Play-In Scenarios to Code: An Achievable Dream. In IEEE Computer, 34 (1) pp. 53-60. https://csdl.computer.org/comp/mags/co/2001/01/r1053abs.htm

Gal-Ezer, Judith, Harel, David (1998): What (Else) Should CS Educators Know?. In Communications of the ACM, 41 (9) pp. 77-84.

Harel, David, Gery, Eran (1997): Executable Object Modeling with Statecharts. In IEEE Computer, 30 (7) pp. 31-42.

Gal-Ezer, Judith, Beeri, Catriel, Harel, David, Yehudai, Amiram (1995): A High School Program in Computer Science. In IEEE Computer, 28 (10) pp. 73-80.

Harel, David, Sardas, Meir (1995): Randomized Graph Drawing with Heavy-Duty Preprocessing. In J. Vis. Lang. Comput., 6 (3) pp. 233-253.

Harel, David (1992): Biting the Silver Bullet - Toward a Brighter Future for System Development. In IEEE Computer, 25 (1) pp. 8-20.

Harel, David (1988): On Visual Formalisms. In Communications of the ACM, 31 (5) pp. 514-530.

Harel, David (1987): Statecharts: A Visual Formalism for Complex Systems. In Sci. Comput. Program., 8 (3) pp. 231-274.

Harel, David (1980): On Folk Theorems. In Communications of the ACM, 23 (7) pp. 379-389.

Harel, David (1997): Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineer. In: 3rd IEEE International Symposium on Requirements Engineering RE97 January 5-8, 1997, Annapolis, MD, USA. pp. 184-. https://csdl.computer.org/comp/proceedings/re/1997/7740/00/77400184abs.htm

Kam, Na\'aman, Cohen, Irun R., Harel, David (2001): The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 15-22. https://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740015abs.htm

Harel, David (1997): On the Aesthetics of Diagrams. In: VL 1997 , 1997, . pp. 128-130.

Maoz, Shahar, Kleinbort, Asaf, Harel, David (2007): Towards Trace Visualization and Exploration for Reactive Systems. In: VL-HCC 2007 - IEEE Symposium on Visual Languages and Human-Centric Computing 23-27 September, 2007, Coeur dAlene, Idaho, USA. pp. 153-156. https://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.27

Harel, David, Koren, Yehuda (2000): A Fast Multi-Scale Method for Drawing Large Graphs. In: Advanced Visual Interfaces 2000 , 2000, . pp. 282-285.

Harel, David, Sardas, Meir (1994): Randomized Graph Drawing with Heavy-Duty Preprocessing. In: Advanced Visual Interfaces 1994 , 1994, . pp. 19-33. https://doi.acm.org/10.1145/192309.192319

Harel, David, Yashchin, Gregory (2000): An Algorithm for Blob Hierarchy Layout. In: Advanced Visual Interfaces 2000 , 2000, . pp. 29-40.

Koren, Yehuda, Carmel, Liran, Harel, David (2002): ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs. In: InfoVis 2002 - 2002 IEEE Symposium on Information Visualization 27 October - 1 November, 2002, Boston, MA, USA. pp. 137-144. https://csdl.computer.org/comp/proceedings/infovis/2002/1751/00/17510137abs.htm

Harel, David, Segall, Itai, Kugler, Hillel, Setty, Yaki (2008): Crafting game-models using reactive system design. In: Proceedings of the 2008 Conference on Future Play , 2008, . pp. 121-128. https://doi.acm.org/10.1145/1496984.1497005

Harel, David, Segall, Itai (2008): Visualizing inter-dependencies between scenarios. In: Proceedings of the ACM Symposium on Software Visualization , 2008, . pp. 145-153. https://doi.acm.org/10.1145/1409720.1409744

Gordon, Michal, Harel, David (2010): Semantic Navigation Strategies for Scenario-Based Programming. In: Hundhausen, Christopher D., Pietriga, Emmanuel, Diaz, Paloma, Rosson, Mary Beth (eds.) IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010 21-25 September 2010, 2010, Leganés-Madrid, Spain. pp. 219-226. https://dx.doi.org/10.1109/VLHCC.2010.38