Big Data Technology Literature Review. - Michael Bar-Sinai (CoRR, 2015)

Performance level profiles: A formal language for describing the expected performance of functional modules. - Ronen I. Brafman; Michael Bar-Sinai; Maor Ashkenazi (IROS, 2016)

Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries. - Michael Bar-Sinai; Gera Weiss; Assaf Marron (EXE@MoDELS, 2016)

DataTags, Data Handling Policy Spaces and the Tags Language. - Michael Bar-Sinai; Latanya Sweeney; Mercè Crosas (IEEE Symposium on Security and Privacy Workshops, 2016)

Securing Dataverse with an Adapted Command Design Pattern. - Gustavo Durand; Michael Bar-Sinai; Mercè Crosas (SecDev, 2017)

BPjs: an extensible, open infrastructure for behavioral programming research. - Michael Bar-Sinai; Gera Weiss; Reut Shmuel (MoDELS (Companion), 2018)

Modeling and programming a leader-follower challenge problem with scenario-based tools. - Joel Greenyer; Michael Bar-Sinai; Gera Weiss; Aviran Sadon; Assaf Marron (MoDELS (Workshops), 2018)

BPjs - a framework for modeling reactive systems using a scripting language and BP. - Michael Bar-Sinai; Gera Weiss; Reut Shmuel (CoRR, 2018)

Computer Assisted Access to Justice via Formal Jurisprudence Modeling. - Michael Bar-Sinai; Michal Tadjer; Mor Vilozni (CoRR, 2019)

Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs. - Michael Bar-Sinai; Gera Weiss (ISoLA (4), 2020)

Provengo: A Tool Suite for Scenario Driven Model-Based Testing. - Michael Bar-Sinai; Achiya Elyasaf; Gera Weiss; Yeshayahu Weiss (ASE, 2023)