Publikationer pr. år
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
Publikation
-
Program Analysis via Multiple Context Free Language Reachability
Conrado, G. K., Kjelstrøm, A. H., Van De Pol, J. & Pavlogiannis, A., jan. 2025, I: Proceedings of the ACM on Programming Languages . 9, 18.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Random Access on Narrow Decision Diagrams in External Memory
Sølvsten, S., Rysgaard, C. M. & van de Pol, J., 2025, Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. Neele, T. & Wijs, A. (red.). Springer, s. 137–145 9 s. (Lecture Notes in Computer Science, Bind 14624).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
-
Symbolic Model Checking in External Memory
Bidragets oversatte titel :Symbolsk Modelafprøvning i Ekstern Hukommelse Publikation: Working paper/Preprint › Preprint
Åben adgang -
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/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
Implicit QBF Encodings for Positional Games
Shaik, I., Mayer-Eichberger, V., van de Pol, J. & Saffidine, A., 2024, Advances in Computer Games - 18th International Conference, ACG 2023, Revised Selected Papers. Hartisch, M., Hsueh, C.-H. & Schaeffer, J. (red.). Springer, s. 133-145 13 s. (Lecture Notes in Computer Science, Bind 14528).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
1 Citationer (Scopus)