Computability and Completeness in Logics of Programs (Preliminary Report) - David Harel; Albert R. Meyer; Vaughan R. Pratt (STOC, 1977)

A Complete Axiomatic System for Proving Deductions about Recursive Programs - David Harel; Amir Pnueli; Jonathan Stavi (STOC, 1977)

Arithmetical Completeness in Logics of Programs. - David Harel (ICALP, 1978)

Nondeterminism in Logics of Programs. - David Harel; Vaughan R. Pratt (POPL, 1978)

First-Order Dynamic Logic - David Harel (Springer, 1979)

Recursion in Logics of Programs. - David Harel (POPL, 1979)

Computable Queries for Relational Data Bases (Preliminary Report) - Ashok K. Chandra; David Harel (STOC, 1979)

Two Results on Process Logic. - David Harel (Inf. Process. Lett., 1979)

Characterizing Second Order Logic with First Order Quantifiers. - David Harel (Math. Log. Q., 1979)

on And/Or Schemes. - David Harel (MFCS, 1980)

Computable Queries for Relational Data Bases. - Ashok K. Chandra; David Harel (J. Comput. Syst. Sci., 1980)

On folk theorems. - David Harel (SIGACT News, 1980)

"do considered od" considered odder than "do considered ob". - David Harel (ACM SIGPLAN Notices, 1980)

Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic. - David Harel (Theor. Comput. Sci., 1980)

And/Or Programs: A New Approach to Structured Programming. - David Harel (ACM Trans. Program. Lang. Syst., 1980)

Propositional Dynamic Logic of Context-Free Programs - David Harel; Amir Pnueli; Jonathan Stavi (FOCS, 1981)

Further Results on Propositional Dynamic Logic of Nonregular Programs. - David Harel; Amir Pnueli; Jonathan Stavi (Logic of Programs, 1981)

On the Total Correctness of Nondeterministic Programs. - David Harel (Theor. Comput. Sci., 1981)

Horn Clauses and the Fixpoint Query Hierarchy. - Ashok K. Chandra; David Harel (PODS, 1982)

Looping vs. Repeating in Dynamic Logic - David Harel; Rivi Sherman (Inf. Control., 1982)

Structure and Complexity of Relational Queries. - Ashok K. Chandra; David Harel (J. Comput. Syst. Sci., 1982)

Process Logic: Expressiveness, Decidability, Completeness. - David Harel; Dexter Kozen; Rohit Parikh (J. Comput. Syst. Sci., 1982)

Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report). - David Harel (FCT, 1983)

Propositional Dynamic Logic of Nonregular Programs. - David Harel; Amir Pnueli; Jonathan Stavi (J. Comput. Syst. Sci., 1983)

On the Development of Reactive Systems. - David Harel; Amir Pnueli (Logics and Models of Concurrent Systems, 1984)

A General Result on Infinite Trees and Its Applications (Preliminary Report) - David Harel (STOC, 1984)

A Programming Language for the Inductive Sets, and Applications - David Harel; Dexter Kozen (Inf. Control., 1984)

On Static Logics, Dynamic Logics, and Complexity Classes - David Harel; David Peleg (Inf. Control., 1984)

A Probabilistic Dynamic Logic. - Yishai A. Feldman; David Harel (J. Comput. Syst. Sci., 1984)

Undecidability of PDL with L={a^(2i)|i>=0}. - David Harel; Mike Paterson (J. Comput. Syst. Sci., 1984)

Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL. - Rivi Sherman; Amir Pnueli; David Harel (SIAM J. Comput., 1984)

Propositional Dynamic Logic of Flowcharts - David Harel; Rivi Sherman (Inf. Control., 1985)

More on Looping vs. Repeating in Dynamic Logic. - David Harel; David Peleg (Inf. Process. Lett., 1985)

Horn Clauses Queries and Generalizations. - Ashok K. Chandra; David Harel (J. Log. Program., 1985)

Process Logic with Regular Formulas. - David Harel; David Peleg (Theor. Comput. Sci., 1985)

DNAMAT: an efficient graphic matrix sequence homology algorithm and its application to structural analysis. - Ron Unger; David Harel; Joel L. Sussman (Comput. Appl. Biosci., 1986)

Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness. - David Harel (J. ACM, 1986)

Logic and databases: a critique. - David Harel (SIGACT News, 1986)

Algorithmics - the spirit of computing (2. ed.). - David Harel (Addison-Wesley, 1987)

On the Formal Semantics of Statecharts (Extended Abstract) - David Harel; Amir Pnueli; Jeanette P. Schmidt; Rivi Sherman (LICS, 1987)

Statecharts: A Visual Formalism for Complex Systems. - David Harel (Sci. Comput. Program., 1987)

On the Power of Cooperative Concurrency. - Doron Drusinsky; David Harel (Concurrency, 1988)

STATEMATE; A Working Environment for the Development of Complex Reactive Systems. - David Harel; Hagi Lachover; Amnon Naamad; Amir Pnueli; Michal Politi; Rivi Sherman; Aharon Shtull-Trauring (ICSE, 1988)

