Follow
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
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
1162017
Verification of loop parallelisations
S Blom, S Darabi, M Huisman
Fundamental Approaches to Software Engineering: 18th International …, 2015
292015
Verification of concurrent systems with VerCors
A Amighi, S Blom, S Darabi, M Huisman, W Mostowski, ...
Formal Methods for Executable Software Models: 14th International School on …, 2014
292014
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
272008
Specification and verification of atomic operations in GPGPU programs
A Amighi, S Darabi, S Blom, M Huisman
Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015
152015
A verification technique for deterministic parallel programs
S Darabi, SCC Blom, M Huisman
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
142017
Correct program parallelisations
S Blom, S Darabi, M Huisman, M Safari
International Journal on Software Tools for Technology Transfer 23, 741-763, 2021
122021
Program correctness by transformation
M Huisman, S Blom, S Darabi, M Safari
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
52018
Verification of Program Parallelization
S DARABI
University of Twente, 2018
32018
A verification technique for deterministic parallel programs (extended version)
S Darabi, S Blom, M Huisman
Centre for Telematics and Information Technology (CTIT), 2017
22017
Verifying parallel loops with separation logic
S Blom, S Darabi, M Huisman
arXiv preprint arXiv:1406.3484, 2014
22014
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–14