Saeed Darabi

According to our database, Saeed Darabi authored at least 9 papers between 2011 and 2021.

Collaborative distances:

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

2021

Correct program parallelisations.

Stefan Blom, Saeed Darabi, Marieke Huisman, Mohsen Safari

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

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

A Verification Technique for Deterministic Parallel Programs.

Saeed Darabi, Stefan C. C. Blom, Marieke Huisman

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

The VerCors Tool Set: Verification of Parallel and Concurrent Software.

Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2015

Specification and Verification of Atomic Operations in GPGPU Programs.

Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Verification of Loop Parallelisations.

Stefan Blom, Saeed Darabi, Marieke Huisman

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

Verifying Parallel Loops with Separation Logic.

Stefan Blom, Saeed Darabi, Marieke Huisman

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Verification of Concurrent Systems with VerCors.

Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski

Proceedings of the Formal Methods for Executable Software Models, 2014

2011

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

Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering, 2011