Djurre van der Wal

According to our database, Djurre van der Wal authored at least 5 papers between 2018 and 2023.

Collaborative distances:

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

2023

A Case in Point: Verification and Testing of a EULYNX Interface.

Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink

Formal Aspects Comput., March, 2023

Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller.

Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2022

Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems.

Tobias Bachmann, Djurre van der Wal, Machiel van der Bijl, Daan van der Meij, Ana Oprescu

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

2021

A Formalisation of SysML State Machines in mCRL2.

Mark Bouwman, Bas Luttik, Djurre van der Wal

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

2018

Analysing AWN-Specifications Using mCRL2 (Extended Abstract).

Rob J. van Glabbeek, Peter Höfner, Djurre van der Wal

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018