Advantages of longitudinal flux linear switched reluctance motor compared to transverse flux linear switched reluctance motor for levitation purposes. - Saeed Darabi; Ashkan Mohammadi; Saman Hosseini Hemati (CCECE, 2011)

Verification of Concurrent Systems with VerCors. - Afshin Amighi; Stefan Blom; Saeed Darabi; Marieke Huisman; Wojciech Mostowski; Marina Zaharieva-Stojanovski (SFM, 2014)

Verifying Parallel Loops with Separation Logic. - Stefan Blom; Saeed Darabi; Marieke Huisman (PLACES, 2014)

Verification of Loop Parallelisations. - Stefan Blom; Saeed Darabi; Marieke Huisman (FASE, 2015)

Specification and Verification of Atomic Operations in GPGPU Programs. - Afshin Amighi; Saeed Darabi; Stefan Blom; Marieke Huisman (SEFM, 2015)

The VerCors Tool Set: Verification of Parallel and Concurrent Software. - Stefan Blom; Saeed Darabi; Marieke Huisman; Wytse Oortwijn (IFM, 2017)

A Verification Technique for Deterministic Parallel Programs. - Saeed Darabi; Stefan C. C. Blom; Marieke Huisman (NFM, 2017)

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

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