Over mij
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
Engineering & Materials Science
# Binary Decision Diagrams
# Data Structures
# Model Checking
# Petri Nets
# Specification Languages
# Temporal Logic
Mathematics
# Decision Diagrams
# Model Checking
Verbonden aan
Publicaties
Recent
Gleirscher, M.
, van de Pol, J., & Woodcock, J. (2023).
A manifesto for applicable formal methods.
Software and systems modeling,
22(6), 1737-1749.
https://doi.org/10.1007/s10270-023-01124-2
van de Pol, J. (2022).
Exploring a Parallel SCC Algorithm: Using TLA + and the TLC Model Checker. In T. Margaria, & B. Steffen (Eds.),
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.
https://doi.org/10.1007/978-3-031-19849-6_30
Bloemen, V., Zelst, S. V., Aalst, W. V. D., Dongen, B. V.
, & Pol, J. V. D. (2022).
Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones.
Information systems,
103, Article 101456.
https://doi.org/10.1016/j.is.2019.101456
van de Pol, J., & Petrucci, L. (2021).
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). In M. Roggenbach (Ed.),
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.
https://doi.org/10.1007/978-3-030-73785-6_1
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. (2021).
An ECHO of cartilage: In silico prediction of combinatorial treatments to switch between transient and permanent cartilage phenotypes with ex vivo validation.
Frontiers in bioengineering and biotechnology,
9, Article 732917.
https://doi.org/10.3389/fbioe.2021.732917
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
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. (2020).
ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease.
Cellular Signalling,
68, Article 109471.
https://doi.org/10.1016/j.cellsig.2019.109471
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
Pure Link
Verbonden aan Opleidingen
Bachelor
Master
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
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Building non-UT, non-campus
Drienerlolaan 5
7522NB Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Building non-UT, non-campus
Postbus 217
7500 AE Enschede