default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJaco van de Pol
Jaco C. van de Pol
Person information
- affiliation: Aarhus University, Department of Computer Science, Aarhus, Denmark
- affiliation: University of Twente, Enschede, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j40]Thomas Neele, Jaco van de Pol:
Operations on Fixpoint Equation Systems. Log. Methods Comput. Sci. 20(3) (2024)- [c138]Irfansha Shaik
, Jaco van de Pol:
Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation. ECAI 2024: 4207-4215 - [c137]Irfansha Shaik, Jaco van de Pol:
Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. SAT 2024: 26:1-26:18 - [c136]Steffan Christ Sølvsten, Casper Moldrup Rysgaard, Jaco van de Pol:
Random Access on Narrow Decision Diagrams in External Memory. SPIN 2024: 137-145 - [c135]Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol, Andreas Pavlogiannis:
Fast Symbolic Computation of Bottom SCCs. TACAS (3) 2024: 110-128 - [c134]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: 194-212 - [d13]Irfansha Shaik, Jaco van de Pol:
Q-Synth. DROPS Artifacts, 2024
- [d12]Irfansha Shaik, Jaco van de Pol:
Q-Synth v2.0 release. DROPS Artifacts, 2024 - [i24]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 abs/2401.11287 (2024) - [i23]Irfansha Shaik, Jaco van de Pol:
Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. CoRR abs/2403.11598 (2024) - [i22]Irfansha Shaik, Jaco van de Pol:
Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation. CoRR abs/2408.04349 (2024) - [i21]Steffan Christ Sølvsten, Jaco van de Pol:
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper). CoRR abs/2408.14216 (2024) - [i20]Giovanna Kobus Conrado, Adam Husted Kjelstrøm, Andreas Pavlogiannis, Jaco van de Pol:
Program Analysis via Multiple Context Free Language Reachability. CoRR abs/2411.06383 (2024) - 2023
- [j39]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): 516-543 (2023) - [j38]Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
A manifesto for applicable formal methods. Softw. Syst. Model. 22(6): 1737-1749 (2023) - [c133]Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine:
Implicit QBF Encodings for Positional Games. ACG 2023: 133-145 - [c132]Steffan Christ Sølvsten, Jaco van de Pol:
Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. ATVA 2023: 72-92 - [c131]Magnus Madsen, Jaco van de Pol:
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. ECOOP 2023: 18:1-18:27 - [c130]Irfansha Shaik, Jaco van de Pol:
Optimal Layout Synthesis for Quantum Circuits as Classical Planning. ICCAD 2023: 1-9 - [c129]Steffan Christ Sølvsten, Jaco van de Pol:
Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory. NFM 2023: 464-471 - [c128]Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol:
Validation of QBF Encodings with Winning Strategies. SAT 2023: 24:1-24:10 - [c127]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: 353-371 - [d11]Mikael Bisgaard Dahlsen-Jensen, Jaco van de Pol, Laure Petrucci, Baptiste Fievet:
Artifact for "On-The-Fly Algorithm for Reachability in Parametric Timed Games". Zenodo, 2023 - [d10]Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol:
Artifact for Paper Search-Space Pruning with Int-Splits for Faster QBF Solving. Zenodo, 2023 - [d9]Magnus Madsen, Jaco van de Pol, Troels Henriksen:
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact). Version 2. Zenodo, 2023 [all versions] - [d8]Magnus Madsen, Jaco van de Pol, Troels Henriksen:
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact). Version 3. Zenodo, 2023 [all versions] - [d7]Steffan Christ Sølvsten, Jaco van de Pol:
Adiar 1.1.0 : Experiment Data. Zenodo, 2023 - [d6]Steffan Christ Sølvsten, Jaco van de Pol:
Adiar 1.2.0 : Experiment Data. Zenodo, 2023 - [i19]Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine:
Implicit State and Goals in QBF Encodings for Positional Games (extended version). CoRR abs/2301.07345 (2023) - [i18]Irfansha Shaik, Jaco van de Pol:
Concise QBF Encodings for Games on a Grid (extended version). CoRR abs/2303.16949 (2023) - [i17]Thomas Neele, Jaco van de Pol:
Operations on Fixpoint Equation Systems. CoRR abs/2304.07162 (2023) - [i16]Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol:
Search-Space Pruning with Int-Splits for Faster QBF Solving. CoRR abs/2304.08308 (2023) - [i15]Irfansha Shaik, Jaco van de Pol:
Optimal Layout Synthesis for Quantum Circuits as Classical Planning. CoRR abs/2304.12014 (2023) - [i14]Steffan Christ Sølvsten, Jaco van de Pol:
Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper). CoRR abs/2307.04488 (2023) - 2022
- [j37]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: 101456 (2022) - [j36]Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Palludan 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): 999-1024 (2022) - [c126]Irfansha Shaik, Jaco van de Pol:
Classical Planning as QBF without Grounding. ICAPS 2022: 329-337 - [c125]Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS 2022: 200-218 - [c124]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: 246-268 - [c123]Jaco van de Pol:
Exploring a Parallel SCC Algorithm. ISoLA (1) 2022: 535-555 - [c122]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: 295-313 - [d5]Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata". Zenodo, 2022 - [d4]Irfansha Shaik, Jaco van de Pol:
Code, Benchmarks, Data from the ICAPS 2022 paper "Classical Planning as QBF without Grounding". Zenodo, 2022 - [i13]Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Efficient Convex Zone Merging in Parametric Timed Automata. CoRR abs/2212.04802 (2022) - 2021
- [j35]Magnus Madsen, Jaco van de Pol:
Relational nullable types with Boolean unification. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021) - [c121]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: 1-12 - [c120]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: 3-20 - [c119]Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol:
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. TACAS (1) 2021: 311-329 - [c118]Étienne André, Dylan Marinho, Jaco van de Pol:
A Benchmarks Library for Extended Parametric Timed Automata. TAP@STAF 2021: 39-50 - [e7]Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021. EPTCS 349, 2021 [contents] - [d3]Étienne André, Dylan Marinho, Jaco van de Pol:
The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata. Zenodo, 2021 - [d2]Steffan Christ Sølvsten, Jaco van de Pol:
Adiar 1.0.1 : TACAS 2022 Artifact. Zenodo, 2021 - [d1]Steffan Christ Sølvsten, Jaco van de Pol:
Adiar 1.0.1 : Experiment Data. Zenodo, 2021 - [i12]Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen:
Efficient Binary Decision Diagram Manipulation in External Memory. CoRR abs/2104.12101 (2021) - [i11]Irfansha Shaik, Jaco van de Pol:
Classical Planning as QBF without Grounding (extended version). CoRR abs/2106.10138 (2021) - [i10]Étienne André, Dylan Marinho, Jaco van de Pol:
A Benchmarks Library for Extended Parametric Timed Automata. CoRR abs/2106.10232 (2021) - [i9]Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
A Manifesto for Applicable Formal Methods. CoRR abs/2112.12758 (2021) - 2020
- [j34]Magnus Madsen, Jaco van de Pol:
Polymorphic types and effects with Boolean unification. Proc. ACM Program. Lang. 4(OOPSLA): 154:1-154:29 (2020) - [c117]Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol:
The 2020 Expert Survey on Formal Methods. FMICS 2020: 3-69 - [c116]Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol:
Certifying Emptiness of Timed Büchi Automata. FORMATS 2020: 58-75 - [c115]Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol:
Automated Verification of Parallel Nested DFS. TACAS (1) 2020: 247-265 - [c114]Jaco van de Pol, Laure Petrucci:
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). WADT 2020: 3-10 - [i8]Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol:
Certifying Emptiness of Timed Büchi Automata. CoRR abs/2007.04150 (2020)
2010 – 2019
- 2019
- [j33]Jeroen Meijer, Jaco van de Pol:
Sound black-box checking in the LearnLib. Innov. Syst. Softw. Eng. 15(3-4): 267-287 (2019) - [j32]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): 307-324 (2019) - [c113]Jaco van de Pol:
Concurrent Algorithms and Data Structures for Model Checking (Invited Talk). CONCUR 2019: 4:1-4:1 - [c112]Freark I. van der Berg, Jaco van de Pol:
Concurrent Chaining Hash Maps for Software Model Checking. FMCAD 2019: 46-54 - [c111]Tom van Dijk, Jeroen Meijer, Jaco van de Pol:
Multi-core On-The-Fly Saturation. TACAS (2) 2019: 58-75 - [c110]Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol:
Minimal-Time Synthesis for Parametric Timed Automata. TACAS (2) 2019: 211-228 - [p3]Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg:
Software Architecture of Modern Model Checkers. Computing and Software Science 2019: 393-419 - [i7]Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol:
Minimal-Time Synthesis for Parametric Timed Automata. CoRR abs/1902.03013 (2019) - 2018
- [j31]Tom van Dijk, Jaco van de Pol:
Multi-core symbolic bisimulation minimisation. Int. J. Softw. Tools Technol. Transf. 20(2): 157-177 (2018) - [j30]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: 181-209 (2018) - [c109]Vincent Bloemen, Jaco van de Pol, Wil M. P. van der Aalst:
Symbolically Aligning Observed and Modelled Behaviour. ACSD 2018: 50-59 - [c108]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: 417-430 - [c107]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: 233-249 - [c106]David Huistra, Jeroen Meijer, Jaco van de Pol:
Adaptive Learning for Learn-Based Regression Testing. FMICS 2018: 162-177 - [c105]Laure Petrucci, Jaco van de Pol:
Parameter Synthesis Algorithms for Parametric Interval Markov Chains. FORTE 2018: 121-140 - [c104]Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol:
Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. ICECCS 2018: 1-9 - [c103]Jeroen Meijer, Jaco van de Pol:
Sound Black-Box Checking in the LearnLib. NFM 2018: 349-366 - [p2]Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault:
Parallel Model Checking Algorithms for Linear-Time Temporal Logic. Handbook of Parallel Constraint Reasoning 2018: 457-507 - [p1]Tom van Dijk, Jaco van de Pol:
Multi-core Decision Diagrams. Handbook of Parallel Constraint Reasoning 2018: 509-545 - 2017
- [j29]Tom van Dijk, Jaco van de Pol:
Sylvan: multi-core framework for decision diagrams. Int. J. Softw. Tools Technol. Transf. 19(6): 675-696 (2017) - [c102]Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol:
Property-Preserving Generation of Tailored Benchmark Petri Nets. ACSD 2017: 1-8 - [c101]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: 96-111 - [c100]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: 11-20 - [c99]Wytse Oortwijn, Tom van Dijk, Jaco van de Pol:
Distributed binary decision diagrams for symbolic reachability. SPIN 2017: 21-30 - [c98]Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol:
Explicit state model checking with generalized Büchi and Rabin automata. SPIN 2017: 50-59 - 2016
- [j28]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: 56 (2016) - [j27]Marieke Huisman, Jaco van de Pol:
Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14). Sci. Comput. Program. 128: 1 (2016) - [j26]Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen:
Guard-based partial-order reduction. Int. J. Softw. Tools Technol. Transf. 18(4): 427-448 (2016) - [j25]Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga:
Confluence reduction for Markov automata. Theor. Comput. Sci. 655: 193-219 (2016) - [c97]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: 114-123 - [c96]Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol:
Partial-Order Reduction for GPU Model Checking. ATVA 2016: 357-374 - [c95]Vincent Bloemen, Jaco van de Pol:
Multi-core SCC-Based LTL Model Checking. Haifa Verification Conference 2016: 18-33 - [c94]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: 275-291 - [c93]Waheed Ahmad, Jaco van de Pol:
Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego. ISoLA (1) 2016: 94-113 - [c92]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: 609-625 - [c91]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: 787-803 - [c90]Jeroen Meijer, Jaco van de Pol:
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. NFM 2016: 255-271 - [c89]Vincent Bloemen, Alfons Laarman, Jaco van de Pol:
Multi-core on-the-fly SCC decomposition. PPoPP 2016: 8:1-8:12 - [c88]Tom van Dijk, Jaco van de Pol:
Multi-core Symbolic Bisimulation Minimisation. TACAS 2016: 332-348 - [i6]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 abs/1603.04401 (2016) - 2015
- [c87]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: 271-275 - [c86]Jaco C. van de Pol:
Automated Verification of Nested DFS. FMICS 2015: 181-197 - [c85]Wytse Oortwijn, Tom van Dijk, Jaco van de Pol:
A Distributed Hash Table for Shared Memory. PPAM (2) 2015: 15-24 - [c84]Tom van Dijk, Jaco van de Pol:
Sylvan: Multi-Core Decision Diagrams. TACAS 2015: 677-691 - [c83]Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk:
LTSmin: High-Performance Language-Independent Model Checking. TACAS 2015: 692-707 - [c82]Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga:
Modeling and Verification of the Bitcoin Protocol. MARS 2015: 46-60 - [i5]Jeroen Meijer, Jaco van de Pol:
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking. CoRR abs/1511.08678 (2015) - 2014
- [j24]Marieke Huisman, Jaco van de Pol:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j23]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): 481-491 (2014) - [j22]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): 832-839 (2014) - [c81]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: 72-81 - [c80]Tom van Dijk, Jaco C. van de Pol:
Lace: Non-blocking Split Deque for Work-Stealing. Euro-Par Workshops (2) 2014: 206-217 - [c79]Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol:
Read, Write and Copy Dependencies for Symbolic Model Checking. Haifa Verification Conference 2014: 204-219 - [c78]Gijs Kant, Jaco van de Pol:
Generating and Solving Symbolic Parity Games. GRAPHITE 2014: 2-14 - [c77]Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak:
Setting Parameters for Biological Models With ANIMO. SynCoP 2014: 35-47 - 2013
- [c76]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: 968-983 - [c75]Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga:
Confluence Reduction for Markov Automata. FORMATS 2013: 243-257 - [c74]Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber:
Guard-Based Partial-Order Reduction. SPIN 2013: 227-245 - 2012
- [j21]