Seguir
Wytse Oortwijn
Wytse Oortwijn
TNO-ESI
Dirección de correo verificada de tno.nl - Página principal
Título
Citado por
Citado por
Año
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
1082017
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
562021
Future-based static analysis of message passing programs
W Oortwijn, S Blom, M Huisman
arXiv preprint arXiv:1606.05942, 2016
232016
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
192017
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
172020
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
152019
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
152017
Deductive techniques for model-based concurrency verification
WHM Oortwijn
112019
Practical abstractions for automated verification of shared-memory concurrency
W Oortwijn, D Gurov, M Huisman
Verification, Model Checking, and Abstract Interpretation: 21st …, 2020
102020
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
92018
An abstraction technique for verifying shared-memory concurrency
W Oortwijn, D Gurov, M Huisman
Applied Sciences 10 (11), 3928, 2020
82020
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
82020
Practical abstractions for automated verification of message passing concurrency
W Oortwijn, M Huisman
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019
82019
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
62022
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
62021
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
42016
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
32021
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
W Ahrendt, L Henrio, W Oortwijn
VORTEX 2018, 32--46, 2019
22019
Distributed symbolic reachability analysis
WHM Oortwijn
University of Twente, 2015
22015
Artifact for the paper'gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior'
D Hendriks, WHM Oortwijn
Zenodo, 2023
12023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20