20072020

Research output per year

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

Personal profile

Education/Academic qualification

PhD, Utrecht University

Master, Utrecht University

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.

  • 14 Similar Profiles

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

Research Output

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 journalArticleAcademicpeer-review

Open Access
File
  • 5 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 journalArticleAcademicpeer-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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 7 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 proceedingConference contributionAcademicpeer-review

  • Minimal-time synthesis for parametric timed automata

    André, É., Bloemen, V., Petrucci, L. & van de Pol, J., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 211-228 18 p. (Lecture Notes in Computer Science; vol. 11428)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 1 Citation (Scopus)
    15 Downloads (Pure)

    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

    Dataset

    Prizes

    Best Paper Award SPIN 2017

    Wytse H.M. Oortwijn (Recipient), Tom van Dijk (Recipient) & Jaco van de Pol (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) & Jaco van de Pol (Recipient), 2018

    Prize

  • Activities

    • 1 Invited talk

    Parallel Algorithms for Model Checking

    Jaco van de Pol (Speaker)
    12 Sep 2017

    Activity: Talk or presentationInvited talk