David Harel
- Statecharts: a visual formalism for complex systems
1987/06/01 by David Harel · 23 citations
Computer Science · #Advanced Software Engineering Methodologies #Formal Methods in Verification #Model-Driven Software Engineering Techniques
- Verifying Learning-Based Robotic Navigation Systems
2022/05/26 by Guy Amir, Amir, Guy, Davide Corsi +11 · 4 citations
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning and Data Classification #Optimization and Control (math.OC) #Robotics (cs.RO)
- Accelerating LLM Inference with Lossless Speculative Decoding Algorithms for Heterogeneous Vocabularies
2025/01/31 by Nadav Timor, Timor, Nadav, Jonathan Mamou +13 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques
- On Augmenting Scenario-Based Modeling with Generative AI
2024/01/04 by David Harel, Harel, David, Guy Katz +5 · 2 citations
Business, Management and Accounting · Computer Science · Decision Sciences · #68N19 #Business Process Modeling and Analysis #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Simulation Techniques and Applications #Software Engineering (cs.SE)
- Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns
2021/09/24 by David Harel, Assaf Marron, Raz Yerushalmi · 1 citation
Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #AI-based Problem Solving and Planning
- Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models
2023/12/27 by David Harel, Harel, David, Uwe Aßmann +9 · 1 citation
Computer Science · #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research