Contents: Books, Papers, Non-scientific articles, Patents
Books [overview and details]
- D. Harel, First-Order Dynamic Logic, Lecture Notes in Computer Science, Vol. 68, Springer-Verlag, New York (133 pp.), 1979. [more info.]
- 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.]
- 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.]
- 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.]
- 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.]
- 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.]
- D. Harel, D. Kozen and J. Tiuryn, Dynamic Logic, MIT Press, 2000. [more info.]
- 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.]
- M. Broy, J. Grunbauer, D. Harel and T. Hoare (eds.), Engineering Theories of Software Intensive Systems , NATO Science Series, Springer, 2005.
- A. Condon, D. Harel, J.N. Kok, A. Salomaa and E. Winfree (eds.), Algorithnmic Bioprocesses , Springer, 2009.
Papers
- D. Harel, A. Pnueli and J. Stavi, "Completeness Issues for Inductive Assertions and Hoare's Method", Technical Report, Tel Aviv University, Israel, August 1975.
- 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]
- 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]
- 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]
- 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]
- 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]
- D. Harel, Logics of Programs: Axiomatics and Descriptive Power, Ph.D. Thesis, MIT/LCS/TR-200, Massachusetts Institute of Technology, May 1978.
- 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.
- D. Harel, "Two Results on Process Logic", Information Processing Lett. 8 ( 1979), 195-198.
- D. Harel, "Characterizing Second Order Logic with First Order Quantifiers", Zeitsch. f"ur Math. Logik Grund. der Mathematik 25 (1979), 419-422. [PDF]
- D. Harel, "Recursion in Logics of Programs", Proc. 6th Symp. on Principles of Programming Languages, pp. 81-92, San Antonio, Texas, January 1979. [PDF]
- 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]
- 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.
- D. Harel, " `do Considered od' Considered Odder than `do Considered ob' ", ACM SIGPLAN Notices 15:4 (April 1980) 75. [PDF]
- 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]
- 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.)
- D. Harel, "On Folk Theorems", Comm. Assoc. Comput. Mach. 23 (1980), 379-389. [PDF]
- D. Harel, "Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic", Theoret. Comput. Sci. 12 (1980), 61-81. [PDF]
- 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]
- 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.
- D. Harel, "On The Total Correctness of Nondeterministic Programs", Theoret. Comput. Sci. 13 (1981), 175-192. [PDF]
- D. Harel, "Normal Forms for And/Or Schemes", Technical Report CS81-01, The Weizmann Institute of Science, Rehovot, Israel, April 1981.
- D. Harel and S. Nehab, "Concurrent And/Or Programs: Recursion with Communication", Technical Report, The Weizmann Institute of Science, Rehovot, Israel, 1982.
- 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.
- 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.)
- 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.)
- D. Harel and R. Sherman, "Looping vs. Repeating in PDL", Information and Control 55 (1982), 175-192.
- D. Harel, A. Pnueli and J. Stavi, "Propositional Dynamic Logic of Nonregular Programs", J. Comput. System Sci. 26 (1983), 222-243. [PDF]
- 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.
- D. Harel, "A Simple Highly Undecidable Domino Problem", Proc. Conf. on Logic and Computation, Clayton, Australia, January 1984.
- 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.)
- 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.)
- 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.)
- D. Harel and D. Peleg, "Static Logics, Dynamic Logics and Complexity Classes", Information and Control 60 (1984), 86-102.
- D. Harel and M. Paterson, "Undecidability of PDL with L = {a^{2^i} | i>=0}", J. Comput. System Sci. 29 (1984), 359-365.
- 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.
- D. Harel and D. Peleg, "Order Relations and Tuple Languages", Technical Report, The Weizmann Institute of Science, 1984.
- 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]
- D. Harel and D. Peleg, "More on Looping vs. Repeating in Dynamic Logic", Information Processing Lett. 20 (1985), 87-90.
- 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.)
- D. Harel and D. Peleg, "Process Logic with Regular Programs", Theoret. Comput. Sci. 38 (1985), 307-322. [PDF]
- 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]
- 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]
- D. Harel, "Effective Transformations on Infinite Trees, with Applications to High Undecidability, Dominoes and Fairness", J. Assoc. Comput. Mach. 33 (1986), 224-248. [PDF]
- 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])
- 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.
- I. Dayan and D. Harel, "Fair Termination with Cruel Schedulers", Fundamenta Informaticae IX (1986), 1-12.
- 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.)
- 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]
- D. Harel, "Logic and Databases: A Critique", SIGACT News 18:1 (1986), 68-74. (Also, SIGPLAN Notices (1987); EATCS Bull. 32 (1987), 64-69.)
- D. Drusinsky and D. Harel, "Using Statecharts for Hardware Description", Proc. IEEE CAD Conf., Santa Clara, CA, November 1987.
- 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).
- 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.)
- 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).
- D. Harel and S. Rolph, "Modeling and Analyzing Complex Reactive Systems", Proc. AIAA Computers in Aerospace VII Conf., Monterey, CA, October 1989.
- D. Haran and D. Harel, "Knowledge-Charts: A Visual Formalism for Rule-Based Systems", Technical Report, The Weizmann Institute of Science, 1989.
- 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.
- 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.
- 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.)
- 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.
- 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.
- 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.)
- 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.)
- 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.)
- 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.)
- D. Harel and D. Raz, "Deciding Emptiness for Stack Automata on Infinite Trees", Information and Computation 113 (1994), 278-299. [PDF]
- 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.)
- D. Harel and H.-A. Kahana, "On Statecharts with Overlapping", ACM Trans. on Software Engineering Method. 1:4 (1992), 399-421.
- D. Harel, "Computers are Not Omnipotent", Alpayim 6 (1992), 43-56 (in Hebrew).
(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.)
- 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]
- Y. Etzion-Petrushka, D. Harel and D. Myers, "On the Solvability of Domino Snake Problems", Theoret. Comput. Sci. 131 (1994), 243-269. [PDF]
- D. Drusinsky and D. Harel, "On the Power of Bounded Concurrency I: Finite Automata", J. Assoc. Comput. Mach. 41 (1994), 517-539. [PDF]
- 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.
- 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. )
- 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.)
- 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.)
- 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.)
- 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.)
- 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.)
- 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]
- 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.)
- 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.
- O. Grossman and D. Harel, "On the Algorithmics of Higraphs", Technical Report CS97-15, The Weizmann Institute of Science, 1997. [PDF]
- D. Harel and M. Sardas, "An Algorithm for Straight-Line Drawing of Planar Graphs", Algorithmica 20 (1998), 119-135.
- D, Harel, Foreword to Real-Time UML: Developing Efficient Objects for Embedded Systems, by B. P. Douglass, Addison-Wesley, 1998; revised edition 2004.
- 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.)
- J. Gal-Ezer and D. Harel, "What (else) should CS educators know?", Comm. Assoc. Comput. Mach. 41:9 (1998), 77-84. [PDF]
- D. Harel, O. Kupferman and M. Vardi, "On the Complexity of Verifying Concurrent Transition Systems", Information and Computation 173:2 (2002), 143-161. [PDF]
(Also, Proc. 8th Int. Conf. on Concurrency Theory (CONCUR'97 ), Lecture Notes in Computer Science, Vol. 1243, Springer-Verlag, 1997, pp. 258-272.)
- 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.)
- 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.
- 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.)
- 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.)
- 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.)
- 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.)
- 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.)
- 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.)
- 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]
- 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.)
- 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. [PDF]
(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.)
- 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.)
- 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.)
- 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]
- 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]
- 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.
- 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]
- 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]
- 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.)
- L. Carmel, D. Harel and D. Lancet, "Estimating the Size of the Olfactory Repertoire", Bull. Math. Bio. 63 (2001), 1063-1078. [PDF]
- 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.)
- 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]
- 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]
- 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]
- 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]
- 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. [PDF]
- 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]
- 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.)
- D. Harel and Y. Koren, "Graph Drawing by High-Dimensional Embedding", J. Graph Algorithms and Applications 8:2 (2004), 195-214. (Preliminary version in Proc. 10th Int. Symp. on Graph Drawing (GD'02), Lecture Notes in Computer Science, Vol. 2528, Springer Verlag, pp. 207-219, 2002.) [PDF]
- 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.)
- 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. [PDF]
- 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.
- 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]
- 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]
- 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.
- 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.)
- 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]
- 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.
- 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]
- 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. [PDF]
- 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.
- 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]
- 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.
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- D. Harel, "A Turing-Like Test for Biological Modeling", Nature Biotechnology 23 (2005), 495-496. [PDF]
- 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]
- 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]
- 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.
- D. Harel, "Statecharts in the Making: A Personal Account", Proc. 3rd ACM SIGPLAN History of Programming Languages Conference (HOPL III), June 2007. [PDF]
- 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]
- L. Carmel and D. Harel, "Mix-to-Mimic Odor Synthesis for Electronic Noses", Sensors and Actuators B: Chemical 125 (2007) 635–643. [PDF]
- R. Haddad, L. Carmel, N. Sobel and D. Harel,"Predicting the Receptive Range of Olfactory Receptors", PLoS Computational Biology, 4:2 (2008), e18. [PDF]
- 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.
- 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]
- 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]
- 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]
- 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]
- 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.
- 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]
- 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]
- D. Harel and M. Gordon-Kiwkowitz "On Teaching Visual Formalisms", IEEE Software 26:3 (2009), 87-95. [PDF]
- 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]
- 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]
- 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]
- 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]
- 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]
- H. Lapid, R. Khan, D. Harel and N. Sobel, "Pleasantness of Binary Mixtures (abstract)", Association for Chemoreception Sciences (AChemS) Annual Meeting, 2007.
- R. Haddad, R. Khan, Y.K. Takahashi, D. Harel and N. Sobel, "A Metric for Odorant Comparison", Nature Methods 5 (2008), 425 - 429. [PDF]
- 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]
- 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.
- 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]
- E. Fox Keller and D. Harel, "Beyond the Gene", PLoS ONE 2:11 (2007), e1231. [PDF]
- D. Harel and R. Merom, "Playing Together: Distributed Collaborative Play-Out of Live Sequence Charts", 2007.
- D. Harel, "Can Programming be Liberated, Period?", Computer 41:1 (2008), 28-37. [PDF]
- 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]
- D. Harel and S. Maoz, "Visual Formalisms". In Encyclopedia of Database Systems, L. Liu and M. Tamer Özsu, eds., Springer, 2009, pp. 3370-3374.
- 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]
- 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]
- 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), 119–131. [PDF]
- 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]
- H. Lapid, D. Harel and N. Sobel, "Prediction Models for the Pleasantness of Binary Mixtures in Olfaction", Chemical Senses 33 (2008) 599-609. [PDF]
- D. Harel and I. Segall, "Visualizing Inter-Dependencies Between Scenarios", Proc. ACM Symp. on Software Visualization (SOFTVIS'08), 2008, pp. 145-153. [PDF]
- 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]
- 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]
- 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]
- 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]
- R. Haddad, H. Lapid, D. Harel and N. Sobel, "Measuring Smells", Current Opinion in Neurobiology 18 (2008), 438-444. [PDF]
- 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]
- D. Harel, "Statecharts in the Making: A Personal Account", Comm. ACM 52:3 (2009), 67-75. [PDF]
- 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]
- 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]
- D. Harel, A. Marron and G. Weiss, "Behavioral Programming", Comm. Assoc. Comput. Mach. 55:7 (2012), 90-100. [PDF]
- 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]
- 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]
- 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]
- 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.
- 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]
- 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]
- D. Harel, A. Marron and G. Weiss, "Programming Coordinated Scenarios in Java", Proc. 24th European Conference on Object-Oriented Programming (ECOOP 2010), 2010. [PDF]
- 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]
- 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]
- J. Fisher, D. Harel and T.A. Henzinger, "Biology as Reactivity", Comm. Assoc. Comput. Mach. 54:10 (2011), 72-82 (cover feature). [PDF]
- 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]
- S. Maoz and D. Harel, "On Tracing Reactive Systems", Software and Systems Modeling (SoSyM) 10:4 (2011), 447-468. [PDF]
- Y. Setty, I.R. Cohen and D. Harel, "Modeling Biology using Generic Reactive Animation", Fundamenta Informaticae 123 (2010), 1-12. [PDF]
- 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]
- 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.)
- 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]
- 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]
- 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]
- 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]
- D. Harel and I. Segall, "Synthesis from Scenario-Based Specifications", J. Comput. Syst. Sci. 78:3 (2012), 970-980. [PDF]
- 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]
- 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]
- 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]
- 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]
- N.Eitan and D.Harel, "Adaptive Behavioral Programming", Proc. 23rd IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI), 2011, pp. 685-692. [PDF]
- G. Alexandron, M. Armoni and D. Harel, "Programming with the User in Mind", Psychology of Programming Interest Group Annual Conference (PPIG2011), 2011. [PDF]
- 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]
- D. Harel and A. Kantor, "Multi-Modal Scenarios Revisited: A Net-Based Representation", Theoretical Computer Science 429 (2012), 118-127. [PDF]
- D. Harel, "Programming Naturally" (in Hebrew), Igeret (Israel Academy of Sciences and Humanities press) 33 (2011), 6-13. [PDF]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- G. Alexandron, M. Armoni, M. Gordon and D. Harel, "Teaching Nondeterminism Through Programming", Informatics in Education 15 (2016), 1-23. [PDF]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- D. Sherman, T. Oram, D. Harel and E. Ahissar, "Attention Robustly Gates a Closed-Loop Touch Reflex", Current Biology 27 (2017), 1-8. [PDF]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- A. Marron, Y. Hacohen, D. Harel, A. Mulder and A. Terfloth, "Embedding Scenario-Based Modeling in Statecharts", MORSE workshop at MoDELS 2018. [PDF]
- 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]
- 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]
- 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]
- D. Sherman and D. Harel, "Deciphering the underlying mechanisms of the pharyngeal motions in Caenorhabditis elegans", http://arxiv.org/abs/1903.12009, 2019. [PDF]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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, 2024, [PDF]
- 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]
- 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]
- D. Harel, A. Marron and R. Yerushalmi, "Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns", Computer 54 (Oct. 2021), 95-101, https://doi.org/10.1109/MC.2021.3099044 [PDF]
- 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]
- 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]
- R. Yerushalmi, G. Amir, A. Elyasaf, D. Harel, G. Katz and A. Marron, "Scenario-Assisted Deep Reinforcement Learning", Proc. 10th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), pp. 310-319, February 2022, (http://arxiv.org/abs/2202.04337).
- D. Harel, "Would a Turing Test be appropriate for validating odor reproduction?", The Turing Conversation, ETH Zurich (Jan. 2022). [PDF]
- R. Yerushalmi, D. Corsi, G. Amir, A. Farinelli, D. Harel and G. Katz, "Constrained Reinforcement Learning for Robotics via Scenario-Based Programming", Arxiv Technical Report, June 2022. (https://arxiv.org/abs/2206.09603)
- J. Sifakis and D. Harel, "Trustworthy Autonomous System Development", ACM Transactions on Embedded Computing Systems 2023, https://doi.org/10.1145/3545178. [PDF]
- D. Harel, “On the Beauty of Mathematics”, Based on lecture at the Assembly of Members of the Berlin-Brandenburg Academy of Sciences and Humanities (BBAW), moderator Günter M. Ziegler, Nov. 2022. [PDF] (the lecture itself starts on page 13.)
- R. Yerushalmi, G. Amir, A. Elyasaf, D. Harel, G. Katz and A. Marron, "Enhancing Deep Reinforcement Learning with Scenario-Based Modeling", Springer Nature Computer Science (SNCS) 4, 156 (2023) (https://rdcu.be/c3fXv).
- 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), pp. 275-282, 2023. [link]
- 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), pp. 202-209, 2023. [link]
- 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, (https://arxiv.org/abs/2206.09603).
- D. Sherman and D. Harel, "Deciphering the underlying mechanisms of the pharyngeal pumping motions in Caenorhabditis elegans", Proc. Natl. Acad. Sci. 121:7 (2024), (https://doi.org/10.1073/pnas.2302660121).
- G. Amir, D. Corsi, R. Yerushalmi, L. Marzari, D. Harel, A. Farinelli and G. Katz, "Verifying Learning-Based Robotic Navigation Systems", in Proc. 29th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023. Lecture Notes in Computer Science, vol 13993. Springer, Cham. (https://doi.org/10.1007/978-3-031-30823-9_31)
- D. Harel, U. Aßmann, F. Fournier, L. Limonad, A. Marron and S. Szekely, "Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models", (arXiv:submit/5318751, Dec. 2023). [PDF]
- A. Marron, I. Cohen, G. Frankel, D. Harel, and S. Szekely, “Challenges in Modeling and Unmodeling Complex Reactive Systems: Interaction Networks, Reaction to Emergent Effects, Reactive Rule Composition, and Multiple Time Scales”. Springer CCIS extended version of selected papers from Modelsward 2023. [PDF]
- N. Timor, J. Mamou, D. Korat, M. Berchansky, O. Pereg, M. Wasserblat, T. Galanti, M. Gordon and D. Harel, "Distributed Speculative Inference of Large Language Models is Provably Faster", submitted, 2023, (https://arxiv.org/abs/2405.14105).
- D. Harel, R. Yerushalmi, A. Marron, and A. Elyasaf, “Categorizing methods for integrating machine learning with executable specifications”, Science China Information Sciences, January 2024, Vol. 67 :1–:13 (https://doi.org/10.1007/s11432-022-3826-6) [PDF]
- D. Harel, G. Katz, A. Marron and S. Szekely, "On Augmenting Scenario-Based Modeling with Generative AI", (MODELSWARD `24) [PDF][link]
- D. Harel, A. Marron, “The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday Matter”, Communications of the ACM 67:6 (2024), 62-69. [PDF]
- A. Marron, S. Szekely, I. Cohen and D. Harel, "Bi-parental Reproduction may Enhance Species Sustainability by Conserving Shared Parental Traits more Faithfully than Mono-parental Reproduction", submitted, 2024 [PDF].
- D. Corsi, R. Yerushalmi, G. Amir, A. Farinelli, D. Harel and G. Katz, "Enforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming", ICONIP 2024, to appear.
- B. Sandak, A. Gilboa and D. Harel, "Computational Elucidation of Non-Verbal Behavior and Body Language in Music Therapy", PNAS Nexus, to appear.
- T. Biron, M. Barboy, E. Ben Artzi, A. Golubchik, Y. Marmor, A. Marron, S. Szekely, Y. Winter and D. Harel, "Disentanglement of Prosodic Meaning: Towards a New Framework of Analysis for Non-Verbal Information, submitted, 2024.
-
D. Harel and A. Marron, "Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems", submitted, 2024.
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.
- 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] [link]
- 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][link] (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. [JPG]
- 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] (Short English version, titled “On Occupation and Acadmia”. [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]
- 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]
- D. Harel, Keynote Remarks at SPARKS Innovation Summit and Cybertech Global, Tel-Aviv, April 10, 2024. [PDF]
- D. Harel, “Three Pleas in the Aftermath of the October 7 Massacre” (in Hebrew), Ynet, December 14, 2023. [PDF] [link]
- D. Harel, “Expropriate the Israel Prize from the Ministry of Education” (in Hebrew), Walla News, February 18, 2024. [PDF] [link]
- D. Harel, “On Freedom and Academic Freedom” (in Hebrew), The Democratic Haggadah, February 2024. [PDF]
- H. Gouri and D. Harel, “Hungry for Solidarity” (in Hebrew), Ha’aretz, May 16, 2024. [PDF] [link]
- D. Harel, "And There is no Breath at all in It” (Habakkuk 2:19)", Alpayim V’od 4 (2024), 18-22 (in Hebrew). [PDF]
- D. Harel, "On Responsibility, Breadth and the Emperor's Clothes”, in Mar Hafkara (Mr. Negligence: The Legacy of He Who Abandoned the Abductees), The Life Forum, Israel, pp. 112-114, July 2024 (in Hebrew). [PDF] [PDF of English version]
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.