Wytse Oortwijn

According to our database, Wytse Oortwijn authored at least 17 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior.

Dennis Hendriks, Wytse Oortwijn

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems.

Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

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

CoRR, 2021

Automated Verification of the Parallel Bellman-Ford Algorithm.

Mohsen Safari, Wytse Oortwijn, Marieke Huisman

Proceedings of the Static Analysis - 28th International Symposium, 2021

Gobra: Modular Specification and Verification of Go Programs.

Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Practical Abstractions for Automated Verification of Shared-Memory Concurrency.

Wytse Oortwijn, Dilian Gurov, Marieke Huisman

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Automated Verification of Parallel Nested DFS.

Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Formal Verification of Parallel Prefix Sum.

Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System.

Wytse Oortwijn, Marieke Huisman

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Practical Abstractions for Automated Verification of Message Passing Concurrency.

Wytse Oortwijn, Marieke Huisman

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors.

Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

An exercise in verifying sequential programs with VerCors.

Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2017

An Abstraction Technique for Describing Concurrent Program Behaviour.

Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

Distributed binary decision diagrams for symbolic reachability.

Wytse Oortwijn, Tom van Dijk, Jaco van de Pol

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

The VerCors Tool Set: Verification of Parallel and Concurrent Software.

Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Future-based Static Analysis of Message Passing Programs.

Wytse Oortwijn, Stefan Blom, Marieke Huisman

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

2015

A Distributed Hash Table for Shared Memory.

Wytse Oortwijn, Tom van Dijk, Jaco van de Pol

Proceedings of the Parallel Processing and Applied Mathematics, 2015