VLDB 2026 Research / reviewers in the wild / expert
P. H. M. van Spaendonck
dblp:305/3944
· DBLP profile ↗
4ranked-venue papers
3as first author
4since 2021 · last 2025
0000-0002-9536-1524ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 2 first-author · 3 since 2021Computer networks · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Mining Diamonds in Labelled Transition Systems
P. H. M. van Spaendonck, Kevin H. J. Jilissen |
TASE | 1 |
| 2023 | The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing
P. H. M. van Spaendonck, Tim A. C. Willemse |
CONCUR | 1 |
| 2023 | Efficient Dynamic Model Based Testing - Using Greedy Test Case Selection
P. H. M. van Spaendonck |
FORTE | 1 |
| 2022 | A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol)
Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck |
ISoLA (1) | 3 |