Billede af Jaco van de Pol

Vis Scopus-profil

Jaco van de Pol

 https://orcid.org/0000-0003-4305-0625

  • Åbogade 34

    8200 Aarhus N

    Danmark

20192024

Publikationer pr. år

Søgeresultater

  • 2024

    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

  • 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/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits

    Shaik, I. & Van de Pol, J., aug. 2024, 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024. Chakraborty, S. & Jiang, J.-H. R. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 26. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 305).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
  • 2023

    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/proceeding › Konferencebidrag i proceedings › Forskning › peer 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 avis › Tidsskriftartikel › Forskning › peer 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/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Concise QBF Encodings for Games on a Grid (extended version)

    Shaik, I. & van de Pol, J., 2023.

    Publikation: Working paper/Preprint › Preprint

    Åben adgang

  • Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems

    Madsen, M., Van De Pol, J. & Henriksen, T., okt. 2023, I: Proceedings of the ACM on Programming Languages . 7, OOPSLA2, s. 516–543 240.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

    Åben adgang

  • Implicit State and Goals in QBF Encodings for Positional Games (extended version)

    Shaik, I., Mayer-Eichberger, V., van de Pol, J. & Saffidine, A., 2023.

    Publikation: Working paper/Preprint › Preprint

    Åben adgang

  • Optimal Layout Synthesis for Quantum Circuits as Classical Planning

    Shaik, I. & van de Pol, J., 2023, 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD). IEEE, (ICCAD-IEEE ACM International Conference on Computer-Aided Design).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Predicting Memory Demands of BDD Operations using Maximum Graph Cuts

    Sølvsten, S. & van de Pol, J., okt. 2023, Automated technology for verification and analysis: Part II. André, É. & Sun, J. (red.). Cham: Springer, s. 72-92 21 s. (Lecture Notes in Computer Science, Bind 14216).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism

    Madsen, M. & Pol, J. V. D., jul. 2023, 37th European Conference on Object-Oriented Programming (ECOOP 2023). Ali, K. & Salvaneschi, G. (red.). Dagstuhl Publishing, 27 s. 18. (Leibniz International Proceedings in Informatics, Bind 263).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Validation of QBF Encodings with Winning Strategies

    Shaik, I., Heisinger, M., Seidl, M. & Pol, J. V. D., aug. 2023, I: Leibniz International Proceedings in Informatics. 271, 10 s.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review

    Åben adgang
  • 2022

    Adiar Binary Decision Diagrams in External Memory

    Sølvsten, S. C., de Pol, J. V., Jakobsen, A. B. & Thomasen, M. W. B., mar. 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (red.). Springer, s. 295-313 19 s. (Lecture Notes in Computer Science (LNCS), Bind 13244).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    28 Downloads (Pure)

  • Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones

    Bloemen, V., Zelst, S. V., Aalst, W. V. D., Dongen, B. V. & Pol, J. V. D., jan. 2022, I: Information Systems. 103, 101456.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Classical Planning as QBF without Grounding

    Shaik, I. & van de Pol, J., jun. 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (red.). AAAI Press, s. 329-337 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 32).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Efficient Convex Zone Merging in Parametric Timed Automata

    André, É., Marinho, D., Petrucci, L. & van de Pol, J., 2022, Formal Modeling and Analysis of Timed Systems. FORMATS 2022. Bogomolov, S. & Parker, D. (red.). Cham: Springer, s. 200-218 19 s. (Lecture Notes in Computer Science, Bind 13465).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Exploring a Parallel SCC Algorithm: Using TLA + and the TLC Model Checker

    van de Pol, J., okt. 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 535-555 21 s. (Lecture Notes in Computer Science, Bind 13701).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    1 Citationer (Scopus)

  • Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway

    Seisenberger, M., ter Beek, M. H., Fan, X., Ferrari, A., Haxthausen, A. E., James, P., Lawrence, A., Luttik, B., van de Pol, J. & Wimmer, S., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 246-268 23 s. (Lecture Notes in Computer Science, Bind 13704 LNCS). (Lecture Notes in Computer Science, Bind 13704).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    12 Citationer (Scopus)

  • Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps

    Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O., Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M., dec. 2022, I: International Journal on Software Tools for Technology Transfer. 24, 6, s. 999-1024 26 s.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

    1 Citationer (Scopus)
  • 2021

    A Benchmarks Library for Extended Parametric Timed Automata

    André, É., Marinho, D. & Pol, J. V. D., jun. 2021, Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Proceedings: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings. Loulergue, F. & Wotawa, F. (red.). Springer, s. 39-50 12 s. (Lecture Notes in Computer Science, Bind 12740).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Adiar: An I/O-efficient implementation of Decision Diagrams

    Sølvsten, S. (Udvikler), van de Pol, J. (Andet), Jakobsen, A. B. (Udvikler), Rysgaard, C. M. (Udvikler), Carstensen, E. F. (Udvikler) & Thomasen, M. W. B. (Udvikler), 25 apr. 2021

    Publikation: Bidrag der ikke har en tekstform › Software

    Åben adgang

  • A Manifesto for Applicable Formal Methods

    Gleirscher, M., Pol, J. V. D. & Woodcock, J., 23 dec. 2021, s. 1-17, 17 s. (CoRR).

    Publikation: Working paper/Preprint › Preprint

    Åben adgang

  • An ECHO of Cartilage: In Silico Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With Ex Vivo Validation

    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., nov. 2021, I: Frontiers in Bioengineering and Biotechnology. 9, 21 s., 732917.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

    Åben adgang

  • Classical Planning as QBF without Grounding (extended version)

    Shaik, I. & Pol, J. V. D., 18 jun. 2021, s. 1-17, 17 s. (CoRR).

    Publikation: Working paper/Preprint › Preprint

  • Efficient Binary Decision Diagram Manipulation in External Memory

    Sølvsten, S., van de Pol, J., Jakobsen, A. B. & Thomasen, M. W. B., 25 apr. 2021, ArXiv, 36 s.

    Publikation: Working paper/Preprint › Preprint

  • Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata

    André, É., Arias, J., Petrucci, L. & Pol, J. V. D., 20 mar. 2021, Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I. Groote, J. F. & Larsen, K. G. (red.). Springer, s. 311-329 19 s. (Lecture Notes in Computer Science, Bind 12651).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    44 Downloads (Pure)

  • On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)

    van de Pol, J. & Petrucci, L., 2021, Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Revised Selected Papers. Roggenbach, M. (red.). Springer Science and Business Media Deutschland GmbH, s. 3-10 8 s. (Lecture Notes in Computer Science, Bind 12669 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Proceedings First Workshop on Applicable Formal Methods

    Gleirscher, M. (Redaktør), Pol, J. V. D. (Redaktør) & Woodcock, J. (Redaktør), nov. 2021, 84 s. (Electronic Proceedings in Theoretical Computer Science).

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › peer review

    Åben adgang

  • Relational nullable types with Boolean unification

    Madsen, M. & Van De Pol, J., okt. 2021, I: Proceedings of the ACM on Programming Languages . 5, OOPSLA, s. 1-28 28 s., 110.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review

    Åben adgang
    Fil
    53 Downloads (Pure)

  • Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling

    Hansen, S. T., Gomes, C., Larsen, P. G. & Van De Pol, J., jul. 2021, 2021 Annual Modeling and Simulation Conference (ANNSIM). Martin, C. R., Blas, M. J. & Psijas, A. I. (red.). IEEE, s. 62-73 12 s. (Simulation Series; Nr. 2, Bind 53).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    1 Citationer (Scopus)

  • Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps

    Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J., 2021, Formal Methods for Industrial Critical Systems. Lafuente, A. L. & Mavridou, A. (red.). Springer, s. 3-20 18 s. (Lecture Notes in Computer Science, Bind 12863).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2020

    Automated verification of parallel nested DFS

    Oortwijn, W., Huisman, M., Joosten, S. J. C. & van de Pol, J., 2020, 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, Proceedings, Part I. Biere, A. & Parker, D. (red.). Springer, s. 247-265 19 s. (Lecture Notes in Computer Science, Bind 12078 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    66 Downloads (Pure)

  • Certifying Emptiness of Timed Büchi Automata

    Wimmer, S., Herbreteau, F. & van de Pol, J., 2020, Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020. Bertrand, N. & Jansen, N. (red.). Cham: Springer, s. 58-75 18 s. (Lecture Notes in Computer Science, Bind 12288 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease

    Schivo, S., Khurana, S., Govindaraj, K., Scholma, J., Kerkhofs, J., Zhong, L., Huang, X., van de Pol, J., Langerak, R., van Wijnen, A. J., Geris, L., Karperien, M. & Post, J. N., apr. 2020, I: Cellular Signalling. 68, 109471.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    Fil
    40 Downloads (Pure)

  • Polymorphic types and effects with Boolean unification

    Madsen, M. & Pol, J. V. D., 13 nov. 2020, Proceedings of the ACM on Programming Languages. OOPSLA udg. Association for Computing Machinery, Bind 4. 29 s. (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • The 2020 Expert Survey on Formal Methods

    Garavel, H., ter Beek, M. H. & van de Pol, J., aug. 2020, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings: FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. ter Beek, M. H. & Nickovic, D. (red.). Springer, s. 3-69 67 s. (Lecture Notes in Computer Science, Bind 12327).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

    Åben adgang
  • 2019

    Concurrent algorithms and data structures for model checking

    van de Pol, J., aug. 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 4. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 140).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Concurrent chaining hash maps for software model checking

    Van Der Berg, F. I. & Van De Pol, J., 2019, Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (red.). IEEE, s. 46-54 9 s. 8894279

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Minimal-Time Synthesis for Parametric Timed Automata

    André, É., Bloemen, V., Petrucci, L. & Pol, J. V. D., 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. Zhang, L. & Vojnar, T. (red.). Springer, Bind II. s. 211-228 18 s. (Lecture Notes in Computer Science, Bind 11428).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Model checking with generalized Rabin and Fin-less automata

    Bloemen, V., Duret-Lutz, A. & van de Pol, J., jun. 2019, I: International Journal on Software Tools for Technology Transfer. 21, 3, s. 307-324 18 s.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    1 Citationer (Scopus)

  • Multi-core On-The-Fly Saturation

    Dijk, T. V., Meijer, J. & van de Pol, J., 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Springer, s. 58-75 18 s. (Lecture Notes in Computer Science, Bind 11428).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    72 Downloads (Pure)

  • Software Architecture of Modern Model Checkers

    Kordon, F., Leuschel, M., Pol, J. V. D. & Thierry-Mieg, Y., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): State of the Art and Perspectives. Springer, s. 393-419 27 s. (Lecture Notes in Computer Science, Bind 10000).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning › peer review

  • Sound black-box checking in the LearnLib

    Meijer, J. & van de Pol, J., sep. 2019, I: Innovations in Systems and Software Engineering. 15, 3-4, s. 267-287 21 s.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    Fil
    170 Downloads (Pure)

  • Synchronous or Alternating? LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin

    Pol, J. V. D. & Meijer, J., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): The What, the How, and the Why Not?. Springer, s. 417-430 14 s. (Lecture Notes in Computer Science, Bind 11200).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning › peer review