On Visual Formalisms. - David Harel (Commun. ACM, 1988)

The science of computing - exploring the nature and power of algorithms. - David Harel (Addison-Wesley, 1989)

A Thesis for Bounded Concurrency. - David Harel (MFCS, 1989)

Using statecharts for hardware description and synthesis. - Doron Drusinsky; David Harel (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989)

On the Power of Bounded Concurrency II: The Pushdown Automata Level. - Tirza Hirst; David Harel (CAAP, 1990)

Deciding Properties of Nonregular Programs (Preliminary Version) - David Harel; Danny Raz (FOCS, 1990)

How Hard Is It to Reason about Propositional Programs? - David Harel (ICLP, 1990)

On the Power of Bounded Concurrency III: Reasoning About Programs (Preliminary Report) - David Harel; Roni Rosner; Moshe Y. Vardi (LICS, 1990)

STATEMATE: A Working Environment for the Development of Complex Reactive Systems. - David Harel; Hagi Lachover; Amnon Naamad; Amir Pnueli; Michal Politi; Rivi Sherman; Aharon Shtull-Trauring; Mark B. Trakhtenbrot (IEEE Trans. Software Eng., 1990)

Hamiltonian Paths in Infinite Graphs - David Harel (STOC, 1991)

Biting the Silver Bullet - Toward a Brighter Future for System Development. - David Harel (Computer, 1992)

On Statecharts with Overlapping. - David Harel; Chaim-Arie Kahana (ACM Trans. Softw. Eng. Methodol., 1992)

Computers are not Omnipotent (Abstract). - David Harel (ESEC, 1993)

Deciding Properties of Nonregular Programs. - David Harel; Danny Raz (SIAM J. Comput., 1993)

Complexity Results for Multi-Pebble Automata and their Logics. - Noa Globerman; David Harel (ICALP, 1994)

Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary). - David Harel (PODS, 1994)

Towards a Theory of Recursive Structures. - David Harel (STACS, 1994)

On the Power of Bounded Concurrency I: Finite Automata. - Doron Drusinsky; David Harel (J. ACM, 1994)

On the Power of Bounded Concurrency II: Pushdown Automata. - Tirza Hirst; David Harel (J. ACM, 1994)

On the Solvability of Domino Snake Problems. - Yael Etzion-Petruschka; David Harel; Dale Myers (Theor. Comput. Sci., 1994)

Deciding Emptiness for Stack Automata on Infinite Trees - David Harel; Danny Raz (Inf. Comput., 1994)

Towards a theory of Recursive Structures. - David Harel (Computer Science Today, 1995)

Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. - David Harel (CONCUR, 1995)

More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs. - David Harel; Eli Singerman (ISTCS, 1995)

A High School Program in Computer Science. - Judith Gal-Ezer; Catriel Beeri; David Harel; Amiram Yehudai (Computer, 1995)

Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering. - David Harel (SIGACT News, 1995)

Randomized Graph Drawing with Heavy-Duty Preprocessing. - David Harel; Meir Sardas (J. Vis. Lang. Comput., 1995)

Some Thoughts on Statecharts, 13 Years Later (Abstract). - David Harel (ASIAN, 1996)

Statecharts in Use: Structured Analysis and Object-Orientation. - Bruce Powel Douglass; David Harel; Mark B. Trakhtenbrot (European Educational Forum: School on Embedded Systems, 1996)

More About Recursive Structures: Descriptive Complexity and Zero-One Laws. - Tirza Hirst; David Harel (LICS, 1996)

Statecharts: Past, Present and Future (abstract). - David Harel (SOFSEM, 1996)

More on Nonregular PDL: Finite Models and Fibonacci-Like Programs. - David Harel; Eli Singerman (Inf. Comput., 1996)

Completeness Results for Recursive Data Bases. - Tirza Hirst; David Harel (J. Comput. Syst. Sci., 1996)

Taking It to the Limit: On Infinite Variants of NP-Complete Problems. - Tirza Hirst; David Harel (J. Comput. Syst. Sci., 1996)

Complexity Results for Two-Way and Multi-Pebble Automata and their Logics. - Noa Globerman; David Harel (Theor. Comput. Sci., 1996)

Drawing Graphs Nicely Using Simulated Annealing. - Ron Davidson; David Harel (ACM Trans. Graph., 1996)

The STATEMATE Semantics of Statecharts. - David Harel; Amnon Naamad (ACM Trans. Softw. Eng. Methodol., 1996)

Some Thoughts on Statecharts, 13 Years Later. - David Harel (CAV, 1997)

Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version). - David Harel; Eli Singerman (ICALP, 1997)

Towards a Theory of Recursive Structures (extended abstract). - David Harel (LFCS, 1997)

Keynotes. - James Coplien; Joseph Gil; David Harel; Bertrand Meyer 001 (TOOLS (23), 1997)

On the Aesthetics of Diagrams. - David Harel (VL, 1997)

Executable Object Modeling with Statecharts. - David Harel; Eran Gery (Computer, 1997)

