default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David Harel
@article{DBLP:journals/cacm/HarelM24,
author = {David Harel and
Assaf Marron},
title = {The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday
Matter},
journal = {Commun. {ACM}},
volume = {67},
number = {6},
pages = {62--69},
year = {2024},
url = {https://doi.org/10.1145/3637210},
doi = {10.1145/3637210},
timestamp = {Sun, 30 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/HarelM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/HarelYME24,
author = {David Harel and
Raz Yerushalmi and
Assaf Marron and
Achiya Elyasaf},
title = {Categorizing methods for integrating machine learning with executable
specifications},
journal = {Sci. China Inf. Sci.},
volume = {67},
number = {1},
year = {2024},
url = {https://doi.org/10.1007/s11432-022-3826-6},
doi = {10.1007/S11432-022-3826-6},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/HarelYME24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/HarelKMS24,
author = {David Harel and
Guy Katz and
Assaf Marron and
Smadar Szekely},
editor = {Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Lu{\'{\i}}s Ferreira Pires and
Edwin Seidewitz},
title = {On Augmenting Scenario-Based Modeling with Generative {AI}},
booktitle = {Proceedings of the 12th International Conference on Model-Based Software
and Systems Engineering, {MODELSWARD} 2024, Rome, Italy, February
21-23, 2024},
pages = {235--246},
publisher = {{SCITEPRESS}},
year = {2024},
timestamp = {Tue, 02 Apr 2024 14:41:36 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/HarelKMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-02245,
author = {David Harel and
Guy Katz and
Assaf Marron and
Smadar Szekely},
title = {On Augmenting Scenario-Based Modeling with Generative {AI}},
journal = {CoRR},
volume = {abs/2401.02245},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.02245},
doi = {10.48550/ARXIV.2401.02245},
eprinttype = {arXiv},
eprint = {2401.02245},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-02245.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-03522,
author = {Tirza Biron and
Moshe Barboy and
Eran Ben{-}Artzy and
Alona Golubchik and
Yanir Marmor and
Smadar Szekely and
Yaron Winter and
David Harel},
title = {Non-verbal information in spontaneous speech - towards a new framework
of analysis},
journal = {CoRR},
volume = {abs/2403.03522},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.03522},
doi = {10.48550/ARXIV.2403.03522},
eprinttype = {arXiv},
eprint = {2403.03522},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-03522.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-14105,
author = {Nadav Timor and
Jonathan Mamou and
Daniel Korat and
Moshe Berchansky and
Oren Pereg and
Moshe Wasserblat and
Tomer Galanti and
Michal Gordon and
David Harel},
title = {Distributed Speculative Inference of Large Language Models},
journal = {CoRR},
volume = {abs/2405.14105},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.14105},
doi = {10.48550/ARXIV.2405.14105},
eprinttype = {arXiv},
eprint = {2405.14105},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-14105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sncs/YerushalmiAEHKM23,
author = {Raz Yerushalmi and
Guy Amir and
Achiya Elyasaf and
David Harel and
Guy Katz and
Assaf Marron},
title = {Enhancing Deep Reinforcement Learning with Scenario-Based Modeling},
journal = {{SN} Comput. Sci.},
volume = {4},
number = {2},
pages = {156},
year = {2023},
url = {https://doi.org/10.1007/s42979-022-01575-2},
doi = {10.1007/S42979-022-01575-2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sncs/YerushalmiAEHKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SifakisH23,
author = {Joseph Sifakis and
David Harel},
title = {Trustworthy Autonomous System Development},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {22},
number = {3},
pages = {40:1--40:24},
year = {2023},
url = {https://doi.org/10.1145/3545178},
doi = {10.1145/3545178},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SifakisH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/MarronCFHS23,
author = {Assaf Marron and
Irun R. Cohen and
Guy Frankel and
David Harel and
Smadar Szekely},
editor = {Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Lu{\'{\i}}s Ferreira Pires and
Edwin Seidewitz},
title = {Challenges in Modeling and Unmodeling Emergence, Rule Composition,
and Networked Interactions in Complex Reactive Systems},
booktitle = {Proceedings of the 11th International Conference on Model-Based Software
and Systems Engineering, {MODELSWARD} 2023, Lisbon, Portugal, February
19-21, 2023},
pages = {202--209},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011728900003402},
doi = {10.5220/0011728900003402},
timestamp = {Thu, 23 Mar 2023 14:15:52 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/MarronCFHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/BayerHMS23,
author = {Yuval Bayer and
David Harel and
Assaf Marron and
Smadar Szekely},
editor = {Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Lu{\'{\i}}s Ferreira Pires and
Edwin Seidewitz},
title = {Toward Automated Modeling of Abstract Concepts and Natural Phenomena:
Autoencoding Straight Lines},
booktitle = {Proceedings of the 11th International Conference on Model-Based Software
and Systems Engineering, {MODELSWARD} 2023, Lisbon, Portugal, February
19-21, 2023},
pages = {275--282},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011886100003402},
doi = {10.5220/0011886100003402},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/BayerHMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AmirCYMHFK23,
author = {Guy Amir and
Davide Corsi and
Raz Yerushalmi and
Luca Marzari and
David Harel and
Alessandro Farinelli and
Guy Katz},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Verifying Learning-Based Robotic Navigation Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {607--627},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_31},
doi = {10.1007/978-3-031-30823-9\_31},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AmirCYMHFK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-04312,
author = {David Harel and
Assaf Marron},
title = {Human or Machine: Reflections on Turing-Inspired Testing for the Everyday},
journal = {CoRR},
volume = {abs/2305.04312},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.04312},
doi = {10.48550/ARXIV.2305.04312},
eprinttype = {arXiv},
eprint = {2305.04312},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-04312.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-16507,
author = {David Harel and
Uwe A{\ss}mann and
Fabiana Fournier and
Lior Limonad and
Assaf Marron and
Smadar Szekely},
title = {Toward Methodical Discovery and Handling of Hidden Assumptions in
Complex Systems and Models},
journal = {CoRR},
volume = {abs/2312.16507},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.16507},
doi = {10.48550/ARXIV.2312.16507},
eprinttype = {arXiv},
eprint = {2312.16507},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-16507.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/HarelMS22,
author = {David Harel and
Assaf Marron and
Joseph Sifakis},
title = {Creating a Foundation for Next-Generation Autonomous Systems},
journal = {{IEEE} Des. Test},
volume = {39},
number = {1},
pages = {49--56},
year = {2022},
url = {https://doi.org/10.1109/MDAT.2021.3069959},
doi = {10.1109/MDAT.2021.3069959},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/HarelMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/YerushalmiAEHKM22,
author = {Raz Yerushalmi and
Guy Amir and
Achiya Elyasaf and
David Harel and
Guy Katz and
Assaf Marron},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Edwin Seidewitz},
title = {Scenario-assisted Deep Reinforcement Learning},
booktitle = {Proceedings of the 10th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2022, Online Streaming, February
6-8, 2022},
pages = {310--319},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010904700003119},
doi = {10.5220/0010904700003119},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/YerushalmiAEHKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-04337,
author = {Raz Yerushalmi and
Guy Amir and
Achiya Elyasaf and
David Harel and
Guy Katz and
Assaf Marron},
title = {Scenario-Assisted Deep Reinforcement Learning},
journal = {CoRR},
volume = {abs/2202.04337},
year = {2022},
url = {https://arxiv.org/abs/2202.04337},
eprinttype = {arXiv},
eprint = {2202.04337},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-04337.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-13536,
author = {Guy Amir and
Davide Corsi and
Raz Yerushalmi and
Luca Marzari and
David Harel and
Alessandro Farinelli and
Guy Katz},
title = {Verifying Learning-Based Robotic Navigation Systems},
journal = {CoRR},
volume = {abs/2205.13536},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.13536},
doi = {10.48550/ARXIV.2205.13536},
eprinttype = {arXiv},
eprint = {2205.13536},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-13536.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-09603,
author = {Davide Corsi and
Raz Yerushalmi and
Guy Amir and
Alessandro Farinelli and
David Harel and
Guy Katz},
title = {Constrained Reinforcement Learning for Robotics via Scenario-Based
Programming},
journal = {CoRR},
volume = {abs/2206.09603},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.09603},
doi = {10.48550/ARXIV.2206.09603},
eprinttype = {arXiv},
eprint = {2206.09603},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-09603.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HarelMY21,
author = {David Harel and
Assaf Marron and
Raz Yerushalmi},
title = {Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition
of Separate Concerns},
journal = {Computer},
volume = {54},
number = {10},
pages = {95--101},
year = {2021},
url = {https://doi.org/10.1109/MC.2021.3099044},
doi = {10.1109/MC.2021.3099044},
timestamp = {Fri, 01 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/HarelMY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/HarelMMS21,
author = {David Harel and
Rami Marelly and
Assaf Marron and
Smadar Szekely},
title = {Integrating Interobject Scenarios with Intraobject Statecharts for
Developing Reactive Systems},
journal = {{IEEE} Des. Test},
volume = {38},
number = {5},
pages = {35--47},
year = {2021},
url = {https://doi.org/10.1109/MDAT.2020.3006805},
doi = {10.1109/MDAT.2020.3006805},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/HarelMMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HarelM21,
author = {David Harel and
Assaf Marron},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Introducing Dynamical Systems andChaos Early in Computer Science andSoftware
Engineering Education Can Help Advance Theory and Practice ofSoftware
Development and Computing},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
pages = {322--334},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_20},
doi = {10.1007/978-3-030-89159-6\_20},
timestamp = {Thu, 14 Oct 2021 09:48:48 +0200},
biburl = {https://dblp.org/rec/conf/isola/HarelM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pnas/HarelMS20,
author = {David Harel and
Assaf Marron and
Joseph Sifakis},
title = {Autonomics: In search of a foundation for next-generation autonomous
systems},
journal = {Proc. Natl. Acad. Sci. {USA}},
volume = {117},
number = {30},
pages = {17491--17498},
year = {2020},
url = {https://doi.org/10.1073/pnas.2003162117},
doi = {10.1073/PNAS.2003162117},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pnas/HarelMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MarronLPH20,
author = {Assaf Marron and
Lior Limonad and
Sarah Pollack and
David Harel},
editor = {Shinichi Honiden and
Elisabetta Di Nitto and
Radu Calinescu},
title = {Expecting the unexpected: developing autonomous-system design principles
for reacting to unpredicted events and conditions},
booktitle = {{SEAMS} '20: {IEEE/ACM} 15th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, Seoul, Republic of Korea,
29 June - 3 July, 2020},
pages = {167--173},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387939.3391607},
doi = {10.1145/3387939.3391607},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MarronLPH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-06047,
author = {Assaf Marron and
Lior Limonad and
Sarah Pollack and
David Harel},
title = {Expecting the Unexpected: Developing Autonomous-System Design Principles
for Reacting to Unpredicted Events and Conditions},
journal = {CoRR},
volume = {abs/2001.06047},
year = {2020},
url = {https://arxiv.org/abs/2001.06047},
eprinttype = {arXiv},
eprint = {2001.06047},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-06047.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HarelMRVW19,
author = {David Harel and
Assaf Marron and
Ariel Rosenfeld and
Moshe Y. Vardi and
Gera Weiss},
title = {Labor Division with Movable Walls: Composing Executable Specifications
with Machine Learning and Search (Blue Sky Idea)},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {9770--9774},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33019770},
doi = {10.1609/AAAI.V33I01.33019770},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HarelMRVW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcm2/SandakMAGH19,
author = {Billie Sandak and
Avi Mazor and
Amichay Asis and
Avi Gilboa and
David Harel},
editor = {Mariana Montiel and
Francisco G{\'{o}}mez{-}Martin and
Octavio Alberto Agust{\'{\i}}n{-}Aquino},
title = {Computational Music Therapy},
booktitle = {Mathematics and Computation in Music - 7th International Conference,
{MCM} 2019, Madrid, Spain, June 18-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11502},
pages = {359--368},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21392-3\_31},
doi = {10.1007/978-3-030-21392-3\_31},
timestamp = {Tue, 11 Jun 2019 11:15:13 +0200},
biburl = {https://dblp.org/rec/conf/mcm2/SandakMAGH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/HarelKMSW19,
author = {David Harel and
Guy Katz and
Assaf Marron and
Aviran Sadon and
Gera Weiss},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Executing Scenario-Based Specification with Dynamic Generation of
Rich Events},
booktitle = {Model-Driven Engineering and Software Development - 7th International
Conference, {MODELSWARD} 2019, Prague, Czech Republic, February 20-22,
2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1161},
pages = {246--274},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-37873-8\_11},
doi = {10.1007/978-3-030-37873-8\_11},
timestamp = {Thu, 23 Jan 2020 13:15:16 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/HarelKMSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/LapidMSH19,
author = {Hadas Lapid and
Assaf Marron and
Smadar Szekely and
David Harel},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Using Reactive-System Modeling Techniques to Create Executable Models
of Biochemical Pathways},
booktitle = {Proceedings of the 7th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2019, Prague, Czech Republic,
February 20-22, 2019},
pages = {454--464},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007572504560466},
doi = {10.5220/0007572504560466},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/LapidMSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-07133,
author = {David Harel and
Assaf Marron and
Joseph Sifakis},
title = {Autonomics: In Search of a Foundation for Next Generation Autonomous
Systems},
journal = {CoRR},
volume = {abs/1911.07133},
year = {2019},
url = {http://arxiv.org/abs/1911.07133},
eprinttype = {arXiv},
eprint = {1911.07133},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-07133.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-10691,
author = {David Harel and
Rami Marelly and
Assaf Marron and
Smadar Szekely},
title = {Integrating Inter-Object Scenarios with Intra-object Statecharts for
Developing Reactive Systems},
journal = {CoRR},
volume = {abs/1911.10691},
year = {2019},
url = {http://arxiv.org/abs/1911.10691},
eprinttype = {arXiv},
eprint = {1911.10691},
timestamp = {Tue, 03 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-10691.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HarelKMM18,
author = {David Harel and
Guy Katz and
Rami Marelly and
Assaf Marron},
title = {Wise Computing: Toward Endowing System Development with Proactive
Wisdom},
journal = {Computer},
volume = {51},
number = {2},
pages = {14--26},
year = {2018},
url = {https://doi.org/10.1109/MC.2018.1451652},
doi = {10.1109/MC.2018.1451652},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/HarelKMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarelM18,
author = {David Harel and
Assaf Marron},
editor = {Hans{-}Joachim B{\"{o}}ckenhauer and
Dennis Komm and
Walter Unger},
title = {Toward Scenario-Based Algorithmics},
booktitle = {Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated
to Juraj Hromkovi{\v{c}} on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11011},
pages = {549--567},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98355-4\_32},
doi = {10.1007/978-3-319-98355-4\_32},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HarelM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MarronHHMT18,
author = {Assaf Marron and
Yotam Hacohen and
David Harel and
Andreas M{\"{u}}lder and
Axel Terfloth},
editor = {Regina Hebig and
Thorsten Berger},
title = {Embedding Scenario-based Modeling in Statecharts},
booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2245},
pages = {443--452},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2245/morse\_paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/MarronHHMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/Harel18,
author = {David Harel},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Languages for Programming - From Punched Cards to Wise Computing},
booktitle = {Proceedings of the 6th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
January 22-24, 2018},
pages = {9},
publisher = {SciTePress},
year = {2018},
timestamp = {Wed, 11 Apr 2018 15:38:59 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/Harel18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/GreenyerGHM18a,
author = {Joel Greenyer and
Daniel Gritzner and
David Harel and
Assaf Marron},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Towards Automated Defect Analysis Using Execution Traces of Scenario-Based
Models},
booktitle = {Model-Driven Engineering and Software Development - 6th International
Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January
22-24, 2018, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {991},
pages = {335--354},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-11030-7\_15},
doi = {10.1007/978-3-030-11030-7\_15},
timestamp = {Wed, 06 Feb 2019 08:41:41 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/GreenyerGHM18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/GreenyerGHM18,
author = {Joel Greenyer and
Daniel Gritzner and
David Harel and
Assaf Marron},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Towards Systematic and Automatic Handling of Execution Traces Associated
with Scenario-based Models},
booktitle = {Proceedings of the 6th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
January 22-24, 2018},
pages = {560--566},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006671105600566},
doi = {10.5220/0006671105600566},
timestamp = {Wed, 11 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/GreenyerGHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/HarelM18,
author = {David Harel and
Shahar Maoz},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Visual Formalisms},
booktitle = {Encyclopedia of Database Systems, Second Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4614-8265-9\_444},
doi = {10.1007/978-1-4614-8265-9\_444},
timestamp = {Thu, 14 Feb 2019 09:43:36 +0100},
biburl = {https://dblp.org/rec/reference/db/HarelM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cse/AlexandronAGH17,
author = {Giora Alexandron and
Michal Armoni and
Michal Gordon and
David Harel},
title = {Teaching Scenario-Based Programming: An Additional Paradigm for the
High School Computer Science Curriculum, Part 1},
journal = {Comput. Sci. Eng.},
volume = {19},
number = {5},
pages = {58--67},
year = {2017},
url = {https://doi.org/10.1109/MCSE.2017.3421557},
doi = {10.1109/MCSE.2017.3421557},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cse/AlexandronAGH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cse/AlexandronAGH17a,
author = {Giora Alexandron and
Michal Armoni and
Michal Gordon and
David Harel},
title = {Teaching Scenario-Based Programming: An Additional Paradigm for the
High School Computer Science Curriculum, Part 2},
journal = {Comput. Sci. Eng.},
volume = {19},
number = {6},
pages = {64--71},
year = {2017},
url = {https://doi.org/10.1109/MCSE.2017.3971162},
doi = {10.1109/MCSE.2017.3971162},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cse/AlexandronAGH17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HarelHMM17,
author = {David Harel and
Idan Heimlich and
Rami Marelly and
Assaf Marron},
title = {Crowd-Based Programming for Reactive Systems},
booktitle = {4th {IEEE/ACM} International Workshop on CrowdSourcing in Software
Engineering, CSI-SE@ICSE 2017, Buenos Aires, Argentina, May 22, 2017},
pages = {9--13},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CSI-SE.2017.3},
doi = {10.1109/CSI-SE.2017.3},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HarelHMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/SteinbergGGHKM17,
author = {Shlomi Steinberg and
Joel Greenyer and
Daniel Gritzner and
David Harel and
Guy Katz and
Assaf Marron},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Bran Selic},
title = {Distributing Scenario-based Models: {A} Replicate-and-Project Approach},
booktitle = {Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2017, Porto, Portugal, February
19-21, 2017},
pages = {182--195},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006271301820195},
doi = {10.5220/0006271301820195},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/SteinbergGGHKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/SteinbergGGHKM17a,
author = {Shlomi Steinberg and
Joel Greenyer and
Daniel Gritzner and
David Harel and
Guy Katz and
Assaf Marron},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Bran Selic},
title = {Efficient Distributed Execution of Multi-component Scenario-Based
Models},
booktitle = {Model-Driven Engineering and Software Development - 5th International
Conference, {MODELSWARD} 2017, Porto, Portugal, February 19-21, 2017,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {880},
pages = {449--483},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94764-8\_19},
doi = {10.1007/978-3-319-94764-8\_19},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/SteinbergGGHKM17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/ElyasafHMW17,
author = {Achiya Elyasaf and
David Harel and
Assaf Marron and
Gera Weiss},
editor = {Martina Seidl and
Steffen Zschaler},
title = {Towards Integration of Context-Based and Scenario-Based Development},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
pages = {225--231},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74730-9\_21},
doi = {10.1007/978-3-319-74730-9\_21},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/staf/ElyasafHMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BlochH16,
author = {Naamah Bloch and
David Harel},
title = {The tumor as an organ: comprehensive spatial and temporal modeling
of the tumor and its microenvironment},
journal = {{BMC} Bioinform.},
volume = {17},
pages = {317},
year = {2016},
url = {https://doi.org/10.1186/s12859-016-1168-5},
doi = {10.1186/S12859-016-1168-5},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/BlochH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoDGHHISST16,
author = {Luca Aceto and
Mariangiola Dezani{-}Ciancaglini and
Yuri Gurevich and
David Harel and
Monika Henzinger and
Giuseppe F. Italiano and
Scott A. Smolka and
Paul G. Spirakis and
Wolfgang Thomas},
title = {{EATCS} Fellows' Advice to the Young Theoretical Computer Scientist},
journal = {Bull. {EATCS}},
volume = {119},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/419},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoDGHHISST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iie/AlexandronAGH16,
author = {Giora Alexandron and
Michal Armoni and
Michal Gordon and
David Harel},
title = {Teaching Nondeterminism Through Programming},
journal = {Informatics Educ.},
volume = {15},
number = {1},
pages = {1--23},
year = {2016},
url = {https://doi.org/10.15388/infedu.2016.01},
doi = {10.15388/INFEDU.2016.01},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iie/AlexandronAGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijismd/HarelKMM16,
author = {David Harel and
Guy Katz and
Rami Marelly and
Assaf Marron},
title = {First Steps Towards a Wise Development Environment for Behavioral
Models},
journal = {Int. J. Inf. Syst. Model. Des.},
volume = {7},
number = {3},
pages = {1--22},
year = {2016},
url = {https://doi.org/10.4018/IJISMD.2016070101},
doi = {10.4018/IJISMD.2016070101},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijismd/HarelKMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Berkman-Chardon16,
author = {Anat Berkman{-}Chardon and
David Harel and
Yaarit Goel and
Rami Marelly and
Smadar Szekely and
Guy Weiss},
title = {Scenario-based programming for mobile applications},
booktitle = {Proceedings of the International Conference on Mobile Software Engineering
and Systems, MOBILESoft '16, Austin, Texas, USA, May 14-22, 2016},
pages = {161--172},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897073.2897080},
doi = {10.1145/2897073.2897080},
timestamp = {Tue, 06 Nov 2018 11:06:55 +0100},
biburl = {https://dblp.org/rec/conf/icse/Berkman-Chardon16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MarronAEGKLMSSW16,
author = {Assaf Marron and
Brit Arnon and
Achiya Elyasaf and
Michal Gordon and
Guy Katz and
Hadas Lapid and
Rami Marelly and
Dana Sherman and
Smadar Szekely and
Gera Weiss and
David Harel},
editor = {Juan de Lara and
Peter J. Clarke and
Mehrdad Sabetzadeh},
title = {Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles
for Wise Computing},
booktitle = {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), Saint-Malo, France, October 2-7,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1725},
pages = {94--100},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1725/poster3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/MarronAEGKLMSSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/HarelKMM16,
author = {David Harel and
Guy Katz and
Rami Marelly and
Assaf Marron},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic and
Philippe Desfray},
title = {An Initial Wise Development Environment for Behavioral Models},
booktitle = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
on Model-Driven Engineering and Software Development, Rome, Italy,
19-21 February, 2016},
pages = {600--612},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005811806000612},
doi = {10.5220/0005811806000612},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/HarelKMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Harel16,
author = {David Harel},
title = {Ni{\'{e}}pce-Bell or Turing: How to Test Odor Reproduction?},
journal = {CoRR},
volume = {abs/1603.08666},
year = {2016},
url = {http://arxiv.org/abs/1603.08666},
eprinttype = {arXiv},
eprint = {1603.08666},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Harel16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HarelKKMWW15,
author = {David Harel and
Amir Kantor and
Guy Katz and
Assaf Marron and
Gera Weiss and
Guy Wiener},
title = {Towards behavioral programming in distributed architectures},
journal = {Sci. Comput. Program.},
volume = {98},
pages = {233--267},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.03.003},
doi = {10.1016/J.SCICO.2014.03.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HarelKKMWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Harel15,
author = {David Harel},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {On the Full Organism Challenge: Or, Can we Computerize an Elephant?},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {1},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2772881},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/Harel15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HarelKLMW15,
author = {David Harel and
Guy Katz and
Robby Lampert and
Assaf Marron and
Gera Weiss},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {On the Succinctness of Idioms for Concurrent Programming},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {85--99},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.85},
doi = {10.4230/LIPICS.CONCUR.2015.85},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/HarelKLMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KatzBH15,
author = {Guy Katz and
Clark W. Barrett and
David Harel},
editor = {Roope Kaivola and
Thomas Wahl},
title = {Theory-Aided Model Checking of Concurrent Transition Systems},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
USA, September 27-30, 2015},
pages = {81--88},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FMCAD.2015.7542256},
doi = {10.1109/FMCAD.2015.7542256},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/KatzBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/HarelKMW15,
author = {David Harel and
Guy Katz and
Assaf Marron and
Gera Weiss},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Philippe Desfray and
Joaquim Filipe},
title = {The Effect of Concurrent Programming Idioms on Verification - {A}
Position Paper},
booktitle = {{MODELSWARD} 2015 - Proceedings of the 3rd International Conference
on Model-Driven Engineering and Software Development, ESEO, Angers,
Loire Valley, France, 9-11 February, 2015},
pages = {363--369},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005324203630369},
doi = {10.5220/0005324203630369},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/HarelKMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HarelKMM15,
author = {David Harel and
Guy Katz and
Rami Marelly and
Assaf Marron},
title = {Wise Computing: Towards Endowing System Development with True Wisdom},
journal = {CoRR},
volume = {abs/1501.05924},
year = {2015},
url = {http://arxiv.org/abs/1501.05924},
eprinttype = {arXiv},
eprint = {1501.05924},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HarelKMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jeric/AlexandronAGH14,
author = {Giora Alexandron and
Michal Armoni and
Michal Gordon and
David Harel},
title = {Scenario-Based Programming, Usability-Oriented Perception},
journal = {{ACM} Trans. Comput. Educ.},
volume = {14},
number = {3},
pages = {21:1--21:23},
year = {2014},
url = {https://doi.org/10.1145/2648814},
doi = {10.1145/2648814},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jeric/AlexandronAGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcci/HarelKMW14,
author = {David Harel and
Guy Katz and
Assaf Marron and
Gera Weiss},
title = {Non-intrusive Repair of Safety and Liveness Violations in Reactive
Programs},
journal = {Trans. Comput. Collect. Intell.},
volume = {16},
pages = {1--33},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44871-7\_1},
doi = {10.1007/978-3-662-44871-7\_1},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcci/HarelKMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/HarelK14,
author = {David Harel and
Guy Katz},
editor = {Elisa Gonzalez Boix and
Philipp Haller and
Alessandro Ricci and
Carlos A. Varela},
title = {Scaling-Up Behavioral Programming: Steps from Basic Principles to
Application Architectures},
booktitle = {Proceedings of the 4th International Workshop on Programming based
on Actors Agents {\&} Decentralized Control, AGERE! 2014, Portland,
OR, USA, October 20, 2014},
pages = {95--108},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2687357.2687359},
doi = {10.1145/2687357.2687359},
timestamp = {Sat, 11 Sep 2021 23:19:19 +0200},
biburl = {https://dblp.org/rec/conf/agere/HarelK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarelK14,
author = {David Harel and
Amir Kantor},
editor = {Nachum Dershowitz and
Ephraim Nissan},
title = {Modal Scenarios as Automata},
booktitle = {Language, Culture, Computation. Computing - Theory and Technology
- Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8001},
pages = {156--167},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-45321-2\_7},
doi = {10.1007/978-3-642-45321-2\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HarelK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/HarelN14,
author = {David Harel and
Shani Nitzan},
editor = {Ella E. Roubtsova and
Ashley T. McNeile and
Ekkart Kindler and
Christian Gerth},
title = {Programming Animation Using Behavioral Programming},
booktitle = {Behavior Modeling - Foundations and Applications, International Workshops,
{BM-FA} 2009-2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6368},
pages = {113--132},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21912-7\_5},
doi = {10.1007/978-3-319-21912-7\_5},
timestamp = {Sat, 19 Oct 2019 20:12:40 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/HarelN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/TsarfatyPWNSH14,
author = {Reut Tsarfaty and
Ilia Pogrebezky and
Guy Weiss and
Yaarit Natan and
Smadar Szekely and
David Harel},
editor = {Alessandro Moschitti and
Bo Pang and
Walter Daelemans},
title = {Semantic Parsing Using Content and Context: {A} Case Study from Requirements
Elicitation},
booktitle = {Proceedings of the 2014 Conference on Empirical Methods in Natural
Language Processing, {EMNLP} 2014, October 25-29, 2014, Doha, Qatar,
{A} meeting of SIGDAT, a Special Interest Group of the {ACL}},
pages = {1296--1307},
publisher = {{ACL}},
year = {2014},
url = {https://doi.org/10.3115/v1/d14-1136},
doi = {10.3115/V1/D14-1136},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/TsarfatyPWNSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/GordonH14,
author = {Michal Gordon and
David Harel},
editor = {Saddek Bensalem and
Yassine Lakhnech and
Axel Legay},
title = {Steps towards Scenario-Based Programming with a Natural Language Interface},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8415},
pages = {129--144},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54848-2\_9},
doi = {10.1007/978-3-642-54848-2\_9},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/etaps/GordonH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlexandronAGH14,
author = {Giora Alexandron and
Michal Armoni and
Michal Gordon and
David Harel},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Scenario-based programming: reducing the cognitive load, fostering
abstract thinking},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
pages = {311--320},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591062.2591167},
doi = {10.1145/2591062.2591167},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AlexandronAGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HarelKKMMW13,
author = {David Harel and
Amir Kantor and
Guy Katz and
Assaf Marron and
Lior Mizrahi and
Gera Weiss},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {On composing and proving the correctness of reactive behavior},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {13:1--13:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658591},
doi = {10.1109/EMSOFT.2013.6658591},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/HarelKKMMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HarelKK13,
author = {David Harel and
Amir Kantor and
Guy Katz},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Relaxing Synchronization Constraints in Behavioral Programs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {355--372},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_25},
doi = {10.1007/978-3-642-45221-5\_25},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HarelKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/AlexandronAGH13,
author = {Giora Alexandron and
Michal Armoni and
Michal Gordon and
David Harel},
editor = {Michael E. Caspersen and
Maria Knobelsdorf and
Ralf Romeike},
title = {On teaching programming with nondeterminism},
booktitle = {Proceedings of the 8th Workshop in Primary and Secondary Computing
Education, WiPSCE '13, Aarhus, Denmark, November 11-13, 2013},
pages = {71--74},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2532748.2532762},
doi = {10.1145/2532748.2532762},
timestamp = {Tue, 06 Nov 2018 16:59:05 +0100},
biburl = {https://dblp.org/rec/conf/wipsce/AlexandronAGH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HarelMW12,
author = {David Harel and
Assaf Marron and
Gera Weiss},
title = {Behavioral programming},
journal = {Commun. {ACM}},
volume = {55},
number = {7},
pages = {90--100},
year = {2012},
url = {https://doi.org/10.1145/2209249.2209270},
doi = {10.1145/2209249.2209270},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/HarelMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SettyCH12,
author = {Yaki Setty and
Irun R. Cohen and
David Harel},
title = {Executable Modeling of Morphogenesis: {A} Turing-Inspired Approach},
journal = {Fundam. Informaticae},
volume = {118},
number = {4},
pages = {403--417},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-722},
doi = {10.3233/FI-2012-722},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SettyCH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BouajjaniHZ12,
author = {Ahmed Bouajjani and
David Harel and
Lenore D. Zuck},
title = {Editor's foreword},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {822},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.001},
doi = {10.1016/J.JCSS.2011.08.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BouajjaniHZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HarelS12,
author = {David Harel and
Itai Segall},
title = {Synthesis from scenario-based specifications},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {970--980},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.008},
doi = {10.1016/J.JCSS.2011.08.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HarelS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HarelM12,
author = {David Harel and
Assaf Marron},
title = {The quest for runware: on compositional, executable and intuitive
models},
journal = {Softw. Syst. Model.},
volume = {11},
number = {4},
pages = {599--608},
year = {2012},
url = {https://doi.org/10.1007/s10270-012-0258-8},
doi = {10.1007/S10270-012-0258-8},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HarelM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarelK12,
author = {David Harel and
Amir Kantor},
title = {Multi-modal scenarios revisited: {A} net-based representation},
journal = {Theor. Comput. Sci.},
volume = {429},
pages = {118--127},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.030},
doi = {10.1016/J.TCS.2011.12.030},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarelK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Harel12,
author = {David Harel},
editor = {Robert L. Constable and
Alexandra Silva},
title = {Dexter Kozen: {A} Winning Combination of Brilliance, Depth, and Elegance},
booktitle = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on
the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7230},
pages = {326--327},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29485-3\_24},
doi = {10.1007/978-3-642-29485-3\_24},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Harel12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/HarelMNW12,
author = {David Harel and
Assaf Marron and
Amir Nissim and
Gera Weiss},
title = {A software engineering framework for switched fuzzy systems},
booktitle = {{FUZZ-IEEE} 2012, {IEEE} International Conference on Fuzzy Systems,
Brisbane, Australia, June 10-15, 2012, Proceedings},
pages = {1--9},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/FUZZ-IEEE.2012.6251301},
doi = {10.1109/FUZZ-IEEE.2012.6251301},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/fuzzIEEE/HarelMNW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Harel12,
author = {David Harel},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {On Behavioral Programming},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {1},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_1},
doi = {10.1007/978-3-642-39611-3\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Harel12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Harel12,
author = {David Harel},
editor = {Artur Czumaj and
Kurt Mehlhorn and
Andrew M. Pitts and
Roger Wattenhofer},
title = {Standing on the Shoulders of a Giant - One Persons Experience of Turings
Impact (Summary of the Alan M. Turing Lecture)},
booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
{ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7392},
pages = {16--22},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31585-5\_3},
doi = {10.1007/978-3-642-31585-5\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Harel12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/HarelKMW12,
author = {David Harel and
Guy Katz and
Assaf Marron and
Gera Weiss},
editor = {Isabelle Perseil and
Karin K. Breitman and
Marc Pouzet},
title = {Non-intrusive Repair of Reactive Programs},
booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.25},
doi = {10.1109/ICECCS.2012.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/HarelKMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GordonH12,
author = {Michal Gordon and
David Harel},
editor = {Andrew Begel and
Caitlin Sadowski},
title = {Evaluating live sequence charts as a programming technique for non-programmers},
booktitle = {Proceedings of the First International Workshop on User Evaluation
for Software Engineering Researchers, {USER} '12, Zurich, Switzerland,
June 5, 2012},
pages = {17--20},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/USER.2012.6226574},
doi = {10.1109/USER.2012.6226574},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GordonH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/Harel12,
author = {David Harel},
editor = {Tami Lapidot and
Judith Gal{-}Ezer and
Michael E. Caspersen and
Orit Hazzan},
title = {Standing on the shoulders of a giant: one person's experience of turing's
impact},
booktitle = {Annual Conference on Innovation and Technology in Computer Science
Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
pages = {3},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2325296.2325300},
doi = {10.1145/2325296.2325300},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/Harel12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/AlexandronAGH12,
author = {Giora Alexandron and
Michal Armoni and
Michal Gordon and
David Harel},
editor = {Mikko{-}Jussi Laakso and
Robert McCartney},
title = {The effect of previous programming experience on the learning of scenario-based
programming},
booktitle = {12th Koli Calling International Conference on Computing Education
Research, Koli Calling '12, Koli, Finland, November 15-18, 2012},
pages = {151--159},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2401796.2401821},
doi = {10.1145/2401796.2401821},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/AlexandronAGH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/Harel12,
author = {David Harel},
editor = {Martin Erwig and
Gem Stapleton and
Gennaro Costagliola},
title = {Some thoughts on executable visual languages and their Interfaces},
booktitle = {2012 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2012, Innsbruck, Austria, September 30 - October 4, 2012},
pages = {4},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/VLHCC.2012.6344468},
doi = {10.1109/VLHCC.2012.6344468},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/vl/Harel12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/GordonH12,
author = {Michal Gordon and
David Harel},
editor = {Martin Erwig and
Gem Stapleton and
Gennaro Costagliola},
title = {Evaluating a natural language interface for behavioral programming},
booktitle = {2012 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2012, Innsbruck, Austria, September 30 - October 4, 2012},
pages = {167--170},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/VLHCC.2012.6344508},
doi = {10.1109/VLHCC.2012.6344508},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vl/GordonH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/FisherHH11,
author = {Jasmin Fisher and
David Harel and
Thomas A. Henzinger},
title = {Biology as reactivity},
journal = {Commun. {ACM}},
volume = {54},
number = {10},
pages = {72--82},
year = {2011},
url = {https://doi.org/10.1145/2001269.2001289},
doi = {10.1145/2001269.2001289},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/FisherHH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MaozH11,
author = {Shahar Maoz and
David Harel},
title = {On tracing reactive systems},
journal = {Softw. Syst. Model.},
volume = {10},
number = {4},
pages = {447--468},
year = {2011},
url = {https://doi.org/10.1007/s10270-010-0151-2},
doi = {10.1007/S10270-010-0151-2},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/MaozH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/MaozHK11,
author = {Shahar Maoz and
David Harel and
Asaf Kleinbort},
title = {A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {20},
number = {4},
pages = {18:1--18:41},
year = {2011},
url = {https://doi.org/10.1145/2000799.2000804},
doi = {10.1145/2000799.2000804},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/MaozHK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Harel11,
author = {David Harel},
editor = {Stefanie Rinderle{-}Ma and
Farouk Toumani and
Karsten Wolf},
title = {Some Thoughts on Behavioral Programming},
booktitle = {Business Process Management - 9th International Conference, {BPM}
2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6896},
pages = {1},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23059-2\_1},
doi = {10.1007/978-3-642-23059-2\_1},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/Harel11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecal/Harel11,
author = {David Harel},
editor = {Tom Lenaerts and
Mario Giacobini and
Hugues Bersini and
Paul Bourgine and
Marco Dorigo and
Ren{\'{e}} Doursat},
title = {Can we Computerize an Elephant?},
booktitle = {Advances in Artificial Life: 20th Anniversary Edition - Back to the
Origins of Alife, {ECAL} 2011, Paris, France, August 8-12, 2011},
pages = {9},
publisher = {{MIT} Press},
year = {2011},
url = {http://mitpress.mit.edu/sites/default/files/titles/alife/0262297140chap2.pdf},
timestamp = {Thu, 07 Jul 2022 15:49:20 +0200},
biburl = {https://dblp.org/rec/conf/ecal/Harel11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HarelLMW11,
author = {David Harel and
Robby Lampert and
Assaf Marron and
Gera Weiss},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {Model-checking behavioral programs},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {279--288},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038686},
doi = {10.1145/2038642.2038686},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/HarelLMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Harel11,
author = {David Harel},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {Some Thoughts on Behavioral Programming},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {2},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_2},
doi = {10.1007/978-3-642-21437-0\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Harel11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/EitanH11,
author = {Nir Eitan and
David Harel},
title = {Adaptive Behavioral Programming},
booktitle = {{IEEE} 23rd International Conference on Tools with Artificial Intelligence,
{ICTAI} 2011, Boca Raton, FL, USA, November 7-9, 2011},
pages = {685--692},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICTAI.2011.109},
doi = {10.1109/ICTAI.2011.109},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/EitanH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/EitanGHMW11,
author = {Nir Eitan and
Michal Gordon and
David Harel and
Assaf Marron and
Gera Weiss},
title = {On Visualization and Comprehension of Scenario-Based Programs},
booktitle = {The 19th {IEEE} International Conference on Program Comprehension,
{ICPC} 2011, Kingston, ON, Canada, June 22-24, 2011},
pages = {189--192},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICPC.2011.10},
doi = {10.1109/ICPC.2011.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/EitanGHMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HarelMWW11,
author = {David Harel and
Assaf Marron and
Guy Wiener and
Gera Weiss},
editor = {Cristina Videira Lopes},
title = {Behavioral programming, decentralized control, and multiple time scales},
booktitle = {SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops:
DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, and VMIL'11, Portland,
OR, USA, October 22-27, 2011},
pages = {171--182},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2095050.2095079},
doi = {10.1145/2095050.2095079},
timestamp = {Fri, 11 Feb 2022 13:59:03 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/HarelMWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppig/AlexandronAH11,
author = {Giora Alexandron and
Michal Armoni and
David Harel},
title = {Programming with the user in mind},
booktitle = {Proceedings of the 23rd Annual Workshop of the Psychology of Programming
Interest Group, {PPIG} 2011, York, UK, September 6-8, 2011},
pages = {10},
publisher = {Psychology of Programming Interest Group},
year = {2011},
url = {https://ppig.org/papers/2011-ppig-23rd-alexandron/},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppig/AlexandronAH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Harel10,
author = {David Harel},
title = {Amir Pnueli - {A} Gentle Giant: Lord of the \emph{phi}'s and the \emph{psi}'s},
journal = {Formal Aspects Comput.},
volume = {22},
number = {6},
pages = {663--665},
year = {2010},
url = {https://doi.org/10.1007/s00165-010-0165-0},
doi = {10.1007/S00165-010-0165-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Harel10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SettyCH10,
author = {Yaki Setty and
Irun R. Cohen and
David Harel},
title = {Modeling Biology using Generic Reactive Animation},
journal = {Fundam. Informaticae},
volume = {103},
number = {1-4},
pages = {235--246},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-327},
doi = {10.3233/FI-2010-327},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SettyCH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/HaddadMRHS10,
author = {Rafi Haddad and
Abebe Medhanie and
Yehudah Roth and
David Harel and
Noam Sobel},
title = {Predicting Odor Pleasantness with an Electronic Nose},
journal = {PLoS Comput. Biol.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.1371/journal.pcbi.1000740},
doi = {10.1371/JOURNAL.PCBI.1000740},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/HaddadMRHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Harel10,
author = {David Harel},
editor = {Johan Lilius and
Wojciech Penczek},
title = {Some Thoughts on Behavioral Programming},
booktitle = {Applications and Theory of Petri Nets, 31st International Conference,
{PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6128},
pages = {18},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13675-7\_2},
doi = {10.1007/978-3-642-13675-7\_2},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Harel10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarelK10,
author = {David Harel and
Hillel Kugler},
editor = {Zohar Manna and
Doron A. Peled},
title = {Some Thoughts on the Semantics of Biocharts},
booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
series = {Lecture Notes in Computer Science},
volume = {6200},
pages = {185--194},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13754-9\_9},
doi = {10.1007/978-3-642-13754-9\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HarelK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarelKM10,
author = {David Harel and
Amir Kantor and
Shahar Maoz},
editor = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
title = {On the Power of Play-Out for Scenario-Based Programs},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
Willem-Paul de Roever},
series = {Lecture Notes in Computer Science},
volume = {5930},
pages = {207--220},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11512-7\_13},
doi = {10.1007/978-3-642-11512-7\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HarelKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HarelMW10,
author = {David Harel and
Assaf Marron and
Gera Weiss},
editor = {Theo D'Hondt},
title = {Programming Coordinated Behavior in Java},
booktitle = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
Maribor, Slovenia, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6183},
pages = {250--274},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14107-2\_12},
doi = {10.1007/978-3-642-14107-2\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HarelMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HarelMSB10,
author = {David Harel and
Shahar Maoz and
Smadar Szekely and
Daniel Barkan},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
title = {PlayGo: towards a comprehensive tool for scenario based programming},
booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24, 2010},
pages = {359--360},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858996.1859075},
doi = {10.1145/1858996.1859075},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/HarelMSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Harel10,
author = {David Harel},
title = {Amir Pnueli: {A} Gentle Giant, Lord of the Phi's and the Psi's},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {57},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.54},
doi = {10.1109/LICS.2010.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Harel10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/HarelKMS10,
author = {David Harel and
Hillel Kugler and
Shahar Maoz and
Itai Segall},
editor = {Jan van Leeuwen and
Anca Muscholl and
David Peleg and
Jaroslav Pokorn{\'{y}} and
Bernhard Rumpe},
title = {Accelerating Smart Play-Out},
booktitle = {{SOFSEM} 2010: Theory and Practice of Computer Science, 36th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 23-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5901},
pages = {477--488},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11266-9\_40},
doi = {10.1007/978-3-642-11266-9\_40},
timestamp = {Sat, 30 Sep 2023 09:57:10 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/HarelKMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/GordonH10,
author = {Michal Gordon and
David Harel},
editor = {Christopher D. Hundhausen and
Emmanuel Pietriga and
Paloma D{\'{\i}}az and
Mary Beth Rosson},
title = {Semantic Navigation Strategies for Scenario-Based Programming},
booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2010, Legan{\'{e}}s-Madrid, Spain, 21-25 September 2010,
Proceedings},
pages = {219--226},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/VLHCC.2010.38},
doi = {10.1109/VLHCC.2010.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/GordonH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Harel09,
author = {David Harel},
title = {Statecharts in the making: a personal account},
journal = {Commun. {ACM}},
volume = {52},
number = {3},
pages = {67--75},
year = {2009},
url = {https://doi.org/10.1145/1467247.1467274},
doi = {10.1145/1467247.1467274},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Harel09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/HarelG09,
author = {David Harel and
Michal Gordon{-}Kiwkowitz},
title = {On Teaching Visual Formalisms},
journal = {{IEEE} Softw.},
volume = {26},
number = {3},
pages = {87--95},
year = {2009},
url = {https://doi.org/10.1109/MS.2009.76},
doi = {10.1109/MS.2009.76},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/HarelG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SettyCMH09,
author = {Yaki Setty and
Irun R. Cohen and
Avi E. Mayo and
David Harel},
editor = {Anne Condon and
David Harel and
Joost N. Kok and
Arto Salomaa and
Erik Winfree},
title = {On Using Divide and Conquer in Modeling Natural Systems},
booktitle = {Algorithmic Bioprocesses},
series = {Natural Computing Series},
pages = {661--674},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-88869-7\_33},
doi = {10.1007/978-3-540-88869-7\_33},
timestamp = {Sun, 25 Jul 2021 11:52:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SettyCMH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cicling/GordonH09,
author = {Michal Gordon and
David Harel},
editor = {Alexander F. Gelbukh},
title = {Generating Executable Scenarios from Natural Language},
booktitle = {Computational Linguistics and Intelligent Text Processing, 10th International
Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5449},
pages = {456--467},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00382-0\_37},
doi = {10.1007/978-3-642-00382-0\_37},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/cicling/GordonH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Harel09,
author = {David Harel},
editor = {Kedar S. Namjoshi and
Andreas Zeller and
Avi Ziv},
title = {Can We Verify an Elephant?},
booktitle = {Hardware and Software: Verification and Testing - 5th International
Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
19-22, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6405},
pages = {1},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-19237-1\_1},
doi = {10.1007/978-3-642-19237-1\_1},
timestamp = {Sun, 25 Jul 2021 11:51:18 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Harel09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Harel09,
author = {David Harel},
title = {Can we computerize an elephant?},
booktitle = {7th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2009), July 13-15, 2009, Cambridge, Massachusetts,
{USA}},
pages = {77},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/MEMCOD.2009.5185382},
doi = {10.1109/MEMCOD.2009.5185382},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/Harel09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2009rozenberg,
editor = {Anne Condon and
David Harel and
Joost N. Kok and
Arto Salomaa and
Erik Winfree},
title = {Algorithmic Bioprocesses},
series = {Natural Computing Series},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-88869-7},
doi = {10.1007/978-3-540-88869-7},
isbn = {978-3-540-88868-0},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2009rozenberg.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/HarelM09,
author = {David Harel and
Shahar Maoz},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Visual Formalisms},
booktitle = {Encyclopedia of Database Systems},
pages = {3370--3374},
publisher = {Springer {US}},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-39940-9\_444},
doi = {10.1007/978-0-387-39940-9\_444},
timestamp = {Sun, 02 Jun 2019 21:10:27 +0200},
biburl = {https://dblp.org/rec/reference/db/HarelM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Harel08,
author = {David Harel},
title = {Can Programming Be Liberated, Period?},
journal = {Computer},
volume = {41},
number = {1},
pages = {28--37},
year = {2008},
url = {https://doi.org/10.1109/MC.2008.10},
doi = {10.1109/MC.2008.10},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Harel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/SwerdlinCH08,
author = {Naamah Swerdlin and
Irun R. Cohen and
David Harel},
title = {The Lymph Node {B} Cell Immune Response: Dynamic Analysis \emph{In-Silico}},
journal = {Proc. {IEEE}},
volume = {96},
number = {8},
pages = {1421--1443},
year = {2008},
url = {https://doi.org/10.1109/JPROC.2008.925435},
doi = {10.1109/JPROC.2008.925435},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/SwerdlinCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/HaddadCSH08,
author = {Rafi Haddad and
Liran Carmel and
Noam Sobel and
David Harel},
title = {Predicting the Receptive Range of Olfactory Receptors},
journal = {PLoS Comput. Biol.},
volume = {4},
number = {2},
year = {2008},
url = {https://doi.org/10.1371/journal.pcbi.0040018},
doi = {10.1371/JOURNAL.PCBI.0040018},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/HaddadCSH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CombesHK08,
author = {Pierre Combes and
David Harel and
Hillel Kugler},
title = {Modeling and verification of a telecommunication application using
live sequence charts and the Play-Engine tool},
journal = {Softw. Syst. Model.},
volume = {7},
number = {2},
pages = {157--175},
year = {2008},
url = {https://doi.org/10.1007/s10270-007-0069-5},
doi = {10.1007/S10270-007-0069-5},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CombesHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HarelM08,
author = {David Harel and
Shahar Maoz},
title = {Assert and negate revisited: Modal semantics for {UML} sequence diagrams},
journal = {Softw. Syst. Model.},
volume = {7},
number = {2},
pages = {237--252},
year = {2008},
url = {https://doi.org/10.1007/s10270-007-0054-z},
doi = {10.1007/S10270-007-0054-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HarelM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/SadotFBASHH08,
author = {Avital Sadot and
Jasmin Fisher and
Dan Barak and
Yishai Admanit and
Michael J. Stern and
E. Jane Albert Hubbard and
David Harel},
title = {Toward Verified Biological Models},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {5},
number = {2},
pages = {223--234},
year = {2008},
url = {https://doi.org/10.1109/TCBB.2007.1076},
doi = {10.1109/TCBB.2007.1076},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/SadotFBASHH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Amir-KrollSCH08,
author = {Hila Amir{-}Kroll and
Avital Sadot and
Irun R. Cohen and
David Harel},
title = {GemCell: {A} generic platform for modeling multi-cellular biological
systems},
journal = {Theor. Comput. Sci.},
volume = {391},
number = {3},
pages = {276--290},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2007.11.014},
doi = {10.1016/J.TCS.2007.11.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Amir-KrollSCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarelMS08,
author = {David Harel and
Shahar Maoz and
Itai Segall},
editor = {Arnon Avron and
Nachum Dershowitz and
Alexander Rabinovich},
title = {Some Results on the Expressive Power and Complexity of LSCs},
booktitle = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot
on the Occasion of His 85th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4800},
pages = {351--366},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78127-1\_19},
doi = {10.1007/978-3-540-78127-1\_19},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HarelMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AtirHKM08,
author = {Yoram Atir and
David Harel and
Asaf Kleinbort and
Shahar Maoz},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {Object Composition in Scenario-Based Programming},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {301--316},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_23},
doi = {10.1007/978-3-540-78743-3\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/AtirHKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsb/HarelS08,
author = {David Harel and
Yaki Setty},
editor = {Jasmin Fisher},
title = {Generic Reactive Animation: Realistic Modeling of Complex Natural
Systems},
booktitle = {Formal Methods in Systems Biology, First International Workshop, {FMSB}
2008, Cambridge, UK, June 4-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5054},
pages = {1--16},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68413-8\_1},
doi = {10.1007/978-3-540-68413-8\_1},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/fmsb/HarelS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fplay/HarelSKS08,
author = {David Harel and
Itai Segall and
Hillel Kugler and
Yaki Setty},
editor = {Bill Kapralos and
Michael Katchabaw and
Jay Rajnovich},
title = {Crafting game-models using reactive system design},
booktitle = {Proceedings of the 2008 Conference on Future Play: Research, Play,
Share, Future Play 2008, Toronto, Ontario, Canada, November 3-5, 2008},
pages = {121--128},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1496984.1497005},
doi = {10.1145/1496984.1497005},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fplay/HarelSKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softvis/HarelS08,
author = {David Harel and
Itai Segall},
editor = {Rainer Koschke and
Christopher D. Hundhausen and
Alexandru C. Telea},
title = {Visualizing inter-dependencies between scenarios},
booktitle = {Proceedings of the {ACM} 2008 Symposium on Software Visualization,
Ammersee, Germany, September 16-17, 2008},
pages = {145--153},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1409720.1409744},
doi = {10.1145/1409720.1409744},
timestamp = {Wed, 17 Mar 2021 18:00:55 +0100},
biburl = {https://dblp.org/rec/conf/softvis/HarelS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/EfroniHC07,
author = {Sol Efroni and
David Harel and
Irun R. Cohen},
title = {Emergent Dynamics of Thymocyte Development and Lineage Determination},
journal = {PLoS Comput. Biol.},
volume = {3},
number = {1},
year = {2007},
url = {https://doi.org/10.1371/journal.pcbi.0030013},
doi = {10.1371/JOURNAL.PCBI.0030013},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/EfroniHC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HarelKM07,
author = {David Harel and
Asaf Kleinbort and
Shahar Maoz},
editor = {Matthew B. Dwyer and
Ant{\'{o}}nia Lopes},
title = {{S2A:} {A} Compiler for Multi-modal {UML} Sequence Diagrams},
booktitle = {Fundamental Approaches to Software Engineering, 10th International
Conference, {FASE} 2007, Held as Part of the Joint European Conferences,
on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal,
March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4422},
pages = {121--124},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71289-3\_11},
doi = {10.1007/978-3-540-71289-3\_11},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/HarelKM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hopl/Harel07,
author = {David Harel},
editor = {Barbara G. Ryder and
Brent Hailpern},
title = {Statecharts in the making: a personal account},
booktitle = {Proceedings of the Third {ACM} {SIGPLAN} History of Programming Languages
Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007},
pages = {1--43},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1238844.1238849},
doi = {10.1145/1238844.1238849},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hopl/Harel07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scsc/AtirH07,
author = {Yoram Atir and
David Harel},
editor = {Gabriel A. Wainer},
title = {Using LSCs for scenario authoring in tactical simulators},
booktitle = {Proceedings of the 2007 Summer Computer Simulation Conference, {SCSC}
2007, San Diego, California, USA, July 16-19, 2007},
pages = {437--442},
publisher = {Simulation Councils, Inc.},
year = {2007},
url = {https://dl.acm.org/citation.cfm?id=1357979},
timestamp = {Wed, 28 Nov 2018 12:57:16 +0100},
biburl = {https://dblp.org/rec/conf/scsc/AtirH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HarelS07,
author = {David Harel and
Itai Segall},
editor = {Orna Grumberg and
Michael Huth},
title = {Planned and Traversable Play-Out: {A} Flexible Method for Executing
Scenario-Based Programs\({}^{\mbox{, }}\)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {485--499},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_37},
doi = {10.1007/978-3-540-71209-1\_37},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HarelS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/MaozKH07,
author = {Shahar Maoz and
Asaf Kleinbort and
David Harel},
title = {Towards Trace Visualization and Exploration for Reactive Systems},
booktitle = {2007 {IEEE} Symposium on Visual Languages and Human-Centric Computing
{(VL/HCC} 2007), 23-27 September 2007, Coeur d'Alene, Idaho, {USA}},
pages = {153--156},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/VLHCC.2007.27},
doi = {10.1109/VLHCC.2007.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/MaozKH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HarelSESC08,
author = {David Harel and
Yaki Setty and
Sol Efroni and
Naamah Swerdlin and
Irun R. Cohen},
editor = {Nicola Cannata and
Emanuela Merelli},
title = {Concurrency in Biological Modeling: Behavior, Execution and Visualization},
booktitle = {Proceedings of the First Workshop "From Biology To Concurrency and
back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {3},
pages = {119--131},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.12.009},
doi = {10.1016/J.ENTCS.2007.12.009},
timestamp = {Thu, 09 Feb 2023 10:12:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HarelSESC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2006P6351,
editor = {Ed Brinksma and
David Harel and
Angelika Mader and
Perdita Stevens and
Roel J. Wieringa},
title = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06351},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/portals/06351/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2006P6351.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0017067,
author = {David Harel and
Yishai A. Feldman},
title = {Algorithmik - die Kunst des Rechnens},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-37437-X},
doi = {10.1007/3-540-37437-X},
isbn = {978-3-540-24342-7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0017067.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BarakHM06,
author = {Dan Barak and
David Harel and
Rami Marelly},
title = {InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based
Programming},
journal = {{IEEE} Trans. Software Eng.},
volume = {32},
number = {7},
pages = {467--485},
year = {2006},
url = {https://doi.org/10.1109/TSE.2006.67},
doi = {10.1109/TSE.2006.67},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BarakHM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Harel06,
author = {David Harel},
editor = {Thomas Ball and
Robert B. Jones},
title = {Playing with Verification, Planning and Aspects: Unusual Methods for
Running Scenario-Based Programs},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {3--4},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_3},
doi = {10.1007/11817963\_3},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/cav/Harel06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scesm/HarelM06,
author = {David Harel and
Shahar Maoz},
editor = {Jon Whittle and
Leif Geiger and
Michael Meisinger},
title = {Assert and negate revisited: modal semantics for {UML} sequence diagrams},
booktitle = {{SCESM} '06: Proceedings of the 2006 International Workshop on Scenarios
and State Machines: Models, Algorithms, and Tools, Shanghai, China,
May 27, 2006},
pages = {13--20},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1138953.1138958},
doi = {10.1145/1138953.1138958},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/scesm/HarelM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MaozH06,
author = {Shahar Maoz and
David Harel},
editor = {Michal Young and
Premkumar T. Devanbu},
title = {From multi-modal scenarios to code: compiling LSCs into aspectJ},
booktitle = {Proceedings of the 14th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2006, Portland, Oregon,
USA, November 5-11, 2006},
pages = {219--230},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181775.1181802},
doi = {10.1145/1181775.1181802},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MaozH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/Harel06,
author = {David Harel},
editor = {L. Felipe Perrone and
Barry Lawson and
Jason Liu and
Frederick P. Wieland},
title = {Comprehensive and realistic modeling of biological systems},
booktitle = {Proceedings of the Winter Simulation Conference {WSC} 2006, Monterey,
California, USA, December 3-6, 2006},
pages = {1625--1627},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/WSC.2006.322936},
doi = {10.1109/WSC.2006.322936},
timestamp = {Mon, 29 Apr 2024 16:19:40 +0200},
biburl = {https://dblp.org/rec/conf/wsc/Harel06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/SauroHKSUHMST06,
author = {Herbert M. Sauro and
David Harel and
Marta Z. Kwiatkowska and
Clifford A. Shaffer and
Adelinde M. Uhrmacher and
Michael Hucka and
Pedro Mendes and
Lena Str{\"{o}}mb{\"{a}}ck and
John J. Tyson},
editor = {L. Felipe Perrone and
Barry Lawson and
Jason Liu and
Frederick P. Wieland},
title = {Challenges for modeling and simulation methods in systems biology},
booktitle = {Proceedings of the Winter Simulation Conference {WSC} 2006, Monterey,
California, USA, December 3-6, 2006},
pages = {1720--1730},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/WSC.2006.322948},
doi = {10.1109/WSC.2006.322948},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsc/SauroHKSUHMST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2006,
editor = {Oscar Nierstrasz and
Jon Whittle and
David Harel and
Gianna Reggio},
title = {Model Driven Engineering Languages and Systems, 9th International
Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4199},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11880240},
doi = {10.1007/11880240},
isbn = {3-540-45772-0},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BrinksmaHMSW06,
author = {Ed Brinksma and
David Harel and
Angelika Mader and
Perdita Stevens and
Roel J. Wieringa},
editor = {Ed Brinksma and
David Harel and
Angelika Mader and
Perdita Stevens and
Roel J. Wieringa},
title = {06351 Summary -- Methods for Modelling Software Systems {(MMOSS)}},
booktitle = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06351},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/957},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BrinksmaHMSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BrinksmaHMSW06a,
author = {Ed Brinksma and
David Harel and
Angelika Mader and
Perdita Stevens and
Roel J. Wieringa},
editor = {Ed Brinksma and
David Harel and
Angelika Mader and
Perdita Stevens and
Roel J. Wieringa},
title = {06351 Abstracts Collection -- Methods for Modelling Software Systems
{(MMOSS)}},
booktitle = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06351},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/958},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/BrinksmaHMSW06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comgeo/KorenH05,
author = {Yehuda Koren and
David Harel},
title = {One-dimensional layout optimization, with applications to graph drawing
by axis separation},
journal = {Comput. Geom.},
volume = {32},
number = {2},
pages = {115--138},
year = {2005},
url = {https://doi.org/10.1016/j.comgeo.2005.03.003},
doi = {10.1016/J.COMGEO.2005.03.003},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comgeo/KorenH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/EfroniHC05,
author = {Sol Efroni and
David Harel and
Irun R. Cohen},
title = {Reactive Animation: Realistic Modeling of Complex Dynamic Systems},
journal = {Computer},
volume = {38},
number = {1},
pages = {38--47},
year = {2005},
url = {https://doi.org/10.1109/MC.2005.31},
doi = {10.1109/MC.2005.31},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/EfroniHC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CombesHK05,
author = {Pierre Combes and
David Harel and
Hillel Kugler},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {Modeling and Verification of a Telecommunication Application Using
Live Sequence Charts and the Play-Engine Tool},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {414--428},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_31},
doi = {10.1007/11562948\_31},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/CombesHK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarelKP05,
author = {David Harel and
Hillel Kugler and
Amir Pnueli},
editor = {Hans{-}J{\"{o}}rg Kreowski and
Ugo Montanari and
Fernando Orejas and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Synthesis Revisited: Generating Statechart Models from Scenario-Based
Requirements},
booktitle = {Formal Methods in Software and Systems Modeling, Essays Dedicated
to Hartmut Ehrig, on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3393},
pages = {309--324},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31847-7\_18},
doi = {10.1007/978-3-540-31847-7\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HarelKP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KuglerHPLB05,
author = {Hillel Kugler and
David Harel and
Amir Pnueli and
Yuan Lu and
Yves Bontemps},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Temporal Logic for Scenario-Based Specifications},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {445--460},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_29},
doi = {10.1007/978-3-540-31980-1\_29},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KuglerHPLB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0015433,
author = {David Harel and
Yishai A. Feldman},
title = {Algorithmics - the spirit of computing {(3.} ed.)},
publisher = {Addison-Wesley},
year = {2004},
isbn = {978-0-321-11784-7},
timestamp = {Thu, 14 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0015433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HarelR04,
author = {David Harel and
Bernhard Rumpe},
title = {Meaningful Modeling: What's the Semantics of "Semantics"?},
journal = {Computer},
volume = {37},
number = {10},
pages = {64--72},
year = {2004},
url = {https://doi.org/10.1109/MC.2004.172},
doi = {10.1109/MC.2004.172},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/HarelR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgaa/HarelK04,
author = {David Harel and
Yehuda Koren},
title = {Graph Drawing by High-Dimensional Embedding},
journal = {J. Graph Algorithms Appl.},
volume = {8},
number = {2},
pages = {195--214},
year = {2004},
url = {https://doi.org/10.7155/jgaa.00089},
doi = {10.7155/JGAA.00089},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jgaa/HarelK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvcg/CarmelHK04,
author = {Liran Carmel and
David Harel and
Yehuda Koren},
title = {Combining Hierarchy and Energy Drawing Directed Graphs},
journal = {{IEEE} Trans. Vis. Comput. Graph.},
volume = {10},
number = {1},
pages = {46--57},
year = {2004},
url = {https://doi.org/10.1109/TVCG.2004.1260757},
doi = {10.1109/TVCG.2004.1260757},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvcg/CarmelHK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FisherHHPSS04,
author = {Jasmin Fisher and
David Harel and
E. Jane Albert Hubbard and
Nir Piterman and
Michael J. Stern and
Naamah Swerdlin},
editor = {Vincent Danos and
Vincent Sch{\"{a}}chter},
title = {Combining State-Based and Scenario-Based Approaches in Modeling Biological
Systems},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2004, Paris, France, May 26-28, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3082},
pages = {236--241},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25974-9\_20},
doi = {10.1007/978-3-540-25974-9\_20},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/FisherHHPSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/HarelK04,
author = {David Harel and
Hillel Kugler},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {The Rhapsody Semantics of Statecharts (or, On the Executable Core
of the {UML)} - Preliminary Version},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {325--354},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_19},
doi = {10.1007/978-3-540-27863-4\_19},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/HarelK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/HarelKP04,
author = {David Harel and
Hillel Kugler and
Amir Pnueli},
title = {Smart Play-Out Extended: Time and Forbidden Elements},
booktitle = {4th International Conference on Quality Software {(QSIC} 2004), 8-10
September 2004, Braunschweig, Germany},
pages = {2--10},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QSIC.2004.1357938},
doi = {10.1109/QSIC.2004.1357938},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/HarelKP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Harel04,
author = {David Harel},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {A Grand Challenge for Computing: Towards Full Reactive Modeling of
a Multi-cellular Animal},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {323--324},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_26},
doi = {10.1007/978-3-540-24622-0\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Harel04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0015432,
author = {David Harel},
title = {Computers Ltd - what they really can't do},
publisher = {Oxford University Press},
year = {2003},
isbn = {978-0-19-860442-6},
timestamp = {Thu, 14 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0015432.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0009081,
author = {David Harel},
title = {Come, let's play - scenario-based programming using LSCs and the play-engine},
publisher = {Springer},
year = {2003},
url = {http://www.springer.com/computer/programming/book/978-3-540-00787-6},
isbn = {978-3-540-00787-6},
timestamp = {Tue, 12 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0009081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/03/HM2003,
author = {David Harel and
Rami Marelly},
title = {Come, Let's Play, Scenario-Based Programming Using LSCs and the Play-Engine},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-642-19029-2},
doi = {10.1007/978-3-642-19029-2},
isbn = {978-3-642-62416-2},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/03/HM2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candc/HarelCL03,
author = {David Harel and
Liran Carmel and
Doron Lancet},
title = {Towards an odor communication system},
journal = {Comput. Biol. Chem.},
volume = {27},
number = {2},
pages = {121--133},
year = {2003},
url = {https://doi.org/10.1016/S1476-9271(02)00092-0},
doi = {10.1016/S1476-9271(02)00092-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/candc/HarelCL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Harel03,
author = {David Harel},
title = {A Grand Challenge for Computing: Towards Full Reactive Modeling of
{A} Multi-Cellular Animal},
journal = {Bull. {EATCS}},
volume = {81},
pages = {226--235},
year = {2003},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Harel03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mmas/KorenCH03,
author = {Yehuda Koren and
Liran Carmel and
David Harel},
title = {Drawing Huge Graphs by Algebraic Multigrid Optimization},
journal = {Multiscale Model. Simul.},
volume = {1},
number = {4},
pages = {645--673},
year = {2003},
url = {https://doi.org/10.1137/S154034590241370X},
doi = {10.1137/S154034590241370X},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mmas/KorenCH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HarelM03,
author = {David Harel and
Rami Marelly},
title = {Specifying and executing behavioral requirements: the play-in/play-out
approach},
journal = {Softw. Syst. Model.},
volume = {2},
number = {2},
pages = {82--107},
year = {2003},
url = {https://doi.org/10.1007/s10270-002-0015-5},
doi = {10.1007/S10270-002-0015-5},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HarelM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KupfermanH03,
author = {Orna Kupferman and
David Harel},
title = {Response to "Comments on 'On Object Systems and Behavior Inheritance'"},
journal = {{IEEE} Trans. Software Eng.},
volume = {29},
number = {6},
pages = {576},
year = {2003},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2003.10002},
doi = {10.1109/TSE.2003.10002},
timestamp = {Thu, 10 Dec 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/KupfermanH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BarakHM03,
author = {Dan Barak and
David Harel and
Rami Marelly},
editor = {J{\"{o}}rg Desel and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based
Programming},
booktitle = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This
tutorial volume originates from the 4th Advanced Course on Petri Nets,
{ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003.
In addition to lectures given at {ACPN} 2003, additional chapters
have been commissioned]},
series = {Lecture Notes in Computer Science},
volume = {3098},
pages = {66--86},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-27755-2\_2},
doi = {10.1007/978-3-540-27755-2\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/BarakHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/KamHKMPHS03,
author = {Na'aman Kam and
David Harel and
Hillel Kugler and
Rami Marelly and
Amir Pnueli and
E. Jane Albert Hubbard and
Michael J. Stern},
editor = {Corrado Priami},
title = {Formal Modeling of C. elegans Development: {A} Scenario-Based Approach},
booktitle = {Computational Methods in Systems Biology, First International Workshop,
{CMSB} 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2602},
pages = {4--20},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36481-1\_2},
doi = {10.1007/3-540-36481-1\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/KamHKMPHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HarelKW03,
author = {David Harel and
Hillel Kugler and
Gera Weiss},
editor = {Stefan Leue and
Tarja Syst{\"{a}}},
title = {Some Methodological Observations Resulting from Experience Using LSCs
and the Play-In/Play-Out Approach},
booktitle = {Scenarios: Models, Transformations and Tools, International Workshop,
Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3466},
pages = {26--42},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/11495628\_2},
doi = {10.1007/11495628\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HarelKW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Harel03,
author = {David Harel},
editor = {Manfred Broy and
Alexandre V. Zamulin},
title = {On the Visualization and Aesthetics of Large Graphs: Short Abstract},
booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov
Memorial Conference, {PSI} 2003, Akademgorodok, Novosibirsk, Russia,
July 9-12, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2890},
pages = {120},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39866-0\_14},
doi = {10.1007/978-3-540-39866-0\_14},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Harel03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gd/KorenH03,
author = {Yehuda Koren and
David Harel},
editor = {Giuseppe Liotta},
title = {Axis-by-Axis Stress Minimization},
booktitle = {Graph Drawing, 11th International Symposium, {GD} 2003, Perugia, Italy,
September 21-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2912},
pages = {450--459},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24595-7\_42},
doi = {10.1007/978-3-540-24595-7\_42},
timestamp = {Sun, 13 Nov 2022 09:57:34 +0100},
biburl = {https://dblp.org/rec/conf/gd/KorenH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Harel03,
author = {David Harel},
editor = {Oded Maler and
Amir Pnueli},
title = {A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal},
booktitle = {Hybrid Systems: Computation and Control, 6th International Workshop,
{HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2623},
pages = {2},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36580-X\_2},
doi = {10.1007/3-540-36580-X\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Harel03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/KorenH03,
author = {Yehuda Koren and
David Harel},
editor = {Lise Getoor and
Ted E. Senator and
Pedro M. Domingos and
Christos Faloutsos},
title = {A two-way visualization method for clustered data},
booktitle = {Proceedings of the Ninth {ACM} {SIGKDD} International Conference on
Knowledge Discovery and Data Mining, Washington, DC, USA, August 24
- 27, 2003},
pages = {589--594},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/956750.956824},
doi = {10.1145/956750.956824},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kdd/KorenH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HarelKMP03,
author = {David Harel and
Hillel Kugler and
Rami Marelly and
Amir Pnueli},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {Smart play-out},
booktitle = {Companion of the 18th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2003,
October 26-30, 2003, Anaheim, CA, {USA}},
pages = {68--69},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949344.949353},
doi = {10.1145/949344.949353},
timestamp = {Fri, 25 Jun 2021 17:20:20 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/HarelKMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/03/HarelT03,
author = {David Harel and
P. S. Thiagarajan},
editor = {Luciano Lavagno and
Grant Martin and
Bran Selic},
title = {Message Sequence Charts},
booktitle = {{UML} for Real - Design of Embedded Real-Time Systems},
pages = {77--105},
publisher = {Kluwer},
year = {2003},
url = {https://doi.org/10.1007/0-306-48738-1\_4},
doi = {10.1007/0-306-48738-1\_4},
timestamp = {Tue, 20 Aug 2019 14:51:08 +0200},
biburl = {https://dblp.org/rec/books/sp/03/HarelT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0005427,
author = {David Harel},
title = {Das Affenpuzzle - und weitere bad news aus der Computerwelt},
publisher = {Springer},
year = {2002},
isbn = {978-3-540-42307-2},
timestamp = {Thu, 03 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0005427.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HarelKV02,
author = {David Harel and
Orna Kupferman and
Moshe Y. Vardi},
title = {On the Complexity of Verifying Concurrent Transition Systems},
journal = {Inf. Comput.},
volume = {173},
number = {2},
pages = {143--161},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.2920},
doi = {10.1006/INCO.2001.2920},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HarelKV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HarelK02,
author = {David Harel and
Hillel Kugler},
title = {Synthesizing State-Based Object Systems from {LSC} Specifications},
journal = {Int. J. Found. Comput. Sci.},
volume = {13},
number = {1},
pages = {5--51},
year = {2002},
url = {https://doi.org/10.1142/S0129054102000935},
doi = {10.1142/S0129054102000935},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/HarelK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgaa/HarelK02,
author = {David Harel and
Yehuda Koren},
title = {A Fast Multi-Scale Method for Drawing Large Graphs},
journal = {J. Graph Algorithms Appl.},
volume = {6},
number = {3},
pages = {179--202},
year = {2002},
url = {https://doi.org/10.7155/jgaa.00051},
doi = {10.7155/JGAA.00051},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jgaa/HarelK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HarelK02,
author = {David Harel and
Orna Kupferman},
title = {On Object Systems and Behavioral Inheritance},
journal = {{IEEE} Trans. Software Eng.},
volume = {28},
number = {9},
pages = {889--903},
year = {2002},
url = {https://doi.org/10.1109/TSE.2002.1033228},
doi = {10.1109/TSE.2002.1033228},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HarelK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vc/HarelY02,
author = {David Harel and
Gregory Yashchin},
title = {An algorithm for blob hierarchy layout},
journal = {Vis. Comput.},
volume = {18},
number = {3},
pages = {164--185},
year = {2002},
url = {https://doi.org/10.1007/s003710100133},
doi = {10.1007/S003710100133},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vc/HarelY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/HarelK02,
author = {David Harel and
Yehuda Koren},
editor = {Maria De Marsico and
Stefano Levialdi and
Emanuele Panizzi},
title = {Drawing graphs with non-uniform vertices},
booktitle = {Proceedings of the Working Conference on Advanced Visual Interfaces,
{AVI} 2002, Trento, Italy, May 22-24, 2002},
pages = {157--166},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/1556262.1556288},
doi = {10.1145/1556262.1556288},
timestamp = {Tue, 06 Nov 2018 16:58:13 +0100},
biburl = {https://dblp.org/rec/conf/avi/HarelK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/KamCH02,
author = {Na'aman Kam and
Irun R. Cohen and
David Harel},
editor = {Maria De Marsico and
Stefano Levialdi and
Emanuele Panizzi},
title = {Modeling biological reactivity: statecharts vs. Boolean logic},
booktitle = {Proceedings of the Working Conference on Advanced Visual Interfaces,
{AVI} 2002, Trento, Italy, May 22-24, 2002},
pages = {345--353},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/1556262.1556318},
doi = {10.1145/1556262.1556318},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/avi/KamCH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Harel02,
author = {David Harel},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Joseph Sifakis},
title = {Can Behavioral Requirements Be Executed? (And Why Would We Want to
Do So?)},
booktitle = {Embedded Software, Second International Conference, {EMSOFT} 2002,
Grenoble, France, October 7-9, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2491},
pages = {30--31},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45828-X\_3},
doi = {10.1007/3-540-45828-X\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/Harel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HarelKMP02,
author = {David Harel and
Hillel Kugler and
Rami Marelly and
Amir Pnueli},
editor = {Mark D. Aagaard and
John W. O'Leary},
title = {Smart Play-out of Behavioral Requirements},
booktitle = {Formal Methods in Computer-Aided Design, 4th International Conference,
{FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2517},
pages = {378--398},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36126-X\_23},
doi = {10.1007/3-540-36126-X\_23},
timestamp = {Fri, 10 Jan 2020 14:50:18 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/HarelKMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HarelEC02,
author = {David Harel and
Sol Efroni and
Irun R. Cohen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Reactive Animation},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {136--153},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_5},
doi = {10.1007/978-3-540-39656-7\_5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/HarelEC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gd/CarmelHK02,
author = {Liran Carmel and
David Harel and
Yehuda Koren},
editor = {Stephen G. Kobourov and
Michael T. Goodrich},
title = {Drawing Directed Graphs Using One-Dimensional Optimization},
booktitle = {Graph Drawing, 10th International Symposium, {GD} 2002, Irvine, CA,
USA, August 26-28, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2528},
pages = {193--206},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36151-0\_19},
doi = {10.1007/3-540-36151-0\_19},
timestamp = {Sun, 13 Nov 2022 09:57:34 +0100},
biburl = {https://dblp.org/rec/conf/gd/CarmelHK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gd/HarelK02,
author = {David Harel and
Yehuda Koren},
editor = {Stephen G. Kobourov and
Michael T. Goodrich},
title = {Graph Drawing by High-Dimensional Embedding},
booktitle = {Graph Drawing, 10th International Symposium, {GD} 2002, Irvine, CA,
USA, August 26-28, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2528},
pages = {207--219},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36151-0\_20},
doi = {10.1007/3-540-36151-0\_20},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gd/HarelK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Harel02,
author = {David Harel},
editor = {Andrea Corradini and
Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Can Behavioral Requirements Be Executed? (And Why Would We Want to
Do So?)},
booktitle = {Graph Transformation, First International Conference, {ICGT} 2002,
Barcelona, Spain, October 7-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2505},
pages = {6--7},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45832-8\_2},
doi = {10.1007/3-540-45832-8\_2},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/Harel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GeryHP02,
author = {Eran Gery and
David Harel and
Eldad Palachi},
editor = {Michael J. Butler and
Luigia Petre and
Kaisa Sere},
title = {Rhapsody: {A} Complete Life-Cycle Model-Based Development System},
booktitle = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
Turku, Finland, May 15-18, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2335},
pages = {1--10},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47884-1\_1},
doi = {10.1007/3-540-47884-1\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/GeryHP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infovis/KorenCH02,
author = {Yehuda Koren and
Liran Carmel and
David Harel},
editor = {Pak Chung Wong and
Keith Andrews},
title = {{ACE:} {A} Fast Multiscale Eigenvectors Computation for Drawing Huge
Graphs},
booktitle = {2002 {IEEE} Symposium on Information Visualization (InfoVis 2002),
27 October - 1 November 2002, Boston, MA, {USA}},
pages = {137--144},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/INFVIS.2002.1173159},
doi = {10.1109/INFVIS.2002.1173159},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/infovis/KorenCH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/HarelM02,
author = {David Harel and
Rami Marelly},
title = {Playing with Time: On the Specification and Execution of Time-Enriched
LSCs},
booktitle = {10th International Workshop on Modeling, Analysis, and Simulation
of Computer and Telecommunication Systems {(MASCOTS} 2002), 11-16
October 2002, Fort Worth, Texas, {USA}},
pages = {193--202},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/MASCOT.2002.1167077},
doi = {10.1109/MASCOT.2002.1167077},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/HarelM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MarellyHK02,
author = {Rami Marelly and
David Harel and
Hillel Kugler},
editor = {Mamdouh Ibrahim and
Satoshi Matsuoka},
title = {Multiple instances and symbolic variables in executable sequence charts},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2002, Seattle,
Washington, USA, November 4-8, 2002},
pages = {83--100},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/582419.582429},
doi = {10.1145/582419.582429},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MarellyHK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MarellyHK02a,
author = {Rami Marelly and
David Harel and
Hillel Kugler},
editor = {Mamdouh Ibrahim},
title = {Specifying and executing requirements: the play-in/play-out approach},
booktitle = {Companion of the 17th annual {ACM} {SIGPLAN} conference on Object-oriented
programming, systems, languages, and applications, {OOPSLA} 2002,
Seattle, Washington, USA, November 4-8, 2002},
pages = {84--85},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/985072.985115},
doi = {10.1145/985072.985115},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MarellyHK02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/KorenH02,
author = {Yehuda Koren and
David Harel},
editor = {Ludek Kucera},
title = {A Multi-scale Algorithm for the Linear Arrangement Problem},
booktitle = {Graph-Theoretic Concepts in Computer Science, 28th International Workshop,
{WG} 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2573},
pages = {296--309},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36379-3\_26},
doi = {10.1007/3-540-36379-3\_26},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wg/KorenH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Harel01,
author = {David Harel},
title = {From Play-In Scenarios to Code: An Achievable Dream},
journal = {Computer},
volume = {34},
number = {1},
pages = {53--60},
year = {2001},
url = {https://doi.org/10.1109/2.895118},
doi = {10.1109/2.895118},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Harel01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/HadanyH01,
author = {Ronny Hadany and
David Harel},
title = {A multi-scale algorithm for drawing graphs nicely},
journal = {Discret. Appl. Math.},
volume = {113},
number = {1},
pages = {3--21},
year = {2001},
url = {https://doi.org/10.1016/S0166-218X(00)00389-9},
doi = {10.1016/S0166-218X(00)00389-9},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/HadanyH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/DammH01,
author = {Werner Damm and
David Harel},
title = {LSCs: Breathing Life into Message Sequence Charts},
journal = {Formal Methods Syst. Des.},
volume = {19},
number = {1},
pages = {45--80},
year = {2001},
url = {https://doi.org/10.1023/A:1011227529550},
doi = {10.1023/A:1011227529550},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/DammH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/HarelKT01,
author = {David Harel and
Dexter Kozen and
Jerzy Tiuryn},
title = {Dynamic logic},
journal = {{SIGACT} News},
volume = {32},
number = {1},
pages = {66--69},
year = {2001},
url = {https://doi.org/10.1145/568438.568456},
doi = {10.1145/568438.568456},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/HarelKT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HarelK01,
author = {David Harel and
Yehuda Koren},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {On Clustering Using Random Walks},
booktitle = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical
Computer Science, 21st Conference, Bangalore, India, December 13-15,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2245},
pages = {18--41},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45294-X\_3},
doi = {10.1007/3-540-45294-X\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HarelK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/HarelK01,
author = {David Harel and
Yehuda Koren},
editor = {Doheon Lee and
Mario Schkolnick and
Foster J. Provost and
Ramakrishnan Srikant},
title = {Clustering spatial data using random walks},
booktitle = {Proceedings of the seventh {ACM} {SIGKDD} international conference
on Knowledge discovery and data mining, San Francisco, CA, USA, August
26-29, 2001},
pages = {281--286},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/502512.502552},
doi = {10.1145/502512.502552},
timestamp = {Tue, 01 Jun 2021 15:21:34 +0200},
biburl = {https://dblp.org/rec/conf/kdd/HarelK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/omer/Harel01,
author = {David Harel},
editor = {Peter P. Hofmann and
Andy Sch{\"{u}}rr},
title = {On the Behavior of Complex Object-Oriented Systems},
booktitle = {{OMER} - Object-Oriented Modeling of Embedded Real-Time Systems, GI-Workshops
{OMER-1} {\&} {OMER-2} May 28/29, 1999 {\&} May 10-12, 2001,
Herrsching am Amersee, Germany},
series = {{LNI}},
volume = {{P-5}},
pages = {11--15},
publisher = {{GI}},
year = {2001},
url = {http://subs.emis.de/LNI/Proceedings/Proceedings05/article104.html},
timestamp = {Tue, 12 Jan 2021 18:54:13 +0100},
biburl = {https://dblp.org/rec/conf/omer/Harel01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/KamCH01,
author = {Na'aman Kam and
Irun R. Cohen and
David Harel},
title = {The Immune System as a Reactive System: Modeling {T} Cell Activation
With Statecharts},
booktitle = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
Languages and Environments {(HCC} 2001), September 5-7, 2001 Stresa,
Italy},
pages = {15--22},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HCC.2001.995228},
doi = {10.1109/HCC.2001.995228},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/KamCH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/HarelY00,
author = {David Harel and
Gregory Yashchin},
editor = {Vito Di Ges{\`{u}} and
Stefano Levialdi and
Laura Tarantino},
title = {An Algorithm for Blob Hierarchy Layout},
booktitle = {Proceedings of the working conference on Advanced visual interfaces,
{AVI} 2000, Palermo, Italy, May 23-26, 2000},
pages = {29--40},
publisher = {{ACM} Press},
year = {2000},
url = {https://doi.org/10.1145/345513.345240},
doi = {10.1145/345513.345240},
timestamp = {Tue, 06 Nov 2018 16:58:13 +0100},
biburl = {https://dblp.org/rec/conf/avi/HarelY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/HarelK00,
author = {David Harel and
Yehuda Koren},
editor = {Vito Di Ges{\`{u}} and
Stefano Levialdi and
Laura Tarantino},
title = {A Fast Multi-Scale Method for Drawing Large Graphs},
booktitle = {Proceedings of the working conference on Advanced visual interfaces,
{AVI} 2000, Palermo, Italy, May 23-26, 2000},
pages = {282--285},
publisher = {{ACM} Press},
year = {2000},
url = {https://doi.org/10.1145/345513.345353},
doi = {10.1145/345513.345353},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/avi/HarelK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Harel00,
author = {David Harel},
editor = {Franz Baader and
Ulrike Sattler},
title = {From Play-In Scenarios To Code: An Achievable Dream},
booktitle = {Proceedings of the 2000 International Workshop on Description Logics
(DL2000), Aachen, Germany, August 17-19, 2000},
series = {{CEUR} Workshop Proceedings},
volume = {33},
pages = {9},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-33/Harel9.ps},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Harel00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Harel00,
author = {David Harel},
editor = {T. S. E. Maibaum},
title = {From Play-In Scenarios to Code: An Achievable Dream},
booktitle = {Fundamental Approaches to Software Engineering, Third Internationsl
Conference, {FASE} 2000, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany,
March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1783},
pages = {22--34},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46428-X\_3},
doi = {10.1007/3-540-46428-X\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/Harel00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gd/HarelK00,
author = {David Harel and
Yehuda Koren},
editor = {Joe Marks},
title = {A Fast Multi-scale Method for Drawing Large Graphs},
booktitle = {Graph Drawing, 8th International Symposium, {GD} 2000, Colonial Williamsburg,
VA, USA, September 20-23, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1984},
pages = {183--196},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44541-2\_18},
doi = {10.1007/3-540-44541-2\_18},
timestamp = {Sun, 13 Nov 2022 09:57:35 +0100},
biburl = {https://dblp.org/rec/conf/gd/HarelK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/HarelK00,
author = {David Harel and
Orna Kupferman},
editor = {Qizoyan Li and
Donald Firesmith and
Richard Riehle and
Bertrand Meyer},
title = {On the Behavioral Inheritance of State-Based Objects},
booktitle = {{TOOLS} 2000: 34th International Conference on Technology of Object-Oriented
Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA,
{USA}},
pages = {83--94},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/TOOLS.2000.868961},
doi = {10.1109/TOOLS.2000.868961},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/HarelK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/HarelK00,
author = {David Harel and
Hillel Kugler},
editor = {Sheng Yu and
Andrei Paun},
title = {Synthesizing State-Based Object Systems from {LSC} Specifications},
booktitle = {Implementation and Application of Automata, 5th International Conference,
{CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2088},
pages = {1--33},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44674-5\_1},
doi = {10.1007/3-540-44674-5\_1},
timestamp = {Thu, 19 Mar 2020 15:28:05 +0100},
biburl = {https://dblp.org/rec/conf/wia/HarelK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HarelS99,
author = {David Harel and
Eli Singerman},
title = {Computation Paths Logic: An Expressive, yet Elementary, Process Logic},
journal = {Ann. Pure Appl. Log.},
volume = {96},
number = {1-3},
pages = {167--186},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(98)00038-4},
doi = {10.1016/S0168-0072(98)00038-4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/HarelS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csedu/Gal-EzerH99,
author = {Judith Gal{-}Ezer and
David Harel},
title = {Curriculum and Course Syllabi for a High-School {CS} Program},
journal = {Comput. Sci. Educ.},
volume = {9},
number = {2},
pages = {114--147},
year = {1999},
url = {https://doi.org/10.1076/csed.9.2.114.3807},
doi = {10.1076/CSED.9.2.114.3807},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csedu/Gal-EzerH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/DammH99,
author = {Werner Damm and
David Harel},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {LSCs: Breathing Life into Message Sequence Charts},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/DammH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/HadanyH99,
author = {Ronny Hadany and
David Harel},
editor = {Peter Widmayer and
Gabriele Neyer and
Stephan J. Eidenbenz},
title = {A Multi-Scale Algorithm for Drawing Graphs Nicely},
booktitle = {Graph-Theoretic Concepts in Computer Science, 25th International Workshop,
{WG} '99, Ascona, Switzerland, June 17-19, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1665},
pages = {262--277},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46784-X\_26},
doi = {10.1007/3-540-46784-X\_26},
timestamp = {Wed, 11 Sep 2019 13:15:53 +0200},
biburl = {https://dblp.org/rec/conf/wg/HadanyH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/HarelS98,
author = {David Harel and
Meir Sardas},
title = {An Algorithm for Straight-Line Drawing of Planar Graphs},
journal = {Algorithmica},
volume = {20},
number = {2},
pages = {119--135},
year = {1998},
url = {https://doi.org/10.1007/PL00009189},
doi = {10.1007/PL00009189},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/HarelS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Gal-EzerH98,
author = {Judith Gal{-}Ezer and
David Harel},
title = {What (Else) Should {CS} Educators Know?},
journal = {Commun. {ACM}},
volume = {41},
number = {9},
pages = {77--84},
year = {1998},
url = {https://doi.org/10.1145/285070.285085},
doi = {10.1145/285070.285085},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Gal-EzerH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcu/Harel98,
author = {David Harel},
editor = {Maurice Margenstern},
title = {Towards a Theory of Recursive Structures},
booktitle = {International Colloquium Universal Machines and Computations, MCU'98,
Metz, France, March 23-27, 1998, Proceedings, Volume {I}},
pages = {93--114},
publisher = {{IUT} Metz},
year = {1998},
timestamp = {Fri, 21 Apr 2006 09:43:59 +0200},
biburl = {https://dblp.org/rec/conf/mcu/Harel98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Harel98,
author = {David Harel},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Towards a Theory of Recursive Structures},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {36--53},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055756},
doi = {10.1007/BFB0055756},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Harel98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Harel98,
author = {David Harel},
editor = {Johan Jeuring},
title = {On the Aesthetics of Diagrams (Summary of Talk)},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {1--5},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054280},
doi = {10.1007/BFB0054280},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Harel98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HarelG97,
author = {David Harel and
Eran Gery},
title = {Executable Object Modeling with Statecharts},
journal = {Computer},
volume = {30},
number = {7},
pages = {31--42},
year = {1997},
url = {https://doi.org/10.1109/2.596624},
doi = {10.1109/2.596624},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/HarelG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Harel97,
author = {David Harel},
editor = {Orna Grumberg},
title = {Some Thoughts on Statecharts, 13 Years Later},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {226--231},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_23},
doi = {10.1007/3-540-63166-6\_23},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Harel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HarelKV97,
author = {David Harel and
Orna Kupferman and
Moshe Y. Vardi},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {On the Complexity of Verifying Concurrent Transition Systems},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {258--272},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_18},
doi = {10.1007/3-540-63141-0\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/HarelKV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HarelS97,
author = {David Harel and
Eli Singerman},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Computation Paths Logic: An Expressive, yet Elementary, Process Logic
(abridged version)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {408--418},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_197},
doi = {10.1007/3-540-63165-8\_197},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HarelS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Harel97,
author = {David Harel},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Towards a Theory of Recursive Structures (extended abstract)},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {141--144},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_15},
doi = {10.1007/3-540-63045-7\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Harel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ngits/Harel97,
author = {David Harel},
editor = {Abraham Silberschatz and
Peretz Shoval},
title = {On the Aesthetics of Diagrams},
booktitle = {Next Generation Information Technologies and Systems {(NGITS} '97),
Third International Workshop, Neve Ilan, Israel, June 30 - July 3,
1997},
year = {1997},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ngits/Harel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Harel97,
author = {David Harel},
title = {Will {I} Be Pretty, Will {I} Be Rich? Some Thoughts on Theory vs.
Practice in Systems Engineering},
booktitle = {3rd {IEEE} International Symposium on Requirements Engineering (RE'97),
January 5-8, 1997, Annapolis, MD, {USA}},
pages = {184},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISRE.1997.566868},
doi = {10.1109/ISRE.1997.566868},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/Harel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/CoplienGHM97,
author = {James Coplien and
Joseph Gil and
David Harel and
Bertrand Meyer},
title = {Keynotes},
booktitle = {{TOOLS} 1997: 23rd International Conference on Technology of Object-Oriented
Languages and Systems, July 28 - August 1, 1997, Santa Barbara, CA,
{USA}},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.10018},
doi = {10.1109/TOOLS.1997.10018},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/CoplienGHM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/Harel97,
author = {David Harel},
title = {On the Aesthetics of Diagrams},
booktitle = {Proceedings 1997 {IEEE} Symposium on Visual Languages, Isle of Capri,
Italy, September 23-26, 1997},
pages = {128--130},
publisher = {{IEEE} Computer Society},
year = {1997},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/vl/Harel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HarelS96,
author = {David Harel and
Eli Singerman},
title = {More on Nonregular {PDL:} Finite Models and Fibonacci-Like Programs},
journal = {Inf. Comput.},
volume = {128},
number = {2},
pages = {109--118},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0066},
doi = {10.1006/INCO.1996.0066},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HarelS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HirstH96,
author = {Tirza Hirst and
David Harel},
title = {Completeness Results for Recursive Data Bases},
journal = {J. Comput. Syst. Sci.},
volume = {52},
number = {3},
pages = {522--536},
year = {1996},
url = {https://doi.org/10.1006/jcss.1996.0039},
doi = {10.1006/JCSS.1996.0039},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HirstH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HirstH96a,
author = {Tirza Hirst and
David Harel},
title = {Taking It to the Limit: On Infinite Variants of NP-Complete Problems},
journal = {J. Comput. Syst. Sci.},
volume = {53},
number = {2},
pages = {180--193},
year = {1996},
url = {https://doi.org/10.1006/jcss.1996.0060},
doi = {10.1006/JCSS.1996.0060},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HirstH96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GlobermanH96,
author = {Noa Globerman and
David Harel},
title = {Complexity Results for Two-Way and Multi-Pebble Automata and their
Logics},
journal = {Theor. Comput. Sci.},
volume = {169},
number = {2},
pages = {161--184},
year = {1996},
url = {https://doi.org/10.1016/S0304-3975(96)00119-3},
doi = {10.1016/S0304-3975(96)00119-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GlobermanH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tog/DavidsonH96,
author = {Ron Davidson and
David Harel},
title = {Drawing Graphs Nicely Using Simulated Annealing},
journal = {{ACM} Trans. Graph.},
volume = {15},
number = {4},
pages = {301--331},
year = {1996},
url = {https://doi.org/10.1145/234535.234538},
doi = {10.1145/234535.234538},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tog/DavidsonH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/HarelN96,
author = {David Harel and
Amnon Naamad},
title = {The {STATEMATE} Semantics of Statecharts},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {5},
number = {4},
pages = {293--333},
year = {1996},
url = {https://doi.org/10.1145/235321.235322},
doi = {10.1145/235321.235322},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/HarelN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Harel96,
author = {David Harel},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Some Thoughts on Statecharts, 13 Years Later (Abstract)},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {361},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027819},
doi = {10.1007/BFB0027819},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/Harel96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/DouglassHT96,
author = {Bruce Powel Douglass and
David Harel and
Mark B. Trakhtenbrot},
editor = {Grzegorz Rozenberg and
Frits W. Vaandrager},
title = {Statecharts in Use: Structured Analysis and Object-Orientation},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on
Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
series = {Lecture Notes in Computer Science},
volume = {1494},
pages = {368--394},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65193-4\_29},
doi = {10.1007/3-540-65193-4\_29},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/eef/DouglassHT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HarelG96,
author = {David Harel and
Eran Gery},
editor = {H. Dieter Rombach and
T. S. E. Maibaum and
Marvin V. Zelkowitz},
title = {Executable Object Modeling with Statecharts},
booktitle = {18th International Conference on Software Engineering, Berlin, Germany,
March 25-29, 1996, Proceedings},
pages = {246--257},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {http://portal.acm.org/citation.cfm?id=227726.227770},
timestamp = {Mon, 17 Sep 2012 17:53:34 +0200},
biburl = {https://dblp.org/rec/conf/icse/HarelG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HirstH96,
author = {Tirza Hirst and
David Harel},
title = {More About Recursive Structures: Descriptive Complexity and Zero-One
Laws},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {334--347},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561361},
doi = {10.1109/LICS.1996.561361},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HirstH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Harel96,
author = {David Harel},
editor = {Keith G. Jeffery and
Jaroslav Kr{\'{a}}l and
Miroslav Bartosek},
title = {Statecharts: Past, Present and Future (abstract)},
booktitle = {{SOFSEM} '96: Theory and Practice of Informatics, 23rd Seminar on
Current Trends in Theory and Practice of Informatics, Milovy, Czech
Republic, November 23-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1175},
pages = {285},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0037410},
doi = {10.1007/BFB0037410},
timestamp = {Mon, 16 Sep 2019 15:23:32 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Harel96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Gal-EzerBHY95,
author = {Judith Gal{-}Ezer and
Catriel Beeri and
David Harel and
Amiram Yehudai},
title = {A High School Program in Computer Science},
journal = {Computer},
volume = {28},
number = {10},
pages = {73--80},
year = {1995},
url = {https://doi.org/10.1109/2.467599},
doi = {10.1109/2.467599},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Gal-EzerBHY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Harel95,
author = {David Harel},
title = {Will {I} be pretty, will {I} be rich?: some thoughts on theory vs.
practice in systems engineering},
journal = {{SIGACT} News},
volume = {26},
number = {2},
pages = {21--25},
year = {1995},
url = {https://doi.org/10.1145/202840.202843},
doi = {10.1145/202840.202843},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Harel95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/HarelS95,
author = {David Harel and
Meir Sardas},
title = {Randomized Graph Drawing with Heavy-Duty Preprocessing},
journal = {J. Vis. Lang. Comput.},
volume = {6},
number = {3},
pages = {233--253},
year = {1995},
url = {https://doi.org/10.1006/jvlc.1995.1014},
doi = {10.1006/JVLC.1995.1014},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/HarelS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Harel95,
author = {David Harel},
editor = {Insup Lee and
Scott A. Smolka},
title = {Will {I} be Preety, Will {I} be Rich? Some Thoughts on Theory vs.
Practice in Systems Engineering},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {264--268},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_19},
doi = {10.1007/3-540-60218-6\_19},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/concur/Harel95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/HarelS95,
author = {David Harel and
Eli Singerman},
title = {More on Nonregular {PDL:} Expressive Power, Finite Models, Fibonacci
Programs},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {140--149},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377037},
doi = {10.1109/ISTCS.1995.377037},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/HarelS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/cstoday95/Harel95,
author = {David Harel},
editor = {Jan van Leeuwen},
title = {Towards a theory of Recursive Structures},
booktitle = {Computer Science Today: Recent Trends and Developments},
series = {Lecture Notes in Computer Science},
volume = {1000},
pages = {374--391},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015255},
doi = {10.1007/BFB0015255},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/books/sp/cstoday95/Harel95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HarelR94,
author = {David Harel and
Danny Raz},
title = {Deciding Emptiness for Stack Automata on Infinite Trees},
journal = {Inf. Comput.},
volume = {113},
number = {2},
pages = {278--299},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1073},
doi = {10.1006/INCO.1994.1073},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HarelR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DrusinskyH94,
author = {Doron Drusinsky and
David Harel},
title = {On the Power of Bounded Concurrency {I:} Finite Automata},
journal = {J. {ACM}},
volume = {41},
number = {3},
pages = {517--539},
year = {1994},
url = {https://doi.org/10.1145/176584.176587},
doi = {10.1145/176584.176587},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/DrusinskyH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HirstH94,
author = {Tirza Hirst and
David Harel},
title = {On the Power of Bounded Concurrency {II:} Pushdown Automata},
journal = {J. {ACM}},
volume = {41},
number = {3},
pages = {540--554},
year = {1994},
url = {https://doi.org/10.1145/176584.176588},
doi = {10.1145/176584.176588},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/HirstH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Etzion-PetruschkaHM94,
author = {Yael Etzion{-}Petruschka and
David Harel and
Dale Myers},
title = {On the Solvability of Domino Snake Problems},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {2},
pages = {243--269},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90174-0},
doi = {10.1016/0304-3975(94)90174-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Etzion-PetruschkaHM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/HarelS94,
author = {David Harel and
Meir Sardas},
editor = {Maria Francesca Costabile and
Tiziana Catarci and
Stefano Levialdi and
Giuseppe Santucci},
title = {Randomized Graph Drawing with Heavy-Duty Preprocessing},
booktitle = {Proceedings of the Workshop on Advanced Visual Interfaces, {AVI} 1994,
Bari, Italy, June 1-4, 1994},
pages = {19--33},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/192309.192319},
doi = {10.1145/192309.192319},
timestamp = {Tue, 06 Nov 2018 16:58:13 +0100},
biburl = {https://dblp.org/rec/conf/avi/HarelS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GlobermanH94,
author = {Noa Globerman and
David Harel},
editor = {Serge Abiteboul and
Eli Shamir},
title = {Complexity Results for Multi-Pebble Automata and their Logics},
booktitle = {Automata, Languages and Programming, 21st International Colloquium,
ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {820},
pages = {73--82},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58201-0\_59},
doi = {10.1007/3-540-58201-0\_59},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GlobermanH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Harel94,
author = {David Harel},
editor = {Victor Vianu},
title = {Will {I} be Pretty, Will {I} be Rich? Some Thoughts on Theory vs.
Practice in Systems Engineering (Summary)},
booktitle = {Proceedings of the Thirteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota,
{USA}},
pages = {1--3},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/182591.182592},
doi = {10.1145/182591.182592},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/Harel94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Harel94,
author = {David Harel},
editor = {Patrice Enjalbert and
Ernst W. Mayr and
Klaus W. Wagner},
title = {Towards a Theory of Recursive Structures},
booktitle = {{STACS} 94, 11th Annual Symposium on Theoretical Aspects of Computer
Science, Caen, France, February 24-26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {775},
pages = {633--645},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57785-8\_177},
doi = {10.1007/3-540-57785-8\_177},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Harel94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/HarelR93,
author = {David Harel and
Danny Raz},
title = {Deciding Properties of Nonregular Programs},
journal = {{SIAM} J. Comput.},
volume = {22},
number = {4},
pages = {857--874},
year = {1993},
url = {https://doi.org/10.1137/0222054},
doi = {10.1137/0222054},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/HarelR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/HirstH93,
author = {Tirza Hirst and
David Harel},
title = {Taking it to the Limit: On Infinite Variants of NP-Complete Problems},
booktitle = {Proceedings of the Eigth Annual Structure in Complexity Theory Conference,
San Diego, CA, USA, May 18-21, 1993},
pages = {292--304},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/SCT.1993.336518},
doi = {10.1109/SCT.1993.336518},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/HirstH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/Harel93,
author = {David Harel},
editor = {Ian Sommerville and
Manfred Paul},
title = {Computers are not Omnipotent (Abstract)},
booktitle = {Software Engineering - {ESEC} '93, 4th European Software Engineering
Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {717},
pages = {10},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57209-0\_2},
doi = {10.1007/3-540-57209-0\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/esec/Harel93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/HirstH93,
author = {Tirza Hirst and
David Harel},
editor = {Catriel Beeri},
title = {Completeness Results for Recursive Data Bases},
booktitle = {Proceedings of the Twelfth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 25-28, 1993, Washington, DC,
{USA}},
pages = {244--252},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/153850.153905},
doi = {10.1145/153850.153905},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/HirstH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Harel92,
author = {David Harel},
title = {Biting the Silver Bullet - Toward a Brighter Future for System Development},
journal = {Computer},
volume = {25},
number = {1},
pages = {8--20},
year = {1992},
url = {https://doi.org/10.1109/2.108047},
doi = {10.1109/2.108047},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Harel92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/HarelK92,
author = {David Harel and
Chaim{-}Arie Kahana},
title = {On Statecharts with Overlapping},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {1},
number = {4},
pages = {399--421},
year = {1992},
url = {https://doi.org/10.1145/136586.136589},
doi = {10.1145/136586.136589},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/HarelK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/Harel92,
author = {David Harel},
editor = {Manfred Broy},
title = {How Hard is it to Reason about Propositional Programs?},
booktitle = {Program Design Calculi, Proceedings of the {NATO} Advanced Study Institute
on Program Design Calculi, Marktoberdorf, Germany, July 28 - August
9, 1992},
series = {{NATO} {ASI} Series},
volume = {118},
pages = {265--284},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-662-02880-3\_9},
doi = {10.1007/978-3-662-02880-3\_9},
timestamp = {Wed, 16 Mar 2022 23:55:57 +0100},
biburl = {https://dblp.org/rec/conf/nato/Harel92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Harel91,
author = {David Harel},
editor = {Cris Koutsougeras and
Jeffrey Scott Vitter},
title = {Hamiltonian Paths in Infinite Graphs},
booktitle = {Proceedings of the 23rd Annual {ACM} Symposium on Theory of Computing,
May 5-8, 1991, New Orleans, Louisiana, {USA}},
pages = {220--229},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/103418.103445},
doi = {10.1145/103418.103445},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Harel91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HarelLNPPSST90,
author = {David Harel and
Hagi Lachover and
Amnon Naamad and
Amir Pnueli and
Michal Politi and
Rivi Sherman and
Aharon Shtull{-}Trauring and
Mark B. Trakhtenbrot},
title = {{STATEMATE:} {A} Working Environment for the Development of Complex
Reactive Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {16},
number = {4},
pages = {403--414},
year = {1990},
url = {https://doi.org/10.1109/32.54292},
doi = {10.1109/32.54292},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HarelLNPPSST90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/HirstH90,
author = {Tirza Hirst and
David Harel},
editor = {Andr{\'{e}} Arnold},
title = {On the Power of Bounded Concurrency {II:} The Pushdown Automata Level},
booktitle = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
Denmark, May 15-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {431},
pages = {1--17},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52590-4\_37},
doi = {10.1007/3-540-52590-4\_37},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/HirstH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/HarelR90,
author = {David Harel and
Danny Raz},
title = {Deciding Properties of Nonregular Programs (Preliminary Version)},
booktitle = {31st Annual Symposium on Foundations of Computer Science, St. Louis,
Missouri, USA, October 22-24, 1990, Volume {II}},
pages = {652--661},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/FSCS.1990.89587},
doi = {10.1109/FSCS.1990.89587},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/HarelR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Harel90,
author = {David Harel},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {How Hard Is It to Reason about Propositional Programs?},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {772--773},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Harel90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HarelRV90,
author = {David Harel and
Roni Rosner and
Moshe Y. Vardi},
title = {On the Power of Bounded Concurrency{\textasciitilde}III: Reasoning
About Programs (Preliminary Report)},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
{(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
pages = {478--488},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113770},
doi = {10.1109/LICS.1990.113770},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HarelRV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0070714,
author = {David Harel},
title = {The science of computing - exploring the nature and power of algorithms},
publisher = {Addison-Wesley},
year = {1989},
isbn = {978-0-201-51723-1},
timestamp = {Thu, 05 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0070714.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/DrusinskyH89,
author = {Doron Drusinsky and
David Harel},
title = {Using statecharts for hardware description and synthesis},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {8},
number = {7},
pages = {798--807},
year = {1989},
url = {https://doi.org/10.1109/43.31537},
doi = {10.1109/43.31537},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/DrusinskyH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Harel89,
author = {David Harel},
editor = {Antoni Kreczmar and
Grazyna Mirkowska},
title = {A Thesis for Bounded Concurrency},
booktitle = {Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik,
Poland, August 28 - September 1, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {379},
pages = {35--48},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51486-4\_55},
doi = {10.1007/3-540-51486-4\_55},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Harel89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Harel88,
author = {David Harel},
title = {On Visual Formalisms},
journal = {Commun. {ACM}},
volume = {31},
number = {5},
pages = {514--530},
year = {1988},
url = {https://doi.org/10.1145/42411.42414},
doi = {10.1145/42411.42414},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Harel88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DrusinskyH88,
author = {Doron Drusinsky and
David Harel},
editor = {Friedrich H. Vogt},
title = {On the Power of Cooperative Concurrency},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {74--103},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_34},
doi = {10.1007/3-540-50403-6\_34},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/concur/DrusinskyH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HarelLNPPSS88,
author = {David Harel and
Hagi Lachover and
Amnon Naamad and
Amir Pnueli and
Michal Politi and
Rivi Sherman and
Aharon Shtull{-}Trauring},
editor = {Tan Chin Nam and
Larry E. Druffel and
Bertrand Meyer},
title = {STATEMATE; {A} Working Environment for the Development of Complex
Reactive Systems},
booktitle = {Proceedings, 10th International Conference on Software Engineering,
Singapore, Singapore, April 11-15, 1988},
pages = {396--406},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {http://dl.acm.org/citation.cfm?id=55861},
timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
biburl = {https://dblp.org/rec/conf/icse/HarelLNPPSS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0070715,
author = {David Harel},
title = {Algorithmics - the spirit of computing {(2.} ed.)},
publisher = {Addison-Wesley},
year = {1987},
isbn = {978-0-201-19240-7},
timestamp = {Thu, 14 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0070715.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Harel87,
author = {David Harel},
title = {Statecharts: {A} Visual Formalism for Complex Systems},
journal = {Sci. Comput. Program.},
volume = {8},
number = {3},
pages = {231--274},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90035-9},
doi = {10.1016/0167-6423(87)90035-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Harel87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Harel87,
author = {David Harel},
title = {Logic and databases: a critique},
journal = {{ACM} {SIGPLAN} Notices},
volume = {22},
number = {3},
pages = {14--20},
year = {1987},
url = {https://doi.org/10.1145/24697.24698},
doi = {10.1145/24697.24698},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Harel87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HarelPSS87,
author = {David Harel and
Amir Pnueli and
Jeanette P. Schmidt and
Rivi Sherman},
title = {On the Formal Semantics of Statecharts (Extended Abstract)},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {54--64},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HarelPSS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/UngerHS86,
author = {Ron Unger and
David Harel and
Joel L. Sussman},
title = {{DNAMAT:} an efficient graphic matrix sequence homology algorithm
and its application to structural analysis},
journal = {Comput. Appl. Biosci.},
volume = {2},
number = {4},
pages = {283--289},
year = {1986},
url = {https://doi.org/10.1093/bioinformatics/2.4.283},
doi = {10.1093/BIOINFORMATICS/2.4.283},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/UngerHS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Harel86,
author = {David Harel},
title = {Effective transformations on infinite trees, with applications to
high undecidability, dominoes, and fairness},
journal = {J. {ACM}},
volume = {33},
number = {1},
pages = {224--248},
year = {1986},
url = {https://doi.org/10.1145/4904.4993},
doi = {10.1145/4904.4993},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Harel86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Harel86,
author = {David Harel},
title = {Logic and databases: a critique},
journal = {{SIGACT} News},
volume = {18},
number = {1},
pages = {68--74},
year = {1986},
url = {https://doi.org/10.1145/8312.8318},
doi = {10.1145/8312.8318},
timestamp = {Wed, 28 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Harel86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HarelS85,
author = {David Harel and
Rivi Sherman},
title = {Propositional Dynamic Logic of Flowcharts},
journal = {Inf. Control.},
volume = {64},
number = {1-3},
pages = {119--135},
year = {1985},
url = {https://doi.org/10.1016/S0019-9958(85)80047-4},
doi = {10.1016/S0019-9958(85)80047-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HarelS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HarelP85,
author = {David Harel and
David Peleg},
title = {More on Looping vs. Repeating in Dynamic Logic},
journal = {Inf. Process. Lett.},
volume = {20},
number = {2},
pages = {87--90},
year = {1985},
url = {https://doi.org/10.1016/0020-0190(85)90069-9},
doi = {10.1016/0020-0190(85)90069-9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HarelP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ChandraH85,
author = {Ashok K. Chandra and
David Harel},
title = {Horn Clauses Queries and Generalizations},
journal = {J. Log. Program.},
volume = {2},
number = {1},
pages = {1--15},
year = {1985},
url = {https://doi.org/10.1016/0743-1066(85)90002-0},
doi = {10.1016/0743-1066(85)90002-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ChandraH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarelP85,
author = {David Harel and
David Peleg},
title = {Process Logic with Regular Formulas},
journal = {Theor. Comput. Sci.},
volume = {38},
pages = {307--322},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90225-7},
doi = {10.1016/0304-3975(85)90225-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarelP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HarelP84,
author = {David Harel and
David Peleg},
title = {On Static Logics, Dynamic Logics, and Complexity Classes},
journal = {Inf. Control.},
volume = {60},
number = {1-3},
pages = {86--102},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80023-6},
doi = {10.1016/S0019-9958(84)80023-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HarelP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HarelK84,
author = {David Harel and
Dexter Kozen},
title = {A Programming Language for the Inductive Sets, and Applications},
journal = {Inf. Control.},
volume = {63},
number = {1/2},
pages = {118--139},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80045-5},
doi = {10.1016/S0019-9958(84)80045-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HarelK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FeldmanH84,
author = {Yishai A. Feldman and
David Harel},
title = {A Probabilistic Dynamic Logic},
journal = {J. Comput. Syst. Sci.},
volume = {28},
number = {2},
pages = {193--215},
year = {1984},
url = {https://doi.org/10.1016/0022-0000(84)90065-5},
doi = {10.1016/0022-0000(84)90065-5},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FeldmanH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HarelP84,
author = {David Harel and
Mike Paterson},
title = {Undecidability of {PDL} with L=\{a{\^{}}(2i){\(\vert\)}i{\textgreater}=0\}},
journal = {J. Comput. Syst. Sci.},
volume = {29},
number = {3},
pages = {359--365},
year = {1984},
url = {https://doi.org/10.1016/0022-0000(84)90005-9},
doi = {10.1016/0022-0000(84)90005-9},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HarelP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ShermanPH84,
author = {Rivi Sherman and
Amir Pnueli and
David Harel},
title = {Is the Interesting Part of Process Logic Uninteresting? {A} Translation
from {PL} to {PDL}},
journal = {{SIAM} J. Comput.},
volume = {13},
number = {4},
pages = {825--839},
year = {1984},
url = {https://doi.org/10.1137/0213051},
doi = {10.1137/0213051},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/ShermanPH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/HarelP84,
author = {David Harel and
Amir Pnueli},
editor = {Krzysztof R. Apt},
title = {On the Development of Reactive Systems},
booktitle = {Logics and Models of Concurrent Systems - Conference proceedings,
Colle-sur-Loup (near Nice), France, 8-19 October 1984},
series = {{NATO} {ASI} Series},
volume = {13},
pages = {477--498},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-82453-1\_17},
doi = {10.1007/978-3-642-82453-1\_17},
timestamp = {Fri, 17 Apr 2020 17:55:08 +0200},
biburl = {https://dblp.org/rec/conf/nato/HarelP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Harel84,
author = {David Harel},
editor = {Richard A. DeMillo},
title = {A General Result on Infinite Trees and Its Applications (Preliminary
Report)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {418--427},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808708},
doi = {10.1145/800057.808708},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Harel84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HarelPS83,
author = {David Harel and
Amir Pnueli and
Jonathan Stavi},
title = {Propositional Dynamic Logic of Nonregular Programs},
journal = {J. Comput. Syst. Sci.},
volume = {26},
number = {2},
pages = {222--243},
year = {1983},
url = {https://doi.org/10.1016/0022-0000(83)90014-4},
doi = {10.1016/0022-0000(83)90014-4},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HarelPS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Harel83,
author = {David Harel},
editor = {Marek Karpinski},
title = {Recurring Dominoes: Making the Highly Undecidable Highly Understandable
(Preliminary Report)},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1983 International
FCT-Conference, Borgholm, Sweden, August 21-27, 1983},
series = {Lecture Notes in Computer Science},
volume = {158},
pages = {177--194},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12689-9\_103},
doi = {10.1007/3-540-12689-9\_103},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Harel83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/HarelS83,
author = {David Harel and
Rivi Sherman},
editor = {Marek Karpinski},
title = {Propositional Dynamic Logic of Flowcharts},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1983 International
FCT-Conference, Borgholm, Sweden, August 21-27, 1983},
series = {Lecture Notes in Computer Science},
volume = {158},
pages = {195--206},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12689-9\_104},
doi = {10.1007/3-540-12689-9\_104},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/HarelS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC15,
editor = {David S. Johnson and
Ronald Fagin and
Michael L. Fredman and
David Harel and
Richard M. Karp and
Nancy A. Lynch and
Christos H. Papadimitriou and
Ronald L. Rivest and
Walter L. Ruzzo and
Joel I. Seiferas},
title = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
25-27 April, 1983, Boston, Massachusetts, {USA}},
publisher = {{ACM}},
year = {1983},
timestamp = {Mon, 17 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/STOC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HarelS82,
author = {David Harel and
Rivi Sherman},
title = {Looping vs. Repeating in Dynamic Logic},
journal = {Inf. Control.},
volume = {55},
number = {1-3},
pages = {175--192},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)90553-8},
doi = {10.1016/S0019-9958(82)90553-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HarelS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChandraH82,
author = {Ashok K. Chandra and
David Harel},
title = {Structure and Complexity of Relational Queries},
journal = {J. Comput. Syst. Sci.},
volume = {25},
number = {1},
pages = {99--128},
year = {1982},
url = {https://doi.org/10.1016/0022-0000(82)90012-5},
doi = {10.1016/0022-0000(82)90012-5},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ChandraH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HarelKP82,
author = {David Harel and
Dexter Kozen and
Rohit Parikh},
title = {Process Logic: Expressiveness, Decidability, Completeness},
journal = {J. Comput. Syst. Sci.},
volume = {25},
number = {2},
pages = {144--170},
year = {1982},
url = {https://doi.org/10.1016/0022-0000(82)90003-4},
doi = {10.1016/0022-0000(82)90003-4},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HarelKP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HarelK82,
author = {David Harel and
Dexter Kozen},
editor = {Mogens Nielsen and
Erik Meineche Schmidt},
title = {A Programming Language for the Inductive Sets, and Applications},
booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
July 12-16, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {140},
pages = {313--329},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0012779},
doi = {10.1007/BFB0012779},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HarelK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ChandraH82,
author = {Ashok K. Chandra and
David Harel},
editor = {Jeffrey D. Ullman and
Alfred V. Aho},
title = {Horn Clauses and the Fixpoint Query Hierarchy},
booktitle = {Proceedings of the {ACM} Symposium on Principles of Database Systems,
March 29-31, 1982, Los Angeles, California, {USA}},
pages = {158--163},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/588111.588137},
doi = {10.1145/588111.588137},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/ChandraH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ShermanPH82,
author = {Rivi Sherman and
Amir Pnueli and
David Harel},
editor = {Richard A. DeMillo},
title = {Is the Interesting Part of Process Logic Uninteresting - {A} Translation
from {PL} to {PDL}},
booktitle = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
pages = {347--360},
publisher = {{ACM} Press},
year = {1982},
url = {https://doi.org/10.1145/582153.582189},
doi = {10.1145/582153.582189},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/ShermanPH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FeldmanH82,
author = {Yishai A. Feldman and
David Harel},
editor = {Harry R. Lewis and
Barbara B. Simons and
Walter A. Burkhard and
Lawrence H. Landweber},
title = {A Probabilistic Dynamic Logic},
booktitle = {Proceedings of the 14th Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1982, San Francisco, California, {USA}},
pages = {181--195},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800070.802191},
doi = {10.1145/800070.802191},
timestamp = {Wed, 14 Nov 2018 10:51:38 +0100},
biburl = {https://dblp.org/rec/conf/stoc/FeldmanH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Harel81,
author = {David Harel},
title = {On the Total Correctness of Nondeterministic Programs},
journal = {Theor. Comput. Sci.},
volume = {13},
pages = {175--192},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90038-4},
doi = {10.1016/0304-3975(81)90038-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Harel81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/HarelPS81,
author = {David Harel and
Amir Pnueli and
Jonathan Stavi},
title = {Propositional Dynamic Logic of Context-Free Programs},
booktitle = {22nd Annual Symposium on Foundations of Computer Science, Nashville,
Tennessee, USA, 28-30 October 1981},
pages = {310--321},
publisher = {{IEEE} Computer Society},
year = {1981},
url = {https://doi.org/10.1109/SFCS.1981.38},
doi = {10.1109/SFCS.1981.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/HarelPS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/HarelPS81,
author = {David Harel and
Amir Pnueli and
Jonathan Stavi},
editor = {Dexter Kozen},
title = {Further Results on Propositional Dynamic Logic of Nonregular Programs},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {124--136},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025779},
doi = {10.1007/BFB0025779},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/HarelPS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Harel80,
author = {David Harel},
title = {On Folk Theorems},
journal = {Commun. {ACM}},
volume = {23},
number = {7},
pages = {379--389},
year = {1980},
url = {https://doi.org/10.1145/358886.358892},
doi = {10.1145/358886.358892},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Harel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChandraH80,
author = {Ashok K. Chandra and
David Harel},
title = {Computable Queries for Relational Data Bases},
journal = {J. Comput. Syst. Sci.},
volume = {21},
number = {2},
pages = {156--178},
year = {1980},
url = {https://doi.org/10.1016/0022-0000(80)90032-X},
doi = {10.1016/0022-0000(80)90032-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ChandraH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Harel80,
author = {David Harel},
title = {On folk theorems},
journal = {{SIGACT} News},
volume = {12},
number = {3},
pages = {68--80},
year = {1980},
url = {https://doi.org/10.1145/1008861.1008869},
doi = {10.1145/1008861.1008869},
timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Harel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Harel80,
author = {David Harel},
title = {"do considered od" considered odder than "do considered
ob"},
journal = {{ACM} {SIGPLAN} Notices},
volume = {15},
number = {4},
pages = {75},
year = {1980},
url = {https://doi.org/10.1145/947631.947635},
doi = {10.1145/947631.947635},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Harel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Harel80,
author = {David Harel},
title = {Proving the Correctness of Regular Deterministic Programs: {A} Unifying
Survey Using Dynamic Logic},
journal = {Theor. Comput. Sci.},
volume = {12},
pages = {61--81},
year = {1980},
url = {https://doi.org/10.1016/0304-3975(80)90005-5},
doi = {10.1016/0304-3975(80)90005-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Harel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Harel80,
author = {David Harel},
title = {And/Or Programs: {A} New Approach to Structured Programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {2},
number = {1},
pages = {1--17},
year = {1980},
url = {https://doi.org/10.1145/357084.357085},
doi = {10.1145/357084.357085},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Harel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/HarelKP80,
author = {David Harel and
Dexter Kozen and
Rohit Parikh},
title = {Process Logic: Expressiveness, Decidability, Completeness},
booktitle = {21st Annual Symposium on Foundations of Computer Science, Syracuse,
New York, USA, 13-15 October 1980},
pages = {129--142},
publisher = {{IEEE} Computer Society},
year = {1980},
url = {https://doi.org/10.1109/SFCS.1980.35},
doi = {10.1109/SFCS.1980.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/HarelKP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/ChandraH80,
author = {Ashok K. Chandra and
David Harel},
title = {Structure and Complexity of Relational Queries},
booktitle = {21st Annual Symposium on Foundations of Computer Science, Syracuse,
New York, USA, 13-15 October 1980},
pages = {333--347},
publisher = {{IEEE} Computer Society},
year = {1980},
url = {https://doi.org/10.1109/SFCS.1980.41},
doi = {10.1109/SFCS.1980.41},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/ChandraH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Harel80,
author = {David Harel},
editor = {Piotr Dembinski},
title = {on And/Or Schemes},
booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings
of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
series = {Lecture Notes in Computer Science},
volume = {88},
pages = {246--260},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/BFb0022509},
doi = {10.1007/BFB0022509},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Harel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/ChandraH80,
author = {Ashok K. Chandra and
David Harel},
editor = {David Maier},
title = {Structure and Complexity of Relational Queries},
booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
{SUNY} at Stony Brook, NY, {USA}},
year = {1980},
timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
biburl = {https://dblp.org/rec/conf/xp/ChandraH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Harel79,
author = {David Harel},
title = {First-Order Dynamic Logic},
series = {Lecture Notes in Computer Science},
volume = {68},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09237-4},
doi = {10.1007/3-540-09237-4},
isbn = {3-540-09237-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Harel79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Harel79,
author = {David Harel},
title = {Two Results on Process Logic},
journal = {Inf. Process. Lett.},
volume = {8},
number = {4},
pages = {195--198},
year = {1979},
url = {https://doi.org/10.1016/0020-0190(79)90022-X},
doi = {10.1016/0020-0190(79)90022-X},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Harel79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Harel79,
author = {David Harel},
title = {Characterizing Second Order Logic with First Order Quantifiers},
journal = {Math. Log. Q.},
volume = {25},
number = {25-29},
pages = {419--422},
year = {1979},
url = {https://doi.org/10.1002/malq.19790252507},
doi = {10.1002/MALQ.19790252507},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Harel79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Harel79,
author = {David Harel},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Recursion in Logics of Programs},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {81--92},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567760},
doi = {10.1145/567752.567760},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Harel79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ChandraH79,
author = {Ashok K. Chandra and
David Harel},
editor = {Michael J. Fischer and
Richard A. DeMillo and
Nancy A. Lynch and
Walter A. Burkhard and
Alfred V. Aho},
title = {Computable Queries for Relational Data Bases (Preliminary Report)},
booktitle = {Proceedings of the 11h Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1979, Atlanta, Georgia, {USA}},
pages = {309--318},
publisher = {{ACM}},
year = {1979},
url = {https://doi.org/10.1145/800135.804423},
doi = {10.1145/800135.804423},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/ChandraH79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Harel78,
author = {David Harel},
editor = {Giorgio Ausiello and
Corrado B{\"{o}}hm},
title = {Arithmetical Completeness in Logics of Programs},
booktitle = {Automata, Languages and Programming, Fifth Colloquium, Udine, Italy,
July 17-21, 1978, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {62},
pages = {268--288},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08860-1\_20},
doi = {10.1007/3-540-08860-1\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Harel78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HarelP78,
author = {David Harel and
Vaughan R. Pratt},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Thomas G. Szymanski},
title = {Nondeterminism in Logics of Programs},
booktitle = {Conference Record of the Fifth Annual {ACM} Symposium on Principles
of Programming Languages, Tucson, Arizona, USA, January 1978},
pages = {203--213},
publisher = {{ACM} Press},
year = {1978},
url = {https://doi.org/10.1145/512760.512782},
doi = {10.1145/512760.512782},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HarelP78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/HarelPS77,
author = {David Harel and
Amir Pnueli and
Jonathan Stavi},
editor = {John E. Hopcroft and
Emily P. Friedman and
Michael A. Harrison},
title = {A Complete Axiomatic System for Proving Deductions about Recursive
Programs},
booktitle = {Proceedings of the 9th Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1977, Boulder, Colorado, {USA}},
pages = {249--260},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/800105.803415},
doi = {10.1145/800105.803415},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/HarelPS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/HarelMP77,
author = {David Harel and
Albert R. Meyer and
Vaughan R. Pratt},
editor = {John E. Hopcroft and
Emily P. Friedman and
Michael A. Harrison},
title = {Computability and Completeness in Logics of Programs (Preliminary
Report)},
booktitle = {Proceedings of the 9th Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1977, Boulder, Colorado, {USA}},
pages = {261--268},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/800105.803416},
doi = {10.1145/800105.803416},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/HarelMP77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-01 20:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
