default search action

combined dblp search
author search
venue search
publication search

ask others

P. H. M. van Spaendonck

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/SpaendonckW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/SpaendonckW23
P. H. M. van Spaendonck, Tim A. C. Willemse:
The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing. CONCUR 2023: 4:1-4:16
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Spaendonck23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Spaendonck23
P. H. M. van Spaendonck:
Efficient Dynamic Model Based Testing - Using Greedy Test Case Selection. FORTE 2023: 173-188
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/Spaendonck23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/Spaendonck23
P. H. M. van Spaendonck:
Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework). FSEN 2023: 126-141
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-00705
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-00705
P. H. M. van Spaendonck:
Efficient dynamic model based testing using greedy test case selection. CoRR abs/2305.00705 (2023)
2022
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GrooteJLSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GrooteJLSW22
Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse:
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 306-320
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/GrooteLS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/GrooteLS22
Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck:
A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol). ISoLA (1) 2022: 422-459
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-05334
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-05334
P. H. M. van Spaendonck:
Verification of the busy-forbidden protocol (using an extension of the cones and foci framework). CoRR abs/2208.05334 (2022)
2021
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2111-02706
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-02706
Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck:
A thread-safe Term Library. CoRR abs/2111.02706 (2021)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.