On the Aesthetics of Diagrams (Summary of Talk). - David Harel (MPC, 1998)

An Algorithm for Straight-Line Drawing of Planar Graphs. - David Harel; Meir Sardas (Algorithmica, 1998)

What (Else) Should CS Educators Know? - Judith Gal-Ezer; David Harel (Commun. ACM, 1998)

Computation Paths Logic: An Expressive, yet Elementary, Process Logic. - David Harel; Eli Singerman (Ann. Pure Appl. Log., 1999)

Curriculum and Course Syllabi for a High-School CS Program. - Judith Gal-Ezer; David Harel (Comput. Sci. Educ., 1999)

On the Behavioral Inheritance of State-Based Objects. - David Harel; Orna Kupferman (TOOLS (34), 2000)

On Clustering Using Random Walks. - David Harel; Yehuda Koren (FSTTCS, 2001)

Clustering spatial data using random walks. - David Harel; Yehuda Koren (KDD, 2001)

On the Behavior of Complex Object-Oriented Systems. - David Harel (OMER, 2001)

The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. - Na'aman Kam; Irun R. Cohen; David Harel (HCC, 2001)

From Play-In Scenarios to Code: An Achievable Dream. - David Harel (Computer, 2001)

A multi-scale algorithm for drawing graphs nicely. - Ronny Hadany; David Harel (Discret. Appl. Math., 2001)

LSCs: Breathing Life into Message Sequence Charts. - Werner Damm; David Harel (Formal Methods Syst. Des., 2001)

Dynamic logic. - David Harel; Dexter Kozen; Jerzy Tiuryn (SIGACT News, 2001)

Das Affenpuzzle - und weitere bad news aus der Computerwelt. - David Harel (Springer, 2002)

Drawing graphs with non-uniform vertices. - David Harel; Yehuda Koren (AVI, 2002)

Modeling biological reactivity: statecharts vs. Boolean logic. - Na'aman Kam; Irun R. Cohen; David Harel (AVI, 2002)

Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). - David Harel (EMSOFT, 2002)

Smart Play-out of Behavioral Requirements. - David Harel; Hillel Kugler; Rami Marelly; Amir Pnueli (FMCAD, 2002)

Reactive Animation. - David Harel; Sol Efroni; Irun R. Cohen (FMCO, 2002)

Drawing Directed Graphs Using One-Dimensional Optimization. - Liran Carmel; David Harel; Yehuda Koren (GD, 2002)

Rhapsody: A Complete Life-Cycle Model-Based Development System. - Eran Gery; David Harel; Eldad Palachi (IFM, 2002)

ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs. - Yehuda Koren; Liran Carmel; David Harel (INFOVIS, 2002)

Playing with Time: On the Specification and Execution of Time-Enriched LSCs. - David Harel; Rami Marelly (MASCOTS, 2002)

Multiple instances and symbolic variables in executable sequence charts. - Rami Marelly; David Harel; Hillel Kugler (OOPSLA, 2002)

Specifying and executing requirements: the play-in/play-out approach. - Rami Marelly; David Harel; Hillel Kugler (OOPSLA Companion, 2002)

A Multi-scale Algorithm for the Linear Arrangement Problem. - Yehuda Koren; David Harel (WG, 2002)

On the Complexity of Verifying Concurrent Transition Systems. - David Harel; Orna Kupferman; Moshe Y. Vardi (Inf. Comput., 2002)

Synthesizing State-Based Object Systems from LSC Specifications. - David Harel; Hillel Kugler (Int. J. Found. Comput. Sci., 2002)

A Fast Multi-Scale Method for Drawing Large Graphs. - David Harel; Yehuda Koren (J. Graph Algorithms Appl., 2002)

On Object Systems and Behavioral Inheritance. - David Harel; Orna Kupferman (IEEE Trans. Software Eng., 2002)

An algorithm for blob hierarchy layout. - David Harel; Gregory Yashchin (Vis. Comput., 2002)

Come, let's play - scenario-based programming using LSCs and the play-engine. - David Harel (Springer, 2003)

Computers Ltd - what they really can't do. - David Harel (Oxford University Press, 2003)

Come, Let's Play, Scenario-Based Programming Using LSCs and the Play-Engine. - David Harel; Rami Marelly (Springer, 2003)

Message Sequence Charts. - David Harel; P. S. Thiagarajan (UML for Real, 2003)

Formal Modeling of C. elegans Development: A Scenario-Based Approach. - Na'aman Kam; David Harel; Hillel Kugler; Rami Marelly; Amir Pnueli; E. Jane Albert Hubbard; Michael J. Stern (CMSB, 2003)

Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. - David Harel; Hillel Kugler; Gera Weiss (Scenarios: Models, Transformations and Tools, 2003)

On the Visualization and Aesthetics of Large Graphs: Short Abstract. - David Harel (Ershov Memorial Conference, 2003)

Axis-by-Axis Stress Minimization. - Yehuda Koren; David Harel (GD, 2003)

A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. - David Harel (HSCC, 2003)

A two-way visualization method for clustered data. - Yehuda Koren; David Harel (KDD, 2003)

Smart play-out. - David Harel; Hillel Kugler; Rami Marelly; Amir Pnueli (OOPSLA Companion, 2003)

Towards an odor communication system. - David Harel; Liran Carmel; Doron Lancet (Comput. Biol. Chem., 2003)

A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal. - David Harel (Bull. EATCS, 2003)

Drawing Huge Graphs by Algebraic Multigrid Optimization. - Yehuda Koren; Liran Carmel; David Harel (Multiscale Model. Simul., 2003)

Specifying and executing behavioral requirements: the play-in/play-out approach. - David Harel; Rami Marelly (Softw. Syst. Model., 2003)

Response to "Comments on 'On Object Systems and Behavior Inheritance'". - Orna Kupferman; David Harel (IEEE Trans. Software Eng., 2003)

Algorithmics - the spirit of computing (3. ed.). - David Harel; Yishai A. Feldman (Addison-Wesley, 2004)

Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. - Jasmin Fisher; David Harel; E. Jane Albert Hubbard; Nir Piterman; Michael J. Stern; Naamah Swerdlin (CMSB, 2004)

The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. - David Harel; Hillel Kugler (SoftSpez Final Report, 2004)

Smart Play-Out Extended: Time and Forbidden Elements. - David Harel; Hillel Kugler; Amir Pnueli (QSIC, 2004)

Meaningful Modeling: What's the Semantics of "Semantics"?. - David Harel; Bernhard Rumpe (Computer, 2004)

Graph Drawing by High-Dimensional Embedding. - David Harel; Yehuda Koren (J. Graph Algorithms Appl., 2004)

Combining Hierarchy and Energy Drawing Directed Graphs. - Liran Carmel; David Harel; Yehuda Koren (IEEE Trans. Vis. Comput. Graph., 2004)

Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. - David Harel; Hillel Kugler; Amir Pnueli (Formal Methods in Software and Systems Modeling, 2005)

Temporal Logic for Scenario-Based Specifications. - Hillel Kugler; David Harel; Amir Pnueli; Yuan Lu; Yves Bontemps (TACAS, 2005)

One-dimensional layout optimization, with applications to graph drawing by axis separation. - Yehuda Koren; David Harel (Comput. Geom., 2005)

Reactive Animation: Realistic Modeling of Complex Dynamic Systems. - Sol Efroni; David Harel; Irun R. Cohen (Computer, 2005)

Algorithmik - die Kunst des Rechnens. - David Harel; Yishai A. Feldman (Springer, 2006)

Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs. - David Harel (CAV, 2006)

06351 Summary – Methods for Modelling Software Systems (MMOSS). - Ed Brinksma; David Harel; Angelika Mader; Perdita Stevens; Roel J. Wieringa (MMOSS, 2006)

06351 Abstracts Collection – Methods for Modelling Software Systems (MMOSS). - Ed Brinksma; David Harel; Angelika Mader; Perdita Stevens; Roel J. Wieringa (MMOSS, 2006)

From multi-modal scenarios to code: compiling LSCs into aspectJ. - Shahar Maoz; David Harel (SIGSOFT FSE, 2006)

Comprehensive and realistic modeling of biological systems. - David Harel (WSC, 2006)

Challenges for modeling and simulation methods in systems biology. - Herbert M. Sauro; David Harel; Marta Z. Kwiatkowska; Clifford A. Shaffer; Adelinde M. Uhrmacher; Michael Hucka; Pedro Mendes 001; Lena Strömbäck; John J. Tyson (WSC, 2006)

InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. - Dan Barak; David Harel; Rami Marelly (IEEE Trans. Software Eng., 2006)

S2A: A Compiler for Multi-modal UML Sequence Diagrams. - David Harel; Asaf Kleinbort; Shahar Maoz (FASE, 2007)

Using LSCs for scenario authoring in tactical simulators. - Yoram Atir; David Harel (SCSC, 2007)

Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, . - David Harel; Itai Segall (TACAS, 2007)

Towards Trace Visualization and Exploration for Reactive Systems. - Shahar Maoz; Asaf Kleinbort; David Harel (VL/HCC, 2007)

Concurrency in Biological Modeling: Behavior, Execution and Visualization. - David Harel; Yaki Setty; Sol Efroni; Naamah Swerdlin; Irun R. Cohen (FBTC@CONCUR, 2007)

Emergent Dynamics of Thymocyte Development and Lineage Determination. - Sol Efroni; David Harel; Irun R. Cohen (PLoS Comput. Biol., 2007)

Some Results on the Expressive Power and Complexity of LSCs. - David Harel; Shahar Maoz; Itai Segall (Pillars of Computer Science, 2008)

Object Composition in Scenario-Based Programming. - Yoram Atir; David Harel; Asaf Kleinbort; Shahar Maoz (FASE, 2008)

Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. - David Harel; Yaki Setty (FMSB, 2008)

Crafting game-models using reactive system design. - David Harel; Itai Segall; Hillel Kugler; Yaki Setty (Future Play, 2008)

Visualizing inter-dependencies between scenarios. - David Harel; Itai Segall (SOFTVIS, 2008)

