• Åbogade 34

    8200 Aarhus N

    Danmark

20192024

Publikationer pr. år

Personlig profil

Eksterne ansættelser

Professor at University of Twente

Emneord

  • Formal methods
  • Formal verification
  • Softwarespecifikation og -verifikation
  • Design og analyse af algoritmer og datastrukturer

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Jaco van de Pol er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
  • 1 Lignende profiler

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
  • 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. (red.). Cham: Springer, s. 110-128 19 s. (Lecture Notes in Computer Science, Bind 14572 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 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. (red.). Springer Science and Business Media Deutschland GmbH, s. 194-212 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14572 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 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. (red.). Cham: Springer, s. 464-471 8 s. (Lecture Notes in Computer Science (LNCS), Bind 13903).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  • A manifesto for applicable formal methods

    Gleirscher, M., van de Pol, J. & Woodcock, J., dec. 2023, I: Software and Systems Modeling. 22, 6, s. 1737-1749 13 s.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

    Åben adgang
  • 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. (red.). Cham: Springer, s. 353-371 19 s. (Lecture Notes in Computer Science, Bind 13994).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang