Guest staff

prof.dr. J.C. van de Pol (Jaco)

Honorary Professor
EEMCS-CS-FMT
Building non-UT, non-campus
j.c.vandepol@utwente.nl
+31534893017
Business card

Expertise

  • Computer Science

    • Model Checking
    • Algorithms
    • Models
    • Automaton
    • Timed Automaton
    • model checker
    • Multicore
    • Events

Organisations

Publications

2023

A manifesto for applicable formal methods (2023)Software and systems modeling, 22(6), 1737-1749. Gleirscher, M., van de Pol, J. & Woodcock, J.https://doi.org/10.1007/s10270-023-01124-2

2022

Exploring a Parallel SCC Algorithm: Using TLA + and the TLC Model Checker (2022)In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 535-555) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13701 LNCS). Springer. van de Pol, J.https://doi.org/10.1007/978-3-031-19849-6_30Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones (2022)Information systems, 103. Article 101456. Bloemen, V., Zelst, S. v., Aalst, W. v. d., Dongen, B. v. & Pol, J. v. d.https://doi.org/10.1016/j.is.2019.101456

2021

An ECHO of cartilage: In silico prediction of combinatorial treatments to switch between transient and permanent cartilage phenotypes with ex vivo validation (2021)Frontiers in bioengineering and biotechnology, 9. Article 732917. 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.https://doi.org/10.3389/fbioe.2021.732917On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract) (2021)In Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020 Virtual Event, April 29, 2020 Revised Selected Papers (pp. 3-10) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12669). Springer. van de Pol, J. & Petrucci, L.https://doi.org/10.1007/978-3-030-73785-6_1

2020

ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease (2020)Cellular Signalling, 68. Article 109471. 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.https://doi.org/10.1016/j.cellsig.2019.109471

Research profiles

Address

University of Twente

Building non-UT, non-campus

Organisations

Scan the QR code or
Download vCard