David Harel

ORCID

Publication Activity (10 Years)

Years Active: 1977-2024
Publications (10 Years): 50

Top Venues

CoRR

MODELSWARD

MODELSWARD (Revised Selected Papers)

Computer

Publications

David Harel, Raz Yerushalmi, Assaf Marron, Achiya Elyasaf
Categorizing methods for integrating machine learning with executable specifications. Sci. China Inf. Sci. 67 (1) (2024)
Nadav Timor, Jonathan Mamou, Daniel Korat, Moshe Berchansky, Oren Pereg, Moshe Wasserblat, Tomer Galanti, Michal Gordon, David Harel
Distributed Speculative Inference of Large Language Models. CoRR (2024)
David Harel, Guy Katz, Assaf Marron, Smadar Szekely
On Augmenting Scenario-Based Modeling with Generative AI. MODELSWARD (2024)
David Harel, Guy Katz, Assaf Marron, Smadar Szekely
On Augmenting Scenario-Based Modeling with Generative AI. CoRR (2024)
David Harel, Assaf Marron
The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday Matter. Commun. ACM 67 (6) (2024)
Tirza Biron, Moshe Barboy, Eran Ben-Artzy, Alona Golubchik, Yanir Marmor, Smadar Szekely, Yaron Winter, David Harel
Non-verbal information in spontaneous speech - towards a new framework of analysis. CoRR (2024)
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
Verifying Learning-Based Robotic Navigation Systems. TACAS (1) (2023)
David Harel, Assaf Marron
Human or Machine: Reflections on Turing-Inspired Testing for the Everyday. CoRR (2023)
Joseph Sifakis, David Harel
Trustworthy Autonomous System Development. ACM Trans. Embed. Comput. Syst. 22 (3) (2023)
David Harel, Uwe Aßmann, Fabiana Fournier, Lior Limonad, Assaf Marron, Smadar Szekely
Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models. CoRR (2023)
Yuval Bayer, David Harel, Assaf Marron, Smadar Szekely
Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines. MODELSWARD (2023)
Assaf Marron, Irun R. Cohen, Guy Frankel, David Harel, Smadar Szekely
Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems. MODELSWARD (2023)
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
Enhancing Deep Reinforcement Learning with Scenario-Based Modeling. SN Comput. Sci. 4 (2) (2023)
David Harel, Assaf Marron, Joseph Sifakis
Creating a Foundation for Next-Generation Autonomous Systems. IEEE Des. Test 39 (1) (2022)
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
Scenario-assisted Deep Reinforcement Learning. MODELSWARD (2022)
Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming. CoRR (2022)
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
Verifying Learning-Based Robotic Navigation Systems. CoRR (2022)
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
Scenario-Assisted Deep Reinforcement Learning. CoRR (2022)
David Harel, Assaf Marron
Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing. ISoLA (2021)
David Harel, Assaf Marron, Raz Yerushalmi
Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns. Computer 54 (10) (2021)
David Harel, Rami Marelly, Assaf Marron, Smadar Szekely
Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems. IEEE Des. Test 38 (5) (2021)
Assaf Marron, Lior Limonad, Sarah Pollack, David Harel
Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions. SEAMS@ICSE (2020)
David Harel, Assaf Marron, Joseph Sifakis
Autonomics: In search of a foundation for next-generation autonomous systems. Proc. Natl. Acad. Sci. USA 117 (30) (2020)
Assaf Marron, Lior Limonad, Sarah Pollack, David Harel
Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions. CoRR (2020)
David Harel, Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
Executing Scenario-Based Specification with Dynamic Generation of Rich Events. MODELSWARD (Revised Selected Papers) (2019)
David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Y. Vardi, Gera Weiss
Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). AAAI (2019)
David Harel, Rami Marelly, Assaf Marron, Smadar Szekely
Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems. CoRR (2019)
Billie Sandak, Avi Mazor, Amichay Asis, Avi Gilboa, David Harel
Computational Music Therapy. MCM (2019)
Hadas Lapid, Assaf Marron, Smadar Szekely, David Harel
Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways. MODELSWARD (2019)
David Harel, Assaf Marron, Joseph Sifakis
Autonomics: In Search of a Foundation for Next Generation Autonomous Systems. CoRR (2019)
David Harel, Assaf Marron
Toward Scenario-Based Algorithmics. Adventures Between Lower Bounds and Higher Altitudes (2018)
Assaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth
Embedding Scenario-based Modeling in Statecharts. MoDELS (Workshops) (2018)
Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron
Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. MODELSWARD (2018)
David Harel, Guy Katz, Rami Marelly, Assaf Marron
Wise Computing: Toward Endowing System Development with Proactive Wisdom. Computer 51 (2) (2018)
David Harel
Languages for Programming - From Punched Cards to Wise Computing. MODELSWARD (2018)
Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron
Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. MODELSWARD (Revised Selected Papers) (2018)
Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
Distributing Scenario-based Models: A Replicate-and-Project Approach. MODELSWARD (2017)
David Harel, Idan Heimlich, Rami Marelly, Assaf Marron
Crowd-Based Programming for Reactive Systems. CSI-SE@ICSE (2017)
Giora Alexandron, Michal Armoni, Michal Gordon, David Harel
Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 1. Comput. Sci. Eng. 19 (5) (2017)
Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss
Towards Integration of Context-Based and Scenario-Based Development. STAF Workshops (2017)
Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
Efficient Distributed Execution of Multi-component Scenario-Based Models. MODELSWARD (Revised Selected Papers) (2017)
Giora Alexandron, Michal Armoni, Michal Gordon, David Harel
Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 2. Comput. Sci. Eng. 19 (6) (2017)
David Harel
Niépce-Bell or Turing: How to Test Odor Reproduction? CoRR (2016)
Naamah Bloch, David Harel
The tumor as an organ: comprehensive spatial and temporal modeling of the tumor and its microenvironment. BMC Bioinform. 17 (2016)
Giora Alexandron, Michal Armoni, Michal Gordon, David Harel
Teaching Nondeterminism Through Programming. Informatics Educ. 15 (1) (2016)
David Harel, Guy Katz, Rami Marelly, Assaf Marron
An Initial Wise Development Environment for Behavioral Models. MODELSWARD (2016)
David Harel, Guy Katz, Rami Marelly, Assaf Marron
First Steps Towards a Wise Development Environment for Behavioral Models. Int. J. Inf. Syst. Model. Des. 7 (3) (2016)
Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel
Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing. D&P@MoDELS (2016)
Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas
EATCS Fellows' Advice to the Young Theoretical Computer Scientist. Bull. EATCS 119 (2016)
Anat Berkman-Chardon, David Harel, Yaarit Goel, Rami Marelly, Smadar Szekely, Guy Weiss
Scenario-based programming for mobile applications. MOBILESoft (2016)
Guy Katz, Clark W. Barrett, David Harel
Theory-Aided Model Checking of Concurrent Transition Systems. FMCAD (2015)
David Harel
On the Full Organism Challenge: Or, Can we Computerize an Elephant? AAMAS (2015)
David Harel, Guy Katz, Rami Marelly, Assaf Marron
Wise Computing: Towards Endowing System Development with True Wisdom. CoRR (2015)
David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener
Towards behavioral programming in distributed architectures. Sci. Comput. Program. 98 (2015)
David Harel, Guy Katz, Assaf Marron, Gera Weiss
The Effect of Concurrent Programming Idioms on Verification - A Position Paper. MODELSWARD (2015)
David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss
On the Succinctness of Idioms for Concurrent Programming. CONCUR (2015)
Michal Gordon, David Harel
Steps towards Scenario-Based Programming with a Natural Language Interface. FPS@ETAPS (2014)
David Harel, Amir Kantor
Modal Scenarios as Automata. Language, Culture, Computation (1) (2014)
David Harel, Guy Katz
Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures. AGERE!@SPLASH (2014)
David Harel, Shani Nitzan
Programming Animation Using Behavioral Programming. BM-FA (Revised Selected Papers) (2014)
Reut Tsarfaty, Ilia Pogrebezky, Guy Weiss, Yaarit Natan, Smadar Szekely, David Harel
Semantic Parsing Using Content and Context: A Case Study from Requirements Elicitation. EMNLP (2014)
Giora Alexandron, Michal Armoni, Michal Gordon, David Harel
Scenario-based programming: reducing the cognitive load, fostering abstract thinking. ICSE Companion (2014)
David Harel, Guy Katz, Assaf Marron, Gera Weiss
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. Trans. Comput. Collect. Intell. 16 (2014)
Giora Alexandron, Michal Armoni, Michal Gordon, David Harel
Scenario-Based Programming, Usability-Oriented Perception. ACM Trans. Comput. Educ. 14 (3) (2014)
Giora Alexandron, Michal Armoni, Michal Gordon, David Harel
On teaching programming with nondeterminism. WiPSCE (2013)
David Harel, Amir Kantor, Guy Katz
Relaxing Synchronization Constraints in Behavioral Programs. LPAR (2013)
David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss
On composing and proving the correctness of reactive behavior. EMSOFT (2013)
Yaki Setty, Irun R. Cohen, David Harel
Executable Modeling of Morphogenesis: A Turing-Inspired Approach. Fundam. Informaticae 118 (4) (2012)
David Harel, Assaf Marron, Amir Nissim, Gera Weiss
A software engineering framework for switched fuzzy systems. FUZZ-IEEE (2012)
David Harel, Guy Katz, Assaf Marron, Gera Weiss
Non-intrusive Repair of Reactive Programs. ICECCS (2012)
Michal Gordon, David Harel
Evaluating live sequence charts as a programming technique for non-programmers. USER@ICSE (2012)
David Harel
On Behavioral Programming. Haifa Verification Conference (2012)
Giora Alexandron, Michal Armoni, Michal Gordon, David Harel
The effect of previous programming experience on the learning of scenario-based programming. Koli Calling (2012)
David Harel
Standing on the shoulders of a giant: one person's experience of turing's impact. ITiCSE (2012)
David Harel, Amir Kantor
Multi-modal scenarios revisited: A net-based representation. Theor. Comput. Sci. 429 (2012)
David Harel
Some thoughts on executable visual languages and their Interfaces. VL/HCC (2012)
David Harel
Standing on the Shoulders of a Giant - One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture). ICALP (2) (2012)
David Harel, Assaf Marron, Gera Weiss
Behavioral programming. Commun. ACM 55 (7) (2012)
David Harel, Itai Segall
Synthesis from scenario-based specifications. J. Comput. Syst. Sci. 78 (3) (2012)
David Harel, Assaf Marron
The quest for runware: on compositional, executable and intuitive models. Softw. Syst. Model. 11 (4) (2012)
Ahmed Bouajjani, David Harel, Lenore D. Zuck
Editorʼs foreword. J. Comput. Syst. Sci. 78 (3) (2012)
Michal Gordon, David Harel
Evaluating a natural language interface for behavioral programming. VL/HCC (2012)
David Harel
Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance. Logic and Program Semantics (2012)
David Harel
Some Thoughts on Behavioral Programming. FM (2011)
Jasmin Fisher, David Harel, Thomas A. Henzinger
Biology as reactivity. Commun. ACM 54 (10) (2011)
Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss
On Visualization and Comprehension of Scenario-Based Programs. ICPC (2011)
David Harel
Can we Computerize an Elephant? ECAL (2011)
Shahar Maoz, David Harel, Asaf Kleinbort
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. ACM Trans. Softw. Eng. Methodol. 20 (4) (2011)
David Harel, Assaf Marron, Guy Wiener, Gera Weiss
Behavioral programming, decentralized control, and multiple time scales. SPLASH Workshops (2011)
Giora Alexandron, Michal Armoni, David Harel
Programming with the user in mind. PPIG (2011)
Shahar Maoz, David Harel
On tracing reactive systems. Softw. Syst. Model. 10 (4) (2011)
David Harel, Robby Lampert, Assaf Marron, Gera Weiss
Model-checking behavioral programs. EMSOFT (2011)
David Harel
Some Thoughts on Behavioral Programming. BPM (2011)
Nir Eitan, David Harel
Adaptive Behavioral Programming. ICTAI (2011)
Rafi Haddad, Abebe Medhanie, Yehudah Roth, David Harel, Noam Sobel
Predicting Odor Pleasantness with an Electronic Nose. PLoS Comput. Biol. 6 (4) (2010)
David Harel, Hillel Kugler
Some Thoughts on the Semantics of Biocharts. Essays in Memory of Amir Pnueli (2010)
David Harel, Amir Kantor, Shahar Maoz
On the Power of Play-Out for Scenario-Based Programs. Concurrency, Compositionality, and Correctness (2010)
David Harel
Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's. LICS (2010)
David Harel
's. Formal Aspects Comput. 22 (6) (2010)
David Harel
Some Thoughts on Behavioral Programming. Petri Nets (2010)

David Harel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Harel