Personal profile
Education/Academic qualification
PhD, Termination of Higher-order Rewrite Systems, Utrecht University
Award Date: 11 Dec 1996
Master, Computer Science (term rewriting), Utrecht University
Award Date: 1 Dec 1992
External positions
Professor of Computer Science, Aarhus University
1 Nov 2018 → …
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
A manifesto for applicable formal methods
Gleirscher, M., van de Pol, J. & Woodcock, J., Dec 2023, In: Software and systems modeling. 22, 6, p. 1737-1749 13 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile19 Link opens in a new tab Citations (Scopus)134 Downloads (Pure) -
Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones
Bloemen, V., Zelst, S. V., Aalst, W. V. D., Dongen, B. V. & Pol, J. V. D., 3 Jan 2022, In: Information systems. 103, 101456.Research output: Contribution to journal › Article › Academic › peer-review
11 Link opens in a new tab Citations (Scopus)9 Downloads (Pure) -
Exploring a Parallel SCC Algorithm: Using TLA + and the TLC Model Checker
van de Pol, J., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 535-555 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
2 Link opens in a new tab Citations (Scopus)7 Downloads (Pure) -
An ECHO of cartilage: In silico prediction of combinatorial treatments to switch between transient and permanent cartilage phenotypes with ex vivo validation
Khurana, S., Schivo, S., Plass, J. R. M., Mersinis, N., Scholma, J., Kerkhofs, J., Zhong, L., van de Pol, J., Langerak, R., Geris, L., Karperien, M. & Post, J. N., 15 Nov 2021, In: Frontiers in bioengineering and biotechnology. 9, 21 p., 732917.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile2 Link opens in a new tab Citations (Scopus)160 Downloads (Pure) -
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)
van de Pol, J. & Petrucci, L., 2021, Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020 Virtual Event, April 29, 2020 Revised Selected Papers. Roggenbach, M. (ed.). Springer, p. 3-10 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12669).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Datasets
-
Artifact for Automated Verification of Parallel Nested DFS, TACAS’20
Oortwijn, W. H. M. (Creator), Huisman, M. (Creator), Joosten, S. J. C. (Creator) & van de Pol, J. (Creator), 4TU.Centre for Research Data, 2020
DOI: 10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b
Dataset
Prizes
-
Best Paper Award SPIN 2017
Oortwijn, W. H. M. (Recipient), van Dijk, T. (Recipient) & van de Pol, J. (Recipient), 14 Jul 2017
Prize: Honorary award
-
Best Student Paper Award
Bloemen, V. (Recipient), van Zelst, S. (Recipient), van der Aalst, W. (Recipient), van Dongen, B. (Recipient) & van de Pol, J. (Recipient), 2018
Prize
Activities
- 1 Invited talk
-
Parallel Algorithms for Model Checking
van de Pol, J. (Speaker)
12 Sept 2017Activity: Talk or presentation › Invited talk