EEMCS-CS-FMT

Mijn onderzoek in formele methoden voor Informatica gaat over het vergroten van de betrouwbaarheid en veiligheid van software. Door middel van logisch redeneren, algoritmes en software tools probeer ik de verificatie van software gemakkelijker te maken.

Ik ben geïnteresseerd in technische toepassingen in embedded systems, gedistribueerde systemen, inclusief blockchain technology, maar ook in biologische en sociale systemen.

Expertises

  • Computer Science

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

Organisaties

Nevenwerkzaakheden

  • Aarhus Universityfull time professor

Publicaties

2023
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
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

Onderzoeksprofielen

Verbonden aan opleidingen

Vakken collegejaar 2023/2024

Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.

Vakken collegejaar 2022/2023

Scan de QR-code of
Download vCard