Jaco van de Pol

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 81

Top Venues

CoRR

Int. J. Softw. Tools Technol. Transf.

ACSD

TACAS (2)

Publications

Irfansha Shaik, Jaco van de Pol
Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. CoRR (2024)
Thomas Neele, Jaco van de Pol
Operations on Fixpoint Equation Systems. Log. Methods Comput. Sci. 20 (3) (2024)
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version). CoRR (2024)
Irfansha Shaik, Jaco van de Pol
Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. SAT (2024)
Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol, Andreas Pavlogiannis
Fast Symbolic Computation of Bottom SCCs. TACAS (3) (2024)
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
On-The-Fly Algorithm for Reachability in Parametric Timed Games. TACAS (3) (2024)
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
A manifesto for applicable formal methods. Softw. Syst. Model. 22 (6) (2023)
Steffan Christ Sølvsten, Jaco van de Pol
Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory. NFM (2023)
Casper Abild Larsen, Simon Meldahl Schmidt, Jesper Steensgaard, Anna Blume Jakobsen, Jaco van de Pol, Andreas Pavlogiannis
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. TACAS (2) (2023)
Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol
Search-Space Pruning with Int-Splits for Faster QBF Solving. CoRR (2023)
Irfansha Shaik, Jaco van de Pol
Concise QBF Encodings for Games on a Grid (extended version). CoRR (2023)
Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine
Implicit QBF Encodings for Positional Games. ACG (2023)
Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine
Implicit State and Goals in QBF Encodings for Positional Games (extended version). CoRR (2023)
Steffan Christ Sølvsten, Jaco van de Pol
Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper). CoRR (2023)
Irfansha Shaik, Jaco van de Pol
Optimal Layout Synthesis for Quantum Circuits as Classical Planning. CoRR (2023)
Steffan Christ Sølvsten, Jaco van de Pol
Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. ATVA (2023)
Thomas Neele, Jaco van de Pol
Operations on Fixpoint Equation Systems. CoRR (2023)
Magnus Madsen, Jaco van de Pol
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. ECOOP (2023)
Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol
Validation of QBF Encodings with Winning Strategies. SAT (2023)
Magnus Madsen, Jaco van de Pol, Troels Henriksen
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Irfansha Shaik, Jaco van de Pol
Optimal Layout Synthesis for Quantum Circuits as Classical Planning. ICCAD (2023)
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
Efficient Convex Zone Merging in Parametric Timed Automata. CoRR (2022)
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS (2022)
Irfansha Shaik, Jaco van de Pol
Classical Planning as QBF without Grounding. ICAPS (2022)
Vincent Bloemen, Sebastiaan J. van Zelst, Wil M. P. van der Aalst, Boudewijn F. van Dongen, Jaco van de Pol
Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones. Inf. Syst. 103 (2022)
Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Madsen, Jesus Alfonso, José Ángel Castellanos, José Manuel Rodriguez-Fortun
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen
Adiar Binary Decision Diagrams in External Memory. TACAS (2) (2022)
Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) (2022)
Jaco van de Pol
Exploring a Parallel SCC Algorithm. ISoLA (1) (2022)
Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. FMICS (2021)
Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen
Efficient Binary Decision Diagram Manipulation in External Memory. CoRR (2021)
Étienne André, Dylan Marinho, Jaco van de Pol
A Benchmarks Library for Extended Parametric Timed Automata. TAP@STAF (2021)
Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol
Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. ANNSIM (2021)
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
A Manifesto for Applicable Formal Methods. CoRR (2021)
Irfansha Shaik, Jaco van de Pol
Classical Planning as QBF without Grounding (extended version). CoRR (2021)
Magnus Madsen, Jaco van de Pol
Relational nullable types with Boolean unification. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. TACAS (1) (2021)
Étienne André, Dylan Marinho, Jaco van de Pol
A Benchmarks Library for Extended Parametric Timed Automata. CoRR (2021)
Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
Certifying Emptiness of Timed Büchi Automata. FORMATS (2020)
Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol
Automated Verification of Parallel Nested DFS. TACAS (1) (2020)
Magnus Madsen, Jaco van de Pol
Polymorphic types and effects with Boolean unification. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Jaco van de Pol, Laure Petrucci
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). WADT (2020)
Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol
The 2020 Expert Survey on Formal Methods. FMICS (2020)
Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
Certifying Emptiness of Timed Büchi Automata. CoRR (2020)
Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
Minimal-Time Synthesis for Parametric Timed Automata. CoRR (2019)
Jaco van de Pol
Concurrent Algorithms and Data Structures for Model Checking (Invited Talk). CONCUR (2019)
Jeroen Meijer, Jaco van de Pol
Sound black-box checking in the LearnLib. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Tom van Dijk, Jeroen Meijer, Jaco van de Pol
Multi-core On-The-Fly Saturation. TACAS (2) (2019)
Freark I. van der Berg, Jaco van de Pol
Concurrent Chaining Hash Maps for Software Model Checking. FMCAD (2019)
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
Model checking with generalized Rabin and Fin-less automata. Int. J. Softw. Tools Technol. Transf. 21 (3) (2019)
Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
Minimal-Time Synthesis for Parametric Timed Automata. TACAS (2) (2019)
David Huistra, Jeroen Meijer, Jaco van de Pol
Adaptive Learning for Learn-Based Regression Testing. FMICS (2018)
Laure Petrucci, Jaco van de Pol
Parameter Synthesis Algorithms for Parametric Interval Markov Chains. FORTE (2018)
Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol
Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. ICECCS (2018)
Tom van Dijk, Jaco van de Pol
Multi-core symbolic bisimulation minimisation. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Jeroen Meijer, Jaco van de Pol
Sound Black-Box Checking in the LearnLib. NFM (2018)
Vincent Bloemen, Sebastiaan J. van Zelst, Wil M. P. van der Aalst, Boudewijn F. van Dongen, Jaco van de Pol
Maximizing Synchronization for Aligning Observed and Modelled Behaviour. BPM (2018)
Jaco van de Pol, Jeroen Meijer
Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin. Models, Mindsets, Meta (2018)
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Vincent Bloemen, Jaco van de Pol, Wil M. P. van der Aalst
Symbolically Aligning Observed and Modelled Behaviour. ACSD (2018)
Wytse Oortwijn, Tom van Dijk, Jaco van de Pol
Distributed binary decision diagrams for symbolic reachability. SPIN (2017)
Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo
Improving the Timed Automata Approach to Biological Pathway Dynamics. Models, Algorithms, Logics and Tools (2017)
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel
The RERS 2017 challenge and workshop (invited paper). SPIN (2017)
Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol
Property-Preserving Generation of Tailored Benchmark Petri Nets. ACSD (2017)
Tom van Dijk, Jaco van de Pol
Sylvan: multi-core framework for decision diagrams. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
Explicit state model checking with generalized Büchi and Rabin automata. SPIN (2017)
Jeroen Meijer, Jaco van de Pol
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. NFM (2016)
Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen
Guard-based partial-order reduction. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B Through ProB and LTSmin. IFM (2016)
Vincent Bloemen, Jaco van de Pol
Multi-core SCC-Based LTL Model Checking. Haifa Verification Conference (2016)
Jens Bendisposto, Philipp Koerner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B through ProB and LTSmin. CoRR (2016)
Tom van Dijk, Jaco van de Pol
Multi-core Symbolic Bisimulation Minimisation. TACAS (2016)
Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser
Software that Meets Its Intent. ISoLA (2) (2016)
Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol
RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. ISoLA (2) (2016)
Marieke Huisman, Jaco van de Pol
Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14). Sci. Comput. Program. 128 (2016)
Vincent Bloemen, Alfons Laarman, Jaco van de Pol
Multi-core on-the-fly SCC decomposition. PPOPP (2016)
Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol
Partial-Order Reduction for GPU Model Checking. ATVA (2016)
Stefano Schivo, Jetse Scholma, Paul E. van der Vet, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak
Modelling with ANIMO: between fuzzy logic and differential equations. BMC Syst. Biol. 10 (2016)
Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol
Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. ACSD (2016)
Waheed Ahmad, Jaco van de Pol
Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego. ISoLA (1) (2016)
Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga
Confluence reduction for Markov automata. Theor. Comput. Sci. 655 (2016)
Waheed Ahmad, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol
Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications. DSD (2015)
Tom van Dijk, Jaco van de Pol
Sylvan: Multi-Core Decision Diagrams. TACAS (2015)
Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga
Modeling and Verification of the Bitcoin Protocol. MARS (2015)
Wytse Oortwijn, Tom van Dijk, Jaco van de Pol
A Distributed Hash Table for Shared Memory. PPAM (2) (2015)
Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk
LTSmin: High-Performance Language-Independent Model Checking. TACAS (2015)
Jeroen Meijer, Jaco van de Pol
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking. CoRR (2015)
Jaco van de Pol, Theo C. Ruys, Steven te Brinke
Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Marieke Huisman, Jaco van de Pol
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Stefano Schivo, Jetse Scholma, Brend Wanders, Ricardo A. Urquidi Camacho, Paul E. van der Vet, Marcel Karperien, Rom Langerak, Jaco van de Pol, Janine N. Post
Modeling Biological Pathway Dynamics With Timed Automata. IEEE J. Biomed. Health Informatics 18 (3) (2014)
Gijs Kant, Jaco van de Pol
Generating and Solving Symbolic Parity Games. GRAPHITE (2014)
Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak
Setting Parameters for Biological Models With ANIMO. SynCoP (2014)
Waheed Ahmad, Robert de Groote, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol
Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. ACSD (2014)
Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol
Read, Write and Copy Dependencies for Symbolic Model Checking. Haifa Verification Conference (2014)
Tom van Dijk, Alfons Laarman, Jaco van de Pol
Multi-Core BDD Operations for Symbolic Reachability. Electron. Notes Theor. Comput. Sci. 296 (2013)
Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber
Guard-Based Partial-Order Reduction. SPIN (2013)
Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga
Confluence Reduction for Markov Automata. FORMATS (2013)
Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol
Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction. CAV (2013)
Gijs Kant, Jaco van de Pol
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games GRAPHITE (2012)
Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol
Multi-core Reachability for Timed Automata. FORMATS (2012)

Jaco van de Pol.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jaco van de Pol