David Harel
Orcid: 0000-0001-7240-3931Affiliations:
- Weizmann Institute of Science, Israel
According to our database1,
David Harel
authored at least 277 papers
between 1977 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 1994, "A brilliant expositor, he has exposed laymen to deep computer science concepts through his widely acclaimed book Algorithmics, the Spirit of Computing (1987) and through numerous lectures to a variety of audiences. His work on Israeli national councils and ministerial committees is profoundly influencing curricula at both the high-school and university level.".
IEEE Fellow
IEEE Fellow 1995, "For contributions to theoretical computer science.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Commun. ACM, June, 2024
Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems.
CoRR, 2024
CoRR, 2024
Categorizing methods for integrating machine learning with executable specifications.
Sci. China Inf. Sci., 2024
On Augmenting Scenario-Based Modeling with Generative AI.
Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024
2023
SN Comput. Sci., March, 2023
Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models.
CoRR, 2023
CoRR, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023
Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023
2022
CoRR, 2022
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022
2021
Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems.
IEEE Des. Test, 2021
Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns.
Computer, 2021
Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021
2020
Proc. Natl. Acad. Sci. USA, 2020
Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020
2019
Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems.
CoRR, 2019
Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019
Proceedings of the Model-Driven Engineering and Software Development, 2019
Proceedings of the Mathematics and Computation in Music - 7th International Conference, 2019
Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea).
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
Computer, 2018
Languages for Programming - From Punched Cards to Wise Computing.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of the Model-Driven Engineering and Software Development, 2018
Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018
2017
Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 2.
Comput. Sci. Eng., 2017
Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 1.
Comput. Sci. Eng., 2017
Proceedings of the Software Technologies: Applications and Foundations, 2017
Proceedings of the Model-Driven Engineering and Software Development, 2017
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
Proceedings of the 4th IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2017
2016
Int. J. Inf. Syst. Model. Des., 2016
The tumor as an organ: comprehensive spatial and temporal modeling of the tumor and its microenvironment.
BMC Bioinform., 2016
Proceedings of the MODELSWARD 2016, 2016
Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing.
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016
Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016
2015
Sci. Comput. Program., 2015
Proceedings of the MODELSWARD 2015, 2015
Proceedings of the Formal Methods in Computer-Aided Design, 2015
Proceedings of the 26th International Conference on Concurrency Theory, 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
2014
Trans. Comput. Collect. Intell., 2014
ACM Trans. Comput. Educ., 2014
Scenario-based programming: reducing the cognitive load, fostering abstract thinking.
Proceedings of the 36th International Conference on Software Engineering, 2014
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
Semantic Parsing Using Content and Context: A Case Study from Requirements Elicitation.
Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing, 2014
Proceedings of the Behavior Modeling, 2014
Proceedings of the Language, Culture, Computation. Computing - Theory and Technology, 2014
Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures.
Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014
2013
Proceedings of the 8th Workshop in Primary and Secondary Computing Education, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the International Conference on Embedded Software, 2013
2012
Theor. Comput. Sci., 2012
Softw. Syst. Model., 2012
Fundam. Informaticae, 2012
Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012
Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012
The effect of previous programming experience on the learning of scenario-based programming.
Proceedings of the 12th Koli Calling International Conference on Computing Education Research, 2012
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012
Proceedings of the First International Workshop on User Evaluation for Software Engineering Researchers, 2012
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012
Standing on the Shoulders of a Giant - One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture).
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012
Proceedings of the Hardware and Software: Verification and Testing, 2012
Proceedings of the FUZZ-IEEE 2012, 2012
Proceedings of the Logic and Program Semantics, 2012
2011
ACM Trans. Softw. Eng. Methodol., 2011
Proceedings of the 23rd Annual Workshop of the Psychology of Programming Interest Group, 2011
Proceedings of the SPLASH'11 Workshops, 2011
Proceedings of the 19th IEEE International Conference on Program Comprehension, 2011
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Proceedings of the FM 2011: Formal Methods, 2011
Proceedings of the 11th International Conference on Embedded Software, 2011
Proceedings of the Advances in Artificial Life: 20th Anniversary Edition, 2011
2010
Formal Aspects Comput., 2010
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Proceedings of the ASE 2010, 2010
Proceedings of the Concurrency, 2010
Proceedings of the Time for Verification, 2010
2009
Proceedings of the Hardware and Software: Verification and Testing, 2009
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2009
Proceedings of the Algorithmic Bioprocesses, 2009
2008
Theor. Comput. Sci., 2008
Softw. Syst. Model., 2008
Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool.
Softw. Syst. Model., 2008
Proc. IEEE, 2008
Proceedings of the ACM 2008 Symposium on Software Visualization, 2008
Proceedings of the 2008 Conference on Future Play: Research, Play, Share, 2008
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008
Proceedings of the Fundamental Approaches to Software Engineering, 2008
Proceedings of the Pillars of Computer Science, 2008
2007
PLoS Comput. Biol., 2007
Proceedings of the First Workshop "From Biology To Concurrency and back", 2007
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007
Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs<sup>, </sup>.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the 2007 Summer Computer Simulation Conference, 2007
Proceedings of the Fundamental Approaches to Software Engineering, 2007
2006
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming.
IEEE Trans. Software Eng., 2006
Proceedings of the Winter Simulation Conference WSC 2006, 2006
Proceedings of the Winter Simulation Conference WSC 2006, 2006
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006
Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006
Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006
Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
One-dimensional layout optimization, with applications to graph drawing by axis separation.
Comput. Geom., 2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Formal Methods in Software and Systems Modeling, 2005
2004
IEEE Trans. Vis. Comput. Graph., 2004
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004
Algorithmics - the spirit of computing (3. ed.).
Addison-Wesley, ISBN: 978-0-321-11784-7, 2004
2003
IEEE Trans. Software Eng., 2003
Softw. Syst. Model., 2003
Multiscale Model. Simul., 2003
A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal.
Bull. EATCS, 2003
Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003
Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 24, 2003
Proceedings of the Hybrid Systems: Computation and Control, 2003
Proceedings of the Graph Drawing, 11th International Symposium, 2003
Proceedings of the Perspectives of Systems Informatics, 2003
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach.
Proceedings of the Scenarios: Models, 2003
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003
Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003
Springer, ISBN: 978-3-642-19029-2, 2003
Computers Ltd - what they really can't do.
Oxford University Press, ISBN: 978-0-19-860442-6, 2003
Springer, ISBN: 978-3-540-00787-6, 2003
2002
Int. J. Found. Comput. Sci., 2002
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2002
Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002
Proceedings of the 10th International Workshop on Modeling, 2002
Proceedings of the 2002 IEEE Symposium on Information Visualization (InfoVis 2002), 27 October, 2002
Proceedings of the Integrated Formal Methods, Third International Conference, 2002
Proceedings of the Graph Drawing, 10th International Symposium, 2002
Proceedings of the Formal Methods for Components and Objects, 2002
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002
Proceedings of the Embedded Software, Second International Conference, 2002
Proceedings of the Working Conference on Advanced Visual Interfaces, 2002
Proceedings of the Working Conference on Advanced Visual Interfaces, 2002
Das Affenpuzzle - und weitere bad news aus der Computerwelt.
Springer, ISBN: 978-3-540-42307-2, 2002
2001
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001
Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining, 2001
Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001
2000
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000
1999
Ann. Pure Appl. Log., 1999
1998
Proceedings of the Mathematics of Program Construction, 1998
1997
On the Aesthetics of Diagrams.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997
Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997
Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version).
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
1996
Theor. Comput. Sci., 1996
J. Comput. Syst. Sci., 1996
Inf. Comput., 1996
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996
Proceedings of the Proceedings, 1996
Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996
Proceedings of the Concurrency and Parallelism, 1996
1995
Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering.
SIGACT News, 1995
Proceedings of the Third Israel Symposium on Theory of Computing and Systems, 1995
Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering.
Proceedings of the CONCUR '95: Concurrency Theory, 1995
Proceedings of the Computer Science Today: Recent Trends and Developments, 1995
1994
Inf. Comput., September, 1994
Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary).
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994
Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994
1993
Proceedings of the Software Engineering, 1993
1992
Computer, 1992
1991
Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, 1991
1990
IEEE Trans. Software Eng., 1990
On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990
How Hard Is It to Reason about Propositional Programs?
Proceedings of the Logic Programming, 1990
Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990
Proceedings of the CAAP '90, 1990
1989
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989
The science of computing - exploring the nature and power of algorithms.
Addison-Wesley, ISBN: 978-0-201-51723-1, 1989
1988
Proceedings of the Proceedings, 1988
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988
1987
On the Formal Semantics of Statecharts (Extended Abstract)
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987
Algorithmics - the spirit of computing (2. ed.).
Addison-Wesley, ISBN: 978-0-201-19240-7, 1987
1986
Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness.
J. ACM, 1986
DNAMAT: an efficient graphic matrix sequence homology algorithm and its application to structural analysis.
Comput. Appl. Biosci., 1986
1985
1984
Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL.
SIAM J. Comput., 1984
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984
Proceedings of the Logics and Models of Concurrent Systems, 1984
1983
Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report).
Proceedings of the Fundamentals of Computation Theory, 1983
1982
J. Comput. Syst. Sci., 1982
Proceedings of the ACM Symposium on Principles of Database Systems, 1982
1981
Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981
Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981
1980
ACM Trans. Program. Lang. Syst., 1980
Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic.
Theor. Comput. Sci., 1980
ACM SIGPLAN Notices, 1980
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980
1979
Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30, 1979
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979
Lecture Notes in Computer Science 68, Springer, ISBN: 3-540-09237-4, 1979
1978
Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978
1977
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977