Research output per year
Research output per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
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
Dive into the research topics where Jaco van de Pol 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
-
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 AccessFile8 Citations (Scopus)28 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
10 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 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 Citations (Scopus)106 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