Mohsen Safari

13 papers B 2C 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
FPGA Innovation Research in the Netherlands: Present Landscape and Future Outlook.
CoRR
Nikolaos Alachiotis, 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, Ana Lucia Varbanescu
2025 J jnl
Preserving provability over GPU program optimizations with annotation-aware transformations.
Formal Methods Syst. Des.
Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs
2023 J jnl
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
Mohsen Safari, Faramarz Doulati Ardejani, Soroush Maghsoudy
2022 — conf
Alpinist: An Annotation-Aware GPU Program Optimizer.
TACAS (2)
Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs
2022 J jnl
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA.
Theor. Comput. Sci.
Mohsen Safari, Marieke Huisman
2021 B conf
Automated Verification of the Parallel Bellman-Ford Algorithm.
SAS
Mohsen Safari, Wytse Oortwijn, Marieke Huisman
2021 J jnl
Correct program parallelisations.
Int. J. Softw. Tools Technol. Transf.
Stefan Blom, Saeed Darabi, Marieke Huisman, Mohsen Safari
2020 B conf
A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms.
IFM
Mohsen Safari, Marieke Huisman
2020 — conf
Formal Verification of Parallel Prefix Sum.
NFM
Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman
2020 C conf
Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms.
ICTAC
Mohsen Safari, Marieke Huisman
2018 — conf
An exercise in verifying sequential programs with VerCors.
ISSTA/ECOOP Workshops
Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman
2018 — conf
Program Correctness by Transformation.
ISoLA (1)
Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari
2017 — conf
Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths.
TTCS
Mohsen Safari, Ali Ebnenasir