| 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 | 134 | 2017 |
| Gobra: Modular specification and verification of go programs FA Wolf, L Arquint, M Clochard, W Oortwijn, JC Pereira, P Müller International Conference on Computer Aided Verification, 367-379, 2021 | 82 | 2021 |
| Formal verification of parallel prefix sum M Safari, W Oortwijn, S Joosten, M Huisman NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020 | 25 | 2020 |
| Future-based static analysis of message passing programs W Oortwijn, S Blom, M Huisman arXiv preprint arXiv:1606.05942, 2016 | 25 | 2016 |
| Formal verification of an industrial safety-critical traffic tunnel control system W Oortwijn, M Huisman Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019 | 23 | 2019 |
| An abstraction technique for describing concurrent program behaviour W Oortwijn, S Blom, D Gurov, M Huisman, M Zaharieva-Stojanovski Verified Software. Theories, Tools, and Experiments: 9th International …, 2017 | 22 | 2017 |
| Distributed binary decision diagrams for symbolic reachability W Oortwijn, T Dijk, J Pol Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017 | 15 | 2017 |
| Practical abstractions for automated verification of shared-memory concurrency W Oortwijn, D Gurov, M Huisman Verification, Model Checking, and Abstract Interpretation: 21st …, 2020 | 14 | 2020 |
| Deductive techniques for model-based concurrency verification WHM Oortwijn | 11 | 2019 |
| Practical abstractions for automated verification of message passing concurrency W Oortwijn, M Huisman Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019 | 11 | 2019 |
| An exercise in verifying sequential programs with VerCors SJC Joosten, W Oortwijn, M Safari, M Huisman Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 40-45, 2018 | 10 | 2018 |
| Automated verification of parallel nested DFS W Oortwijn, M Huisman, SJC Joosten, J van de Pol International Conference on Tools and Algorithms for the Construction and …, 2020 | 9 | 2020 |
| An abstraction technique for verifying shared-memory concurrency W Oortwijn, D Gurov, M Huisman Applied Sciences 10 (11), 3928, 2020 | 8 | 2020 |
| Gobra: Modular specification and verification of go programs (extended version) FA Wolf, L Arquint, M Clochard, W Oortwijn, JC Pereira, P Müller arXiv preprint arXiv:2105.13840, 2021 | 7 | 2021 |
| A multi-level methodology for behavioral comparison of software-intensive systems D Hendriks, A Meer, W Oortwijn International Conference on Formal Methods for Industrial Critical Systems …, 2022 | 6 | 2022 |
| Automated verification of the parallel Bellman–Ford algorithm M Safari, W Oortwijn, M Huisman Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021 | 6 | 2021 |
| A distributed hash table for shared memory W Oortwijn, T van Dijk, J van de Pol Parallel Processing and Applied Mathematics: 11th International Conference …, 2016 | 6 | 2016 |
| Distributed symbolic reachability analysis WHM Oortwijn University of Twente, 2015 | 3 | 2015 |
| Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors W Ahrendt, L Henrio, W Oortwijn VORTEX 2018, 32--46, 2019 | 2 | 2019 |
| Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4. 0 D Hendriks, M Reniers, W Fokkink, W Oortwijn Available at SSRN 4947024, 2024 | 1 | 2024 |