Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Frederik Meyer Bønneland; Sarbojit Das; Bengt Jonsson 001; Magnus Lång; Konstantinos Sagonas (ATVA, 2023)

Parsimonious Optimal Dynamic Partial Order Reduction. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Sarbojit Das; Bengt Jonsson 001; Konstantinos Sagonas (CAV (2), 2024)

Artifact: Parsimonious Optimal Dynamic Partial Order Reduction. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Sarbojit Das; Bengt Jonsson 001; Konstantinos Sagonas (Zenodo, 2024)

Artifact: Parsimonious Optimal Dynamic Partial Order Reduction. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Sarbojit Das; Bengt Jonsson 001; Konstantinos Sagonas (Zenodo, 2024)

Artifact: Trading Space for Simplicity in Stateless Model Checking. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Sarbojit Das; Bengt Jonsson 001; Konstantinos Sagonas (Zenodo, 2024)

Trading Space for Simplicity in Stateless Model Checking. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Sarbojit Das; Bengt Jonsson 001; Konstantinos Sagonas (Real Time and Such, 2025)