Michael Bar-Sinai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2016–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ISoLA | Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs. | Michael Bar-Sinai, Gera Weiss |
| 2018 | MODELS | BPjs: an extensible, open infrastructure for behavioral programming research. | Michael Bar-Sinai, Gera Weiss, Reut Shmuel |
| 2018 | MODELS | Modeling and programming a leader-follower challenge problem with scenario-based tools. | Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron |
| 2016 | IROS | Performance level profiles: A formal language for describing the expected performance of functional modules. | Ronen I. Brafman, Michael Bar-Sinai, Maor Ashkenazi |
| 2016 | MODELS | Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries. | Michael Bar-Sinai, Gera Weiss, Assaf Marron |
| 2016 | SP | DataTags, Data Handling Policy Spaces and the Tags Language. | Michael Bar-Sinai, Latanya Sweeney, Merc Crosas |