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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski