Saeed Darabi
Saeed Darabi
Verified email at utwente.nl - Homepage
Title
Cited by
Cited by
Year
The VerCors tool set: verification of parallel and concurrent software
S Blom, S Darabi, M Huisman, W Oortwijn
International Conference on Integrated Formal Methods, 102-110, 2017
272017
Multimedia-aware MMSPEED: A routing solution for video transmission in WMSN
S Darabi, N Yazdani, O Fatemi
2008 2nd International Symposium on Advanced Networks and Telecommunication …, 2008
232008
Verification of concurrent systems with VerCors
A Amighi, S Blom, S Darabi, M Huisman, W Mostowski, ...
International School on Formal Methods for the Design of Computer …, 2014
202014
Verification of loop parallelisations
S Blom, S Darabi, M Huisman
International Conference on Fundamental Approaches to Software Engineering …, 2015
192015
Specification and verification of atomic operations in GPGPU programs
A Amighi, S Darabi, S Blom, M Huisman
SEFM 2015 Collocated Workshops, 69-83, 2015
72015
A verification technique for deterministic parallel programs
S Darabi, SCC Blom, M Huisman
NASA Formal Methods Symposium, 247-264, 2017
62017
Program correctness by transformation
M Huisman, S Blom, S Darabi, M Safari
International Symposium on Leveraging Applications of Formal Methods, 365-380, 2018
22018
A verification technique for deterministic parallel programs (extended version)
S Darabi, SCC Blom, M Huisman
CTIT technical report, 2017
22017
Verifying parallel loops with separation logic
S Blom, S Darabi, M Huisman
arXiv preprint arXiv:1406.3484, 2014
22014
Verification of Program Parallelization
S DARABI
University of Twente, 2018
12018
The VerCors Tool Set
S Blom, S Darabi, MHW Oortwijn
2017
Multimedia-aware MMSPEED: A routing solution for video transmission in WMSNs
D Saeed, Y Nasser, F Omid
2008 2nd International Symposium on Advanced Networks and Telecommunication …, 2008
2008
ANTS 2008 Second International Symposium on Advanced Networks and Telecommunication Systems
H Agrawal, S Ahuja, P Audenaert, NA Bathaee, S Balasubramaniam, ...
The system can't perform the operation now. Try again later.
Articles 1–13