Can Programming Be Liberated, Period? - David Harel (Computer, 2008)

The Lymph Node B Cell Immune Response: Dynamic Analysis In-Silico. - Naamah Swerdlin; Irun R. Cohen; David Harel (Proc. IEEE, 2008)

Predicting the Receptive Range of Olfactory Receptors. - Rafi Haddad; Liran Carmel; Noam Sobel; David Harel (PLoS Comput. Biol., 2008)

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool. - Pierre Combes; David Harel; Hillel Kugler (Softw. Syst. Model., 2008)

Assert and negate revisited: Modal semantics for UML sequence diagrams. - David Harel; Shahar Maoz (Softw. Syst. Model., 2008)

Toward Verified Biological Models. - Avital Sadot; Jasmin Fisher; Dan Barak; Yishai Admanit; Michael J. Stern; E. Jane Albert Hubbard; David Harel (IEEE ACM Trans. Comput. Biol. Bioinform., 2008)

GemCell: A generic platform for modeling multi-cellular biological systems. - Hila Amir-Kroll; Avital Sadot; Irun R. Cohen; David Harel (Theor. Comput. Sci., 2008)

On Using Divide and Conquer in Modeling Natural Systems. - Yaki Setty; Irun R. Cohen; Avi E. Mayo; David Harel (Algorithmic Bioprocesses, 2009)

Generating Executable Scenarios from Natural Language. - Michal Gordon; David Harel (CICLing, 2009)

Can We Verify an Elephant? - David Harel (Haifa Verification Conference, 2009)

Statecharts in the making: a personal account. - David Harel (Commun. ACM, 2009)

On Teaching Visual Formalisms. - David Harel; Michal Gordon-Kiwkowitz (IEEE Softw., 2009)

Visual Formalisms. - David Harel; Shahar Maoz (Encyclopedia of Database Systems, 2009)

Some Thoughts on the Semantics of Biocharts. - David Harel; Hillel Kugler (Essays in Memory of Amir Pnueli, 2010)

On the Power of Play-Out for Scenario-Based Programs. - David Harel; Amir Kantor; Shahar Maoz (Concurrency, Compositionality, and Correctness, 2010)

Programming Coordinated Behavior in Java. - David Harel; Assaf Marron; Gera Weiss (ECOOP, 2010)

PlayGo: towards a comprehensive tool for scenario based programming. - David Harel; Shahar Maoz; Smadar Szekely; Daniel Barkan (ASE, 2010)

Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's. - David Harel (LICS, 2010)

Accelerating Smart Play-Out. - David Harel; Hillel Kugler; Shahar Maoz; Itai Segall (SOFSEM, 2010)

Semantic Navigation Strategies for Scenario-Based Programming. - Michal Gordon; David Harel (VL/HCC, 2010)

Amir Pnueli - A Gentle Giant: Lord of the phi's and the psi's. - David Harel (Formal Aspects Comput., 2010)

Modeling Biology using Generic Reactive Animation. - Yaki Setty; Irun R. Cohen; David Harel (Fundam. Informaticae, 2010)

Predicting Odor Pleasantness with an Electronic Nose. - Rafi Haddad; Abebe Medhanie; Yehudah Roth; David Harel; Noam Sobel (PLoS Comput. Biol., 2010)

Can we Computerize an Elephant? - David Harel (ECAL, 2011)

Model-checking behavioral programs. - David Harel; Robby Lampert; Assaf Marron; Gera Weiss (EMSOFT, 2011)

Some Thoughts on Behavioral Programming. - David Harel (FM, 2011)

Adaptive Behavioral Programming. - Nir Eitan; David Harel (ICTAI, 2011)

On Visualization and Comprehension of Scenario-Based Programs. - Nir Eitan; Michal Gordon; David Harel; Assaf Marron; Gera Weiss (ICPC, 2011)

Behavioral programming, decentralized control, and multiple time scales. - David Harel; Assaf Marron; Guy Wiener; Gera Weiss (SPLASH Workshops, 2011)

Programming with the user in mind. - Giora Alexandron; Michal Armoni; David Harel (PPIG, 2011)

Biology as reactivity. - Jasmin Fisher; David Harel; Thomas A. Henzinger (Commun. ACM, 2011)

On tracing reactive systems. - Shahar Maoz; David Harel (Softw. Syst. Model., 2011)

A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. - Shahar Maoz; David Harel; Asaf Kleinbort (ACM Trans. Softw. Eng. Methodol., 2011)

Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance. - David Harel (Logic and Program Semantics, 2012)

A software engineering framework for switched fuzzy systems. - David Harel; Assaf Marron; Amir Nissim; Gera Weiss (FUZZ-IEEE, 2012)

On Behavioral Programming. - David Harel (Haifa Verification Conference, 2012)

Standing on the Shoulders of a Giant - One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture). - David Harel (ICALP (2), 2012)

Non-intrusive Repair of Reactive Programs. - David Harel; Guy Katz; Assaf Marron; Gera Weiss (ICECCS, 2012)

