default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Harel
Person information
- affiliation: Weizmann Institute of Science, Israel
- award (2007): ACM Software System Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j111]David Harel, Assaf Marron:
The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday Matter. Commun. ACM 67(6): 62-69 (2024)- [j110]David Harel
, Raz Yerushalmi, Assaf Marron, Achiya Elyasaf:
Categorizing methods for integrating machine learning with executable specifications. Sci. China Inf. Sci. 67(1) (2024) - [c179]David Harel, Guy Katz, Assaf Marron, Smadar Szekely:
On Augmenting Scenario-Based Modeling with Generative AI. MODELSWARD 2024: 235-246 - [i15]David Harel, Guy Katz, Assaf Marron, Smadar Szekely:
On Augmenting Scenario-Based Modeling with Generative AI. CoRR abs/2401.02245 (2024) - [i14]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 abs/2403.03522 (2024) - [i13]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 abs/2405.14105 (2024) - 2023
- [j109]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): 156 (2023) - [j108]Joseph Sifakis, David Harel:
Trustworthy Autonomous System Development. ACM Trans. Embed. Comput. Syst. 22(3): 40:1-40:24 (2023) - [c178]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: 202-209 - [c177]Yuval Bayer, David Harel, Assaf Marron, Smadar Szekely:
Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines. MODELSWARD 2023: 275-282 - [c176]Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz:
Verifying Learning-Based Robotic Navigation Systems. TACAS (1) 2023: 607-627 - [i12]David Harel, Assaf Marron:
Human or Machine: Reflections on Turing-Inspired Testing for the Everyday. CoRR abs/2305.04312 (2023) - [i11]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 abs/2312.16507 (2023) - 2022
- [j107]David Harel, Assaf Marron, Joseph Sifakis:
Creating a Foundation for Next-Generation Autonomous Systems. IEEE Des. Test 39(1): 49-56 (2022) - [c175]Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron:
Scenario-assisted Deep Reinforcement Learning. MODELSWARD 2022: 310-319 - [i10]Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron:
Scenario-Assisted Deep Reinforcement Learning. CoRR abs/2202.04337 (2022) - [i9]Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz:
Verifying Learning-Based Robotic Navigation Systems. CoRR abs/2205.13536 (2022) - [i8]Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz:
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming. CoRR abs/2206.09603 (2022) - 2021
- [j106]David Harel, Assaf Marron, Raz Yerushalmi:
Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns. Computer 54(10): 95-101 (2021) - [j105]David Harel, Rami Marelly, Assaf Marron, Smadar Szekely:
Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems. IEEE Des. Test 38(5): 35-47 (2021) - [c174]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: 322-334 - 2020
- [j104]David Harel, Assaf Marron, Joseph Sifakis:
Autonomics: In search of a foundation for next-generation autonomous systems. Proc. Natl. Acad. Sci. USA 117(30): 17491-17498 (2020) - [c173]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: 167-173 - [i7]Assaf Marron, Lior Limonad, Sarah Pollack, David Harel:
Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions. CoRR abs/2001.06047 (2020)
2010 – 2019
- 2019
- [c172]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: 9770-9774 - [c171]Billie Sandak, Avi Mazor, Amichay Asis, Avi Gilboa, David Harel:
Computational Music Therapy. MCM 2019: 359-368 - [c170]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: 246-274 - [c169]Hadas Lapid, Assaf Marron, Smadar Szekely, David Harel:
Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways. MODELSWARD 2019: 454-464 - [i6]David Harel, Assaf Marron, Joseph Sifakis:
Autonomics: In Search of a Foundation for Next Generation Autonomous Systems. CoRR abs/1911.07133 (2019) - [i5]David Harel, Rami Marelly, Assaf Marron, Smadar Szekely:
Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems. CoRR abs/1911.10691 (2019) - 2018
- [j103]David Harel, Guy Katz, Rami Marelly, Assaf Marron:
Wise Computing: Toward Endowing System Development with Proactive Wisdom. Computer 51(2): 14-26 (2018) - [c168]David Harel, Assaf Marron:
Toward Scenario-Based Algorithmics. Adventures Between Lower Bounds and Higher Altitudes 2018: 549-567 - [c167]Assaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth:
Embedding Scenario-based Modeling in Statecharts. MoDELS (Workshops) 2018: 443-452 - [c166]David Harel:
Languages for Programming - From Punched Cards to Wise Computing. MODELSWARD 2018: 9 - [c165]Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron:
Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. MODELSWARD (Revised Selected Papers) 2018: 335-354 - [c164]Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron:
Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. MODELSWARD 2018: 560-566 - [r2]David Harel, Shahar Maoz:
Visual Formalisms. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [j102]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): 58-67 (2017) - [j101]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): 64-71 (2017) - [c163]David Harel, Idan Heimlich, Rami Marelly, Assaf Marron:
Crowd-Based Programming for Reactive Systems. CSI-SE@ICSE 2017: 9-13 - [c162]Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron:
Distributing Scenario-based Models: A Replicate-and-Project Approach. MODELSWARD 2017: 182-195 - [c161]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: 449-483 - [c160]Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss:
Towards Integration of Context-Based and Scenario-Based Development. STAF Workshops 2017: 225-231 - 2016
- [j100]Naamah Bloch, David Harel:
The tumor as an organ: comprehensive spatial and temporal modeling of the tumor and its microenvironment. BMC Bioinform. 17: 317 (2016) - [j99]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) - [j98]Giora Alexandron, Michal Armoni, Michal Gordon, David Harel:
Teaching Nondeterminism Through Programming. Informatics Educ. 15(1): 1-23 (2016) - [j97]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): 1-22 (2016) - [c159]Anat Berkman-Chardon, David Harel, Yaarit Goel, Rami Marelly, Smadar Szekely, Guy Weiss:
Scenario-based programming for mobile applications. MOBILESoft 2016: 161-172 - [c158]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: 94-100 - [c157]David Harel, Guy Katz, Rami Marelly, Assaf Marron:
An Initial Wise Development Environment for Behavioral Models. MODELSWARD 2016: 600-612 - [i4]David Harel:
Niépce-Bell or Turing: How to Test Odor Reproduction? CoRR abs/1603.08666 (2016) - 2015
- [j96]David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener:
Towards behavioral programming in distributed architectures. Sci. Comput. Program. 98: 233-267 (2015) - [c156]David Harel:
On the Full Organism Challenge: Or, Can we Computerize an Elephant? AAMAS 2015: 1 - [c155]David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss:
On the Succinctness of Idioms for Concurrent Programming. CONCUR 2015: 85-99 - [c154]Guy Katz, Clark W. Barrett, David Harel:
Theory-Aided Model Checking of Concurrent Transition Systems. FMCAD 2015: 81-88 - [c153]David Harel, Guy Katz, Assaf Marron, Gera Weiss:
The Effect of Concurrent Programming Idioms on Verification - A Position Paper. MODELSWARD 2015: 363-369 - [i3]David Harel, Guy Katz, Rami Marelly, Assaf Marron:
Wise Computing: Towards Endowing System Development with True Wisdom. CoRR abs/1501.05924 (2015) - 2014
- [j95]Giora Alexandron, Michal Armoni, Michal Gordon, David Harel:
Scenario-Based Programming, Usability-Oriented Perception. ACM Trans. Comput. Educ. 14(3): 21:1-21:23 (2014) - [j94]David Harel, Guy Katz, Assaf Marron, Gera Weiss:
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. Trans. Comput. Collect. Intell. 16: 1-33 (2014) - [c152]David Harel, Guy Katz:
Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures. AGERE!@SPLASH 2014: 95-108 - [c151]David Harel, Amir Kantor:
Modal Scenarios as Automata. Language, Culture, Computation (1) 2014: 156-167 - [c150]David Harel, Shani Nitzan:
Programming Animation Using Behavioral Programming. BM-FA (Revised Selected Papers) 2014: 113-132 - [c149]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: 1296-1307 - [c148]Michal Gordon, David Harel:
Steps towards Scenario-Based Programming with a Natural Language Interface. FPS@ETAPS 2014: 129-144 - [c147]Giora Alexandron, Michal Armoni, Michal Gordon, David Harel:
Scenario-based programming: reducing the cognitive load, fostering abstract thinking. ICSE Companion 2014: 311-320 - 2013
- [c146]David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss:
On composing and proving the correctness of reactive behavior. EMSOFT 2013: 13:1-13:10 - [c145]David Harel, Amir Kantor, Guy Katz:
Relaxing Synchronization Constraints in Behavioral Programs. LPAR 2013: 355-372 - [c144]Giora Alexandron, Michal Armoni, Michal Gordon, David Harel:
On teaching programming with nondeterminism. WiPSCE 2013: 71-74 - 2012
- [j93]David Harel, Assaf Marron, Gera Weiss:
Behavioral programming. Commun. ACM 55(7): 90-100 (2012) - [j92]Yaki Setty, Irun R. Cohen, David Harel:
Executable Modeling of Morphogenesis: A Turing-Inspired Approach. Fundam. Informaticae 118(4): 403-417 (2012) - [j91]Ahmed Bouajjani, David Harel, Lenore D. Zuck:
Editorʼs foreword. J. Comput. Syst. Sci. 78(3): 822 (2012) - [j90]David Harel, Itai Segall:
Synthesis from scenario-based specifications. J. Comput. Syst. Sci. 78(3): 970-980 (2012) - [j89]David Harel, Assaf Marron:
The quest for runware: on compositional, executable and intuitive models. Softw. Syst. Model. 11(4): 599-608 (2012) - [j88]David Harel, Amir Kantor:
Multi-modal scenarios revisited: A net-based representation. Theor. Comput. Sci. 429: 118-127 (2012) - [c143]David Harel:
Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance. Logic and Program Semantics 2012: 326-327 - [c142]David Harel, Assaf Marron, Amir Nissim, Gera Weiss:
A software engineering framework for switched fuzzy systems. FUZZ-IEEE 2012: 1-9 - [c141]David Harel:
On Behavioral Programming. Haifa Verification Conference 2012: 1 - [c140]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: 16-22 - [c139]David Harel, Guy Katz, Assaf Marron, Gera Weiss:
Non-intrusive Repair of Reactive Programs. ICECCS 2012: 3-12 - [c138]Michal Gordon, David Harel:
Evaluating live sequence charts as a programming technique for non-programmers. USER@ICSE 2012: 17-20 - [c137]David Harel:
Standing on the shoulders of a giant: one person's experience of turing's impact. ITiCSE 2012: 3 - [c136]Giora Alexandron, Michal Armoni, Michal Gordon, David Harel:
The effect of previous programming experience on the learning of scenario-based programming. Koli Calling 2012: 151-159 - [c135]David Harel:
Some thoughts on executable visual languages and their Interfaces. VL/HCC 2012: 4 - [c134]Michal Gordon, David Harel:
Evaluating a natural language interface for behavioral programming. VL/HCC 2012: 167-170 - 2011
- [j87]Jasmin Fisher, David Harel, Thomas A. Henzinger:
Biology as reactivity. Commun. ACM 54(10): 72-82 (2011) - [j86]Shahar Maoz, David Harel:
On tracing reactive systems. Softw. Syst. Model. 10(4): 447-468 (2011) - [j85]Shahar Maoz, David Harel, Asaf Kleinbort:
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. ACM Trans. Softw. Eng. Methodol. 20(4): 18:1-18:41 (2011) - [c133]David Harel:
Some Thoughts on Behavioral Programming. BPM 2011: 1 - [c132]David Harel:
Can we Computerize an Elephant? ECAL 2011: 9 - [c131]David Harel, Robby Lampert, Assaf Marron, Gera Weiss:
Model-checking behavioral programs. EMSOFT 2011: 279-288 - [c130]David Harel:
Some Thoughts on Behavioral Programming. FM 2011: 2 - [c129]Nir Eitan, David Harel:
Adaptive Behavioral Programming. ICTAI 2011: 685-692 - [c128]Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss:
On Visualization and Comprehension of Scenario-Based Programs. ICPC 2011: 189-192 - [c127]David Harel, Assaf Marron, Guy Wiener, Gera Weiss:
Behavioral programming, decentralized control, and multiple time scales. SPLASH Workshops 2011: 171-182 - [c126]Giora Alexandron, Michal Armoni, David Harel:
Programming with the user in mind. PPIG 2011: 10 - 2010
- [j84]David Harel:
Amir Pnueli - A Gentle Giant: Lord of the phi's and the psi's. Formal Aspects Comput. 22(6): 663-665 (2010) - [j83]Yaki Setty, Irun R. Cohen, David Harel:
Modeling Biology using Generic Reactive Animation. Fundam. Informaticae 103(1-4): 235-246 (2010) - [j82]Rafi Haddad, Abebe Medhanie, Yehudah Roth, David Harel, Noam Sobel:
Predicting Odor Pleasantness with an Electronic Nose. PLoS Comput. Biol. 6(4) (2010) - [c125]David Harel:
Some Thoughts on Behavioral Programming. Petri Nets 2010: 18 - [c124]David Harel, Hillel Kugler:
Some Thoughts on the Semantics of Biocharts. Essays in Memory of Amir Pnueli 2010: 185-194 - [c123]David Harel, Amir Kantor, Shahar Maoz:
On the Power of Play-Out for Scenario-Based Programs. Concurrency, Compositionality, and Correctness 2010: 207-220 - [c122]David Harel, Assaf Marron, Gera Weiss:
Programming Coordinated Behavior in Java. ECOOP 2010: 250-274 - [c121]David Harel, Shahar Maoz, Smadar Szekely, Daniel Barkan:
PlayGo: towards a comprehensive tool for scenario based programming. ASE 2010: 359-360 - [c120]David Harel:
Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's. LICS 2010: 57 - [c119]David Harel, Hillel Kugler, Shahar Maoz, Itai Segall:
Accelerating Smart Play-Out. SOFSEM 2010: 477-488 - [c118]Michal Gordon, David Harel:
Semantic Navigation Strategies for Scenario-Based Programming. VL/HCC 2010: 219-226
2000 – 2009
- 2009
- [j81]David Harel:
Statecharts in the making: a personal account. Commun. ACM 52(3): 67-75 (2009) - [j80]David Harel, Michal Gordon-Kiwkowitz:
On Teaching Visual Formalisms. IEEE Softw. 26(3): 87-95 (2009) - [c117]Yaki Setty, Irun R. Cohen, Avi E. Mayo, David Harel:
On Using Divide and Conquer in Modeling Natural Systems. Algorithmic Bioprocesses 2009: 661-674 - [c116]Michal Gordon, David Harel:
Generating Executable Scenarios from Natural Language. CICLing 2009: 456-467 - [c115]David Harel:
Can We Verify an Elephant? Haifa Verification Conference 2009: 1 - [c114]David Harel:
Can we computerize an elephant? MEMOCODE 2009: 77 - [e4]Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree:
Algorithmic Bioprocesses. Natural Computing Series, Springer 2009, ISBN 978-3-540-88868-0 [contents] - [r1]David Harel, Shahar Maoz:
Visual Formalisms. Encyclopedia of Database Systems 2009: 3370-3374 - 2008
- [j79]David Harel:
Can Programming Be Liberated, Period? Computer 41(1): 28-37 (2008) - [j78]Naamah Swerdlin, Irun R. Cohen, David Harel:
The Lymph Node B Cell Immune Response: Dynamic Analysis In-Silico. Proc. IEEE 96(8): 1421-1443 (2008) - [j77]Rafi Haddad, Liran Carmel, Noam Sobel, David Harel:
Predicting the Receptive Range of Olfactory Receptors. PLoS Comput. Biol. 4(2) (2008) - [j76]Pierre Combes, David Harel, Hillel Kugler:
Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool. Softw. Syst. Model. 7(2): 157-175 (2008) - [j75]