Follow
David Harel
David Harel
Professor of Computer Science, The Weizmann Institute
Verified email at weizmann.ac.il - Homepage
Title
Cited by
Year
Distributed Speculative Inference of Large Language Models
N Timor, J Mamou, D Korat, M Berchansky, O Pereg, M Wasserblat, ...
arXiv preprint arXiv:2405.14105, 2024
2024
The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday Matter
D Harel, A Marron
Communications of the ACM 67 (6), 62-69, 2024
2024
Plethora of Skills: A Game-Based Platform for Introducing and Practicing Computational Problem-Solving
M Armoni, J Gal-Ezer, D Harel, R Marelly, S Szekely
Computational Thinking Curricula in K–12: International Implementations, 229, 2024
2024
Non-verbal information in spontaneous speech-towards a new framework of analysis
T Biron, M Barboy, E Ben-Artzy, A Golubchik, Y Marmor, S Szekely, ...
arXiv preprint arXiv:2403.03522, 2024
2024
Deciphering the underlying mechanisms of the pharyngeal pumping motions in Caenorhabditis elegans
D Sherman, D Harel
Proceedings of the National Academy of Sciences 121 (7), e2302660121, 2024
12024
On Augmenting Scenario-Based Modeling with Generative AI
D Harel, G Katz, A Marron, S Szekely
arXiv preprint arXiv:2401.02245, 2024
12024
Categorizing methods for integrating machine learning with executable specifications
D Harel, R Yerushalmi, A Marron, A Elyasaf
Science China Information Sciences 67 (1), 111101, 2024
22024
Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models
D Harel, U Aßmann, F Fournier, L Limonad, A Marron, S Szekely
arXiv preprint arXiv:2312.16507, 2023
12023
Fidelity and Consistency in Iterative Probabilistic Set Replication: Comparing Bi-Parental and Mono-Parental Methods
A Marron, S Szekely, IR Cohen, D Harel
arXiv preprint arXiv:2312.15795, 2023
2023
The Human-or-Machine Matter: Turing-Inspired Reflections on an Everyday Issue (Brief Summary of Paper)
D Harel, A Marron
Bridging the Gap Between AI and Reality: First International Conference …, 2023
2023
The Human-or-Machine Matter: Turing-Inspired Reflections on an Everyday Issue
D Harel, A Marron
arXiv preprint arXiv:2305.04312, 2023
2023
Verifying learning-based robotic navigation systems
G Amir, D Corsi, R Yerushalmi, L Marzari, D Harel, A Farinelli, G Katz
International Conference on Tools and Algorithms for the Construction and …, 2023
282023
Trustworthy autonomous system development
J Sifakis, D Harel
ACM Transactions on Embedded Computing Systems 22 (3), 1-24, 2023
202023
Enhancing deep reinforcement learning with scenario-based modeling
R Yerushalmi, G Amir, A Elyasaf, D Harel, G Katz, A Marron
SN computer science 4 (2), 156, 2023
62023
Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems.
A Marron, IR Cohen, G Frankel, D Harel, S Szekely
MODELSWARD, 202-209, 2023
12023
Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines.
Y Bayer, D Harel, A Marron, S Szekely
MODELSWARD, 275-282, 2023
12023
Human or machine: reflections on Turing-inspired testing for the everyday
D Harel, A Marron
arXiv 2305, 2023
22023
Constrained reinforcement learning for robotics via scenario-based programming
D Corsi, R Yerushalmi, G Amir, A Farinelli, D Harel, G Katz
arXiv preprint arXiv:2206.09603, 2022
182022
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
MR Crusoe, S Abeln, A Iosup, P Amstutz, J Chilton, N Tijanić, H Ménager, ...
Communications of the ACM 65 (6), 54-63, 2022
232022
Scenario-assisted deep reinforcement learning
R Yerushalmi, G Amir, A Elyasaf, D Harel, G Katz, A Marron
arXiv preprint arXiv:2202.04337, 2022
122022
The system can't perform the operation now. Try again later.
Articles 1–20