20192024

Research activity per year

Personal profile

External positions

Professor at University of Twente

Keywords

  • Formal methods
  • Formal verification
  • Software specification and verification
  • Design and analysis og algorithms and data structures

Fingerprint

Dive into the research topics where Jaco van de Pol is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Fast Symbolic Computation of Bottom SCCs

    Jakobsen, A. B., Jørgensen, R. S. M., van de Pol, J. & Pavlogiannis, A., 2024, Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024. Finkbeiner, B. & Kovács, L. (eds.). Cham: Springer, p. 110-128 19 p. (Lecture Notes in Computer Science, Vol. 14572 LNCS).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access
  • On-The-Fly Algorithm for Reachability in Parametric Timed Games

    Dahlsen-Jensen, M. B., Fievet, B., Petrucci, L. & de Pol, J. V., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 194-212 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14572 LNCS).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access
  • Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory

    Sølvsten, S. & van de Pol, J., Jun 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Cham: Springer, p. 464-471 8 p. (Lecture Notes in Computer Science (LNCS), Vol. 13903).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • A manifesto for applicable formal methods

    Gleirscher, M., van de Pol, J. & Woodcock, J., Dec 2023, In: Software and Systems Modeling. 22, 6, p. 1737-1749 13 p.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

    Open Access
  • A Truly Symbolic Linear-Time Algorithm for SCC Decomposition

    Larsen, C. A., Schmidt, S. M., Steensgaard, J., Jakobsen, A. B., Pol, J. V. D. & Pavlogiannis, A., Apr 2023, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. Sankaranarayanan, S. & Sharygina, N. (eds.). Cham: Springer, p. 353-371 19 p. (Lecture Notes in Computer Science, Vol. 13994).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access