Wytse Oortwijn

22 papers A 1B 5C 2Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0.
CoRR
Dennis Hendriks, Michel A. Reniers, Wan J. Fokkink, Wytse Oortwijn
2025 C conf
Towards Synthesis-Based Engineering for Cyber-Physical Production Systems.
MODELSWARD
Wytse Oortwijn, Yuri Blankenstein, Jos Hegge, Dennis Hendriks, Piërre van de Laar, Bram van der Sanden, Laura van Veen, Nan Yang
2025 J jnl
gLTSdiff: a generalized framework for structural comparison of software behavior.
Softw. Syst. Model.
Dennis Hendriks, Wytse Oortwijn
2023 A conf
gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior.
MODELS
Dennis Hendriks, Wytse Oortwijn
2022 C conf
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems.
FMICS
Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn
2022 J jnl
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems.
CoRR
Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn
2021 B conf
Automated Verification of the Parallel Bellman-Ford Algorithm.
SAS
Mohsen Safari, Wytse Oortwijn, Marieke Huisman
2021 J jnl
Gobra: Modular Specification and Verification of Go Programs (extended version).
CoRR
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller
2021 — conf
Gobra: Modular Specification and Verification of Go Programs.
CAV (1)
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller
2020 — conf
Automated Verification of Parallel Nested DFS.
TACAS (1)
Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol
2020 — ed.
FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020
FTfJP@ECOOP
Wytse Oortwijn
2020 — conf
Formal Verification of Parallel Prefix Sum.
NFM
Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman
2020 B conf
Practical Abstractions for Automated Verification of Shared-Memory Concurrency.
VMCAI
Wytse Oortwijn, Dilian Gurov, Marieke Huisman
2019 B conf
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System.
IFM
Wytse Oortwijn, Marieke Huisman
2019 B conf
Practical Abstractions for Automated Verification of Message Passing Concurrency.
IFM
Wytse Oortwijn, Marieke Huisman
2018 — conf
An exercise in verifying sequential programs with VerCors.
ISSTA/ECOOP Workshops
Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman
2018 — conf
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors.
VORTEX@ECOOP/ISSTA
Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn
2017 — conf
An Abstraction Technique for Describing Concurrent Program Behaviour.
VSTTE
Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski
2017 — conf
Distributed binary decision diagrams for symbolic reachability.
SPIN
Wytse Oortwijn, Tom van Dijk, Jaco van de Pol
2017 B conf
The VerCors Tool Set: Verification of Parallel and Concurrent Software.
IFM
Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn
2016 — conf
Future-based Static Analysis of Message Passing Programs.
PLACES
Wytse Oortwijn, Stefan Blom, Marieke Huisman
2015 — conf
A Distributed Hash Table for Shared Memory.
PPAM (2)
Wytse Oortwijn, Tom van Dijk, Jaco van de Pol