Jaco van de Pol

prof.dr.

Full Professor, Formal Methods and Tools

https://sandbox.orcid.org/0000-0003-4305-0625

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

PhD, Utrecht University

Award Date: 11 Dec 1996

Master, 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.

6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or

81 Conference contribution
26 Article
15 Report
8 Chapter
More

Automated Verification of Parallel Nested DFS
Oortwijn, W., Huisman, M., Joosten, S. J. C. & Pol, J. V. D., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Springer, p. 247-265 (Lecture Notes in Computer Science; vol. 12078).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Open Access
File
1 Citation (Scopus)

1 Downloads (Pure)
ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease
Schivo, S., Khurana, S., Govindaraj, K., Scholma, J., Kerkhofs, J., Zhong, L., Huang, X., Pol, J. V. D., Langerak, R., Wijnen, A. J. V., Geris, L., Karperien, M. & Post, J. N., 1 Apr 2020, In : Cellular Signalling. 68, 109471.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
File
2 Citations (Scopus)

17 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., 26 Oct 2019, In : Information systems. (journal pre-proof).
Research output: Contribution to journal › Article › Academic › peer-review
Concurrent algorithms and data structures for model checking
van de Pol, J., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Dagstuhl, 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
61 Downloads (Pure)
Concurrent chaining hash maps for software model checking
van der Berg, F. I. & van de Pol, J., Oct 2019, 2019 Formal Methods in Computer Aided Design (FMCAD). Barrett, C. & Yang, J. (eds.). Piscataway, NY: IEEE, p. 46-54 9 p. 8894279. (Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD); vol. 2019).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

Best Paper Award SPIN 2017
Wytse H.M. Oortwijn (Recipient), van Dijk, Tom (Recipient) & van de Pol, Jaco (Recipient), 14 Jul 2017
Prize: Honorary award
Best Student Paper Award
Vincent Bloemen (Recipient), Sebastiaan van Zelst (Recipient), Wil van der Aalst (Recipient), Boudewijn van Dongen (Recipient) & van de Pol, Jaco (Recipient), 2018
Prize

1 Invited talk

Parallel Algorithms for Model Checking
Jaco van de Pol (Speaker)
12 Sep 2017
Activity: Talk or presentation › Invited talk