Login / Signup
Sarbojit Das
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Transition Systems
Temporal Properties
Model Checking
Multithreading
Top Venues
CoRR
CAV (2)
ATVA
</>
Publications
</>
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Sarbojit Das
,
Bengt Jonsson
,
Konstantinos Sagonas
Parsimonious Optimal Dynamic Partial Order Reduction.
CAV (2)
(2024)
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Sarbojit Das
,
Bengt Jonsson
,
Konstantinos Sagonas
Parsimonious Optimal Dynamic Partial Order Reduction.
CoRR
(2024)
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Frederik Meyer Bønneland
,
Sarbojit Das
,
Bengt Jonsson
,
Magnus Lång
,
Konstantinos Sagonas
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs.
ATVA
(2023)
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Frederik Meyer Bønneland
,
Sarbojit Das
,
Bengt Jonsson
,
Magnus Lång
,
Konstantinos Sagonas
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs.
CoRR
(2023)