P. H. M. van Spaendonck

11 papers B 1C 1Misc 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 Misc conf
Mining Diamonds in Labelled Transition Systems.
TASE
P. H. M. van Spaendonck, Kevin H. J. Jilissen
2025 J jnl
Mining Diamonds in labeled Transition Systems.
CoRR
P. H. M. van Spaendonck, Kevin H. J. Jilissen
2024 J jnl
Semi-Automatic Extraction of Formal Models from Object Oriented Code.
CoRR
P. H. M. van Spaendonck
2023 C conf
Efficient Dynamic Model Based Testing - Using Greedy Test Case Selection.
FORTE
P. H. M. van Spaendonck
2023 J jnl
Efficient dynamic model based testing using greedy test case selection.
CoRR
P. H. M. van Spaendonck
2023 B conf
The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing.
CONCUR
P. H. M. van Spaendonck, Tim A. C. Willemse
2023 — conf
Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework).
FSEN
P. H. M. van Spaendonck
2022 — conf
A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol).
ISoLA (1)
Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck
2022 — conf
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation.
A Journey from Process Algebra via Timed Automata to Model Learning
Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse
2022 J jnl
Verification of the busy-forbidden protocol (using an extension of the cones and foci framework).
CoRR
P. H. M. van Spaendonck
2021 J jnl
A thread-safe Term Library.
CoRR
Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck