| 2025 | MODELSWARD | Towards Synthesis-Based Engineering for Cyber-Physical Production Systems. | Wytse Oortwijn, Yuri Blankenstein, Jos Hegge, Dennis Hendriks, Pirre van de Laar, Bram van der Sanden, Laura van Veen, Nan Yang |
| 2023 | MODELS | gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior. | Dennis Hendriks, Wytse Oortwijn |
| 2022 | FMICS | A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. | Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn |
| 2021 | CAV | Gobra: Modular Specification and Verification of Go Programs. | Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, Joo Carlos Pereira, Peter Mller |
| 2021 | SAS | Automated Verification of the Parallel Bellman-Ford Algorithm. | Mohsen Safari, Wytse Oortwijn, Marieke Huisman |
| 2020 | TACAS | Automated Verification of Parallel Nested DFS. | Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol |
| 2020 | VMCAI | Practical Abstractions for Automated Verification of Shared-Memory Concurrency. | Wytse Oortwijn, Dilian Gurov, Marieke Huisman |
| 2019 | IFM | Practical Abstractions for Automated Verification of Message Passing Concurrency. | Wytse Oortwijn, Marieke Huisman |
| 2019 | IFM | Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System. | Wytse Oortwijn, Marieke Huisman |
| 2018 | ISSTA | An exercise in verifying sequential programs with VerCors. | Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman |
| 2017 | IFM | The VerCors Tool Set: Verification of Parallel and Concurrent Software. | Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn |
| 2015 | PPAM | A Distributed Hash Table for Shared Memory. | Wytse Oortwijn, Tom van Dijk, Jaco van de Pol |