Mohsen Safari

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 11

Top Topics

Parallel Implementation

Formal Verification

Top Venues

ISSTA/ECOOP Workshops

Int. J. Softw. Tools Technol. Transf.

Publications

Mohsen Safari, Faramarz Doulati Ardejani, Soroush Maghsoudy
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. Earth Sci. Informatics 16 (2) (2023)
Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs
Alpinist: An Annotation-Aware GPU Program Optimizer. TACAS (2) (2022)
Mohsen Safari, Marieke Huisman
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA. Theor. Comput. Sci. 912 (2022)
Mohsen Safari, Wytse Oortwijn, Marieke Huisman
Automated Verification of the Parallel Bellman-Ford Algorithm. SAS (2021)
Stefan Blom, Saeed Darabi, Marieke Huisman, Mohsen Safari
Correct program parallelisations. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Mohsen Safari, Marieke Huisman
A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. IFM (2020)
Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman
Formal Verification of Parallel Prefix Sum. NFM (2020)
Mohsen Safari, Marieke Huisman
Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms. ICTAC (2020)
Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman
An exercise in verifying sequential programs with VerCors. ISSTA/ECOOP Workshops (2018)
Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari
Program Correctness by Transformation. ISoLA (1) (2018)
Mohsen Safari, Ali Ebnenasir
Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths. TTCS (2017)