Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths. - Mohsen Safari; Ali Ebnenasir (TTCS, 2017)

Program Correctness by Transformation. - Marieke Huisman; Stefan Blom; Saeed Darabi; Mohsen Safari (ISoLA (1), 2018)

An exercise in verifying sequential programs with VerCors. - Sebastiaan J. C. Joosten; Wytse Oortwijn; Mohsen Safari; Marieke Huisman (ISSTA/ECOOP Workshops, 2018)

Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms. - Mohsen Safari; Marieke Huisman (ICTAC, 2020)

A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. - Mohsen Safari; Marieke Huisman (IFM, 2020)

Formal Verification of Parallel Prefix Sum. - Mohsen Safari; Wytse Oortwijn; Sebastiaan J. C. Joosten; Marieke Huisman (NFM, 2020)

Automated Verification of the Parallel Bellman-Ford Algorithm. - Mohsen Safari; Wytse Oortwijn; Marieke Huisman (SAS, 2021)

Correct program parallelisations. - Stefan Blom; Saeed Darabi; Marieke Huisman; Mohsen Safari (Int. J. Softw. Tools Technol. Transf., 2021)

Alpinist: An Annotation-Aware GPU Program Optimizer. - Ömer Sakar; Mohsen Safari; Marieke Huisman; Anton Wijs (TACAS (2), 2022)

Formal verification of parallel prefix sum and stream compaction algorithms in CUDA. - Mohsen Safari; Marieke Huisman (Theor. Comput. Sci., 2022)

A comparative and coupled study of the application of Dempster-Shafer, fuzzy overlay and FAHP methods for groundwater potential mapping in a fractured medium of a mine site. - Mohsen Safari; Faramarz Doulati Ardejani; Soroush Maghsoudy (Earth Sci. Informatics, 2023)

FPGA Innovation Research in the Netherlands: Present Landscape and Future Outlook. - Nikolaos Alachiotis 001; Sjoerd van den Belt; Steven van der Vlugt; Reinier van der Walle; Mohsen Safari; Bruno Endres Forlin; Tiziano De Matteis; Zaid Al-Ars; Roel Jordans; António J. Sousa de Almeida; Federico Corradi; Christiaan Baaij; et al. (CoRR, 2025)