Michael Bar-Sinai

According to our database, Michael Bar-Sinai authored at least 11 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Provengo: A Tool Suite for Scenario Driven Model-Based Testing.

Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2020

Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs.

Michael Bar-Sinai, Gera Weiss

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

2019

Computer Assisted Access to Justice via Formal Jurisprudence Modeling.

Michael Bar-Sinai, Michal Tadjer, Mor Vilozni

CoRR, 2019

2018

BPjs - a framework for modeling reactive systems using a scripting language and BP.

Michael Bar-Sinai, Gera Weiss, Reut Shmuel

CoRR, 2018

Modeling and programming a leader-follower challenge problem with scenario-based tools.

Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron

Proceedings of MODELS 2018 Workshops: ModComp, 2018

BPjs: an extensible, open infrastructure for behavioral programming research.

Michael Bar-Sinai, Gera Weiss, Reut Shmuel

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

2017

Securing Dataverse with an Adapted Command Design Pattern.

Gustavo Durand, Michael Bar-Sinai, Mercè Crosas

Proceedings of the IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, 2017

2016

DataTags, Data Handling Policy Spaces and the Tags Language.

Michael Bar-Sinai, Latanya Sweeney, Mercè Crosas

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries.

Michael Bar-Sinai, Gera Weiss, Assaf Marron

Proceedings of the 2nd International Workshop on Executable Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Performance level profiles: A formal language for describing the expected performance of functional modules.

Ronen I. Brafman, Michael Bar-Sinai, Maor Ashkenazi

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

2015

Big Data Technology Literature Review.

Michael Bar-Sinai

CoRR, 2015