David Harel - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'David Harel' as author, editor, or advisor:

Standing on the Shoulders of a Giant - One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture)David Harel. icalp 2012: 16-22 [doi]
Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineeringDavid Harel. sigact, 26(2):21-25, 1995. [doi]
Semantic Navigation Strategies for Scenario-Based ProgrammingMichal Gordon, David Harel. vl 2010: 219-226 [doi]
Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight LinesYuval Bayer, David Harel, Assaf Marron, Smadar Szekely. modelsward 2023: 275-282 [doi]
Efficient Distributed Execution of Multi-component Scenario-Based ModelsShlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron. modelsward 2018: 449-483 [doi]
"do considered od" considered odder than "do considered ob"David Harel. SIGPLAN, 15(4):75, 1980. [doi]
Characterizing Second Order Logic with First Order QuantifiersDavid Harel. mlq, 25(25-29):419-422, 1979. [doi]
Languages for Programming - From Punched Cards to Wise ComputingDavid Harel. modelsward 2018: 9
PlayGo: towards a comprehensive tool for scenario based programmingDavid Harel, Shahar Maoz, Smadar Szekely, Daniel Barkan. ASE 2010: 359-360 [doi]
Crowd-Based Programming for Reactive SystemsDavid Harel, Idan Heimlich, Rami Marelly, Assaf Marron. ICSE 2017: 9-13 [doi]
Emergent Dynamics of Thymocyte Development and Lineage DeterminationSol Efroni, David Harel, Irun R. Cohen. ploscb, 3(1), 2007. [doi]
Trustworthy Autonomous System DevelopmentJoseph Sifakis, David Harel. tecs, 22(3), 2023. [doi]
EATCS Fellows' Advice to the Young Theoretical Computer ScientistLuca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas. eatcs, 119, 2016. [doi]
The science of computing - exploring the nature and power of algorithmsDavid Harel. Addison-Wesley, 1989.
Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based ModelsJoel Greenyer, Daniel Gritzner, David Harel, Assaf Marron. modelsward 2018: 560-566 [doi]
Adaptive Behavioral ProgrammingNir Eitan, David Harel. ictai 2011: 685-692 [doi]
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJShahar Maoz, David Harel, Asaf Kleinbort. TOSEM, 20(4):18, 2011. [doi]
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: 9770-9774 [doi]
Multi-modal scenarios revisited: A net-based representationDavid Harel, Amir Kantor. TCS, 429:118-127, 2012. [doi]
Towards Automated Defect Analysis Using Execution Traces of Scenario-Based ModelsJoel Greenyer, Daniel Gritzner, David Harel, Assaf Marron. modelsward 2019: 335-354 [doi]
Logic and databases: a critiqueDavid Harel. sigact, 18(1):68-74, 1986. [doi]
Computers Ltd - what they really can t doDavid Harel. Oxford University Press, 2003.
On composing and proving the correctness of reactive behaviorDavid Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss. emsoft 2013: 1-10 [doi]
On Augmenting Scenario-Based Modeling with Generative AIDavid Harel, Guy Katz, Assaf Marron, Smadar Szekely. modelsward 2024: 235-246
Embedding Scenario-based Modeling in StatechartsAssaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth. MoDELS 2018: 443-452 [doi]
Can we computerize an elephant?David Harel. memocode 2009: 77 [doi]
Drawing Huge Graphs by Algebraic Multigrid OptimizationYehuda Koren, Liran Carmel, David Harel. mmas, 1(4):645-673, 2003. [doi]
Amir Pnueli: A Gentle Giant, Lord of the Phi s and the Psi sDavid Harel. lics 2010: 57 [doi]
Modeling biological reactivity: statecharts vs. Boolean logicNa'aman Kam, Irun R. Cohen, David Harel. avi 2002: 345-353 [doi]
Drawing graphs with non-uniform verticesDavid Harel, Yehuda Koren. avi 2002: 157-166 [doi]
Some Thoughts on the Semantics of BiochartsDavid Harel, Hillel Kugler. BIRTHDAY 2010: 185-194 [doi]
On the Full Organism Challenge: Or, Can we Computerize an Elephant?David Harel. atal 2015: 1 [doi]
Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 2Giora Alexandron, Michal Armoni, Michal Gordon, David Harel. cse, 19(6):64-71, 2017. [doi]
Towards Integration of Context-Based and Scenario-Based DevelopmentAchiya Elyasaf, David Harel, Assaf Marron, Gera Weiss. staf 2018: 225-231 [doi]
Scenario-Based Programming, Usability-Oriented PerceptionGiora Alexandron, Michal Armoni, Michal Gordon, David Harel. jeric, 14(3):21, 2014. [doi]
Standing on the shoulders of a giant: one person's experience of turing's impactDavid Harel. iticse 2012: 3 [doi]
Algorithmik - die Kunst des RechnensDavid Harel, Yishai A. Feldman. Springer, 2006. [doi]
Biology as reactivityJasmin Fisher, David Harel, Thomas A. Henzinger. CACM, 54(10):72-82, 2011. [doi]
Teaching Nondeterminism Through ProgrammingGiora Alexandron, Michal Armoni, Michal Gordon, David Harel. iie, 15(1):1-23, 2016. [doi]
Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and ComputingDavid Harel, Assaf Marron. ISoLA 2021: 322-334 [doi]
In-SilicoNaamah Swerdlin, Irun R. Cohen, David Harel. pieee, 96(8):1421-1443, 2008. [doi]
Das Affenpuzzle - und weitere bad news aus der ComputerweltDavid Harel. Springer, 2002.
Some thoughts on executable visual languages and their InterfacesDavid Harel. vl 2012: 4 [doi]
Programming Coordinated Behavior in JavaDavid Harel, Assaf Marron, Gera Weiss. ECOOP 2010: 250-274 [doi]
On folk theoremsDavid Harel. sigact, 12(3):68-80, 1980. [doi]
Evaluating a natural language interface for behavioral programmingMichal Gordon, David Harel. vl 2012: 167-170 [doi]
Amir Pnueli - A Gentle Giant: Lord of the ::::phi:::: s and the ::::psi:::: sDavid Harel. fac, 22(6):663-665, 2010. [doi]
Wise Computing: Toward Endowing System Development with Proactive WisdomDavid Harel, Guy Katz, Rami Marelly, Assaf Marron. Computer, 51(2):14-26, 2018. [doi]
Behavioral programmingDavid Harel, Assaf Marron, Gera Weiss. CACM, 55(7):90-100, 2012. [doi]
Scenario-based programming: reducing the cognitive load, fostering abstract thinkingGiora Alexandron, Michal Armoni, Michal Gordon, David Harel. ICSE 2014: 311-320 [doi]
Non-intrusive Repair of Reactive ProgramsDavid Harel, Guy Katz, Assaf Marron, Gera Weiss. ICECCS 2011: 3-12 [doi]
Logic and databases: a critiqueDavid Harel. SIGPLAN, 22(3):14-20, 1987. [doi]
An Initial Wise Development Environment for Behavioral ModelsDavid Harel, Guy Katz, Rami Marelly, Assaf Marron. modelsward 2016: 600-612 [doi]
A software engineering framework for switched fuzzy systemsDavid Harel, Assaf Marron, Amir Nissim, Gera Weiss. fuzzIEEE 2012: 1-9 [doi]
Verifying Learning-Based Robotic Navigation SystemsGuy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz. TACAS 2023: 607-627 [doi]
Steps towards Scenario-Based Programming with a Natural Language InterfaceMichal Gordon, David Harel. etaps 2014: 129-144 [doi]
Modeling Biology using Generic Reactive AnimationYaki Setty, Irun R. Cohen, David Harel. FUIN, 103(1-4):235-246, 2010. [doi]
Some Thoughts on Behavioral ProgrammingDavid Harel. FM 2011: 2 [doi]
Towards behavioral programming in distributed architecturesDavid Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener. SCP, 98:233-267, 2015. [doi]
Evaluating live sequence charts as a programming technique for non-programmersMichal Gordon, David Harel. ICSE 2012: 17-20 [doi]
On the Succinctness of Idioms for Concurrent ProgrammingDavid Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss. concur 2015: 85-99 [doi]
Come, let s play - scenario-based programming using LSCs and the play-engineDavid Harel. Springer, 2003. [doi]
Can we Computerize an Elephant?David Harel. ecal 2011: 9 [doi]
On the Development of Reactive SystemsDavid Harel, Amir Pnueli. nato 1985: 477-498 [doi]
Programming with the user in mindGiora Alexandron, Michal Armoni, David Harel. PPIG 2011: 10 [doi]
Autonomics: In search of a foundation for next-generation autonomous systemsDavid Harel, Assaf Marron, Joseph Sifakis. pnas, 117(30):17491-17498, 2020. [doi]
The effect of previous programming experience on the learning of scenario-based programmingGiora Alexandron, Michal Armoni, Michal Gordon, David Harel. kolicalling 2012: 151-159 [doi]
Toward Scenario-Based AlgorithmicsDavid Harel, Assaf Marron. BIRTHDAY 2018: 549-567 [doi]
Curriculum and Course Syllabi for a High-School CS ProgramJudith Gal-Ezer, David Harel. csedu, 9(2):114-147, 1999. [doi]
On teaching programming with nondeterminismGiora Alexandron, Michal Armoni, Michal Gordon, David Harel. wipsce 2013: 71-74 [doi]
Executable Modeling of Morphogenesis: A Turing-Inspired ApproachYaki Setty, Irun R. Cohen, David Harel. FUIN, 118(4):403-417, 2012. [doi]
Message Sequence ChartsDavid Harel, P. S. Thiagarajan. In Luciano Lavagno, Grant Martin, Bran Selic, editors, UML for Real - Design of Embedded Real-Time Systems. pages 77-105, Kluwer, 2003. [doi]
Algorithmics - the spirit of computing (2. ed.)David Harel. Addison-Wesley, 1987.
On Behavioral ProgrammingDavid Harel. hvc 2013: 1 [doi]
Non-intrusive Repair of Safety and Liveness Violations in Reactive ProgramsDavid Harel, Guy Katz, Assaf Marron, Gera Weiss. tcci, 16:1-33, 2014. [doi]
How Hard is it to Reason about Propositional Programs?David Harel. nato 1993: 265-284 [doi]
Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive SystemsDavid Harel, Rami Marelly, Assaf Marron, Smadar Szekely. dt, 38(5):35-47, 2021. [doi]
Predicting the Receptive Range of Olfactory ReceptorsRafi Haddad, Liran Carmel, Noam Sobel, David Harel. ploscb, 4(2), 2008. [doi]
The Effect of Concurrent Programming Idioms on Verification - A Position PaperDavid Harel, Guy Katz, Assaf Marron, Gera Weiss. modelsward 2015: 363-369 [doi]
Algorithmic BioprocessesAnne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree, editors, Natural Computing Series, Springer, 2009. [doi]
Come, Let's Play, Scenario-Based Programming Using LSCs and the Play-EngineDavid Harel, Rami Marelly. Springer, 2003. [doi]
Scenario-based programming for mobile applicationsAnat Berkman-Chardon, David Harel, Yaarit Goel, Rami Marelly, Smadar Szekely, Guy Weiss. ICSE 2016: 161-172 [doi]
Behavioral programming, decentralized control, and multiple time scalesDavid Harel, Assaf Marron, Guy Wiener, Gera Weiss. OOPSLA 2011: 171-182 [doi]
Semantic Parsing Using Content and Context: A Case Study from Requirements ElicitationReut Tsarfaty, Ilia Pogrebezky, Guy Weiss, Yaarit Natan, Smadar Szekely, David Harel. emnlp 2014: 1296-1307 [doi]
Computational Music TherapyBillie Sandak, Avi Mazor, Amichay Asis, Avi Gilboa, David Harel. mcm2 2019: 359-368 [doi]
Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate ConcernsDavid Harel, Assaf Marron, Raz Yerushalmi. Computer, 54(10):95-101, 2021. [doi]
Distributing Scenario-based Models: A Replicate-and-Project ApproachShlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron. modelsward 2017: 182-195 [doi]
Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical PathwaysHadas Lapid, Assaf Marron, Smadar Szekely, David Harel. modelsward 2019: 454-464 [doi]
Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise ComputingAssaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel. MoDELS 2016: 94-100 [doi]
Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 1Giora Alexandron, Michal Armoni, Michal Gordon, David Harel. cse, 19(5):58-67, 2017. [doi]
Accelerating Smart Play-OutDavid Harel, Hillel Kugler, Shahar Maoz, Itai Segall. sofsem 2010: 477-488 [doi]
The quest for runware: on compositional, executable and intuitive modelsDavid Harel, Assaf Marron. SoSyM, 11(4):599-608, 2012. [doi]
Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditionsAssaf Marron, Lior Limonad, Sarah Pollack, David Harel. ICSE 2020: 167-173 [doi]
Some Thoughts on Behavioral ProgrammingDavid Harel. apn 2010: 18 [doi]
Creating a Foundation for Next-Generation Autonomous SystemsDavid Harel, Assaf Marron, Joseph Sifakis. dt, 39(1):49-56, 2022. [doi]
Scenario-assisted Deep Reinforcement LearningRaz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron. modelsward 2022: 310-319 [doi]
Modal Scenarios as AutomataDavid Harel, Amir Kantor. BIRTHDAY 2014: 156-167 [doi]
Can We Verify an Elephant?David Harel. hvc 2011: 1 [doi]
Executing Scenario-Based Specification with Dynamic Generation of Rich EventsDavid Harel, Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss. modelsward 2020: 246-274 [doi]
Theory-Aided Model Checking of Concurrent Transition SystemsGuy Katz, Clark Barrett, David Harel. FMCAD 2015: 81-88
On Using Divide and Conquer in Modeling Natural SystemsYaki Setty, Irun R. Cohen, Avi E. Mayo, David Harel. BIRTHDAY 2009: 661-674 [doi]
On Visualization and Comprehension of Scenario-Based ProgramsNir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss. IWPC 2011: 189-192 [doi]
On tracing reactive systemsShahar Maoz, David Harel. SoSyM, 10(4):447-468, 2011. [doi]
On the Power of Play-Out for Scenario-Based ProgramsDavid Harel, Amir Kantor, Shahar Maoz. BIRTHDAY 2010: 207-220 [doi]
Scaling-Up Behavioral Programming: Steps from Basic Principles to Application ArchitecturesDavid Harel, Guy Katz. agere 2014: 95-108 [doi]
The tumor as an organ: comprehensive spatial and temporal modeling of the tumor and its microenvironmentNaamah Bloch, David Harel. bmcbi, 17:317, 2016. [doi]
Specifying and executing requirements: the play-in/play-out approachRami Marelly, David Harel, Hillel Kugler. OOPSLA 2002: 84-85 [doi]
Algorithmics - the spirit of computing (3. ed.)David Harel, Yishai A. Feldman. Addison-Wesley, 2004.
Predicting Odor Pleasantness with an Electronic NoseRafi Haddad, Abebe Medhanie, Yehudah Roth, David Harel, Noam Sobel. ploscb, 6(4), 2010. [doi]
Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive SystemsAssaf Marron, Irun R. Cohen, Guy Frankel, David Harel, Smadar Szekely. modelsward 2023: 202-209 [doi]
Programming Animation Using Behavioral ProgrammingDavid Harel, Shani Nitzan. bmfa 2015: 113-132 [doi]
Dexter Kozen: A Winning Combination of Brilliance, Depth, and EleganceDavid Harel. BIRTHDAY 2012: 326-327 [doi]
Relaxing Synchronization Constraints in Behavioral ProgramsDavid Harel, Amir Kantor, Guy Katz. lpar 2013: 355-372 [doi]
First Steps Towards a Wise Development Environment for Behavioral ModelsDavid Harel, Guy Katz, Rami Marelly, Assaf Marron. ijismd, 7(3):1-22, 2016. [doi]
Model-checking behavioral programsDavid Harel, Robby Lampert, Assaf Marron, Gera Weiss. emsoft 2011: 279-288 [doi]
Enhancing Deep Reinforcement Learning with Scenario-Based ModelingRaz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron. sncs, 4(2):156, March 2023. [doi]
Some Thoughts on Behavioral ProgrammingDavid Harel. BPM 2011: 1 [doi]
Dynamic logicDavid Harel, Dexter Kozen, Jerzy Tiuryn. sigact, 32(1):66-69, 2001. [doi]
Editorʼs forewordAhmed Bouajjani, David Harel, Lenore D. Zuck. jcss, 78(3):822, 2012. [doi]
Synthesis from scenario-based specificationsDavid Harel, Itai Segall. jcss, 78(3):970-980, 2012. [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

David Harel's Profile

Unidentified Publications