Mohsen Safari

According to our database, Mohsen Safari authored at least 11 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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, June, 2023

2022

Formal verification of parallel prefix sum and stream compaction algorithms in CUDA.

Mohsen Safari, Marieke Huisman

Theor. Comput. Sci., 2022

Alpinist: An Annotation-Aware GPU Program Optimizer.

Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Correct program parallelisations.

Stefan Blom, Saeed Darabi, Marieke Huisman, Mohsen Safari

Int. J. Softw. Tools Technol. Transf., 2021

Automated Verification of the Parallel Bellman-Ford Algorithm.

Mohsen Safari, Wytse Oortwijn, Marieke Huisman

Proceedings of the Static Analysis - 28th International Symposium, 2021

2020

Formal Verification of Parallel Prefix Sum.

Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms.

Mohsen Safari, Marieke Huisman

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms.

Mohsen Safari, Marieke Huisman

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2018

An exercise in verifying sequential programs with VerCors.

Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Program Correctness by Transformation.

Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths.

Mohsen Safari, Ali Ebnenasir

Proceedings of the Topics in Theoretical Computer Science, 2017