Expertise
Computer Science
- Model Checking
- Algorithms
- Models
- Timed Automaton
- model checker
- Automaton
- Multicore
- Events
Organisations
Ancillary activities
- Aarhus Universityfull time professor
Publications
2023
A manifesto for applicable formal methods, 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 CheckerIn Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 535-555). 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, 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, 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)In Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020 Virtual Event, April 29, 2020 Revised Selected Papers (pp. 3-10). 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, 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.109471Automated Verification of Parallel Nested DFSIn 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 (pp. 247-265). Springer. Oortwijn, W., Huisman, M., Joosten, S. J. C. & Pol, J. v. d.https://doi.org/10.1007/978-3-030-45190-5_14The 2020 Expert Survey on Formal MethodsIn Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings (pp. 3-69). Springer. Garavel, H., Ter Beek, M. H. & Van De Pol, J.https://doi.org/10.1007/978-3-030-58298-2_1
2019
Concurrent chaining hash maps for software model checkingIn 2019 Formal Methods in Computer Aided Design (FMCAD), Article 8894279 (pp. 46-54). IEEE. van der Berg, F. I. & van de Pol, J.https://doi.org/10.23919/FMCAD.2019.8894279Efficient learning and analysis of system behavior. University of Twente. Meijer, J.https://doi.org/10.3990/1.9789036548441
Research profiles
Affiliated study programs
Courses academic year 2023/2024
Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
- 191211650 - Multi-Disciplinary Design Project
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta Software Technology
- 201600017 - Final Project Preparation
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900200 - Final Project EMSYS
- 201900234 - Internship I-Tech
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
Courses academic year 2022/2023
- 191211650 - Multi-Disciplinary Design Project
- 192166200 - Capita Selecta I-TECH
- 192199508 - Research Topics CS+IST
- 192199968 - Internship CS
- 192199978 - Final Project CS+IST
- 201300086 - Research Topics 2 CS+IST
- 201300294 - Master Thesis SEC Computer Science
- 201400171 - Capita Selecta Software Technology
- 201600017 - Final Project Preparation
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900200 - Final Project EMSYS
- 201900234 - Internship I-Tech
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202100340 - Combined Final Project EE/S&C
- 202200251 - Capita Selecta DST
- 202200377 - Internship I-Tech / Robotics
- 202200399 - Internship I-Tech / Robotics
Address
University of Twente
Building non-UT, non-campus
University of Twente
Building non-UT, non-campus
P.O. Box 217
7500 AE Enschede
Netherlands