Raz M. Yerushalmi

A person smiling for the camera Description automatically generated with medium confidence

Short Biography

Publications & Patents (*)

 

Contact

Phone icon

+972(0)544-456-419

email icon

raz.yerushalmi@weizmann.ac.il

https://www.linkedin.com/in/raz-yerushalmi-b53a9a

https://webhome.weizmann.ac.il/home/razyeru

 

 

Publications:

 

1.       D. Harel, A. Marron and R. Yerushalmi, "Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns", Computer 54 (Oct. 2021), 95- 101.

https://doi.org/10.1109/MC.2021.3099044.

 

2.       R. Yerushalmi, G. Amir, A. Elyasaf, D. Harel, G. Katz and A. Marron, "Scenario-Assisted Deep Reinforcement Learning", Proc. 10th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), pp. 310-319, February 2022

http://arxiv.org/abs/2202.04337

 

3.       R. Yerushalmi, D. Corsi, G. Amir, A. Farinelli, D. Harel and G. Katz, "Constrained Reinforcement Learning for Robotics via Scenario-Based Programming", Arxiv Technical Report, June 2022

https://arxiv.org/abs/2206.09603

 

4.       R. Yerushalmi, G. Amir, A. Elyasaf, D. Harel, G. Katz and A. Marron, "Enhancing Deep Reinforcement Learning with Scenario-Based Modeling", Springer Nature Computer Science (SNCS) 4, 156 (2023)

https://rdcu.be/c3fXv

 

5.       G. Amir, D. Corsi, R. Yerushalmi, L. Marzari, D. Harel, A. Farinelli and G. Katz, "Verifying Learning-Based Robotic Navigation Systems", Proc. 29th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023. Lecture Notes in Computer Science, vol 13993. Springer, Cham.

https://doi.org/10.1007/978-3-031-30823-9_31

 

6.       R. Yerushalmi, N. Levy and G. Katz, "gRoMA: a Tool for Measuring Deep Neural Networks Global Robustness", Arxiv Technical Report, January 2023

http://arxiv.org/abs/2301.02288

 

7.       D. Harel, R. Yerushalmi, A. Marron, A. Elyasaf, “Categorizing Methods for Integrating Deep Learning with Executable Specifications: A Survey”, SCIENCE CHINA Information Sciences (2023)

http://engine.scichina.com/doi/10.1007/s11432-022-3826-6

 

8.       R. Yerushalmi, "Enhancing Deep Reinforcement Learning with Executable Specifications", 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2023, pp. 213-217,

doi: 10.1109/ICSE-Companion58688.2023.00058.

 

 

 

 

 

 

Technical Papers:

1.       Manfred Thanner, Raz Yerushalmi, "Experience with an Advanced Design Flow with OSEK Compliant Code Generation for Automotive ECU's", Dedicated Systems Magazine (2001)

https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.123.3093&rep=rep1&type=pdf

 

2.       Raz Yerushalmi, Ronald A. Felice, "Implementing AUTOSAR Atomic Software Components Using UML/SYSML in C", SAE International (Dec 2010)

https://doi.org/10.4271/2010-01-0265

 

 

 

 

Patents:

1.       Shay Atzitz, Shy Matza, Yacoby Shachar, Omer Shadmi, Raz M. Yerushalmi: "Efficient software testing", Issued 2018 (US-2018314516-A1)

2.       Aharon L. Aknin, Shay Atzitz, Irena Kostan, Shy Matza, Ran Rinat, Omer Shadmi, Raz M. Yerushalmi: "Coupling architectural and implementation/behavioral models of a computer-based system", Issued 2015 (US-9020792-B2)

3.       Eran Gery, Beery Holstein, Ouri Poupko, Alexander Rekhter, Avraham Shalev, Raz Yerushalmi: "Modeling and generating computer software product line variants", Issued 2011 (US-2011231178-A1)

4.       Raz Yerushalmi, Roie Yerushalmi, Gustav Poola, Barak Engel, Idan A. Levin: "Device and method for disjointed computing", Issued 2010 (US-2010088770-A1) [Abandoned]