| 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 | 132 | 2017 |
| Verification of loop parallelisations S Blom, S Darabi, M Huisman Fundamental Approaches to Software Engineering: 18th International …, 2015 | 31 | 2015 |
| 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 | 30 | 2014 |
| 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 | 28 | 2008 |
| 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 | 18 | 2015 |
| Correct program parallelisations S Blom, S Darabi, M Huisman, M Safari International Journal on Software Tools for Technology Transfer 23, 741-763, 2021 | 15 | 2021 |
| A verification technique for deterministic parallel programs S Darabi, SCC Blom, M Huisman NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017 | 14 | 2017 |
| Program correctness by transformation M Huisman, S Blom, S Darabi, M Safari Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 6 | 2018 |
| Verification of Program Parallelization S DARABI University of Twente, 2018 | 4 | 2018 |
| A verification technique for deterministic parallel programs (extended version) S Darabi, S Blom, M Huisman Centre for Telematics and Information Technology (CTIT), 2017 | 2 | 2017 |
| Verifying parallel loops with separation logic S Blom, S Darabi, M Huisman arXiv preprint arXiv:1406.3484, 2014 | 2 | 2014 |
| 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, ... | | |
