| 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 | 38 | 2023 |
| 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 | 23 | 2022 |
| Scenario-Assisted Deep Reinforcement Learning AM Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz MODELSWARD 2022: the 10th International Conference on Model-Driven …, 2022 | 14* | 2022 |
| 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 | 9 | 2023 |
| Modeling and generating computer software product line variants E Gery, B Holstein, O Poupko, A Rekhter, A Shalev, RM Yerushalmi US Patent 8,584,080, 2013 | 7 | 2013 |
| Experience with an Advanced Design Flow with OSEK Compliant Code Generation for Automotive ECU's M Thanner, R Yerushalmi Dedicated Systems Magazine, 6-11, 2001 | 7 | 2001 |
| 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 | 5 | 2024 |
| Efficient software testing S Atzitz, S Matza, Y Shachar, O Shadmi, RM Yerushalmi US Patent 10,067,861, 2018 | 4 | 2018 |
| Coupling architectural and implementation/behavioral models of a computer-based system AL Aknin, S Atzitz, I Kostan, S Matza, R Rinat, O Shadmi, RM Yerushalmi US Patent 9,020,792, 2015 | 4 | 2015 |
| Implementing AUTOSAR Atomic Software Components Using UML/SYSML in C R Yerushalmi, RA Felice SAE Technical Paper, 2010 | 4 | 2010 |
| Device and method for disjointed computing R Yerushalmi, R Yerushalmi, G Poola, B Engel, IA Levin US Patent App. 12/247,328, 2010 | 4 | 2010 |
| gRoMA: a tool for measuring the global robustness of deep neural networks N Levy, R Yerushalmi, G Katz International Conference on Bridging the Gap between AI and Reality, 160-170, 2023 | 3 | 2023 |
| gRoMA: a Tool for Measuring Deep Neural Networks Global Robustness N Levy, R Yerushalmi, G Katz Proc. 12th Int. Symposium on Leveraging Applications of Formal Methods, 2023 | 3 | 2023 |
| Efficient software testing S Atzitz, S Matza, Y Shachar, O Shadmi, RM Yerushalmi US Patent 10,656,934, 2020 | 3 | 2020 |
| Enhancing deep reinforcement learning with executable specifications R Yerushalmi 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 2 | 2023 |
| Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns D Harel, A Marron, R Yerushalmi Computer 54 (10), 95-101, 2021 | 1 | 2021 |
| Coupling architectural and implementation/behavioral models of a computer-based system AL Aknin, S Atzitz, I Kostan, S Matza, R Rinat, O Shadmi, RM Yerushalmi US Patent 9,064,065, 2015 | 1 | 2015 |
| DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace G Katz, N Levy, I Refaeli, R Yerushalmi 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), 1-8, 2024 | | 2024 |
| Constrained Reinforcement Learning for Safety-Critical Tasks via Scenario-Based Programming D Corsi, R Yerushalmi, G Amir, A Farinelli, D Harel, G Katz | | |
