Welkom...

S. Darabi MSc (Saeed)

Expertises

Specifications
Synchronization
Chemical Analysis
Semantics
Fusion Reactions
Invariance

Publicaties

Recente Artikelen
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: University of Twente, Centre for Telematica and Information Technology (CTIT).
Blom, S., Darabi, S., & Huisman, M. (2015). Verification of Loop Parallelisations. IPA-4. Paper presented at ICT Open 2015, .
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

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Drienerlolaan 5
7522 NB Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Postbus 217
7500 AE Enschede