List of
publications (April 2023)
David Harel
Contents: Books, Papers, Non-scientific articles,
Patents
Books [overview
and details]
1. D. Harel, First-Order Dynamic Logic, Lecture Notes in
Computer Science, Vol. 68, Springer-Verlag, New
York (133 pp.), 1979. [more info.]
2. D. Harel, Fundamental Topics in Computer Science, (in
Hebrew), IDF Publishers, Israel, 1985. 2nd edn., 1986; 3rd edn., 1990; 4th edn., 1993. (Russian , 1994.) [more info.]
3. D. Harel, Algorithmics: The Spirit of Computing, Addison-Wesley,
Reading, MA, (425 pp.) 1987. 2nd edition, 1992;
3rd edition, 2004 (with Y. Feldman). (Dutch, 1989; Hebrew
(Open University Press), 1991; Polish, 1992; Polish, 2001; Chinese 2006;
German, 2006; Italian 2008) [more info.]
4. D. Harel, The Science of
Computing: Exploring the Nature and Power of Algorithms, Addison-Wesley,
Reading, MA (365 pp.), 1989. (This is a revised trade edition of book
number 3.) [more info.]
5. D. Harel and M. Politi, Modeling
Reactive Systems with Statecharts: The STATEMATE Approach, McGraw-Hill
(258 pp.), 1998. (Early version titled The Languages of STATEMATE,
Technical Report, I-Logix, Inc., Andover, MA (250 pp.), 1991.) [more info.]
6. D. Harel, Computers Ltd.: What They Really Can't Do, , Oxford
University Press, 2000. Revised paperback edition, 2003. (German , 2002; Italian, 2002; Chinese, 2003; Hebrew,
2004.) [more info.]
7. D. Harel, D. Kozen and J. Tiuryn, Dynamic Logic, MIT
Press, 2000. [more info.]
8. D. Harel and R. Marelly, Come, Let's Play: Scenario-Based
Programming Using LSCs and the Play-Engine, Springer-Verlag,
2003. (Includes a CD with the Play-Engine software. See the special
book webpage.)
[more
info.]
9.
M. Broy, J. Grunbauer, D. Harel and T. Hoare (eds.), Engineering
Theories of Software Intensive Systems , NATO Science Series, Springer,
2005.
10.
A. Condon, D. Harel, J.N. Kok, A. Salomaa and E. Winfree (eds.),
Algorithnmic Bioprocesses , Springer, 2009.
Papers
1.
D. Harel, A. Pnueli and
J. Stavi, "Completeness Issues for Inductive
Assertions and Hoare's Method", Technical Report, Tel Aviv University,
Israel, August 1975.
2. D. Harel, A. Pnueli and J. Stavi,
"A Complete Axiomatic System for Proving Deductions About Recursive
Programs", Proc. 9th ACM Symp. on Theory of Computing, pp. 249-260,Boulder, Colorado,
May 1977. [PDF]
3. D. Harel, A. R. Meyer and V. R. Pratt, "Computability and
Completeness in Logics of Programs", Proc. 9th ACM Symp. on Theory of Computing,
pp. 261-268, Boulder, Colorado, May 1977. [PDF]
4.
D. Harel and R. Pankiewicz, J. Rood and T.
To, "A Universal Flowcharter", Proc.
Workshop on Tools for Embedded Computing Systems Software, Hampton,Virginia, 1978.
[PDF]
5. D. Harel and V. R. Pratt, "Nondeterminism
in Logics of Programs", Proc. 5th ACM Symp.
on Principles of Programming Languages, pp.
203-213, Tucson, Arizona, January 1978. [PDF]
6. D. Harel, "Arithmetical Completeness in Logics of
Programs", Proc. 5th Int. Colloq. on Automata, Languages and
Programming, Udine, Italy, Lecture Notes in Computer Science, Vol. 62,
pp. 268-288, Springer-Verlag, 1978. [PDF]
7. D. Harel, Logics of Programs: Axiomatics
and Descriptive Power, Ph.D. Thesis, MIT/LCS/TR-200, Massachusetts Institute
of Technology, May 1978.
8.
D. Harel and V. R. Pratt,
"Comments on Program Verification", in Research Directions in
Software Technology (P. Wegner, ed.), MIT Press, 1979, pp. 387-391.
9. D. Harel, "Two Results on Process Logic", Information
Processing Lett. 8 ( 1979),
195-198.
10. D. Harel, "Characterizing Second Order Logic with First
Order Quantifiers", Zeitsch. f"ur Math. Logik Grund. der Mathematik
25 (1979), 419-422. [PDF]
11. D. Harel, "Recursion in Logics of Programs", Proc.
6th Symp. on Principles of
Programming Languages, pp. 81-92, San Antonio, Texas, January 1979. [PDF]
12. D. Harel, R. Norvig, J. Rood and T.
To, "A Universal Flowcharter", Proc.
AIAA/IEEE/ ACM/NASA Computers in Aerospace II Conf., pp. 218-224, Los
Angeles, California, October 1979. [PDF]
13.
D. Harel, "On And/Or Schemes", Proc.
9th Int. Symp. on Mathematical Foundations of
Computer Science, Rydzyna, Poland, Lecture
Notes in Computer Science, Vol. 88, pp. 246-260, Springer-Verlag,
1980.
14. D. Harel, " `do Considered od'
Considered Odder than `do Considered ob' ", ACM SIGPLAN Notices
15:4 (April 1980) 75. [PDF]
15. D. Harel, "And/Or Programs: A
New Approach to Structured Programming", ACM Trans. on Programming
Languages and Systems 2 (1980), 1-17.
(Also, Proc. IEEE Specifications for Reliable Software Conf., pp.
80-90, Cambridge, Massachusetts, April 1979.) [PDF]
16. A. K. Chandra and D. Harel, "Computable Queries for
Relational Data Bases", J. Comput. System
Sciences 21 (1980), 156-178. [PDF]
(Also, Proc. ACM 11th Symp. on Theory of
Computing, pp. 309-318, Atlanta, Georgia, April 1979.)
17. D. Harel, "On Folk Theorems", Comm. Assoc. Comput. Mach. 23 (1980), 379-389. [PDF]
18. D. Harel, "Proving the Correctness of Regular
Deterministic Programs: A Unifying Survey Using Dynamic Logic", Theoret. Comput. Sci.
12 (1980), 61-81. [PDF]
19. D. Harel, A. Pnueli and J. Stavi,
"Propositional Dynamic Logic of Context-free Programs", Proc.
22nd IEEE Symp. on
Foundations of Computer Science, Nashville, Tennessee, October 1981. [PDF]
20. D. Harel, A. Pnueli and J. Stavi,
"Further Results on Propositional Dynamic Logic of Nonregular
Programs", Proc. Workshop on Logics of Programs (D. Kozen, ed.),
Springer-Verlag,1981.
21. D. Harel, "On The Total
Correctness of Nondeterministic Programs", Theoret.
Comput. Sci. 13 (1981), 175-192. [PDF]
22. D. Harel, "Normal Forms for And/Or Schemes", Technical Report CS81-01, The
Weizmann Institute of Science, Rehovot, Israel, April 1981.
23. D. Harel and S. Nehab,
"Concurrent And/Or
Programs: Recursion with Communication", Technical Report, The Weizmann
Institute of Science, Rehovot, Israel, 1982.
24. R. Sherman and D. Harel, "A Combined Proof of
One-Exponential Decidability and Completeness for PDL", Proc. 1st
Int. Workshop GTI, Foundations of Theoretical Computer Science, Paderbon, Germany, October 1982.
25. D. Harel, D. Kozen and R. Parikh, "Process Logic:
Expressiveness, Decidability, Completeness", J. Comput.
System Sci. 25 (1982), 44-170. [PDF]
(Also, Proc. 21st IEEE Symp. on Foundations of
Computer Science, Syracuse, New York, October 1980.)
26. A. K. Chandra and D. Harel, "Structure and Complexity of
Relational Queries", J. Comput. System Sci.
25 (1982), 99-128. [PDF]
(Also, Proc. 21st IEEE Symp. on
Foundations of Computer Science, Syracuse, New York, October 1980.)
27. D. Harel and R. Sherman, "Looping vs. Repeating in
PDL", Information and Control 55 (1982), 175-192.
28. D. Harel, A. Pnueli and J. Stavi,
"Propositional Dynamic Logic of Nonregular
Programs", J. Comput. System Sci. 26 (1983),
222-243. [PDF]
29. D. Harel, "A General Result on Infinite Trees and Its
Applications", Proc. 16th ACM Symp. on Theory of Computing, Washington, DC, 1984, pp.
418-420.
30. D. Harel, "A Simple Highly Undecidable
Domino Problem", Proc. Conf. on Logic and Computation, Clayton,
Australia, January 1984.
31. Y. Feldman and D. Harel, "A Probabilistic Dynamic
Logic", J. Comput. System Sci. 28
(1984), 193-215.
(Also, Proc. 14th ACM Symp. on Theory of
Computing, San Francisco, May 1982, pp. 181-195.)
32. D. Harel and D. Kozen, "A Programming Language for the
Inductive Sets, and Applications", Information and Control 63
(1984), 118-139. [PDF]
(Also, Proc. 9th Int. Colloq. on Automata, Languages and Programming,
Lecture Notes in Computer Science, Vol. 140, Springer-Verlag,
July 1982, pp. 313-329.)
33. R. Sherman, A. Pnueli and D. Harel, "Is The Interesting
Part of Process Logic Uninteresting? A Reduction from PL to PDL", SIAM
J. Computing 13 (1984) 825-839.
(Also, Proc. 9th ACM Symp. on Principles of
Programming Languages, January 1982.)
34. D. Harel and D. Peleg, "Static Logics, Dynamic Logics and
Complexity Classes", Information and Control 60 (1984), 86-102.
35. D. Harel and M. Paterson, "Undecidability of PDL with L =
{a^{2^i} | i>=0}",
J. Comput. System Sci. 29 (1984), 359-365.
36. D. Harel, "Dynamic Logic", in Handbook of
Philosophical Logic (D. Gabbay and F. Guenthner, eds.), Vol. II, Reidel
Publishing Company, Dordrecht, 1984, pp. 497-604.
37. D. Harel and D. Peleg, "Order Relations and Tuple Languages", Technical Report, The Weizmann Institute of Science, 1984.
38. D. Harel and A. Pnueli, "On the Development of Reactive
Systems", in Logics and Models of Concurrent Systems (K. R. Apt,
ed.), NATO ASI Series, Vol. F-13, Springer-Verlag,
New York, 1985, pp. 477-498. [PDF]
39. D. Harel and D. Peleg, "More on Looping vs. Repeating in
Dynamic Logic", Information Processing Lett.
20 (1985), 87-90.
40. D. Harel, "Recurring Dominoes: Making the Highly Undecidable Highly Understandable", Ann. Disc.
Math. 24 (1985), 51-72. [PDF]
(Also, invited paper, Proc. Int. Conf. on Foundations of Computation
Theory, Lecture Notes in Computer Science, Vol. 158, Springer-Verlag, Berlin, 1983, pp. 177-194.)
41. D. Harel and D. Peleg, "Process Logic with Regular
Programs", Theoret. Comput. Sci. 38 (1985), 307-322. [PDF]
42. A. K. Chandra and D. Harel, "Horn Clause Queries and
Generalizations", J. Logic Programming 1 (1985), 1-15.
(Extends "Horn Clauses and the Fixpoint Query
Hierarchy", Proc. 1st ACM Symp. on
Principles of Data Base Systems, Los Angeles, March 1982, pp. 158-163.) [PDF]
43. D. Harel and R. Sherman, "Propositional Dynamic Logic of
Flowcharts", Information and Control 64 (1985), 119-135.
(Also, Proc. Int. Conf. on Foundations of Computation Theory, Borgholm, Sweden, August 1983, Lecture Notes in Computer
Science, Vol. 158, Springer-Verlag, pp. 195-206.) [PDF]
44. D. Harel, "Effective Transformations on Infinite Trees,
with Applications to High Undecidability, Dominoes and Fairness", J.
Assoc. Comput. Mach. 33 (1986), 224-248. [PDF]
45. D. Harel, R. Unger and J. Sussman, "Beauty is in the
Genes of the Beholder", Trends Biochem.
Sci. 11 (1986), 155-156 (cover feature). [PDF] (Reprinted
as "Beauty is in the Genes of the Beholder: A Golden Tribute to a Golden
Anniversary", in DNA 50 The Secret of Life: Celebrating the
50th Anniversary of the Double Helix Discovery, Faircount
Press, London, pp. 98-103, 2003. [Color PDF] )
46. R. Unger, D. Harel and J. Sussman, "DNAMAT: An Efficient
Graphic Matrix Sequence Homology Algorithm and its Application to Structural
Analysis", Comput. Applications Biosci. 2 (1986), 283-289.
47. I. Dayan and D. Harel, "Fair Termination with Cruel
Schedulers", Fundamenta Informaticae IX (1986), 1-12.
48. D. Harel, "Statecharts: A Visual Formalism for Complex
Systems", Sci. Comput. Programming 8
(1987), 231-274. [PDF]
(Preliminary version: Technical Report CS84-05, The Weizmann Institute of
Science, Rehovot, Israel, February 1984.)
49. D. Harel, A. Pnueli, J. Schmidt and R. Sherman, "On the
Formal Semantics of Statecharts", Proc. 2nd IEEE Symp.
on Logic in Computer Science, Ithaca, NY, 1987,
pp. 54-64. [PDF]
50. D. Harel, "Logic and Databases: A Critique", SIGACT
News 18:1 (1986), 68-74. (Also, SIGPLAN Notices (1987); EATCS
Bull. 32 (1987), 64-69.)
51. D. Drusinsky and D. Harel,
"Using Statecharts for Hardware Description", Proc. IEEE CAD
Conf., Santa Clara, CA, November 1987.
52. D. Drusinsky and D. Harel, "On
the Power of Cooperative Concurrency", Proc. Concurrency `88,
Lecture Notes in Computer Science, Vol. 335, Springer-Verlag,
New York, 1988, pp. 74-103 (invited paper).
53. D. Harel, "On Visual Formalisms", Comm. Assoc. Comput. Mach. 31:5 (1988), 514-530. [PDF]
(Reprinted in Diagrammatic Reasoning (Chandrasekaran
et al., eds.), AAAI Press and MIT Press, 1995, pp. 235-271, and in High
Integrity System Specification and Design (Bowen and Hinchey, eds.),
Springer-Verlag, London, 1999, pp. 623-657.)
54. D. Harel, "A Thesis for Bounded Concurrency", Proc.
14th Symp. on Math. Found.
of Comp. Sci., Lecture Notes in Computer
Science, Vol. 379, Springer-Verlag, New York, 1989,
pp. 35-48 (invited paper).
55. D. Harel and S. Rolph, "Modeling and Analyzing Complex
Reactive Systems", Proc. AIAA Computers in Aerospace VII Conf.,
Monterey, CA, October 1989.
56. D. Haran and D. Harel, "Knowledge-Charts: A Visual
Formalism for Rule-Based Systems", Technical Report, The
Weizmann Institute of Science, 1989.
57. D. Drusinsky and D. Harel,
"Using Statecharts for Hardware Description and Synthesis", IEEE
Trans. Computer Aided Design of Integrated Circuits and Systems 8 (1989),
798-807.
58. R. Unger, D. Harel, S. Wherland and
J. Sussman, "A 3D Building Blocks Approach to Analyzing and Predicting
Structure of Proteins", Proteins: Structure, Function, and Genetics
5 (1989), 355-373.
59. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi,
R. Sherman, A. Shtul-Trauring and M. Trakhtenbrot, "STATEMATE: A Working Environment for
the Development of Complex Reactive Systems", IEEE Trans. on Software
Engineering 16:4 (1990), 403-414. [PDF]
(Early version in Proc. 10th Int. Conf. on Software Engineering,
Singapore, April 1988, pp. 396-406. Reprinted in Software
State-of-the-Art: Selected Papers (DeMarco and
Lister, eds.), Dorset House Publishing, New York, 1990, pp. 322-338. Japanese
translation in Bit 6 (1991), 74-84. Reprinted in Readings in
Hardware/Software Co-design (De Micheli, Ernst
and Wolf, eds.), Morgan Kaufmann, 2001, pp. 135-146.)
60. D. Harel, R. Rosner and M. Vardi,
"On the Power of Bounded Concurrency III: Reasoning about
Programs", Proc. 5th Symp. on Logic in Computer Science, IEEE Press, New York,
1990, pp. 479-488. [PDF]
61. R. Unger, D. Harel, S. Wherland and
J. Sussman, "Analysis of Dihedral Angles Distribution: The Doublets
Distribution Determines Polypeptides Conformations", Biopolymers
30 (1990),499-508.
62. D. Harel, "Biting the Silver Bullet: Toward a Brighter
Future for System Development", Computer 25:1 (1992), IEEE Press,
8-20 (cover feature). [PDF]
(Hebrew translation in Ma'ase Choshev 19:5-6 (November 1992), 45-57. Reprinted in High
Integrity System Specification and Design (Bowen and Hinchey, eds.),
Springer-Verlag, London, 1999, pp. 30-51.)
63. D. Harel, "Hamiltonian Paths in Infinite Graphs", Israel
J. Math. 76:3 (1991), 317-336. [PDF]
(Also, Proc. 23rd ACM Symp. on Theory of
Computing, New Orleans, 1991, pp. 220-229.)
64. T. Hirst and D. Harel, "Taking
it to the Limit: On Infinite Variants of NP-Complete Problems", J. Comput. System Sci. 53:2 (1996), 180-193. [PDF]
(Also, Proc. 8th IEEE Structure in Complexity Theory, IEEE Press, New
York, 1993, pp. 292-304.)
65. T. Hirst and D. Harel,
"Completeness Results for Recursive Databases", J. Comput. System Sci. 52:3 (1996), 522-536. [PDF]
(Also, 12th ACM Symp. on Principles of Database
Systems, ACM Press, New York, 1993, pp. 244-252.)
66. D. Harel and D. Raz, "Deciding Emptiness for Stack
Automata on Infinite Trees", Information and Computation 113
(1994), 278-299. [PDF]
67. D. Harel and D. Raz, "Deciding Properties of Nonregular Programs", SIAM J. Computing 22
(1993), 857-874.
(Also, Proc. 31st Symp. on Math. Found. of Computer Science, St. Louis, 1990, pp. 652-661.)
68. D. Harel and H.-A. Kahana, "On
Statecharts with Overlapping", ACM Trans. on Software Engineering
Method. 1:4 (1992), 399-421.
69. D. Harel, "Computers are Not Omnipotent", Alpayim 6 (1992), 43-56 (in Hebrew).[PDF]
(Also in Rehovot (The Weizmann Institute) 10:2 (1986/7), 42-47, and in
Machon Weizmann 13 (1986), 28-34 (in
Hebrew); abstract in Proc. 4th European Software Engineering Conf.,
Lecture Notes in Computer Science, Vol. 717, Springer-Verlag,
p. 10, 1993.)
70. T. Hirst and D. Harel, "On the
Power of Bounded Concurrency II: Pushdown Automata", J. Assoc. Comput. Mach. 41 (1994), 540-559.
(Also, Proc. CAAP'90, Trees in Algebra and Programming (invited
paper), Lecture Notes in Computer Science, Vol. 431, Springer-Verlag, 1990, pp. 1-17.) [PDF]
71. Y. Etzion-Petrushka, D. Harel and D.
Myers, "On the Solvability of Domino Snake Problems", Theoret. Comput. Sci.
131 (1994), 243-269. [PDF]
72. D. Drusinsky and D. Harel, "On
the Power of Bounded Concurrency I: Finite Automata", J. Assoc. Comput. Mach. 41 (1994), 517-539. [PDF]
73. D. Harel, "How Hard is it to Reason About Propositional
Programs?", in Program Design Calculi (M. Broy, ed.), NATO ASI
Series, Vol. F-118, Springer-Verlag, Berlin, 1993,
pp. 165-184.
74. D. Harel, "Towards a Theory of Recursive
Structures", 11th Ann. Symp. on Theoretical
Aspects of Computer Science (invited paper), Lecture Notes in Computer
Science, Vol. 775, Springer-Verlag, 1994, pp.
633-645. [PDF]
(Also, Computer Science Today, Lecture Notes in Computer Science, Vol.
1000, Springer-Verlag, 1995, pp. 374-391; also, Proc.
Int. Colloq. on Universal Machines and Computations (UMC'98 ; invited
paper), Metz, France, 1998; updated version in Proc. Mathematical
Foundation of Computer Science (MFCS`98; invited paper), Lecture Notes in
Computer Science, Vol. 1450, Springer-Verlag, 1998,
pp. 36-53. )
75. N. Globerman and D. Harel, "Complexity
Results for Multi-Pebble Automata and their Logics", Theoret.
Comput. Sci. 169 (1996), 161-184. [PDF]
(Also, Proc. 21st Int. Colloq. on Automata, Languages and Programming,
Lecture Notes in Computer Science, Vol. 820, Springer-Verlag,
July 1994, pp. 73-82.)
76. D. Harel and E. Singerman, "More on Nonregular
PDL: Finite Models and Fibonacci-like Programs", Information and
Computation 128 (1996), 109-118. [PDF]
(Also, Proc. Israel Symp. on Theoretical
Computer Science, 1994.)
77. D. Harel, "Will I be Pretty, Will I be Rich? Some
Thoughts on Theory vs. Practice in Systems Engineering", Proc. 13th
ACM Symp. on Principles of
Database Systems (PODS; invited paper), ACM Press, 1994, pp. 1-3. [PDF]
(Also, Proc. CONCUR'95, 6th Int. Conf. on Concurrency Theory (invited
paper), Lecture Notes in Computer Science, Vol. 962, Springer-Verlag, 1995, pp. 264-268, and Proc. 3rd Int. Symp. on Requirements Engineering (invited paper),
January, 1997. Also appeared in SIGACT News 26:2 (June 1995), 21-25.)
78. R. Davidson and D. Harel, "Drawing Graphs Nicely Using
Simulated Annealing", ACM Trans. Graphics 15 (1996), 301-331. [PDF]
(Preliminary version: Tech. Report, The Weizmann Institute of Science, 1989.)
79. D. Harel and M. Sardas, "Randomized
Graph Drawing with Heavy-Duty Preprocessing", J. Visual Lang. and Comput. 6 (1995), 233-253. [PDF]
(Also, Proc. Workshop on Advanced Visual Interfaces, ACM Press, New
York, 1994, pp. 19-33.)
80. J. Gal-Ezer, C. Beeri, D. Harel and A. Yehudai, "A
High-School Program in Computer Science", Computer 28:10 (October
1995), IEEE Press, 73-80. [PDF]
81. D. Harel and E. Gery, "Executable Object Modeling with
Statecharts", Computer 30:7 (July 1997), IEEE Press, 31-42 (cover
feature). [PDF]
(Also, Proc. 18th Int. Conf. on Software Engineering, Berlin, IEEE
Press, March, 1996, pp. 246-257.)
82. T. Hirst and D. Harel, "More
about Recursive Structures: Descriptive Complexity and Zero- One Laws", Proc.
11th Symp. on Logic in
Computer Science, New Brunswick, NJ, July, 1996.
83. O. Grossman and D. Harel, "On the Algorithmics of
Higraphs", Technical Report CS97-15, The
Weizmann Institute of Science, 1997.[PDF]
84.
D. Harel and M. Sardas, "An Algorithm for Straight-Line Drawing of
Planar Graphs", Algorithmica 20 (1998),
119-135.
85. D, Harel, Foreword to Real-Time UML: Developing Efficient
Objects for Embedded Systems, by B. P. Douglass, Addison-Wesley,
1998; revised edition 2004.
86. D. Harel and A. Naamad, "The
STATEMATE Semantics of Statecharts", ACM Trans. on Software
Engineering Method. 5:4 (October 1996), 293-333. [PDF]
(Preliminary version appeared as Technical Report, I-Logix, Inc., 1989.)
87. J. Gal-Ezer and D. Harel, "What (else) should CS
educators know?", Comm. Assoc. Comput. Mach. 41:9 (1998), 77-84. [PDF]
88. D. Harel, O. Kupferman and M. Vardi, "On the Complexity
of Verifying Concurrent Transition Systems", Information and
Computation 173:2 (2002), 143-161. [PS]
(Also, Proc. 8th Int. Conf. on Concurrency Theory (CONCUR'97
), Lecture Notes in Computer Science, Vol. 1243, Springer-Verlag, 1997, pp. 258-272.)
89. D. Harel and E. Singerman, "Computation Paths Logic: An
Expressive, yet Elementary, Process Logic", Ann. Pure Appl. Logic
96 (1999), 167-186. [PDF]
(Also, Proc. 24th Int. Colloq. on Automata, Languages and Programming,
Lecture Notes in Computer Science, Vol. 1256, Springer-Verlag,
1997, pp. 408-418.)
90. B. P. Douglass, D. Harel and M. Trakhtenbrot,
"Statecharts in Use: Structured Analysis and Object-Orientation", Lectures
on Embedded Systems (F. Vaandrager and G.
Rozenberg, eds.), Lecture Notes in Computer Science, Vol. 1494, Springer-Verlag, 1998, pp. 368-394.
91. D. Harel, "Some Thoughts on Statecharts, 13 Years
Later", Proc. 1996 Asian Computer Science Conf. (invited paper),
Singapore, 1996.
(Also, Proc. Workshop on Formal Design of Safety Critical Embedded Systems,
Munich, 1997.)
92. D. Harel, "On Modeling and Analyzing System Behavior:
Myths, Facts and Challenges", Proc. Ann. Conf. on Object-Oriented
Programming, Systems, Languages, and Applications (OOPSLA'97; invited
paper), 1997.
(Also, Proc. 20th Int. Conf. on Software Engineering (ICSE; invited
paper), Kyoto, April 1998, IEEE Press, Vol. II, pp. 8-10, and Proc. IEEE
Conf. on Engineering of Computer-Based Systems, Ma'ale
Ha'chamisha, Israel, IEEE Press, 1998, pp. 12-15.)
93. W. Damm and D. Harel, "LSCs: Breathing Life into Message
Sequence Charts", Formal Methods in System Design 19:1 (2001),
45-80. [PDF]
(Preliminary version in Proc. 3rd IFIP Int. Conf. on Formal Methods for
Open Object-Based Distributed Systems (FMOODS'99 ), (P. Ciancarini, A. Fantechi and R.
Gorrieri, eds.), Kluwer Academic Publishers, 1999,
pp. 293-312.)
94. D. Harel, "On the Aesthetics of Diagrams", Proc.
1997 IEEE Symp. on Visual
Languages (VL'97 ; invited paper), Capri, Italy, September 1997, pp.
128-130.
(Also, Proc. 4th Int. Conf. on Mathematics of Program Construction (MPC'98;
invited paper), Lecture Notes in Computer Science, Vol. 1422 (J. Jeuring, ed.), Springer-Verlag,
1998, pp. 1-5.)
95. R. Hadani and D. Harel, "A
Multi-Scale Method for Drawing Graphs Nicely", Discrete Applied
Mathematics 113:1 (2001), 3-21.
(Also, Proc. 25th Int. Workshop on Graph-Theoretic Concepts in Computer
Science (WG'99), Lecture Notes in Computer Science, Vol. 1665, Springer-Verlag, June 1999, pp. 262-277.)
96. D. Harel and G. Yashchin, "An
Algorithm for Blob Hierarchy Layout", The
Visual Computer 18:3 (2002), 164-185. [PDF]
(Also, Proc. Working Conf. on Advanced Visual Interfaces (AVI'2000 ), Palermo, Italy, ACM Press, New York, May 2000,
pp. 29-40.)
97. J. Gal-Ezer and D. Harel, "Curriculum and Course Syllabi
for a High-School Program in Computer Science", Comput.
Sci. Education 9:2 (1999), 114-147. [PDF]
98. D. Harel and O. Kupferman, "On Object Systems and
Behavioral Inheritance", IEEE Trans. Software Engineering 28:9
(2002), 889-903. [PDF]
(Preliminary version, titled "On Object Systems and Behavioral
Inheritance of State-Based Objects", in Proc. 34th Int. Conf. on
Component and Object Technology, IEEE Computer Society, Santa Barbara,
CA, August 2000.)
99. D. Harel and H. Kugler, "Synthesizing State-Based Object
Systems from LSC Specifications", Int. J. of Foundations of Computer
Science 13:1 (2002), 5-51.[PS]
(Also, Proc. 5th Int. Conf. on Implementation and Application of Automata (CIAA
2000; invited paper), Lecture Notes in Computer Science, Vol. 2088, Springer-Verlag, 2001, pp. 1-33.)
100.
D. Harel and Y. Koren,
"A Fast Multi-Scale Method for Drawing Large Graphs", J. Graph
Algorithms and Applications 6:3 (2002), 179-202. [PDF]
(Also, Proc. Graph Drawing'00 , Lecture Notes in Computer Science, Vol. 1984,
Springer-Verlag, pp. 183-196, 2000. Short version
in Proc. Working Conf. on Advanced Visual Interfaces (AVI'2000 ), Palermo, Italy, ACM Press, New York, May 1999,
pp. 282-285.)
101.
D. Harel, "From
Play-In Scenarios To Code: An Achievable
Dream", Computer 34:1 (January 2001), IEEE Press, 53-60. [PDF]
(Also, Proc. Fundamental Approaches to Software Engineering (FASE;
invited paper), Lecture Notes in Computer Science, Vol. 1783 (Tom Maibaum, ed.), Springer-Verlag,
March 2000, pp. 22-34.)
102.
D. Harel and Y. Koren,
"Drawing Graphs with Non-Uniform Vertices", Proc. Working Conf.
on Advanced Visual Interfaces (AVI'2002 ), Trento, Italy, ACM Press, pp.
157-166. [PDF]
103.
D. Harel and Y. Koren,
"On Clustering Using Random Walks", Proc. 21st Conf. on
Foundations of Software Technology and Theoretical Computer Science (FST
TCS 2001; invited paper), Lecture Notes in Computer Science, Vol. 2245 (R. Hariharan and M. Mukund eds.),
Springer-Verlag, Dec. 2001, pp. 18-41. [PDF]
104.
D. Harel and Y. Koren,
"Clustering Spatial Data Using Random Walks", Proc. 7th ACM
SIGKDD Int. Conf. on Knowledge Discovery and Data Mining (KDD-2001), ACM
Press, 2001, pp. 281-286.
105.
D. Harel and R. Marelly,
"Specifying and Executing Behavioral Requirements: The Play In/Play-Out
Approach", Software and System Modeling (SoSyM) 2 (2003), 82-107. [PDF]
106.
N. Kam,
I.R. Cohen and D. Harel, "The Immune System as a Reactive System:
Modeling T Cell Activation with Statecharts", Proc. Visual Languages
and Formal Methods (VLFM'01), part of IEEE Symp.
on Human-Centric Computing (HCC'01), 2001, pp.
15-22. [PDF]
107.
D. Harel, L. Carmel and
D. Lancet, "Towards an Odor Communication System", Computational
Biology and Chemistry (formerly Computers & Chemistry) 27 (2003),
121-133. [PDF]
(Early version titled "An Algorithmic Approach to Odor Communication and
Reproduction", Technical Report MCS01-16, The Weizmann Institute of Science, 2001.)
108.
L. Carmel, D. Harel and
D. Lancet, "Estimating the Size of the Olfactory Repertoire", Bull.
Math. Bio. 63 (2001), 1063-1078. [PDF]
109.
N. Kam, D. Harel and I.R. Cohen, "Modeling Biological
Reactivity: Statecharts vs. Boolean Logic", 2nd Int. Conf. on Systems
Biology (ICSB 2001), California, 2001, pp. 301-310. [PDF]
(Also in Proc. Working Conf. on Advanced Visual Interfaces (AVI'02),
pp. 345-353, Trento, Italy, May 2002.)
110.
D. Harel, D. Kozen
and J. Tiuryn, "Dynamic Logic", in Handbook of Philosophical
Logic, 2nd Edition (D. Gabbay and F. Guenthner, eds.), Vol. 4, Kluwer
Academic Publishers, Dordrecht, 2002, pp. 99-217. [PDF]
111.
Y. Koren and D.
Harel, "A Multi-Scale Algorithm for the Linear Arrangement
Problem", Proc. 28th Int. Workshop on Graph-Theoretic Concepts in
Computer Science, Lecture Notes in Computer Science, Vol. 2573, Springer-Verlag, June 2002, pp. 293-306. [PDF]
112.
D. Harel, H.
Kugler, R. Marelly and A. Pnueli, "Smart Play-Out of Behavioral
Requirements", Proc. 4th Int. Conf. on Formal Methods in
Computer-Aided Design (FMCAD 2002), November 2002, pp. 378-398. [PDF]
113.
R. Marelly, D.
Harel and H. Kugler, "Multiple Instances and Symbolic Variables in
Executable Sequence Charts", Proc. 17th Ann. AM Conf. on
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA
'2002), November, 2002, pp. 83-100. [PDF]
114.
E. Gery, D. Harel
and E. Palatshy, "A Complete Lifecycle
Model-Based Development System", Proc. 3rd Int. Conf. on Integrated
Formal Methods (IFM 2002; invited paper), May, 2002. [PS]
115.
D. Harel and R.
Marelly, "Playing with Time: On the Specification and Execution of
Time-Enriched LSCs", Proc. 10th IEEE/ACM Int. Symp.
on Modeling, Analysis and Simulation of Computer and
Telecommunication Systems (MASCOTS 2002; invited paper), Fort Worth,
Texas, 2002. [PDF]
116.
Y. Koren, L. Carmel
and D. Harel, "Drawing Huge Graphs by Algebraic Multigrid
Optimization", Multiscale Modeling
and Simulation 1:4 (2003), 645-673.
[PDF]
(Early version appeared as "ACE: A Fast Multiscale
Eigenvectors Computation for Drawing Huge Graphs", Proc. IEEE Symp. on Information Visualization (InfoVis 2002), October, 2002, pp. 137-144.)
117.
D. Harel and Y.
Koren, "Graph Drawing by High-Dimensional Embedding", J. Graph
Algorithms and Applications 8:2 (2004), 195-214. (Preliminary version is Proc.
10th Int. Symp. on Graph Drawing (GD'02),
Lecture Notes in Computer Science, Vol. 2528, Springer Verlag,
pp. 207-219, 2002.) [PDF]
118.
L. Carmel, D. Harel
and Y. Koren, "Combining Hierarchy and Energy for Drawing Directed Graphs",
IEEE Transactions on Visualization and Computer Graphics 10:1
(2004), 46-57. [PDF]
(Preliminary version appeared as "Drawing Directed Graphs Using
One-Dimensional Optimization", Proc. 10th Int. Symp.
on Graph Drawing (GD'02), Lecture Notes in Computer Science, Vol. 2528,
Springer Verlag, pp. 193-206, 2002.)
119.
D. Harel, "Can
Behavioral Requirements be Executed? (And why would
we want to do so?)", Proc. 2nd Int. Conf. on Embedded Software (EMSOFT), 2002, (invited paper), Lecture
Notes in Computer Science, Vol. 2491, Springer-Verlag,
Oct. 2002, pp. 30-31. [PS]
120.
D. Harel, H. Kugler
and R. Marelly, "The Play-in/Play-out Approach and Tool: Specifying and
Executing Behavioral Requirements", Proc. Israeli Workshop on
Programming Languages & Development Environments (PLE'02), July 2002.
121.
L. Carmel, S. Levy,
D. Lancet and D. Harel, "A Feature Extraction Method for Chemical
Sensors in Electronic Noses", Sensors and Actuators B: Chemical 93
(2003), 66-75. (Preliminary version in Proc. 9th Int. Meeting on Chemical
Sensors (ICS2002), p. 394, 2002.) [PDF]
122.
L. Carmel, N.
Sever, D. Lancet and D. Harel, "An E-Nose Algorithm for Identifying
Chemicals and Determining their Concentration", Sensors and Actuators
B: Chemical 93 (2003), 76-82. (Preliminary version in Proc. 9th
International Meeting on Chemical Sensors (ICS2002), pp. 274-275, 2002.) [PDF]
123.
L. Carmel, Y. Koren
and D. Harel, "Visualizing and Classifying Odors Using a Similarity
Matrix", Proc. 9th International Symposium on Olfaction and
Electronic Nose (ISOEN 02), Rome, Italy, Sept. 2002.
124.
D.
Harel, "A Grand Challenge for Computing: Full Reactive
Modeling of a Multi-Cellular Animal", Bulletin of the EATCS ,
European Association for Theoretical Computer Science, no. 81, 2003, pp.
226-235. [Word]
(Early version prepared for the UK Workshop on Grand Challenges in
Computing Research, November 2002. Reprinted in Current Trends in
Theoretical Computer Science: The Challenge of the New Century,
Algorithms and Complexity, Vol I (Paun, Rozenberg and Salomaa,
eds.), World Scientific, pp. 559-568, 2004.)
125.
N. Kam, D. Harel, H. Kugler, R. Marelly, A. Pnueli, E.J.A.
Hubbard and M.J. Stern, "Formal Modeling of C. elegans Development: A
Scenario-Based Approach", Proc. 1st Int. Workshop on Computational
Methods in Systems Biology (ICMSB 2003), Lecture Notes in Computer
Science, Vol. 2602, Springer-Verlag, pp. 4-20, Feb.
2003. (Revised version in
Modeling in Molecular Biology (G. Ciobanu and
G. Rozenberg, eds.), Springer, Berlin, 2004, pp. 151-173.) [PDF]
126.
D. Harel, "On
the Behavior of Complex Object-Oriented Systems", Proc. Conf. on
Object-Oriented Modeling of Embedded Real-Time Systems (OMER '99; Peter
P. Hofmann and Andy Schurr, eds.; invited paper),
GI-Edition, Lecture Notes in Informatics, Vol. P-5, 2002, pp. 11-15.
127.
S. Efroni, D. Harel
and I.R. Cohen, "Towards Rigorous Comprehension of Biological
Complexity: Modeling, Execution and Visualization of Thymic
T Cell Maturation", Genome Research 13 (2003), 2485-2497
(cover feature). [PDF]
128.
D. Harel, S. Efroni
and I.R. Cohen, "Reactive Animation", Proc. 1st Int. Symposium
on Formal Methods for Components and Objects (FMCO 2002) (invited
paper), Lecture Notes in Computer Science, Vol. 2852, Springer-Verlag, 2003, pp. 136-153. [PS]
129.
D. Harel and P.S.
Thiagarajan, "Message Sequence Charts", in UML for Real: Design
of Embedded Real-time Systems (L. Lavagno, G.
Martin and B. Selic, eds.), Kluwer
Academic Publishers, 2004, pp. 75-105.
130.
S. Efroni, D. Harel
and I.R. Cohen, "A theory for complex systems: reactive animation", in Studies in Multidisciplinarity,
Volume 3 (R. Paton and L. McNamara, eds.), Elsevier, 2006, pp. 309-324. [PDF]
131.
D. Harel,
"From Play-In Scenarios to Code: Capturing and Analyzing Reactive
Behavior" (lecture notes for the 2002 Marktoberdorf Summer School; notes
written jointly with R. Marelly), Proc. NATO Advanced Study Institute on
Models, Algebras and Logic of Engineering Software, IOS Press, 2003, pp.
317-350.
132.
L. Carmel, N. Sever
and D. Harel, "On Predicting Responses to Mixtures in Quarz Microbalance Sensors", Sensors and
Actuators B: Chemical 106 (2005), 128-135. (Also, Proc.
10th Int. Symp. on Olfaction and
Electronic Nose (ISOEN'03), 2003, pp. 160-163.) [PDF]
133.
O. Shaham, L. Carmel and D. Harel, "On Mapping Between Electronic Noses", Sensors and Actuators
B: Chemical 106:1 (2005), 76-82. (Also, Proc. 10th Int. Symp. on Olfaction and Electronic Nose (ISOEN'03),
2003, pp. 92-95.) [PDF]
134.
Y. Koren and D. Harel
, "Axis-by-Axis Stress Minimization", Proc. 11th Int. Symp. on Graph Drawing (GD'03), Springer-Verlag, 2003, pp. 450-459. [PDF]
135.
D. Harel and H.
Kugler, "The Rhapsody Semantics of Statecharts (or, On the Executable
Core of the UML)", Integration of Software Specification Techniques
for Applications in Engineering, (H. Ehrig et
al., eds.), Lecture Notes in Computer Science, Vol. 3147, Springer-Verlag, 2004, pp. 325-354. [PDF]
136.
D. Barak, D. Harel
and R. Marelly, "InterPlay: Horizontal
Scale-Up and Transition to Design in Scenario-Based Programming", IEEE
Trans. Soft. Eng. 32:7 (2006), 467-485. (Early version in Lectures
on Concurrency and Petri Nets (J. Desel, W. Reisig and G. Rozenberg, eds.), Lecture Notes in Computer
Science, Vol. 3098, Springer-Verlag, 2004, pp.
66-86.) [PDF]
137.
D. Harel, H. Kugler
and A. Pnueli, "Smart Play-Out Extended: Time and Forbidden
Elements", Proc. 4th Int. Conf. on Quality Software (QSIC'04),
IEEE Computer Society Press, 2004, pp. 2-10. [PDF]
138.
J. Fisher, D. Harel, E.J.A. Hubbard, N. Piterman, M.J
Stern and N. Swerdlin, "Combining State-based and Scenario-based
Approaches in Modeling Biological Systems", Proc. Computational
Methods in Systems Biology (CMSB'04), Lecture Notes in
Bioinformatics, vol. 3082, Springer-Verlag, 2005,
pp. 236-241. [PDF]
139.
H. Kugler, D.
Harel, A. Pnueli, Y. Lu and Y. Bontemps, "Temporal Logic for
Scenario-Based Specifications", Proc. 11th Int. Conf. on Tools and
Algorithms for the Construction and Analysis of Systems (TACAS'05),
Lecture Notes in Computer Science, Vol. 3440, Springer-Verlag,
2005, 445-460. [PDF]
140.
D. Harel, H. Kugler
and A. Pnueli, "Synthesis Revisited: Generating Statechart Models from
Scenario-Based Requirements", Formal Methods in Software and System
Modeling (H.-J. Kreowski et al, eds.), Lecture Notes in Computer Science, Vol. 3393,
Springer-Verlag, 2005, 309-324. [PDF]
141.
D. Harel and B.
Rumpe, "Meaningful Modeling: What's the Semantics of 'Semantics'?",
Computer 37:10 (October 2004), IEEE Press, 64-72 (cover feature). [PDF]
142.
D. Harel, H. Kugler
and G. Weiss, "Some Methodological Observations Resulting from
Experience Using LSCs and the Play-In/Play-Out Approach", Proc.
Scenarios: Models, Transformation and Tools ( S. Leue
and T.J. Systa, eds.), Lecture Notes in Computer
Science, Vol 3466, Springer-Verlag,
2005, 26-42. [PDF]
143.
J. Fisher, N.
Piterman, E.J.A. Hubbard, M.J Stern and D. Harel, "Computational
Insights into Caenorhabditis elegans Vulval
Development", Proc.
Natl. Acad. Sci. 102:6 (2005), 1951-1956. [PDF]
144.
S. Efroni, D. Harel
and I.R. Cohen, "Reactive Animation: Realistic Modeling of Complex
Dynamic Systems", Computer 38:1 (Jan. 2005), IEEE Press,
38-47 (cover feature). [PDF]
145.
D. Harel, "A
Turing-Like Test for Biological Modeling", Nature Biotechnology 23
(2005), 495-496. [PDF]
146.
P. Combes,
D. Harel and H. Kugler, "Modeling and Verification of a
Telecommunication Application using Live Sequence Charts and the Play-Engine
Tool", Software and System Modeling (SoSyM) 7:2
(2008),157-175. (Preliminary version in Proc. 3rd Int. Symp.
on Automated Technology for Verification and Analysis (ATVA '05), Lecture
Notes in Computer Science, Vol 3707, Springer-Verlag, 2005, 414-428.) [PDF]
147.
R. Haddad, L. Carmel and
D. Harel, "A Feature Extraction Algorithm for Multi-peak Signals in
Electronic Noses", Sensors & Actuators B: Chemical, in print,
2006. [PDF]
148.
D. Harel, "Some
Challenges for System Development: Reactive Animation, Smart Play-Out and
Olfaction", In Engineering Theories of Software Intensive
Systems (M. Broy et al., eds),
NATO Science Series, Vol. 195, Springer, 2005, pp. 399-404.
149.
D. Harel,
"Statecharts in the Making: A Personal Account", Proc. 3rd ACM
SIGPLAN History of Programming Languages Conference (HOPL III), June
2007. [PDF]
150.
B. Sobolev, D. Harel, C. Vasilakis, and A. Levy, "Using the Statecharts
paradigm for simulation of patient flow in surgical care", Health
Care Management Science 11 (2008), 79-86. [PDF]
151.
L. Carmel and D. Harel,
"Mix-to-Mimic Odor Synthesis for Electronic Noses", Sensors and
Actuators B: Chemical 125 (2007) 635643. [PDF]
152.
R. Haddad, L. Carmel, N.
Sobel and D. Harel,"Predicting the Receptive Range of Olfactory Receptors", PLoS Computational Biology, 4:2 (2008), e18. [PDF]
153.
D. Harel,
"Comprehensive and Realistic Modeling of Biological Systems: What, How
and Why" (abstract), Proc. 6th Int. Conf. on Systems Biology,
Boston, MA, Oct. 2004, p. 52.
154.
D. Harel, "On
Comprehensive and Realistic Modeling: Some ruminations on the what, the how
and the why", Clinical and Investigative Medicine 28:6
(2005), 334-337. [PDF]
155.
A. Sadot, J. Fisher, D.
Barak, Y. Admanit, M.J. Stern, E.J.A Hubbard and D.
Harel, "Towards Verified Biological Models", IEEE/ACM Trans. Comput. Biology and Bioinformatics 5:2 (2008),
223-234. [PDF]
156.
N. Swerdlin, I.R. Cohen
and D. Harel, "The Lymph Node B Cell Immune
Response: Dynamic Analysis in-silico", Proceedings of the IEEE (special
issue on Computational System Biology) 96:8 (2008),
1421-1443. [PDF]
157.
D. Harel and S.
Maoz, "Assert and Negate Revisited: Modal Semantics for UML Sequence
Diagrams", Software and System Modeling (SoSyM) 7:2
(2008), 237-252. (Early version in 5th Int. Workshop on Scenarios and
State Machines: Models, Algorithms and Tools (SCESM'06), 2006, pp.
13-20.) [PDF]
158.
E. Shapiro, D.
Harel, C. Bishop and S. Muggletton, "The
fundamental role of computer science concepts in science", In Towards
2020 Science, Microsoft Corporation, 2006, pp. 24-25.
159.
S. Efroni, D. Harel
and I.R. Cohen, "Emergent Dynamics of Thymocyte
Development and Lineage Determination", PLoS Computational Biology
3:1 (2007), 127-136. [PDF]
160.
I.R. Cohen and D.
Harel, "Explaining a Complex Living System: Dynamics, Multi-scaling and
Emergence", J. Royal Society Interface 4 (2007),
175-182. [PDF]
161.
D. Harel and M.
Gordon-Kiwkowitz "On Teaching Visual Formalisms", IEEE Software
26:3 (2009), 87-95. [PDF]
162.
S. Maoz and D.
Harel, "From Multi-Modal Scenarios to Code: Compiling LSCs into
AspectJ", Proc. 14th ACM SIGSOFT Symp. on Foundations of Software Engineering (FSE'06),
Portland, Nov. 2006, pp. 219-230. [PDF]
163.
D. Harel,
"Playing with Verification, Planning and Aspects: Unusual Methods for
Running Scenario-Based Programs" (abstract of keynote talk), Proc.
Computer Aided Verification (CAV 2006), T. Ball and R.B. Jones (Eds.),
Lecture Notes in Computer Science, Vol. 4144, Springer-Verlag,
2006. [PDF]
164.
D. Harel and I.
Segall, "Planned and Traversable Play-Out: A Flexible Method for
Executing Scenario-Based Programs", Proc. 13th Int. Conf. on Tools
and Algorithms for the Construction and Analysis of Systems (TACAS'07),
2007, pp. 485-499. [PDF]
165.
D. Harel, A.
Kleinbort, and S. Maoz, "S2A: A Compiler for Multi-Modal UML Sequence
Diagrams", Proc. Fundamental Approaches to Software Engineering (FASE'07),
2007, pp. 121-124. [PDF]
166.
Y. Atir and D. Harel,
"Using LSCs for Scenario Authoring in Tactical Simulators", Proc.
Summer Computer Simulation Conference (SCSC'07), July, 2007, pp. 437-442.
[PDF]
167.
H. Lapid, R. Khan, D.
Harel and N. Sobel, "Pleasantness of Binary Mixtures (abstract)", Association
for Chemoreception Sciences (AChemS) Annual
Meeting, 2007.
168.
R. Haddad, R. Khan, Y.K.
Takahashi, D. Harel and N. Sobel, "A Metric for Odorant
Comparison", Nature Methods 5
(2008), 425 - 429. [PDF]
169.
S. Maoz, A. Kleinbort and
D. Harel, "Towards Trace Visualization and Exploration for Reactive Systems",
Proc. IEEE Symposium on Visual Languages and Human-Centric Computing
(VL/HCC'07), 2007, pp. 153-156. [PDF]
170.
H. M. Sauro,
D. Harel, M. Kwiatkowska, C. A. Shaffer, A. M.
Uhrmacher, M. Hucka, P. Mendes, L. Strömback, J. J. Tyson, "Challenges for modeling and
simulation methods in systems biology", Proc. Winter Simulation
Conference, 2006, pp. 1720-1730.
171.
H. Amir-Kroll, A. Sadot,
I.R. Cohen and D. Harel, "GemCell: A Generic Platform for Modeling
Multi-Cellular Biological Systems", Theoret.
Comput. Sci. 391:3 (2008), 276-290. [PDF]
172.
E. Fox Keller and D.
Harel, "Beyond the Gene", PLoS ONE 2:11 (2007),
e1231. [PDF]
173.
D. Harel and R. Merom, "Playing Together: Distributed Collaborative
Play-Out of Live Sequence Charts", 2007.
174.
D. Harel, "Can
Programming be Liberated, Period?", Computer 41:1 (2008), 28-37. [PDF]
175.
N. Kam, H. Kugler, R.
Marelly, L. Appleby, J. Fisher, A. Pnueli, D. Harel, M.J.
Stern and E.J.A. Hubbard, "A Scenario-based approach to modeling development: A prototype model of
C. elegans vulval cell fate specification", Development Biology 323 (2008), 1-5. [PDF]
176.
D. Harel and S. Maoz,
"Visual Formalisms". In Encyclopedia of Database Systems, L. Liu and M. Tamer Özsu, eds.,
Springer, 2009, pp. 3370-3374.
177.
Y. Atir, D. Harel, A. Kleinbort
and S. Maoz, "Object Composition in Scenario-Based Programming", Proc.
Fundamental Approaches to Software Engineering (FASE'08), 2008, pp.
301-316. [PDF]
178.
D. Harel, S. Maoz and I.
Segall, "Some Results on the Expressive Power and Complexity of
LSCs", in Pillars of Computer Science: Essays Dedicated to Boris
(Boaz) Trakhtenbrot on the Occasion of His 85th
Birthday (A. Avron, N. Dershowitz and A. Rabinovich, eds.), Lecture Notes in Computer Science,
Vol. 4800, Springer-Verlag, Berlin, 2008,
pp.351-366. [PDF]
179.
D. Harel, Y. Setty, S.
Efroni, N. Swerdlin and I.R. Cohen, "Concurrency in Biological Modeling:
Behavior, Execution and Visualization", Proc. FBTC 2007, Electronic
Notes in Theoretical Computer Science 194 (2008), 119131. [PDF]
180.
Y. Setty, I. R. Cohen, Y,
Dor and D. Harel, "Four-Dimensional Realistic Modeling of Pancreatic
Organogenesis", Proc.
Natl. Acad. Sci. 105:51 (2008), 20374-20379. [PDF]
181.
H. Lapid, D. Harel and N.
Sobel, "Prediction Models for the Pleasantness of Binary Mixtures in
Olfaction", Chemical Senses 33 (2008) 599-609. [PDF]
182.
D. Harel and I. Segall,
"Visualizing Inter-Dependencies Between
Scenarios", Proc. ACM Symp. on Software Visualization (SOFTVIS'08), 2008, pp.
145-153. [PDF]
183.
J. Fisher and D. Harel,
"On Statecharts for Biology", in Symbolic Systems Biology:
Theory and Methods, (M. S. Iyengar, ed.), Jones and Bartlett Learning, Boston, 2010, pp. 99-111.
[PDF]
184.
D. Harel, A. Kantor and
S. Maoz, "On the Power of Play-Out for Scenario-Based Programs", In
Concurrency, Compositionality and Correctness: Essays in Honor of Willem-Paul de Roever (Dams, Hanneman and Steffen, eds. ),
Lecture notes in Computer Science, Vol. 5930, Springer, 2010, pp 207-220.
[PDF]
185.
D. Harel and Y. Setty,
"Generic Reactive Animation: Realistic Modeling of Complex Natural
Systems", Proc. 1st Int. Workshop on Formal Methods in Systems
Biology (FMSB'08) (J. Fisher, ed.), Lecture Notes in Bioinformatics, Vol.
5054 Springer, 2008, pp. 1-16. [PDF]
186.
D. Harel, I. Segall, H.
Kugler and Y. Setty, "Crafting Game-Models using Reactive System
Design", Proc. Future Play 2008: The International Conference on the
Future of Game Design and Technology, Toronto, 2008, pp.121-128. [PDF]
187.
R. Haddad, H. Lapid, D.
Harel and N. Sobel, "Measuring Smells", Current Opinion in
Neurobiology 18 (2008), 438-444. [PDF]
188.
D. Harel and A. Kantor, "Modal Scenarios as Automata", in Language, Culture, Computation (N. Dershowitz,
E. Nissan, eds.), Choueka Festschrift, Part I, Lecture Notes in Computer Science, Vol. 8001, Springer-Verlag, Berlin, pp. 156-167, 2014. [PDF]
189.
D. Harel,
"Statecharts in the Making: A Personal Account", Comm. ACM 52:3
(2009), 67-75. [PDF]
190.
M. Gordon and D. Harel,
"Generating Executable Scenarios from Natural Language", Proc.
10th Int. Conf. on Comput. Linguistics and Intelligent
Text Processing (CICLing'09), Lecture
Notes In Computer Science, vol. 5449. Springer-Verlag,
Berlin, Heidelberg, 2009, pp. 456-467. [PDF]
191.
D. Harel, H. Kugler, S.
Maoz and I. Segall, "How Hard is Smart Play-Out? On the Complexity
of Verification-Driven Execution", In Perspectives in Concurrency
Theory (Festschrift
for P.S. Thiagarajan) (K. Lodaya et al, eds.),
University Press (India), 2009, pp. 208-230. [PDF]
192.
D. Harel, A.
Marron and G. Weiss, "Behavioral Programming", Comm. Assoc. Comput. Mach. 55:7 (2012), 90-100. [PDF]
193.
H. Kugler, A. Larjo and D. Harel, "Biocharts: A Visual
Formalism for Complex Biological Systems", J. Royal Society Interface 6:7 (2010), 1015-1024. [PDF]
194.
D. Harel, H. Kugler, S. Maoz, and I. Segall,
"Accelerating Smart Play-Out", In Proc. 36th Int. Conf. on Current Trends in Theory and Practice of Computer Science (SOFSEM '10), J. van Leeuwen et al. eds., Lecture Notes in Computer Science, Vol. 5901, Springer, 2010, pp. 477-488.
[PDF]
195.
I. Cohen and D. Harel,
"Two Views of a Biology-Computer Science Alliance", In Proc. 2009
Workshop on Complex Systems Modelling and
Simulation (CoSMoS’09) (Stepney
et al, eds.) Luniver Press, 2009, pp. 1-8.
[PDF]
196.
D. Harel, "Can We
Computerize an Elephant?" (abstract), In Proc.
7th ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE '09), IEEE Press, 2009, p. 77.
197.
Y. Setty, I.R. Cohen,
A.E. Mayo and D. Harel, "On Using Divide and Conquer in Modeling Natural
Systems", in Algorithmic Bioprocesses (A.Condon,
D. Harel, J.N. Kok, A. Salomaa
and E. Winfree, eds.), Springer-Verlag,
2008, pp. 661-674. [PDF]
198.
S. Maoz, D. Harel and A. Kleinbort,
"A Compiler for Multi-Modal Scenarios: Transforming LSCs into AspectJ",
ACM Trans. on Software Engineering Method. Volume 20, Issue 4. 2011. [PDF]
199.
D. Harel, A. Marron and G. Weiss,
"Programming Coordinated Scenarios in Java", Proc. 24th European Conference on
Object-Oriented Programming (ECOOP 2010), 2010. [PDF]
200.
H. Lapid, H.-S. Seo, B. Schuster, E. Schneidman, Y. Roth, D. Harel, N. Sobel and T. Hummel,
"Odorant Concentration Dependence in Electroolfactograms Recorded From the Human Olfactory Epithelium",
J. Neurophysiology 102 (2009), 2121-2130. [PDF]
201.
R. Haddad, A. Medhanie, Y. Roth, D.
Harel and N. Sobel, "Predicting Odor Pleasantness with an Electronic Nose",
PLoS Computational Biology 6(4), 2010.
[PDF]
202.
J. Fisher, D. Harel and T.A. Henzinger,
"Biology as Reactivity", Comm. Assoc. Comput. Mach. 54:10 (2011), 72-82 (cover feature). [PDF]
203.
M. Gordon and D. Harel,
"Semantic Navigation Strategies for Scenario-Based Programming",
Proc. IEEE Symp. on Visual Languages and Human-Centric Computing (VL/HCC 2010), 2010, pp. 219-226. [PDF]
204.
S. Maoz and D. Harel,
"On Tracing Reactive Systems", Software and Systems Modeling
(SoSyM) 10:4 (2011), 447-468. [PDF]
205.
Y. Setty, I.R. Cohen and D. Harel,
"Modeling Biology using Generic Reactive Animation", Fundamenta Informaticae 123 (2010), 1-12. [PDF]
206.
D. Harel, S. Maoz, S. Szekely and D. Barkan,
"PlayGo: Towards a Comprehensive Tool for Scenario Based Programming", in Proceedings of the IEEE/ACM 25th Int. Conf. on Automated Software Engineering
(ASE 2010), Antwerp, Belgium, pp. 359-360. [PDF]
207.
D. Harel,
"Some Thoughts on Behavioral Programming" (Distinguished Carl Adam Petri Lecture), in
31st Int. Conf. on Applications and Theory of Petri Nets,
(J. Lilius and W. Penczek, eds.), Braga, Portugal, Lecture Notes in Computer Science, Vol. 6128, Springer-Verlag, 2010, p. 18. (Also, Proc. 17th IEEE Int. Symp. on Formal Methods (FM), Limerick, Ireland, Lecture Notes in Computer Science, Vol. 6664, Springer-Verlag, 2011, p. 2, and Proc. 9th IEEE Int. Conf. on Business Process Management (BPM), Clermont-Ferrand, France, Lecture Notes in Computer Science, Vol. 6896, Springer-Verlag, 2011, p. 1.)
208.
D. Harel, A. Marron, A. Nissim and G. Weiss,
"A Software Engineering Framework for Switched Fuzzy Systems", Proc. IEEE International Conference on Fuzzy Systems, 2012. [PDF]
209.
O. Vainas, D. Harel, I.R. Cohen and S. Efroni,
"Reactive animation: From piecemeal experimentation to reactive biological systems",
Autoimmunity, 44:4 (2011), 1-11. [PDF]
210.
D. Harel, R. Lampert, A. Marron and G. Weiss,
"Model-Checking Behavioral Programs", Proc. 11th Int. Conf. on Embedded Software (EMSOFT), 2011, pp. 279-288. [PDF]
211.
D. Harel and H. Kugler,
"Some Thoughts on the Semantics of Biocharts", in
Time for Verification, Essays in Memory of Amir Pnueli, Z. Manna and D. Peled (eds.), Lecture Notes in Computer Science, Vol. 6200, Springer, 2010, pp. 185-194. [PDF]
212.
D. Harel and I. Segall,
"Synthesis from Scenario-Based Specifications",
J. Comput. Syst. Sci. 78:3 (2012), 970-980. [PDF]
213.
N. Eitan, M. Gordon, D. Harel, A. Marron and G. Weiss,
"On Visualization and Comprehension of Scenario-Based Programs",
Proc. 19th Int. Conf. on Program Comprehension (ICPC), 2011, pp. 189-192. [PDF]
214.
M. Gordon and D. Harel,
"Show-and-Tell Play-In: Combining Natural Language with User Interaction for Specifying Behavior",
Proc. IADIS Interfaces and Human Computer Interaction (IHCI), 2011, pp. 360-364. [PDF]
215.
D. Harel and A. Marron,
"The Quest for Runware: On Compositional, Executable and Intuitive Models", Software and System Modeling (SoSyM), 11:4 (2012), 599-608. [PDF]
216.
Y. Setty, I.R. Cohen and D. Harel,
"Executable Modeling of Morphogenesis: A Turing-Inspired Approach", Fundamenta Informaticae (special issue for Turing Centennial), 118:4 (2012), 403-417. [PDF]
217.
N.Eitan and D.Harel,
"Adaptive Behavioral Programming", Proc. 23rd IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI), 2011, pp. 685-692. [PDF]
218.
G. Alexandron, M. Armoni and D. Harel,
"Programming with the User in Mind", Psychology of Programming Interest Group Annual Conference (PPIG2011), 2011. [PDF]
219.
D. Harel, A. Marron, G. Weiss and G. Wiener,
"Behavioral programming, decentralized control, and multiple time scales", Proc. SPLASH Workshop on Programming Systems, Languages, and Applications based on Agents, Actors, and Decentralized Control (AGERE!), 2011, pp. 171-182. [PDF]
220.
D. Harel and A. Kantor,
"Multi-Modal Scenarios Revisited: A Net-Based Representation", Theoretical Computer Science 429 (2012), 118-127. [PDF]
221.
D. Harel,
"Programming Naturally" (in Hebrew), Igeret (Israel Academy of Sciences and Humanities press) 33 (2011), 6-13.
[PDF]
222.
M. Gordon and D. Harel,
"Evaluating a Natural Language Interface for Behavioral Programming", Proc. IEEE Symposium on Visual Languages and Human-Centric Computing, (VL/HCC 2012), 2012, pp. 167-170. [PDF]
223.
G. Alexandron, M. Armoni, M. Gordon and D. Harel,
"The effect of previous programming experience on the learning of scenario-based programming", Proc. 12th Koli Calling Int.Conf. on Computing Education Research, 2012, pp. 151-159. [PDF]
224.
M. Gordon, G. Gordon and D. Harel,
"Analysis of fMRI scenarios using live sequence charts" (abstract), Proc. 20th Annual Meeting of the Israel Society for Neuroscience (ISFN). [PDF]
225.
D. Harel, G. Katz, A. Marron and G. Weiss,
"Non-Intrusive Repair of Reactive Programs", Proc. 17th IEEE Int. Conf. on Engineering of Complex Computer Systems (ICECCS), Paris, July 2012, pp. 3-12. [PDF]
226.
D. Harel, G. Katz, A. Marron and G. Weiss,
"Non-Intrusive Repair of Safety and Liveness Violations in Reactive Programs", Transactions on Computational Collective Intelligence (TCCI) XVI, Lecture Notes in Computer Science, Vol. 8780, Springer, 2014,
pp. 1-33. [PDF]
227.
D. Harel, A. Kantor and G. Katz,
"Relaxing Synchronization Constraints in Behavioral Programs", Proc. 19th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Lecture Notes in Computer Science, Vol. 8312, Springer, 2013, pp. 355-372. [PDF]
228.
G. Alexandron, M. Armoni, M. Gordon and D. Harel,
"On Teaching Programming with Nondeterminism", Proc. 8th Workshop in Primary and Secondary Computing Education (WiPSCE), 2013, pp. 71-74. [PDF]
229.
D. Sherman, T. Oram, D. Deutsch, G. Gordon, E. Ahissar and D. Harel,
"Tactile Modulation of Whisking via the Brainstem Loop: Statechart Modeling and Experimental Validation", PLoS ONE, 8:11 (2013), e79831. doi:10.1371/journal.pone.0079831. [PDF]
230.
D. Harel, A. Kantor, G. Katz, A. Marron, L. Mizrahi and G. Weiss,
"On Composing and Proving the Correctness of Reactive Behavior", Proc. 13th Int. Conf. on Embedded Software (EMSOFT), 2013, pp. 1-10. [PDF]
231.
D. Harel,
"Standing on the Shoulders of a Giant: One Person's Experience of Turing's Impact" (Alan M. Turing Lecture), Proc. 39th Int. Colloq. on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science, Vol. 7392 (A. Czumaj, et al., eds.), Springer, p. 16-22, Springer, 2012. [PDF]
232.
M. Gordon and D. Harel,
"Evaluating live sequence charts as a programming technique for non-programmers",
Proc. 1st Int. Workshop on User Evaluation for Software Engineering Researchers (USER),
2012, pp. 17-20. doi: 10.1109/USER.2012.6226574.
[PDF]
233.
D. Harel,
"A Turing-Like test for Modeling Nature" in Alan Turing: His Work and Impact (Cooper and van Leeuwen, eds.), Elsevier, 2013, pp. 611-614. [PDF]
234.
D. Harel, A. Kantor, G. Katz, A. Marron, G. Weiss and G. Wiener,
"Towards Behavioral Programming in Distributed Architectures", Science of Computer Programming, 98 (2015), 233-267. [PDF]
235.
G. Alexandron, M. Armoni, M. Gordon and D. Harel,
"Scenario-based programming: Reducing the cognitive load, fostering abstract thinking", Proc. 36th Int. Conf. on Software Engineering (ICSE` SEET session), Hyderabad, India, 2014, pp. 311-320. [PDF]
236.
D. Harel, G. Katz, R. Lampert, A. Marron and G. Weiss,
"On the Succinctness of Idioms for Concurrent Programming", Proc. 26th Int. Conf. on Concurrency Theory (CONCUR'15 ), Leibniz International Proceedings in Informatics, Dagstuhl Publishing, 2015, pp. 85-99.
[PDF]
237.
D. Harel and M. Gordon,
"Steps Towards Scenario-Based Programming with a Natural Language Interface", Proc. ETAPS Workshop: From Programs to Systems, in honor of Joseph Sifakis, Lecture Notes in Computer Science, Vol. 8415 (Bensalem, Lakhneck and Legay, eds.), Springer, 2014, pp. 129-144. [PDF]
238.
B. Sandak, E. Huss, O. Sarid and D. Harel,
"Computational Paradigm to Elucidate the Effects of Arts-Based Approaches and Interventions: Individual and Collective Emerging Behaviors in Artwork Construction", PLoS ONE 10:6 (2015), e0126467.doi:10.1371/journal.pone.0126467.
[PDF]
239.
G. Alexandron, M. Armoni, M. Gordon and D. Harel,
"Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 1", Computing in Science & Engineering (Sep/Oct 2017), 58-67.
[PDF]
240.
G. Alexandron, M. Armoni, M. Gordon and D. Harel,
"Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 2", Computing in Science & Engineering (Nov/Dec 2017), 64-71.
[PDF]
241.
G. Alexandron, M. Armoni, M. Gordon and D. Harel,
"Scenario-based programming, usability-oriented perception", ACM Trans. on Computing Education, 14:3 (2014), 1-21.
[PDF]
242.
D. Harel and G. Katz,
"Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures", SPLASH Workshop on Programming Systems, Languages, and Applications based on Agents, Actors, and Decentralized Control (AGERE!), 2014, pp 95-108.
[PDF]
243.
N. Bloch, G. Weiss, S. Szekely and D. Harel,
"An Interactive Tool for Animating Biology, and Its Use in Spatial and Temporal Modeling of a Cancerous Tumor and Its Microenvironment", PLoS ONE 10:7 (2015), e0133484. doi:10.1371/journal.pone.0133484.
[PDF]
244.
R. Tsarfaty, E. Pogrebezky, G. Weiss, Y. Natan, S. Szekely and D. Harel,
"Semantic Parsing Using Content and Context: A Case Study from Requirements Elicitation", Proc. Int. Conf. on Empirical Methods in Natural Language Processing (EMNLP), Doha, Qatar, 2014, pp. 1296-1307.
[PDF]
245.
G. Alexandron, M. Armoni, M. Gordon and D. Harel,
"Teaching Nondeterminism Through Programming", Informatics in Education 15 (2016), 1-23.
[PDF]
246.
G. Katz, C. Barrett and D. Harel,
"Theory-Aided Model Checking of Concurrent Transition Systems", Proc. Conf. on Formal Methods in Computer-Aided Design (FMCAD '15), 2015, pp. 81-88.
[PDF]
247.
D. Harel and S. Nitzan,
"Programming Animation Using Behavioral Programming", Behaviour Modeling: Foundations and Applications, Lecture Notes in Computer Science, Vol. 6368, Springer, 2015, pp. 113-132.
[PDF]
248.
D. Harel, G. Katz, A. Marron and G. Weiss,
"The Effect of Concurrent Programming Idioms on Verification: A Position Paper", Proc. 3rd Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD `15), 2015, pp. 363-369.
[PDF]
249.
D. Harel, G. Katz, R. Marelly and A. Marron,
"An Initial Wise Development Environment for Behavioral Models", Proc. 4th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD `16), 2016.
[PDF]
250.
A. Berkman-Chardon, D. Harel, Y. Goel, R. Marelly, S. Szekely and G. Weiss,
"Scenario-Based Programming for Mobile Applications", Proc. IEEE/ACM Int. Conf. on Mobile Software Engineering and Systems (MOBILESoft `16), 2016, pp. 161-172.
[PDF]
251.
D. Harel, "More Thoughts on the Whole Organism Challenge" (abstract of talk), Proc. 13th Int. Conf. on Computational Methods in Systems Biology (ICMSB 2015),
Lecture Notes in Computer Science, Vol. 9308, Springer-Verlag, Sep. 2015.
[PDF]
252.
D. Harel, "Wise Computing" (abstract of invited talk), Proc. 1st Int., Symp. on Dependable Software Engineering (SETTA 2015), Lecture Notes in Computer Science, Vol. 9409, Springer-Verlag, Nov. 2015, pp. XIV-XV.
[PDF]
253.
N. Bloch and D. Harel,
"The Tumor as an Organ: Comprehensive Spatial and Temporal Modeling of the Tumor and its Microenvironment", BMC Bioinformatics (2016) 17:317.
[PDF]
254.
D. Harel,
"Niépce-Bell or Turing: How to Test Odor Reproduction?", J. Royal Society Interface 13:125 (2016), DOI: 10.1098/rsif.2016.0834.
[PDF]
255.
D. Sherman, T. Oram, D. Harel and E. Ahissar,
"Attention Robustly Gates a Closed-Loop Touch Reflex", Current Biology 27 (2017), 1-8.
[PDF]
256.
A. Marron, B. Arnon, A. Elyasaf, M. Gordon, G. Katz, H. Lapid, R. Marelly, D. Sherman, S. Szekely, G. Weiss , and D. Harel,
"Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing", Poster paper, ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), pp. 94-100.
[PDF]
257.
D. Harel, G. Katz, R. Marelly and A. Marron,
"First Steps Towards a Wise Development Environment for Behavioral Models", Int. J. Information System Modeling and Design 7:3 (2016), 1-22.
[PDF]
258.
D. Harel, I. Heimlich, R. Marelly and A. Marron,
"Crowd-Based Programming for Reactive Systems", Proc. IEEE/ACM 4th Int. Workshop on CrowdSourcing in Software Engineering (CSI-SE), 2017, pp. 9-13.
[PDF]
259.
S. Steinberg, J. Greenyer, D. Gritzner, D. Harel, G. Katz and A. Marron,
"Distributing Scenario-Based Models: A Replicate-and-Project Approach", Proc. 5th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD `17), 2017.
[PDF]
260.
D. Harel, G. Katz, R. Marelly and A. Marron,
"Wise Computing: Towards Endowing System Development with Proactive Wisdom", Computer 51:2 (2018), IEEE Press, 14-26.
(Preliminary version at http://arxiv.org/abs/1501.05924.)
[PDF]
261.
A. Elyasaf, D. Harel, A. Marron and G. Weiss,
"Towards Synergistic Integration of Context-Based and Scenario-Based Development", Proc. 4th Workshop on Model-Driven Robot Software Engineering (MORSE; at STAF conference), 2017.
[PDF]
262.
J. Greenyer, D. Gritzner, D. Harel and A. Marron,
"Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models", Proc. 5th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD `18), 2018, pp. 560-566.
[PDF]
263.
B. Sandak, S. Cohen, A. Gilboa and D. Harel,
"Computational Elucidation of the Effects Induced by Music Making", PLoS ONE, 14:3 (2019),
e0213247. doi:10.1371/journal.pone.213247. [PDF]
264.
D. Harel and A. Marron,
"Toward Scenario-Based Algorithmics", in
Adventures Between Lower Bounds and Higher Altitudes: Essays dedicated to Juraj Hromkovic on the Occasion of His 60th Birthday,
H.-J. Boeckenhauer, D. Komm and W. Unger (eds.),
Lecture Notes in Computer Science, Vol. 11011, Springer, 2018, pp. 549-567.
[PDF]
265.
J. Greenyer, D. Gritzner, D. Harel and A. Marron,
"Towards Automated Defect Analysis using Execution Traces of Scenario-based Models", Proc. 6th Int. Conf.
on Model-Driven Engineering and Software Development (MODELSWARD `18), pp. 335-354, 2019.
[PDF]
266.
A. Marron, Y. Hacohen, D. Harel, A. Mulder and A. Terfloth,
"Embedding Scenario-Based Modeling in Statecharts", MORSE workshop at MoDELS 2018.
[PDF]
267.
D. Harel, A. Marron, A. Rosenfeld, M. Vardi and G. Weiss,
"Labor Division with Movable Walls: Composing Executable Specifications with
Machine Learning and Search", Proc. Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), pp. 9770-9774, 2019.
[PDF]
268.
H. Lapid, A. Marron, S. Szekely and D. Harel,
"Using Reactive-System Modeling Techniques to Create
Executable Models of Biochemical Pathways",
Proc. 7th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD `19), pp.456-466,
Prague, Czech Republic, 2019.
[PDF]
269.
B. Sandak, A. Mazor, A. Asis, A Gilboa and D. Harel,
"Computational Music
Therapy", in
Proc. Mathematics and Computation in Music (MCM 2019), M. Montiel, F. Gomez-Martin, O. Agustin-Aquino (eds.),
Lecture Notes in Computer Science, Vol. 11502, Springer, 2019, pp. 359-368.
[PDF]
270.
D. Sherman and D. Harel,
"Deciphering the underlying mechanisms of the pharyngeal motions in Caenorhabditis elegans",
http://arxiv.org/abs/1903.12009, 2019.
271.
D. Harel, A. Marron and J. Sifakis,
"Autonomics: In Search of a Foundation for Next Generation Autonomous Systems",
Proc. Natl. Acad. Sci. 117:30 (2020), 17491-17498. (Early version in
http://arxiv.org/abs/1911.07133, 2019.)
[PDF]
272.
D. Harel, R. Marelly, A. Marron and S. Szekely,
"Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems",
IEEE Design & Test 38:5(2021), 35-47.
(Early version in https://arxiv.org/abs/1911.10691, 2019.)
[PDF]
273.
B. Arnon, D. Harel and M. Gordon--Kiwkowitz,
"Using System Models to Resolve Co-Reference in Translating Natural Language Requirements into Code",
in
Proc. 13th IADIS International Conference on Information Systems (IS 2020), pp/ 115-122, 2020.
[PDF]
274.
D. Harel, G. Katz, A. Marron, A. Sadon and G. Weiss,
"Executing Scenario-Based Specification with Dynamic Generation of Rich Events",
Proc. 7th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD `19),
Revised and extended papers, CCIS Vol. 1161, Springer, 2019, pp. 246-274.
[PDF]
275.
B. Sandak, A. Gilboa and D. Harel,
"Computational Paradigm to Elucidate the Effects of Arts-Based Approaches: Art
and Music Studies and Implications for Research and Therapy", Frontiers in Psychology, June 2020,
https://doi.org/10.3389/fpsyg.2020.01200.
[PDF]
276.
A. Marron, L. Limonad, S. Pollack and D. Harel,
"Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events
and Conditions", Proc. 15th Int. Symp. on Software Engineering for Adaptive and
Self-Managing Systems (SEAMS '20), 2020, pp. 167-173.
[PDF]
277.
A. Ravia, K. Snitz, D. Honigstein, M. Finkel, R. Zirler, O. Perl, L. Secundo, C. Laudamiel, D. Harel and N. Sobel,
"A Measure of Smell Enables Creation of Olfactory Metamers", Nature, Nov. 2020,
https://doi.org/10.1038/s41586-020-2891-7.
[PDF]
278.
S. Steinberg, J. Greenyer, D. Gritzner, D. Harel, G. Katz and A. Marron,
"Efficient Distributed Execution of Multi-component Scenario-Based Models",
Model-Driven Engineering and Software Development, Communications in Computer and Information Science,
vol 880 (L. Pires, S. Hammoudi and B. Selic, eds.), Springer, 2018.
[PDF]
279.
M. Gordon-Kiwkowitz and D. Harel,
"Behavioral Programming with a Subset of Natural Language: An Evaluation Study",
14th IADIS International Conference Information Systems,
2021, pp. 27-34.
[PDF]
280.
M. Armoni, J. Gal-Ezer, D. Harel, R. Marelly and S. Szekely,
"Plethora of Skills: A Game-Based Platform for Introducing and Practicing Computational Problem Solving", in
Computational Thinking Curricula in K-12: International Implementations,
(H. Abelson and S.-C. Kong, eds.), MIT Press, 2021, to appear.
[PDF]
281.
D. Harel, A. Marron and J. Sifakis,
"Creating a Foundation for Next-Generation Autonomous Systems",
IEEE Design&Test, 39:1 (Feb. 2022), 49-56.
[PDF]
282.
D. Harel and A. Marron,
"Introducing Dynamical Systems and Chaos Early in Computer Science and Software Engineering Education Can
Help Advance Theory and Practice of Software Development and Computing", 10th International Symposium On Leveraging
Applications of Formal Methods, Verification and Validation (ISoLA 2021),
(T. Margaria and B. Steffen (Eds.):, Springer LNCS 13036, pp. 322–334, 2021.
[PDF]
283.
D. Harel, A. Marron and R. Yerushalmi,
"Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns",
Computer 54 (Oct. 2021), 95-101.
[PDF]
284.
O. Peretz, R. Hollander and D. Harel,
"Music Technology Education and a Plugin-Based Platform as a
Tool to Enhance Creativity, Multidisciplinarity, Creative Design,
and Collaboration Skills", Journal of Education and Practice 12:11 (2021).
[PDF]
285.
R. Yerushalmi, G. Amir, A. Elyasaf, D. Harel, G. Katz and A. Marron,
"Scenario-assisted Deep Reinforcement Learning",
10th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD 2022),
(L. Ferreira Pires, S. Hammoudi and E. Seidewitz, eds.), pp. 310-319, 2022.
[PDF]
286.
D. Harel,
"Would a Turing Test be appropriate for validating odor reproduction?",
The Turing Conversation, ETH Zurich (Jan. 2022).
[Link].
[PDF]
287.
J. Sifakis and D. Harel,
"Trustworthy Autonomous System Development",
ACM Transactions on Embedded Computing Systems 2023, https://doi.org/10.1145/3545178.
[PDF]
288.
R. Yerushalmi, G. Amir, A. Elyasaf, D. Harel, G. Katz and A. Marron,
"Enhancing Deep Reinforcement Learning with Scenario-Based Modeling",
SN Computer Science 4:156 (2023).
289.
Y. Bayer, D. Harel, A. Marron and S. Szekely,
"Toward automated modeling of abstract concepts, and natural phenomena: Autoencoding straight lines",
Proc. 11th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD `23), 2023, to appear.
290.
A. Marron, I. R. Cohen, G. Frankel, D. Harel and S. Szekely,
"Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems",
Proc. 11th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD `23), 2023, to appear.
291.
D. Corsi, R. Yerushalmi, G. Amir, A. Farinelli, D. Harel and G. Katz,
"Constrained Reinforcement Learning for Safety-Critical Tasks via Scenario-Based Programming",
submitted, 2023.
292.
D. Sherman and D. Harel,
"Deciphering the underlying mechanisms of the pharyngeal pumping motions in Caenorhabditis elegans",
submitted, 2023.
Back to top
Non-scientific articles
- D. Harel,
"Computer Science in Israel" (in Hebrew), in Israel 2000 (M. Aharoni, ed.), Miksam
Publishers, 2000, pp. 75-77.
- D. Harel,
"Why is it easier to beat Kasparov than to beat Turing?" (in
Hebrew), in Z. Yannai, ed., The Infinite Search:
Conversations with Scientists, Am Oved
Publishers , Tel Aviv, 2000, pp. 48-56.
- D. Harel,
"Excellence or Professionalism?" (in Hebrew), delivered at the
graduation ceremony of the Open University of Israel, May 2006, and of the
Faculty of Exact Sciences at Tel-Aviv University, June 2006. [PDF] (This is the Tel-Aviv Univ. version, which is slightly
expanded from the Open Univ. one.) Also delivered at the announcement ceremony of the Wolf Prize winners, Jan. 2013; see here.
- D. Harel,
"Amir Pnueli, A Gentle Giant: Lord of the φ's and the ψ's ", Formal Aspects of Computing
22 (2010), 663-665. [PDF]
- D. Harel, "Aspiring for Professionalism, not Excellence" (in Hebrew), Globes daily newspaper, Nov. 24-25, 2010.
[PDF]
- D. Harel, "Why Protest, When All is Fine?" (in Hebrew), Ma'ariv internet version (nrg), Aug. 9, 2011. [PDF]
- D. Harel,
"You Missed Out on Greatness Bibi, Twice" (in Hebrew), Yedi'ot Achronot internet version (Ynet), Aug. 24, 2011.
[PDF]
- J. Gal-Ezer and D. Harel,
"The Profession of the Future is in Danger" (in Hebrew), Ha'aretz, Sep. 16, 2011.
[JPG]
- D. Harel,
"The Candle has been Snuffed" (in Hebrew), Ha'aretz, Oct. 24, 2011.
[JPG]
(English version [PDF] ).
- D. Harel,
"Netanyahu's Virtual Reality" (in Hebrew), Yedi'ot Achronot internet version (Ynet), Nov. 27, 2011.
[PDF]
- D. Harel,
"Who will win the next Nobel?" (in Hebrew), Haaretz, Jan. 30, 2012.
[PDF]
- D. Harel,
"Back to the Sources" (in Hebrew), Ma'ariv, Feb. 21, 2012.
[JPG]
- D. Harel and B. Ovadia,
"Breaking the Deadlock" (in Hebrew), Ha'aretz, Aug. 29, 2012.
[JPG]
- D. Harel and B. Ovadia,
"We Have Sinned and Have Been Disloyal: What Now?" (in Hebrew), Soul Searching, Published by the New Israel Fund, September, 2012. [PDF]
(English version [PDF]).
- D. Harel,
"Only Peres can do it" (in Hebrew), Haaretz, Nov. 26, 2012. [JPG]
- D. Harel,
"Israel Needs Life-Saving Surgery" (in Hebrew), Yedi'ot Achronot internet version (Ynet), Dec. 22, 2012. [PDF]
(English version [PDF] ).
- D. Harel,
"Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance", Proc. Logic and Program Semantics (R.L. Constable and A. Silva, eds.), Lecture Notes in Computer Science, Vol. 7230, Springer-Verlag, 2012, pp. 326-327. [PDF]
- D. Harel,
"Run, Bibi, Run!" (in Hebrew), Yedi'ot Achronot internet version (Ynet), Aug. 7, 2013. [PDF]
(English version [PDF]).
- D. Harel,
"Pregnancy Guarding for the Peace Process" (in Hebrew), Walla! web portal, Aug. 20, 2013. [PDF]
- D. Harel,
"My Personal 'Other' " (in Hebrew), delivered at the special conference Hating the Foreigner and Accepting the Other, at the Israel Academy of Sciences and Humanities, Jerusalem, October 2014. [PDF]
- D. Harel,
"Fear of Bennet" (in Hebrew), Walla! web portal, Jan. 5, 2015. [PDF]
- D. Harel,
"Two Logs into the Israel Prize Fire" (letter to the editor; in Hebrew), Haaretz, Feb. 12, 2015. [JPG]
- D. Harel,
"Einstein's Warning" (in Hebrew), Walla! web portal, Feb. 15, 2015. [PDF]
- D. Harel and B. Ovadia,
"Leadership Change, Now" (in Hebrew), Yedi'ot Achronot internet version (Ynet), May 10, 2016. [PDF]
- D. Harel,
"MK Bitan, Revoke my Citizenship Too" (in Hebrew), Ha'aretz , Oct. 28, 2016. [JPG]
- D. Harel,
"Why not Amir Peretz?" (in Hebrew), Ha'aretz, Apr. 6, 2017. [JPG]
- D. Harel,
"On Sins and Dreams" (in Hebrew), speech delivered at the Saturday night Habima Square demonstration, Tel Aviv, March 17, 2018.
[PDF]
[YouTube link]
- O. Bisharat and D. Harel,
"Judge Willner Should be Dismissed?" (in Hebrew), Ha'aretz, June 8, 2018. [JPG]
- I. Hammerman and D. Harel,
"As Israelis, we call on the world to intervene on behalf of Palestinians", The Guardian, June 29, 2018.
[PDF]
(Hebrew version
[PDF] ).
- D. Harel,
"Academy under the Occupation" (in Hebrew), speech delivered at a conference on Life under the Occupation, Mt. Scopus Campus, Jerusalem, October 31, 2018.
[PDF]
- D. Harel and O. Kupferman,
"On Gender Separation in Academia", Jerusalem Post, October 22, 2018.
[PDF]
- D. Harel and Thabet Abu Rass,
"Moving in Throngs?" (in Hebrew), Ha'aretz, March 18, 2019. [JPG]
- D. Harel,
"On Shame, Correction and Hope" (in Hebrew, with Arabic translation), speech delivered at a supporters meeting of
The Joint Democratic Initiative, Kafar Kassem, June 25, 2019.
[PDF]
[link Hebrew]
[link Arabic]
- D. Harel,
Speech delivered at the
Alternative Torch Lighting Ceremony (in Hebrew), Jerusalem, April 28, 2020.
[PDF]
- D. Harel,
"First we Get Rid of the Darkness" (in Hebrew), Zman Yisrael, May 5, 2020.
[link]
[PDF]
- D. Harel,
"Israeli envoy didn`t give British Jews the full story on annexationa", Jewish News, London, May 7, 2020.
[PDF]
[link]
- D. Harel,
"The Supreme Court Ruled, so What Now?" (in Hebrew), speech delivered at the
Black Flags Ralley, Kiryat Tivon, May 9, 2020.
[PDF]
- D. Harel,
""Therefore": An Exercise in Logic and Democracy " (in Hebrew), speech delivered at the
Balfour Ralley, Jerusalem, July 20, 2020.
[PDF]
- D. Harel and R. Carmi,
"Filling the Judicial Gap?" (in Hebrew), Ma'ariv, August 10, 2020.
[JPG]
- D. Harel,
"Distance Netanyahu and His Close Allies from the Justice System"
(in Hebrew), Yedi'ot Achronot internet version (Ynet), September 10, 2020. [PDF]
- E. Bachar and D. Harel,
"The Supreme Court Defends Netanyahu and Abandons the Public "
(in Hebrew), Globes, April 27, 2021.
[PDF]
Back to top
Patents
- D. Drusinsky and D. Harel,
"Electronic Controller Based on the Use of Statecharts as an
Abstract Model", USA Patent no. 4,799,141, granted January 1989.
- D. Harel and R. Marelly, "Playing Scenarios of
System Behavior", USA Patent 7,213,23,
granted May 2007.
- R. Haddad, D. Harel and N. Sobel,
"Predicting Odor Pleasantness with an Electronic Nose", international PCT patent WO 2011/010312, granted January 2011; US patent US 9176104 B2, granted November 3, 2015.
Back to top
|