Evaluating live sequence charts as a programming technique for non-programmers. - Michal Gordon; David Harel (USER@ICSE, 2012)

Standing on the shoulders of a giant: one person's experience of turing's impact. - David Harel (ITiCSE, 2012)

The effect of previous programming experience on the learning of scenario-based programming. - Giora Alexandron; Michal Armoni; Michal Gordon; David Harel (Koli Calling, 2012)

Evaluating a natural language interface for behavioral programming. - Michal Gordon; David Harel (VL/HCC, 2012)

Some thoughts on executable visual languages and their Interfaces. - David Harel (VL/HCC, 2012)

Behavioral programming. - David Harel; Assaf Marron; Gera Weiss (Commun. ACM, 2012)

Executable Modeling of Morphogenesis: A Turing-Inspired Approach. - Yaki Setty; Irun R. Cohen; David Harel (Fundam. Informaticae, 2012)

Editorʼs foreword. - Ahmed Bouajjani; David Harel; Lenore D. Zuck (J. Comput. Syst. Sci., 2012)

Synthesis from scenario-based specifications. - David Harel; Itai Segall (J. Comput. Syst. Sci., 2012)

The quest for runware: on compositional, executable and intuitive models. - David Harel; Assaf Marron (Softw. Syst. Model., 2012)

Multi-modal scenarios revisited: A net-based representation. - David Harel; Amir Kantor (Theor. Comput. Sci., 2012)

On composing and proving the correctness of reactive behavior. - David Harel; Amir Kantor; Guy Katz; Assaf Marron; Lior Mizrahi; Gera Weiss (EMSOFT, 2013)

Relaxing Synchronization Constraints in Behavioral Programs. - David Harel; Amir Kantor; Guy Katz (LPAR, 2013)

On teaching programming with nondeterminism. - Giora Alexandron; Michal Armoni; Michal Gordon; David Harel (WiPSCE, 2013)

Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures. - David Harel; Guy Katz (AGERE!@SPLASH, 2014)

Modal Scenarios as Automata. - David Harel; Amir Kantor (Language, Culture, Computation (1), 2014)

Programming Animation Using Behavioral Programming. - David Harel; Shani Nitzan (BM-FA (Revised Selected Papers), 2014)

Semantic Parsing Using Content and Context: A Case Study from Requirements Elicitation. - Reut Tsarfaty; Ilia Pogrebezky; Guy Weiss; Yaarit Natan; Smadar Szekely; David Harel (EMNLP, 2014)

Steps towards Scenario-Based Programming with a Natural Language Interface. - Michal Gordon; David Harel (FPS@ETAPS, 2014)

Scenario-based programming: reducing the cognitive load, fostering abstract thinking. - Giora Alexandron; Michal Armoni; Michal Gordon; David Harel (ICSE Companion, 2014)

Scenario-Based Programming, Usability-Oriented Perception. - Giora Alexandron; Michal Armoni; Michal Gordon; David Harel (ACM Trans. Comput. Educ., 2014)

Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. - David Harel; Guy Katz; Assaf Marron; Gera Weiss (Trans. Comput. Collect. Intell., 2014)

On the Full Organism Challenge: Or, Can we Computerize an Elephant? - David Harel (AAMAS, 2015)

On the Succinctness of Idioms for Concurrent Programming. - David Harel; Guy Katz; Robby Lampert; Assaf Marron; Gera Weiss (CONCUR, 2015)

Theory-Aided Model Checking of Concurrent Transition Systems. - Guy Katz; Clark W. Barrett; David Harel (FMCAD, 2015)

The Effect of Concurrent Programming Idioms on Verification - A Position Paper. - David Harel; Guy Katz; Assaf Marron; Gera Weiss (MODELSWARD, 2015)

Wise Computing: Towards Endowing System Development with True Wisdom. - David Harel; Guy Katz; Rami Marelly; Assaf Marron (CoRR, 2015)

Towards behavioral programming in distributed architectures. - David Harel; Amir Kantor; Guy Katz; Assaf Marron; Gera Weiss; Guy Wiener (Sci. Comput. Program., 2015)

Scenario-based programming for mobile applications. - Anat Berkman-Chardon; David Harel; Yaarit Goel; Rami Marelly; Smadar Szekely; Guy Weiss (MOBILESoft, 2016)

Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing. - Assaf Marron; Brit Arnon; Achiya Elyasaf; Michal Gordon; Guy Katz; Hadas Lapid; Rami Marelly; Dana Sherman; Smadar Szekely; Gera Weiss; David Harel (D&P@MoDELS, 2016)

An Initial Wise Development Environment for Behavioral Models. - David Harel; Guy Katz; Rami Marelly; Assaf Marron (MODELSWARD, 2016)

The tumor as an organ: comprehensive spatial and temporal modeling of the tumor and its microenvironment. - Naamah Bloch; David Harel (BMC Bioinform., 2016)

Niépce-Bell or Turing: How to Test Odor Reproduction? - David Harel (CoRR, 2016)

EATCS Fellows' Advice to the Young Theoretical Computer Scientist. - Luca Aceto; Mariangiola Dezani-Ciancaglini; Yuri Gurevich; David Harel; Monika Henzinger; Giuseppe F. Italiano; Scott A. Smolka; Paul G. Spirakis; Wolfgang Thomas (Bull. EATCS, 2016)

Teaching Nondeterminism Through Programming. - Giora Alexandron; Michal Armoni; Michal Gordon; David Harel (Informatics Educ., 2016)

First Steps Towards a Wise Development Environment for Behavioral Models. - David Harel; Guy Katz; Rami Marelly; Assaf Marron (Int. J. Inf. Syst. Model. Des., 2016)

Crowd-Based Programming for Reactive Systems. - David Harel; Idan Heimlich; Rami Marelly; Assaf Marron (CSI-SE@ICSE, 2017)

Distributing Scenario-based Models: A Replicate-and-Project Approach. - Shlomi Steinberg; Joel Greenyer; Daniel Gritzner; David Harel; Guy Katz; Assaf Marron (MODELSWARD, 2017)

Efficient Distributed Execution of Multi-component Scenario-Based Models. - Shlomi Steinberg; Joel Greenyer; Daniel Gritzner; David Harel; Guy Katz; Assaf Marron (MODELSWARD (Revised Selected Papers), 2017)

Towards Integration of Context-Based and Scenario-Based Development. - Achiya Elyasaf; David Harel; Assaf Marron; Gera Weiss (STAF Workshops, 2017)

Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 1. - Giora Alexandron; Michal Armoni; Michal Gordon; David Harel (Comput. Sci. Eng., 2017)

Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 2. - Giora Alexandron; Michal Armoni; Michal Gordon; David Harel (Comput. Sci. Eng., 2017)

Toward Scenario-Based Algorithmics. - David Harel; Assaf Marron (Adventures Between Lower Bounds and Higher Altitudes, 2018)

Embedding Scenario-based Modeling in Statecharts. - Assaf Marron; Yotam Hacohen; David Harel; Andreas Mülder; Axel Terfloth (MoDELS (Workshops), 2018)

Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. - Joel Greenyer; Daniel Gritzner; David Harel; Assaf Marron (MODELSWARD, 2018)

Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. - Joel Greenyer; Daniel Gritzner; David Harel; Assaf Marron (MODELSWARD (Revised Selected Papers), 2018)

Languages for Programming - From Punched Cards to Wise Computing. - David Harel (MODELSWARD, 2018)

Wise Computing: Toward Endowing System Development with Proactive Wisdom. - David Harel; Guy Katz; Rami Marelly; Assaf Marron (Computer, 2018)

Visual Formalisms. - David Harel; Shahar Maoz (Encyclopedia of Database Systems (2nd ed.), 2018)

Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). - David Harel; Assaf Marron; Ariel Rosenfeld; Moshe Y. Vardi; Gera Weiss (AAAI, 2019)

Computational Music Therapy. - Billie Sandak; Avi Mazor; Amichay Asis; Avi Gilboa; David Harel (MCM, 2019)

Executing Scenario-Based Specification with Dynamic Generation of Rich Events. - David Harel; Guy Katz; Assaf Marron; Aviran Sadon; Gera Weiss (MODELSWARD (Revised Selected Papers), 2019)

Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways. - Hadas Lapid; Assaf Marron; Smadar Szekely; David Harel (MODELSWARD, 2019)

Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems. - David Harel; Rami Marelly; Assaf Marron; Smadar Szekely (CoRR, 2019)

Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions. - Assaf Marron; Lior Limonad; Sarah Pollack; David Harel (SEAMS@ICSE, 2020)

Autonomics: In search of a foundation for next-generation autonomous systems. - David Harel; Assaf Marron; Joseph Sifakis (Proc. Natl. Acad. Sci. USA, 2020)

Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing. - David Harel; Assaf Marron (ISoLA, 2021)

Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns. - David Harel; Assaf Marron; Raz Yerushalmi (Computer, 2021)

Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems. - David Harel; Rami Marelly; Assaf Marron; Smadar Szekely (IEEE Des. Test, 2021)

Scenario-assisted Deep Reinforcement Learning. - Raz Yerushalmi; Guy Amir; Achiya Elyasaf; David Harel; Guy Katz; Assaf Marron (MODELSWARD, 2022)

Constrained Reinforcement Learning for Robotics via Scenario-Based Programming. - Davide Corsi; Raz Yerushalmi; Guy Amir; Alessandro Farinelli; David Harel; Guy Katz (CoRR, 2022)

Creating a Foundation for Next-Generation Autonomous Systems. - David Harel; Assaf Marron; Joseph Sifakis (IEEE Des. Test, 2022)

Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines. - Yuval Bayer; David Harel; Assaf Marron; Smadar Szekely (MODELSWARD, 2023)

Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems. - Assaf Marron; Irun R. Cohen; Guy Frankel; David Harel; Smadar Szekely (MODELSWARD, 2023)

