Fingerprint
Dive into the research topics where Flip van Spaendonck is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Mining Diamonds in Labelled Transition Systems
van Spaendonck, P. H. M. (Corresponding author) & Jilissen, K. H. J., 9 Jul 2025, Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings. Rümmer, P. & Wu, Z. (eds.). Cham: Springer, p. 104-121 18 p. (Lecture Notes in Computer Science (LNCS); vol. 15841).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
Uncovering Legacy Code
van Spaendonck, P. H. M., 12 Nov 2025, Eindhoven: Eindhoven University of Technology. 153 p.Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)
Open AccessFile231 Downloads (Pure) -
The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing
van Spaendonck, P. H. M. (Corresponding author) & Willemse, T. A. C. (Corresponding author), 7 Sept 2023, 34th International Conference on Concurrency Theory (CONCUR 2023). Pérez, G. A. & Raskin, J.-F. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 4:1-4:16 16 p. 4. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 279).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile24 Downloads (Pure) -
A Thread-Safe Term Library: (with a New Fast Mutual Exclusion Protocol)
Groote, J. F. (Corresponding author), Laveaux, M. & van Spaendonck, P. H. M., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 422-459 38 p. (Lecture Notes in Computer Science (LNCS); vol. 13701).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile2 Link opens in a new tab Citations (Scopus)3 Downloads (Pure) -
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation
Groote, J. F. (Corresponding author), Jilissen, K. H. J., Laveaux, M., van Spaendonck, P. H. M. & Willemse, T. A. C., 7 Sept 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, p. 306-320 15 p. (Lecture Notes in Computer Science; vol. 13560 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
1 Link opens in a new tab Citation (Scopus)1 Downloads (Pure)