A Distributed Hash Table for Shared Memory. - Wytse Oortwijn; Tom van Dijk; Jaco van de Pol (PPAM (2), 2015)

Future-based Static Analysis of Message Passing Programs. - Wytse Oortwijn; Stefan Blom; Marieke Huisman (PLACES, 2016)

The VerCors Tool Set: Verification of Parallel and Concurrent Software. - Stefan Blom; Saeed Darabi; Marieke Huisman; Wytse Oortwijn (IFM, 2017)

Distributed binary decision diagrams for symbolic reachability. - Wytse Oortwijn; Tom van Dijk; Jaco van de Pol (SPIN, 2017)

An Abstraction Technique for Describing Concurrent Program Behaviour. - Wytse Oortwijn; Stefan Blom; Dilian Gurov; Marieke Huisman; Marina Zaharieva-Stojanovski (VSTTE, 2017)

An exercise in verifying sequential programs with VerCors. - Sebastiaan J. C. Joosten; Wytse Oortwijn; Mohsen Safari; Marieke Huisman (ISSTA/ECOOP Workshops, 2018)

Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors. - Wolfgang Ahrendt; Ludovic Henrio; Wytse Oortwijn (VORTEX@ECOOP/ISSTA, 2018)

Practical Abstractions for Automated Verification of Message Passing Concurrency. - Wytse Oortwijn; Marieke Huisman (IFM, 2019)

Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System. - Wytse Oortwijn; Marieke Huisman (IFM, 2019)

Formal Verification of Parallel Prefix Sum. - Mohsen Safari; Wytse Oortwijn; Sebastiaan J. C. Joosten; Marieke Huisman (NFM, 2020)

Automated Verification of Parallel Nested DFS. - Wytse Oortwijn; Marieke Huisman; Sebastiaan J. C. Joosten; Jaco van de Pol (TACAS (1), 2020)

Practical Abstractions for Automated Verification of Shared-Memory Concurrency. - Wytse Oortwijn; Dilian Gurov; Marieke Huisman (VMCAI, 2020)

Gobra: Modular Specification and Verification of Go Programs. - Felix A. Wolf; Linard Arquint; Martin Clochard; Wytse Oortwijn; João Carlos Pereira; Peter Müller 001 (CAV (1), 2021)

Automated Verification of the Parallel Bellman-Ford Algorithm. - Mohsen Safari; Wytse Oortwijn; Marieke Huisman (SAS, 2021)

Gobra: Modular Specification and Verification of Go Programs (extended version). - Felix A. Wolf; Linard Arquint; Martin Clochard; Wytse Oortwijn; João Carlos Pereira; Peter Müller 001 (CoRR, 2021)

A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. - Dennis Hendriks; Arjan P. van der Meer; Wytse Oortwijn (FMICS, 2022)

gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior. - Dennis Hendriks; Wytse Oortwijn (MODELS, 2023)

Towards Synthesis-Based Engineering for Cyber-Physical Production Systems. - Wytse Oortwijn; Yuri Blankenstein; Jos Hegge; Dennis Hendriks; Piërre van de Laar; Bram van der Sanden; Laura van Veen; Nan Yang 009 (MODELSWARD, 2025)