Welcome...

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

Professor

About Me

    My research area is in formal methods for computer science. This involves modeling and analysis of safety, dependability and security aspects of software-intensive embedded systems by means of model checking, theorem proving and automated testing.

    More specifically, I am developing new model checking techniques based on symbolic techniques (e.g. abstraction, confluence, fixpoint equation systems, constraint solving) and high-performance computing (e.g. distributed model checking, multi-core and out-of-core algorithms).

    Application domains include embedded systems, distributed systems, including blockchain technology, security protocols, and biological systems.

    I have moved to Aarhus University by November 2018.

Expertise

Engineering & Materials Science
Binary Decision Diagrams
Data Structures
Model Checking
Petri Nets
Specification Languages
Temporal Logic
Mathematics
Decision Diagrams
Model Checking

Publications

Recent
Garavel, H., Ter Beek, M. H. , & Van De Pol, J. (2020). The 2020 Expert Survey on Formal Methods. In M. H. ter Beek, & D. Nickovic (Eds.), Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings (pp. 3-69). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12327 LNCS). Springer. https://doi.org/10.1007/978-3-030-58298-2_1
Oortwijn, W. , Huisman, M. , Joosten, S. J. C. , & Pol, J. V. D. (2020). Automated Verification of Parallel Nested DFS. In A. Biere, & D. Parker (Eds.), 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). (Lecture Notes in Computer Science; Vol. 12078). Springer. https://doi.org/10.1007/978-3-030-45190-5_14
Kordon, F., Leuschel, M. , Pol, J. V. D., & Thierry-Mieg, Y. (2019). Software Architecture of Modern Model Checkers. In B. Steffen, & G. Woeginger (Eds.), Computing and Software Science: State of the Art and Perspectives (pp. 393-419). (Lecture Notes in Computer Science; Vol. 10000), (Theoretical Computer Science and General Issues). Springer. https://doi.org/10.1007/978-3-319-91908-9_20
Bloemen, V., Duret-Lutz, A. , & van de Pol, J. (2019). Model checking with generalized Rabin and Fin-less automata. International journal on software tools for technology transfer, 21(3), 307-324. https://doi.org/10.1007/s10009-019-00508-4
van Dijk, T. , Meijer, J. , & van de Pol, J. (2019). Multi-core On-The-Fly Saturation. In L. Zhang, & T. Vojnar (Eds.), 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 (pp. 58-75). (Lecture Notes in Computer Science; Vol. 11428), (Theoretical Computer Science and General Issues). Springer. https://doi.org/10.1007/978-3-030-17465-1_4
André, É. , Bloemen, V. , Petrucci, L. , & van de Pol, J. (2019). Minimal-time synthesis for parametric timed automata. In L. Zhang, & T. Vojnar (Eds.), 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 (pp. 211-228). (Lecture Notes in Computer Science; Vol. 11428), (Theoretical Computer Science and General Issues). Springer. https://doi.org/10.1007/978-3-030-17465-1_12
Meijer, J. , & van de Pol, J. (2019). Sound black-box checking in the LearnLib. Innovations in systems and software engineering, 15(3-4), 267-287. https://doi.org/10.1007/s11334-019-00342-6

UT Research Information System

Affiliated Study Programmes

Bachelor

Master

Courses Academic Year  2022/2023

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.
 

Courses Academic Year  2021/2022

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Building non-UT, non-campus
Drienerlolaan 5
7522NB  Enschede
The Netherlands

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Building non-UT, non-campus
P.O. Box 217
7500 AE Enschede
The Netherlands