Saeed Darabi

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Correct program parallelisations.
Int. J. Softw. Tools Technol. Transf., 2021

2018
Program Correctness by Transformation.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017
A Verification Technique for Deterministic Parallel Programs.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

The VerCors Tool Set: Verification of Parallel and Concurrent Software.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2015
Specification and Verification of Atomic Operations in GPGPU Programs.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Verification of Loop Parallelisations.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014
Verifying Parallel Loops with Separation Logic.
Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Verification of Concurrent Systems with VerCors.
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.
Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering, 2011


  Loading...