Welcome...

dr. S. Darabi (Saeed)

Expertise

Computer Programming Languages
Parallel Programming
Chemical Analysis
Semantics
Fusion Reactions
Data Storage Equipment

Publications

Recent
Darabi, S., Blom, S. C. C., & Huisman, M. (2017). A Verification Technique for Deterministic Parallel Programs. In C. Barrett, M. Davies, & T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (pp. 247-264). (Lecture Notes in Computer Science; Vol. 10227). DOI: 10.1007/978-3-319-57288-8_17
Blom, S., Darabi, S., Huisman, M., & Oortwijn, W. (2017). The VerCors Tool Set: Verification of Parallel and Concurrent Software. In N. Polikarpova, & S. Schneider (Eds.), Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings (pp. 102-110). (Lecture Notes in Computer Science; Vol. 10510). Springer. DOI: 10.1007/978-3-319-66845-1_7
Darabi, S., Blom, S., & Huisman, M. (2017). A Verification Technique for Deterministic Parallel Programs (extended version). (CTIT technical report; No. TR-CTIT-17-01). Enschede: Centre for Telematics and Information Technology (CTIT).
Blom, S., Darabi, S., & Huisman, M. (2015). Verification of Loop Parallelisations. IPA-4. Paper presented at ICT.OPEN 2015, Amersfoort, Netherlands.
Amighi, A., Darabi, S., Blom, S., & Huisman, M. (2015). Specification and verification of atomic operations in GPGPU programs. In R. Calinescu, & B. Rumpe (Eds.), Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015) (pp. 69-83). (Lecture Notes in Computer Science; Vol. 9276). Switzerland: Springer International Publishing. DOI: 10.1007/978-3-319-22969-0_5
Blom, S., Darabi, S., & Huisman, M. (2015). Verification of loop parallelisations. In A. Egyed, & I. Schaefer (Eds.), Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015) (pp. 202-217). (Lecture Notes in Computer Science; Vol. 9033). London: Springer Berlin Heidelberg. DOI: 10.1007/978-3-662-46675-9_14
Blom, S., Darabi, S., & Huisman, M. (2014). Verifying parallel loops with separation logic. In Proceedings of the 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014) (pp. 47-53). (EPTCS; Vol. 155, No. arXiv:1406.3313). New York: Cornell University. DOI: 10.4204/EPTCS.155.7
Amighi, A., Blom, S., Darabi, S., Huisman, M., Mostowski, W., & Zaharieva, M. (2014). Verification of concurrent systems with VerCors. In M. Bernardo, F. Damiani, R. Hahnle, E. Johnsen, & I. Schaefer (Eds.), Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (pp. 172-216). (Lecture Notes in Computer Science; Vol. 8483, No. 8483). Berlin: Springer Verlag. DOI: 10.1007/978-3-319-07317-0_5

Contact Details

Visiting Address

University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands