Michael Bar-Sinai

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