Michael Bar-Sinai

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 11

Top Topics

Reactive Systems

Scripting Language

Top Venues

MoDELS (Workshops)

Publications

Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss
Provengo: A Tool Suite for Scenario Driven Model-Based Testing. CoRR (2023)
Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss
Provengo: A Tool Suite for Scenario Driven Model-Based Testing. ASE (2023)
Michael Bar-Sinai, Gera Weiss
Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs. ISoLA (4) (2020)
Michael Bar-Sinai, Michal Tadjer, Mor Vilozni
Computer Assisted Access to Justice via Formal Jurisprudence Modeling. CoRR (2019)
Michael Bar-Sinai, Gera Weiss, Reut Shmuel
BPjs: an extensible, open infrastructure for behavioral programming research. MoDELS (Companion) (2018)
Michael Bar-Sinai, Gera Weiss, Reut Shmuel
BPjs - a framework for modeling reactive systems using a scripting language and BP. CoRR (2018)
Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron
Modeling and programming a leader-follower challenge problem with scenario-based tools. MoDELS (Workshops) (2018)
Gustavo Durand, Michael Bar-Sinai, Mercè Crosas
Securing Dataverse with an Adapted Command Design Pattern. SecDev (2017)
Michael Bar-Sinai, Latanya Sweeney, Mercè Crosas
DataTags, Data Handling Policy Spaces and the Tags Language. IEEE Symposium on Security and Privacy Workshops (2016)
Ronen I. Brafman, Michael Bar-Sinai, Maor Ashkenazi
Performance level profiles: A formal language for describing the expected performance of functional modules. IROS (2016)
Michael Bar-Sinai, Gera Weiss, Assaf Marron
Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries. EXE@MoDELS (2016)
Michael Bar-Sinai
Big Data Technology Literature Review. CoRR (2015)