Sarbojit Das

Orcid: 0009-0004-7029-1904

According to our database¹, Sarbojit Das authored at least 7 papers between 2023 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2025

Practical Adaptations and Improvements of Stateless Model Checking.

[BibT_eX]

[DOI]

Sarbojit Das

PhD thesis, 2025

Trading Space for Simplicity in Stateless Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Real Time and Such, 2025

2024

Artifact: Trading Space for Simplicity in Stateless Model Checking.

[BibT_eX]

[DOI]

Dataset, August, 2024

Artifact: Parsimonious Optimal Dynamic Partial Order Reduction.

[BibT_eX]

[DOI]

Dataset, April, 2024

Artifact: Parsimonious Optimal Dynamic Partial Order Reduction.

[BibT_eX]

[DOI]

Dataset, April, 2024

Parsimonious Optimal Dynamic Partial Order Reduction.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs.

[BibT_eX]

[DOI]

Parosh Aziz Abdulla

Mohamed Faouzi Atig

Frederik Meyer Bønneland

Proceedings of the Automated Technology for Verification and Analysis, 2023

Sarbojit Das

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...