Challenges in Modeling and Unmodeling Complex Reactive Systems: Interaction Networks, Reaction to Emergent Effects, Reactive Rule Composition, and Multiple Time Scales. - Assaf Marron; Irun R. Cohen; Guy Frankel; David Harel; Smadar Szekely (MODELSWARD (Revised Selected Papers), 2023)

Verifying Learning-Based Robotic Navigation Systems. - Guy Amir; Davide Corsi; Raz Yerushalmi; Luca Marzari; David Harel; Alessandro Farinelli; Guy Katz (TACAS (1), 2023)

Human or Machine: Reflections on Turing-Inspired Testing for the Everyday. - David Harel; Assaf Marron (CoRR, 2023)

Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models. - David Harel; Uwe Aßmann; Fabiana Fournier; Lior Limonad; Assaf Marron; Smadar Szekely (CoRR, 2023)

Trustworthy Autonomous System Development. - Joseph Sifakis; David Harel (ACM Trans. Embed. Comput. Syst., 2023)

Enhancing Deep Reinforcement Learning with Scenario-Based Modeling. - Raz Yerushalmi; Guy Amir; Achiya Elyasaf; David Harel; Guy Katz; Assaf Marron (SN Comput. Sci., 2023)

Distributed Speculative Inference of Large Language Models is Provably Faster. - Nadav Timor; Jonathan Mamou; Oren Pereg; Moshe Berchansky; Daniel Korat; Moshe Wasserblat; Tomer Galanti; Michal Gordon; David Harel (ENLSP, 2024)

Enforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming. - Davide Corsi; Raz Yerushalmi; Guy Amir; Alessandro Farinelli; David Harel; Guy Katz (ICONIP (11), 2024)

On Augmenting Scenario-Based Modeling with Generative AI. - David Harel; Guy Katz; Assaf Marron; Smadar Szekely (MODELSWARD, 2024)

Categorizing methods for integrating machine learning with executable specifications. - David Harel; Raz Yerushalmi; Assaf Marron; Achiya Elyasaf (Sci. China Inf. Sci., 2024)

Non-verbal information in spontaneous speech - towards a new framework of analysis. - Tirza Biron; Moshe Barboy; Eran Ben-Artzy; Alona Golubchik; Yanir Marmor; Smadar Szekely; Yaron Winter; David Harel (CoRR, 2024)

Distributed Speculative Inference of Large Language Models. - Nadav Timor; Jonathan Mamou; Daniel Korat; Moshe Berchansky; Oren Pereg; Moshe Wasserblat; Tomer Galanti; Michal Gordon; David Harel (CoRR, 2024)

Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. - David Harel; Assaf Marron (CoRR, 2024)

The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday Matter. - David Harel; Assaf Marron (Commun. ACM, 2024)

Distributed Speculative Inference (DSI): Speculation Parallelism for Provably Faster Lossless Language Model Inference. - Nadav Timor; Jonathan Mamou; Daniel Korat; Moshe Berchansky; Oren Pereg; Moshe Wasserblat; Tomer Galanti; Michal Gordon-Kiwkowitz; David Harel (ICLR, 2025)

Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. - Assaf Marron; David Harel (MODELSWARD, 2025)

An infrastructure software perspective toward computation offloading between executable specifications and foundation models. - Dezhi Ran; Mengzhou Wu; Yuan Cao; Assaf Marron; David Harel; Tao Xie 001 (Sci. China Inf. Sci., 2025)

Beyond Pass or Fail: A Multi-dimensional Benchmark for Mobile UI Navigation. - Dezhi Ran; Mengzhou Wu; Hao Yu; Yuetong Li; Jun Ren; Yuan Cao; Xia Zeng; Haochuan Lu; Zexin Xu; Mengqian Xu; Ting Su 001; Liangchao Yao; et al. (CoRR, 2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model. - Hao Yu; Tianyu Chen; Jiaming Huang; Zongyang Li; Dezhi Ran; Xinyu Wang 006; Ying Li 012; Assaf Marron; David Harel; Yuan Xie; Tao Xie 001 (CoRR, 2025)

Data and System Perspectives of Sustainable Artificial Intelligence. - Tao Xie 001; David Harel; Dezhi Ran; Zhenwen Li; Maoliang Li; Zhi Yang 001; Leye Wang; Xiang Chen; Ying Zhang 012; Wentao Zhang 001; Meng Li; Chen Zhang 001; et al. (CoRR, 2025)

Accelerating LLM Inference with Lossless Speculative Decoding Algorithms for Heterogeneous Vocabularies. - Nadav Timor; Jonathan Mamou; Daniel Korat; Moshe Berchansky; Oren Pereg; Gaurav Jain; Roy Schwartz 001; Moshe Wasserblat; David Harel (CoRR, 2025)

Out-of-Vocabulary Sampling Boosts Speculative Decoding. - Nadav Timor; Jonathan Mamou; Oren Pereg; Hongyang Zhang; David Harel (CoRR, 2025)

Meta-autoencoders: An approach to discovery and representation of relationships between dynamically evolving classes. - Assaf Marron; Smadar Szekely; Irun R. Cohen; David Harel (CoRR, 2025)