| 2026 | MODELSWARD | A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification. | Assaf Marron, David Harel |
| 2025 | ICLR | 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 |
| 2025 | ICML | Accelerating LLM Inference with Lossless Speculative Decoding Algorithms for Heterogeneous Vocabularies. | Nadav Timor, Jonathan Mamou, Daniel Korat, Moshe Berchansky, Gaurav Jain, Oren Pereg, Moshe Wasserblat, David Harel |
| 2025 | MODELSWARD | Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. | Assaf Marron, David Harel |
| 2024 | ICONIP | Enforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming. | Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz |
| 2024 | MODELSWARD | On Augmenting Scenario-Based Modeling with Generative AI. | David Harel, Guy Katz, Assaf Marron, Smadar Szekely |
| 2023 | MODELSWARD | Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines. | Yuval Bayer, David Harel, Assaf Marron, Smadar Szekely |
| 2023 | MODELSWARD | 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 |
| 2023 | MODELSWARD | 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 |
| 2023 | TACAS | Verifying Learning-Based Robotic Navigation Systems. | Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz |
| 2022 | MODELSWARD | Scenario-assisted Deep Reinforcement Learning. | Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron |
| 2021 | ISoLA | 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 |
| 2020 | ICSE | Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions. | Assaf Marron, Lior Limonad, Sarah Pollack, David Harel |
| 2019 | AAAI | 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 |
| 2019 | MODELSWARD | Executing Scenario-Based Specification with Dynamic Generation of Rich Events. | David Harel, Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss |
| 2019 | MODELSWARD | Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways. | Hadas Lapid, Assaf Marron, Smadar Szekely, David Harel |
| 2018 | MODELS | Embedding Scenario-based Modeling in Statecharts. | Assaf Marron, Yotam Hacohen, David Harel, Andreas Mlder, Axel Terfloth |
| 2018 | MODELSWARD | Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. | Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron |
| 2018 | MODELSWARD | Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. | Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron |
| 2018 | MODELSWARD | Languages for Programming - From Punched Cards to Wise Computing. | David Harel |
| 2017 | ICSE | Crowd-Based Programming for Reactive Systems. | David Harel, Idan Heimlich, Rami Marelly, Assaf Marron |
| 2017 | MODELSWARD | Distributing Scenario-based Models: A Replicate-and-Project Approach. | Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron |
| 2017 | MODELSWARD | Efficient Distributed Execution of Multi-component Scenario-Based Models. | Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron |
| 2016 | ICSE | Scenario-based programming for mobile applications. | Anat Berkman-Chardon, David Harel, Yaarit Goel, Rami Marelly, Smadar Szekely, Guy Weiss |
| 2016 | MODELS | 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 |
| 2016 | MODELSWARD | An Initial Wise Development Environment for Behavioral Models. | David Harel, Guy Katz, Rami Marelly, Assaf Marron |
| 2015 | CONCUR | On the Succinctness of Idioms for Concurrent Programming. | David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss |
| 2015 | FMCAD | Theory-Aided Model Checking of Concurrent Transition Systems. | Guy Katz, Clark W. Barrett, David Harel |
| 2015 | MODELSWARD | The Effect of Concurrent Programming Idioms on Verification - A Position Paper. | David Harel, Guy Katz, Assaf Marron, Gera Weiss |
| 2014 | EMNLP | Semantic Parsing Using Content and Context: A Case Study from Requirements Elicitation. | Reut Tsarfaty, Ilia Pogrebezky, Guy Weiss, Yaarit Natan, Smadar Szekely, David Harel |
| 2014 | ICSE | Scenario-based programming: reducing the cognitive load, fostering abstract thinking. | Giora Alexandron, Michal Armoni, Michal Gordon, David Harel |
| 2013 | EMSOFT | On composing and proving the correctness of reactive behavior. | David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss |
| 2013 | LPAR | Relaxing Synchronization Constraints in Behavioral Programs. | David Harel, Amir Kantor, Guy Katz |
| 2012 | ICALP | Standing on the Shoulders of a Giant - One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture). | David Harel |
| 2012 | ICECCS | Non-intrusive Repair of Reactive Programs. | David Harel, Guy Katz, Assaf Marron, Gera Weiss |
| 2012 | ICSE | Evaluating live sequence charts as a programming technique for non-programmers. | Michal Gordon, David Harel |
| 2012 | ITiCSE | Standing on the shoulders of a giant: one person's experience of turing's impact. | David Harel |
| 2011 | BPM | Some Thoughts on Behavioral Programming. | David Harel |
| 2011 | EMSOFT | Model-checking behavioral programs. | David Harel, Robby Lampert, Assaf Marron, Gera Weiss |
| 2011 | FM | Some Thoughts on Behavioral Programming. | David Harel |
| 2011 | ICTAI | Adaptive Behavioral Programming. | Nir Eitan, David Harel |
| 2011 | OOPSLA | Behavioral programming, decentralized control, and multiple time scales. | David Harel, Assaf Marron, Guy Wiener, Gera Weiss |
| 2010 | ECOOP | Programming Coordinated Behavior in Java. | David Harel, Assaf Marron, Gera Weiss |
| 2010 | LICS | Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's. | David Harel |
| 2010 | SOFSEM | Accelerating Smart Play-Out. | David Harel, Hillel Kugler, Shahar Maoz, Itai Segall |
| 2009 | CICLING | Generating Executable Scenarios from Natural Language. | Michal Gordon, David Harel |
| 2009 | MEMOCODE | Can we computerize an elephant? | David Harel |
| 2008 | FASE | Object Composition in Scenario-Based Programming. | Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz |
| 2007 | FASE | S2A: A Compiler for Multi-modal UML Sequence Diagrams. | David Harel, Asaf Kleinbort, Shahar Maoz |
| 2007 | TACAS | Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs | David Harel, Itai Segall |
| 2006 | CAV | Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs. | David Harel |
| 2006 | WSC | Comprehensive and realistic modeling of biological systems. | David Harel |
| 2006 | WSC | 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, Lena Strmbck, John J. Tyson |
| 2005 | ATVA | Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool. | Pierre Combes, David Harel, Hillel Kugler |
| 2005 | TACAS | Temporal Logic for Scenario-Based Specifications. | Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps |
| 2004 | VMCAI | A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal. | David Harel |
| 2003 | GD | Axis-by-Axis Stress Minimization. | Yehuda Koren, David Harel |
| 2003 | KDD | A two-way visualization method for clustered data. | Yehuda Koren, David Harel |
| 2003 | OOPSLA | Smart play-out. | David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli |
| 2002 | AVI | Drawing graphs with non-uniform vertices. | David Harel, Yehuda Koren |
| 2002 | AVI | Modeling biological reactivity: statecharts vs. Boolean logic. | Na'aman Kam, Irun R. Cohen, David Harel |
| 2002 | EMSOFT | Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). | David Harel |
| 2002 | FMCAD | Smart Play-out of Behavioral Requirements. | David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli |
| 2002 | GD | Drawing Directed Graphs Using One-Dimensional Optimization. | Liran Carmel, David Harel, Yehuda Koren |
| 2002 | GD | Graph Drawing by High-Dimensional Embedding. | David Harel, Yehuda Koren |
| 2002 | IFM | Rhapsody: A Complete Life-Cycle Model-Based Development System. | Eran Gery, David Harel, Eldad Palachi |
| 2002 | MASCOTS | Playing with Time: On the Specification and Execution of Time-Enriched LSCs. | David Harel, Rami Marelly |
| 2002 | OOPSLA | Multiple instances and symbolic variables in executable sequence charts. | Rami Marelly, David Harel, Hillel Kugler |
| 2002 | OOPSLA | Specifying and executing requirements: the play-in/play-out approach. | Rami Marelly, David Harel, Hillel Kugler |
| 2002 | WG | A Multi-scale Algorithm for the Linear Arrangement Problem. | Yehuda Koren, David Harel |
| 2001 | KDD | Clustering spatial data using random walks. | David Harel, Yehuda Koren |
| 2000 | AVI | A Fast Multi-Scale Method for Drawing Large Graphs. | David Harel, Yehuda Koren |
| 2000 | AVI | An Algorithm for Blob Hierarchy Layout. | David Harel, Gregory Yashchin |
| 2000 | FASE | From Play-In Scenarios to Code: An Achievable Dream. | David Harel |
| 2000 | GD | A Fast Multi-scale Method for Drawing Large Graphs. | David Harel, Yehuda Koren |
| 1999 | WG | A Multi-Scale Algorithm for Drawing Graphs Nicely. | Ronny Hadany, David Harel |
| 1998 | MCU | Towards a Theory of Recursive Structures. | David Harel |
| 1998 | MFCS | Towards a Theory of Recursive Structures. | David Harel |
| 1998 | MPC | On the Aesthetics of Diagrams (Summary of Talk). | David Harel |
| 1997 | CAV | Some Thoughts on Statecharts, 13 Years Later. | David Harel |
| 1997 | CONCUR | On the Complexity of Verifying Concurrent Transition Systems. | David Harel, Orna Kupferman, Moshe Y. Vardi |
| 1997 | ICALP | Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version). | David Harel, Eli Singerman |
| 1997 | LFCS | Towards a Theory of Recursive Structures (extended abstract). | David Harel |
| 1997 | RE | Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. | David Harel |
| 1996 | ICSE | Executable Object Modeling with Statecharts. | David Harel, Eran Gery |
| 1996 | LICS | More About Recursive Structures: Descriptive Complexity and Zero-One Laws. | Tirza Hirst, David Harel |
| 1996 | SOFSEM | Statecharts: Past, Present and Future (abstract). | David Harel |
| 1995 | CONCUR | Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. | David Harel |
| 1994 | AVI | Randomized Graph Drawing with Heavy-Duty Preprocessing. | David Harel, Meir Sardas |
| 1994 | ICALP | Complexity Results for Multi-Pebble Automata and their Logics. | Noa Globerman, David Harel |
| 1994 | PODS | Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary). | David Harel |
| 1994 | STACS | Towards a Theory of Recursive Structures. | David Harel |
| 1993 | PODS | Completeness Results for Recursive Data Bases. | Tirza Hirst, David Harel |
| 1991 | STOC | Hamiltonian Paths in Infinite Graphs | David Harel |
| 1990 | FOCS | Deciding Properties of Nonregular Programs (Preliminary Version) | David Harel, Danny Raz |
| 1990 | ICLP | How Hard Is It to Reason about Propositional Programs? | David Harel |
| 1990 | LICS | On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) | David Harel, Roni Rosner, Moshe Y. Vardi |
| 1989 | MFCS | A Thesis for Bounded Concurrency. | David Harel |
| 1988 | CONCUR | On the Power of Cooperative Concurrency. | Doron Drusinsky, David Harel |
| 1988 | ICSE | 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 |
| 1987 | LICS | On the Formal Semantics of Statecharts (Extended Abstract) | David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman |
| 1984 | STOC | A General Result on Infinite Trees and Its Applications (Preliminary Report) | David Harel |
| 1983 | FCT | Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report). | David Harel |
| 1983 | FCT | Propositional Dynamic Logic of Flowcharts. | David Harel, Rivi Sherman |
| 1982 | ICALP | A Programming Language for the Inductive Sets, and Applications. | David Harel, Dexter Kozen |
| 1982 | PODS | Horn Clauses and the Fixpoint Query Hierarchy. | Ashok K. Chandra, David Harel |
| 1982 | POPL | Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. | Rivi Sherman, Amir Pnueli, David Harel |
| 1982 | STOC | A Probabilistic Dynamic Logic | Yishai A. Feldman, David Harel |
| 1981 | FOCS | Propositional Dynamic Logic of Context-Free Programs | David Harel, Amir Pnueli, Jonathan Stavi |
| 1980 | FOCS | Structure and Complexity of Relational Queries | Ashok K. Chandra, David Harel |
| 1980 | FOCS | Process Logic: Expressiveness, Decidability, Completeness | David Harel, Dexter Kozen, Rohit Parikh |
| 1980 | MFCS | on And/Or Schemes. | David Harel |
| 1980 | XP | Structure and Complexity of Relational Queries. | Ashok K. Chandra, David Harel |
| 1979 | POPL | Recursion in Logics of Programs. | David Harel |
| 1979 | STOC | Computable Queries for Relational Data Bases (Preliminary Report) | Ashok K. Chandra, David Harel |
| 1978 | ICALP | Arithmetical Completeness in Logics of Programs. | David Harel |
| 1978 | POPL | Nondeterminism in Logics of Programs. | David Harel, Vaughan R. Pratt |
| 1977 | STOC | Computability and Completeness in Logics of Programs (Preliminary Report) | David Harel, Albert R. Meyer, Vaughan R. Pratt |
| 1977 | STOC | A Complete Axiomatic System for Proving Deductions about Recursive Programs | David Harel, Amir Pnueli, Jonathan Stavi |