Wytse Oortwijn
Wytse Oortwijn
Verified email at inf.ethz.ch - 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
242017
Future-based static analysis of message passing programs
W Oortwijn, S Blom, M Huisman
arXiv preprint arXiv:1606.05942, 2016
132016
An abstraction technique for describing concurrent program behaviour
W Oortwijn, S Blom, D Gurov, M Huisman, M Zaharieva-Stojanovski
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2017
122017
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
72018
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
62017
Deductive techniques for model-based concurrency verification
WHM Oortwijn
42019
Formal verification of an industrial safety-critical traffic tunnel control system
W Oortwijn, M Huisman
International Conference on Integrated Formal Methods, 418-436, 2019
22019
Practical abstractions for automated verification of message passing concurrency
W Oortwijn, M Huisman
International Conference on Integrated Formal Methods, 399-417, 2019
22019
A distributed hash table for shared memory
W Oortwijn, T van Dijk, J van de Pol
Parallel Processing and Applied Mathematics, 15-24, 2016
22016
Distributed symbolic reachability analysis
WHM Oortwijn
University of Twente, 2015
22015
Practical Abstractions for Automated Verification of Shared-Memory Concurrency
W Oortwijn, D Gurov, M Huisman
International Conference on Verification, Model Checking, and Abstract …, 2020
12020
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
2020
An Abstraction Technique for Verifying Shared-Memory Concurrency
W Oortwijn, D Gurov, M Huisman
Applied Sciences 10 (11), 3928, 2020
2020
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
W Ahrendt, L Henrio, W Oortwijn
VORTEX 2018, 32--46, 2019
2019
The VerCors Tool Set
W Oortwijn
2017
Static Verification of Message Passing Programs
W Oortwijn, S Blom, M Huisman
ICT. OPEN 2016, 2016
2016
Future-based Analysis of Message Passing Programs
W Oortwijn, S Blom, M Huisman
Model-based Verification of Distributed Software
W Oortwijn, M Huisman
The system can't perform the operation now. Try again later.
Articles 1–18