Wytse Oortwijn

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 17

Top Topics

Automated Verification

Top Venues

Publications

Dennis Hendriks, Wytse Oortwijn
gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior. MODELS (2023)
Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. FMICS (2022)
Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. CoRR (2022)
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João C. Pereira, Peter Müller
Gobra: Modular Specification and Verification of Go Programs (extended version). CoRR (2021)
Mohsen Safari, Wytse Oortwijn, Marieke Huisman
Automated Verification of the Parallel Bellman-Ford Algorithm. SAS (2021)
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João C. Pereira, Peter Müller
Gobra: Modular Specification and Verification of Go Programs. CAV (1) (2021)
Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol
Automated Verification of Parallel Nested DFS. TACAS (1) (2020)
Wytse Oortwijn, Dilian Gurov, Marieke Huisman
Practical Abstractions for Automated Verification of Shared-Memory Concurrency. VMCAI (2020)
Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman
Formal Verification of Parallel Prefix Sum. NFM (2020)
Wytse Oortwijn, Marieke Huisman
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System. IFM (2019)
Wytse Oortwijn, Marieke Huisman
Practical Abstractions for Automated Verification of Message Passing Concurrency. IFM (2019)
Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors. VORTEX@ECOOP/ISSTA (2018)
Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman
An exercise in verifying sequential programs with VerCors. ISSTA/ECOOP Workshops (2018)
Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski
An Abstraction Technique for Describing Concurrent Program Behaviour. VSTTE (2017)
Wytse Oortwijn, Tom van Dijk, Jaco van de Pol
Distributed binary decision diagrams for symbolic reachability. SPIN (2017)
Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn
The VerCors Tool Set: Verification of Parallel and Concurrent Software. IFM (2017)
Wytse Oortwijn, Stefan Blom, Marieke Huisman
Future-based Static Analysis of Message Passing Programs. PLACES (2016)
Wytse Oortwijn, Tom van Dijk, Jaco van de Pol
A Distributed Hash Table for Shared Memory. PPAM (2) (2015)