P. H. M. van Spaendonck

According to our database, P. H. M. van Spaendonck authored at least 7 papers between 2021 and 2023.

Collaborative distances:

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

2023

Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework).

P. H. M. van Spaendonck

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

Efficient Dynamic Model Based Testing - Using Greedy Test Case Selection.

P. H. M. van Spaendonck

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

The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing.

P. H. M. van Spaendonck, Tim A. C. Willemse

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Verification of the busy-forbidden protocol (using an extension of the cones and foci framework).

P. H. M. van Spaendonck

CoRR, 2022

A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol).

Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation.

Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

A thread-safe Term Library.

Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck

CoRR, 2021