Termination Proofs for Higher-order Rewrite Systems. - Jaco van de Pol (HOA, 1993)

Two Different Strong Normalization Proofs? - Jaco van de Pol (HOA, 1995)

Strict Functionals for Termination Proofs. - Jaco van de Pol; Helmut Schwichtenberg (TLCA, 1995)

A Bounded Retransmission Protocol for Large Data Packets. - Jan Friso Groote; Jaco van de Pol (AMAST, 1996)

Simulation as a Correct Transformation of Rewrite Systems. - Wan J. Fokkink; Jaco van de Pol (MFCS, 1997)

Checking Verifications of Protocols and Distributed Systems by Computer. - Jan Friso Groote; François Monin; Jaco van de Pol (CONCUR, 1998)

Operational Semantics of Rewriting with Priorities. - Jaco van de Pol (Theor. Comput. Sci., 1998)

Modular Formal Specification of Data and Behaviour. - Jaco van de Pol; Jozef Hooman; Edwin D. de Jong (IFM, 1999)

Refinement in Requirements Specification and Analysis: A Case Study. - Edwin D. de Jong; Jaco van de Pol; Jozef Hooman (ECBS, 2000)

Equational Binary Decision Diagrams. - Jan Friso Groote; Jaco van de Pol (LPAR, 2000)

State Space Reduction Using Partial tau-Confluence. - Jan Friso Groote; Jaco van de Pol (MFCS, 2000)

Binary Decision Diagrams by Shard Rewriting. - Jaco van de Pol; Hans Zantema (MFCS, 2000)

µCRL: A Toolset for Analysing Algebraic Specifications. - Stefan Blom; Wan J. Fokkink; Jan Friso Groote; Izak van Langevelde; Bert Lisser; Jaco van de Pol (CAV, 2001)

A rewriting approach to binary decision diagrams. - Hans Zantema; Jaco van de Pol (J. Log. Algebraic Methods Program., 2001)

Just-in-time: On Strategy Annotations. - Jaco van de Pol (WRS, 2001)

State Space Reduction by Proving Confluence. - Stefan Blom; Jaco van de Pol (CAV, 2002)

Refinement and Verification Applied to an In-Flight Data Acquisition Unit. - Wan J. Fokkink; Natalia Ioustinova; Ernst Kesseler; Jaco van de Pol; Yaroslav S. Usenko; Yuri A. Yushtein (CONCUR, 2002)

Formal Specification of JavaSpaces Architecture Using µCRL. - Jaco van de Pol; Miguel Valero Espada (COORDINATION, 2002)

Equivalent Semantic Models for a Distributed Dataspace Architecture. - Jozef Hooman; Jaco van de Pol (FMCO, 2002)

JITty: A Rewriter with Strategy Annotations. - Jaco van de Pol (RTA, 2002)

Formal verification of replication on a distributed data space architecture. - Jozef Hooman; Jaco van de Pol (SAC, 2002)

Verification of JavaSpacesTM Parallel Programs. - Jaco van de Pol; Miguel Valero Espada (ACSD, 2003)

Verification of Distributed Dataspace Architectures. - Simona Orzan; Jaco van de Pol (Ershov Memorial Conference, 2003)

New developments around the mCRL tool set. - Stefan Blom; Jan Friso Groote; Izak van Langevelde; Bert Lisser; Jaco van de Pol (FMICS, 2003)

Verifying a Sliding Window Protocol in µCRL. - Wan J. Fokkink; Jan Friso Groote; Jun Pang 001; Bahareh Badban; Jaco van de Pol (AMAST, 2004)

Modal Abstractions in µCRL. - Jaco van de Pol; Miguel Valero Espada (AMAST, 2004)

Abstraction of Parallel Uniform Processes with Data. - Jun Pang 001; Jaco van de Pol; Miguel Valero Espada (SEFM, 2004)

A State Space Distribution Policy Based on Abstract Interpretation. - Simona Orzan; Jaco van de Pol; Miguel Valero Espada (PDMC, 2004)

An Abstract Interpretation Toolkit for muCRL. - Jaco van de Pol; Miguel Valero Espada (FMICS, 2004)

Introductory paper. - Jaco van de Pol (Int. J. Softw. Tools Technol. Transf., 2004)

Data Abstraction and Constraint Solving for Conformance Testing. - Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol; Natalia Sidorova (APSEC, 2005)

Simulated Time for Testing Railway Interlockings with TTCN-3. - Stefan Blom; Natalia Ioustinova; Jaco van de Pol; Axel Rennoch; Natalia Sidorova (FATES, 2005)

Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. - Anton Wijs; Jaco van de Pol; Elena M. Bortnik (FMICS, 2005)

A BDD-Representation for the Logic of Equality and Uninterpreted Functions. - Jaco van de Pol; Olga Tveretina (MFCS, 2005)

Generalized Innermost Rewriting. - Jaco van de Pol; Hans Zantema (RTA, 2005)

Zero, successor and equality in BDDs. - Bahareh Badban; Jaco van de Pol (Ann. Pure Appl. Log., 2005)

Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. - Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol (IFM Doctoral Symposium, 2005)

Preface. - Martin Leucker; Jaco van de Pol (PDMC@ICALP, 2005)

Preface. - Judi Romijn; Graeme Smith 001; Jaco van de Pol (IFM Doctoral Symposium, 2005)

Verification of a sliding window protocol in µCRL and PVS. - Bahareh Badban; Wan J. Fokkink; Jan Friso Groote; Jun Pang 001; Jaco van de Pol (Formal Aspects Comput., 2005)

Introductory paper. - Thomas Arts; Jaco van de Pol (Int. J. Softw. Tools Technol. Transf., 2005)

Semantic models of a timed distributed dataspace architecture. - Jozef Hooman; Jaco van de Pol (Theor. Comput. Sci., 2005)

Accelerated Modal Abstractions of Labelled Transition Systems. - Miguel Valero Espada; Jaco van de Pol (AMAST, 2006)

TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. - Jens R. Calamé; Nicolae Goga; Natalia Ioustinova; Jaco van de Pol (CCECE, 2006)

TTCN-3 for Distributed Testing Embedded Software. - Stefan Blom; Thomas Deiß; Natalia Ioustinova; Ari Kontio; Jaco van de Pol; Axel Rennoch; Natalia Sidorova (Ershov Memorial Conference, 2006)

Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen. - Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol (GI Jahrestagung (2), 2006)

Cones and foci: A mechanical framework for protocol verification. - Wan J. Fokkink; Jun Pang 001; Jaco van de Pol (Formal Methods Syst. Des., 2006)

Distribution of a Simple Shared Dataspace Architecture. - Simona Orzan; Jaco van de Pol (Fundam. Informaticae, 2006)

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. - Taolue Chen 001; Bas Ploeger; Jaco van de Pol; Tim A. C. Willemse (CONCUR, 2007)

Bug Hunting with False Negatives. - Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol; Natalia Sidorova (IFM, 2007)

Distributed Analysis with mu CRL: A Compendium of Case Studies. - Stefan Blom; Jens R. Calamé; Bert Lisser; Simona Orzan; Jun Pang 001; Jaco van de Pol; Muhammad Torabi Dashti; Anton Wijs (TACAS, 2007)

Improved Distributed Algorithms for SCC Decomposition. - Jiri Barnat; Jakub Chaloupka; Jaco van de Pol (PDMC@CAV, 2007)

An abstract interpretation toolkit for µCRL. - Miguel Valero Espada; Jaco van de Pol (Formal Methods Syst. Des., 2007)

Generalizing DPLL and satisfiability for equalities. - Bahareh Badban; Jaco van de Pol; Olga Tveretina; Hans Zantema (Inf. Comput., 2007)

A Typical Verification Challenge for the GRID. - Jaco van de Pol (Distributed Verification and Grid Computing, 2008)

Symbolic Reachability for Process Algebras with Recursive Data Types. - Stefan Blom; Jaco van de Pol (ICTAC, 2008)

Leader Election in Anonymous Rings: Franklin Goes Probabilistic. - Rena Bakhshi; Wan J. Fokkink; Jun Pang 001; Jaco van de Pol (IFIP TCS, 2008)

Applying Model-Based Testing to HTML Rendering Engines - A Case Study. - Jens R. Calamé; Jaco van de Pol (TestCom/FATES, 2008)

PDL over Accelerated Labeled Transition Systems. - Taolue Chen 001; Jaco van de Pol; Yanjing Wang 001 (TASE, 2008)

Mechanical Verification of a Two-Way Sliding Window Protocol. - Bahareh Badban; Wan J. Fokkink; Jaco van de Pol (CPA, 2008)

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. - Stefan Blom; Boudewijn R. Haverkort; Matthias Kuntz; Jaco van de Pol (PDMC@ETAPS, 2008)

A Multi-Core Solver for Parity Games. - Jaco van de Pol; Michael Weber 002 (PDMC@ETAPS, 2008)

Applying formal methods to gossiping networks with mCRL and groove. - Pepijn Crouzen; Jaco van de Pol; Arend Rensink (SIGMETRICS Perform. Evaluation Rev., 2008)

Simulated time for host-based testing with TTCN-3. - Stefan Blom; Thomas Deiß; Natalia Ioustinova; Ari Kontio; Jaco van de Pol; Axel Rennoch; Natalia Sidorova (Softw. Test. Verification Reliab., 2008)

State Space Reduction of Linear Processes Using Control Flow Reconstruction. - Jaco van de Pol; Mark Timmer (ATVA, 2009)

Compositional Control Synthesis for Partially Observable Systems. - Wouter Kuijper; Jaco van de Pol (CONCUR, 2009)

Computing Weakest Strategies for Safety Games of Imperfect Information. - Wouter Kuijper; Jaco van de Pol (TACAS, 2009)

Distributed Branching Bisimulation Minimization by Inductive Signatures - Stefan Blom; Jaco van de Pol (PDMC, 2009)

Solving scheduling problems by untimed model checking. - Anton Wijs; Jaco van de Pol; Elena M. Bortnik (Int. J. Softw. Tools Technol. Transf., 2009)

A Linear Process-Algebraic Format for Probabilistic Systems with Data. - Joost-Pieter Katoen; Jaco van de Pol; Mariëlle Stoelinga; Mark Timmer (ACSD, 2010)

From POOSL to UPPAAL: Transformation and Quantitative Analysis. - Jiansheng Xing; Bart D. Theelen; Rom Langerak; Jaco van de Pol; Jan Tretmans; Jeroen Voeten (ACSD, 2010)

LTSmin: Distributed and Symbolic Reachability. - Stefan Blom; Jaco van de Pol; Michael Weber 002 (CAV, 2010)

Boosting multi-core reachability performance with shared hash tables. - Alfons Laarman; Jaco van de Pol; Michael Weber 002 (FMCAD, 2010)

Automated Verification of Executable UML Models. - Helle Hvid Hansen; Jeroen Ketema; Bas Luttik; Mohammad Reza Mousavi 001; Jaco van de Pol; Osmar Marchi dos Santos (FMCO, 2010)

UPPAAL in Practice: Quantitative Verification of a RapidIO Network. - Jiansheng Xing; Bart D. Theelen; Rom Langerak; Jaco van de Pol; Jan Tretmans; Jeroen Voeten (ISoLA (2), 2010)

Confluence Reduction for Probabilistic Systems (extended version) - Mark Timmer; Mariëlle Stoelinga; Jaco van de Pol (CoRR, 2010)

Towards model checking executable UML specifications in mCRL2. - Helle Hvid Hansen; Jeroen Ketema; Bas Luttik; Mohammad Reza Mousavi 001; Jaco van de Pol (Innov. Syst. Softw. Eng., 2010)

Multi-core Nested Depth-First Search. - Alfons Laarman; Rom Langerak; Jaco van de Pol; Michael Weber 002; Anton Wijs (ATVA, 2011)

Multi-Core LTSmin: Marrying Modularity and Scalability. - Alfons Laarman; Jaco van de Pol; Michael Weber 002 (NASA Formal Methods, 2011)

Parallel Recursive State Compression for Free. - Alfons Laarman; Jaco van de Pol; Michael Weber 002 (SPIN, 2011)

Confluence Reduction for Probabilistic Systems. - Mark Timmer; Mariëlle Stoelinga; Jaco van de Pol (TACAS, 2011)

Variations on Multi-Core Nested Depth-First Search - Alfons Laarman; Jaco van de Pol (PDMC, 2011)

Distributed Algorithms for SCC Decomposition. - Jiri Barnat; Jakub Chaloupka; Jaco van de Pol (J. Log. Comput., 2011)

A Database Approach to Distributed State-Space Generation. - Stefan Blom; Bert Lisser; Jaco van de Pol; Michael Weber 002 (J. Log. Comput., 2011)

On the axiomatizability of priority II. - Luca Aceto; Taolue Chen 001; Anna Ingólfsdóttir; Bas Luttik; Jaco van de Pol (Theor. Comput. Sci., 2011)

A calculus for four-valued sequential logic. - Jan A. Bergstra; Jaco van de Pol (Theor. Comput. Sci., 2011)

Improved Multi-Core Nested Depth-First Search. - Sami Evangelista; Alfons Laarman; Laure Petrucci; Jaco van de Pol (ATVA, 2012)

Modelling biological pathway dynamics with Timed Automata. - 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 (BIBE, 2012)

Efficient Modelling and Generation of Markov Automata. - Mark Timmer; Joost-Pieter Katoen; Jaco van de Pol; Mariëlle Stoelinga (CONCUR, 2012)

Multi-core Reachability for Timed Automata. - Andreas Engelbredt Dalsgaard; Alfons Laarman; Kim G. Larsen; Mads Chr. Olesen; Jaco van de Pol (FORMATS, 2012)

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games - Gijs Kant; Jaco van de Pol (GRAPHITE, 2012)

Multi-core and/or Symbolic Model Checking. - Tom van Dijk; Alfons Laarman; Jaco van de Pol (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Multi-Core BDD Operations for Symbolic Reachability. - Tom van Dijk; Alfons Laarman; Jaco van de Pol (PASM/PDMC, 2012)

A linear process-algebraic format with data for probabilistic automata. - Joost-Pieter Katoen; Jaco van de Pol; Mariëlle Stoelinga; Mark Timmer (Theor. Comput. Sci., 2012)

Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction. - Alfons Laarman; Mads Chr. Olesen; Andreas Engelbredt Dalsgaard; Kim Guldstrand Larsen; Jaco van de Pol (CAV, 2013)

Confluence Reduction for Markov Automata. - Mark Timmer; Jaco van de Pol; Mariëlle Stoelinga (FORMATS, 2013)

Guard-Based Partial-Order Reduction. - Alfons Laarman; Elwin Pater; Jaco van de Pol; Michael Weber 002 (SPIN, 2013)

Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. - Waheed Ahmad; Robert de Groote; Philip K. F. Hölzenspies; Mariëlle Stoelinga; Jaco van de Pol (ACSD, 2014)

Lace: Non-blocking Split Deque for Work-Stealing. - Tom van Dijk; Jaco C. van de Pol (Euro-Par Workshops (2), 2014)

Read, Write and Copy Dependencies for Symbolic Model Checking. - Jeroen Meijer; Gijs Kant; Stefan Blom; Jaco van de Pol (Haifa Verification Conference, 2014)

Generating and Solving Symbolic Parity Games. - Gijs Kant; Jaco van de Pol (GRAPHITE, 2014)

Setting Parameters for Biological Models With ANIMO. - Stefano Schivo; Jetse Scholma; Marcel Karperien; Janine N. Post; Jaco van de Pol; Rom Langerak (SynCoP, 2014)

Preface. - Marieke Huisman; Jaco van de Pol (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges. - Jaco van de Pol; Theo C. Ruys; Steven te Brinke (Int. J. Softw. Tools Technol. Transf., 2014)

Modeling Biological Pathway Dynamics With Timed Automata. - 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 (IEEE J. Biomed. Health Informatics, 2014)

Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications. - Waheed Ahmad; Philip K. F. Hölzenspies; Mariëlle Stoelinga; Jaco van de Pol (DSD, 2015)

Automated Verification of Nested DFS. - Jaco C. van de Pol (FMICS, 2015)

A Distributed Hash Table for Shared Memory. - Wytse Oortwijn; Tom van Dijk; Jaco van de Pol (PPAM (2), 2015)

Sylvan: Multi-Core Decision Diagrams. - Tom van Dijk; Jaco van de Pol (TACAS, 2015)

LTSmin: High-Performance Language-Independent Model Checking. - Gijs Kant; Alfons Laarman; Jeroen Meijer; Jaco van de Pol; Stefan Blom; Tom van Dijk (TACAS, 2015)

Modeling and Verification of the Bitcoin Protocol. - Kaylash Chaudhary; Ansgar Fehnker; Jaco van de Pol; Mariëlle Stoelinga (MARS, 2015)

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking. - Jeroen Meijer; Jaco van de Pol (CoRR, 2015)

Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. - Waheed Ahmad; Marijn R. Jongerden; Mariëlle Stoelinga; Jaco van de Pol (ACSD, 2016)

Partial-Order Reduction for GPU Model Checking. - Thomas Neele; Anton Wijs; Dragan Bosnacki; Jaco van de Pol (ATVA, 2016)

Multi-core SCC-Based LTL Model Checking. - Vincent Bloemen; Jaco van de Pol (Haifa Verification Conference, 2016)

Symbolic Reachability Analysis of B Through ProB and LTSmin. - Jens Bendisposto; Philipp Körner; Michael Leuschel; Jeroen Meijer; Jaco van de Pol; Helen Treharne; Jorden Whitefield (IFM, 2016)

Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego. - Waheed Ahmad; Jaco van de Pol (ISoLA (1), 2016)

RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. - Maren Geske; Marc Jasper; Bernhard Steffen; Falk Howar; Markus Schordan; Jaco van de Pol (ISoLA (2), 2016)

Software that Meets Its Intent. - Marieke Huisman; Herbert Bos; Sjaak Brinkkemper; Arie van Deursen; Jan Friso Groote; Patricia Lago; Jaco van de Pol; Eelco Visser (ISoLA (2), 2016)

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. - Jeroen Meijer; Jaco van de Pol (NFM, 2016)

Multi-core on-the-fly SCC decomposition. - Vincent Bloemen; Alfons Laarman; Jaco van de Pol (PPoPP, 2016)

Modelling with ANIMO: between fuzzy logic and differential equations. - Stefano Schivo; Jetse Scholma; Paul E. van der Vet; Marcel Karperien; Janine N. Post; Jaco van de Pol; Rom Langerak (BMC Syst. Biol., 2016)

Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14). - Marieke Huisman; Jaco van de Pol (Sci. Comput. Program., 2016)

Guard-based partial-order reduction. - Alfons Laarman; Elwin Pater; Jaco van de Pol; Henri Hansen (Int. J. Softw. Tools Technol. Transf., 2016)

Confluence reduction for Markov automata. - Mark Timmer; Joost-Pieter Katoen; Jaco van de Pol; Mariëlle Stoelinga (Theor. Comput. Sci., 2016)

Property-Preserving Generation of Tailored Benchmark Petri Nets. - Bernhard Steffen; Marc Jasper; Jeroen Meijer; Jaco van de Pol (ACSD, 2017)

Improving the Timed Automata Approach to Biological Pathway Dynamics. - Rom Langerak; Jaco van de Pol; Janine N. Post; Stefano Schivo (Models, Algorithms, Logics and Tools, 2017)

Explicit state model checking with generalized Büchi and Rabin automata. - Vincent Bloemen; Alexandre Duret-Lutz; Jaco van de Pol (SPIN, 2017)

The RERS 2017 challenge and workshop (invited paper). - Marc Jasper; Maximilian Fecke; Bernhard Steffen; Markus Schordan; Jeroen Meijer; Jaco van de Pol; Falk Howar; Stephen F. Siegel (SPIN, 2017)

Distributed binary decision diagrams for symbolic reachability. - Wytse Oortwijn; Tom van Dijk; Jaco van de Pol (SPIN, 2017)

Sylvan: multi-core framework for decision diagrams. - Tom van Dijk; Jaco van de Pol (Int. J. Softw. Tools Technol. Transf., 2017)

Parallel Model Checking Algorithms for Linear-Time Temporal Logic. - Jiri Barnat; Vincent Bloemen; Alexandre Duret-Lutz; Alfons Laarman; Laure Petrucci; Jaco van de Pol; Etienne Renault (Handbook of Parallel Constraint Reasoning, 2018)

Multi-core Decision Diagrams. - Tom van Dijk; Jaco van de Pol (Handbook of Parallel Constraint Reasoning, 2018)

Symbolically Aligning Observed and Modelled Behaviour. - Vincent Bloemen; Jaco van de Pol; Wil M. P. van der Aalst (ACSD, 2018)

Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin. - Jaco van de Pol; Jeroen Meijer (Models, Mindsets, Meta, 2018)

Maximizing Synchronization for Aligning Observed and Modelled Behaviour. - Vincent Bloemen; Sebastiaan J. van Zelst; Wil M. P. van der Aalst; Boudewijn F. van Dongen; Jaco van de Pol (BPM, 2018)

Adaptive Learning for Learn-Based Regression Testing. - David Huistra; Jeroen Meijer; Jaco van de Pol (FMICS, 2018)

Parameter Synthesis Algorithms for Parametric Interval Markov Chains. - Laure Petrucci; Jaco van de Pol (FORTE, 2018)

Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. - Hoang Gia Nguyen; Laure Petrucci; Jaco van de Pol (ICECCS, 2018)

Multi-core symbolic bisimulation minimisation. - Tom van Dijk; Jaco van de Pol (Int. J. Softw. Tools Technol. Transf., 2018)

MCC'2017 - The Seventh Model Checking Contest. - 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; et al. (Trans. Petri Nets Other Model. Concurr., 2018)

Concurrent Algorithms and Data Structures for Model Checking (Invited Talk). - Jaco van de Pol (CONCUR, 2019)

Concurrent Chaining Hash Maps for Software Model Checking. - Freark I. van der Berg; Jaco van de Pol (FMCAD, 2019)

Minimal-Time Synthesis for Parametric Timed Automata. - Étienne André; Vincent Bloemen; Laure Petrucci; Jaco van de Pol (TACAS (2), 2019)

Multi-core On-The-Fly Saturation. - Tom van Dijk; Jeroen Meijer; Jaco van de Pol (TACAS (2), 2019)

Sound black-box checking in the LearnLib. - Jeroen Meijer; Jaco van de Pol (Innov. Syst. Softw. Eng., 2019)

Model checking with generalized Rabin and Fin-less automata. - Vincent Bloemen; Alexandre Duret-Lutz; Jaco van de Pol (Int. J. Softw. Tools Technol. Transf., 2019)

Software Architecture of Modern Model Checkers. - Fabrice Kordon; Michael Leuschel; Jaco van de Pol; Yann Thierry-Mieg (Computing and Software Science, 2019)

The 2020 Expert Survey on Formal Methods. - Hubert Garavel; Maurice H. ter Beek; Jaco van de Pol (FMICS, 2020)

Certifying Emptiness of Timed Büchi Automata. - Simon Wimmer 001; Frédéric Herbreteau; Jaco van de Pol (FORMATS, 2020)

Automated Verification of Parallel Nested DFS. - Wytse Oortwijn; Marieke Huisman; Sebastiaan J. C. Joosten; Jaco van de Pol (TACAS (1), 2020)

On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). - Jaco van de Pol; Laure Petrucci (WADT, 2020)

Polymorphic types and effects with Boolean unification. - Magnus Madsen; Jaco van de Pol (Proc. ACM Program. Lang., 2020)

Artifact: Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. - Étienne André; Jaime Arias 001; Laure Petrucci; Jaco van de Pol (Zenodo, 2020)

Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. - Simon Thrane Hansen; Cláudio Gomes 001; Peter Gorm Larsen; Jaco van de Pol (ANNSIM, 2021)

Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. - Simon Thrane Hansen; Cláudio Gomes 001; Maurizio Palmieri; Casper Thule; Jaco van de Pol; Jim Woodcock 001 (FMICS, 2021)

Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. - Étienne André; Jaime Arias 001; Laure Petrucci; Jaco van de Pol (TACAS (1), 2021)

A Benchmarks Library for Extended Parametric Timed Automata. - Étienne André; Dylan Marinho; Jaco van de Pol (TAP@STAF, 2021)

Efficient Binary Decision Diagram Manipulation in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Mathias Weller Berg Thomasen (CoRR, 2021)

Classical Planning as QBF without Grounding (extended version). - Irfansha Shaik; Jaco van de Pol (CoRR, 2021)

Relational nullable types with Boolean unification. - Magnus Madsen; Jaco van de Pol (Proc. ACM Program. Lang., 2021)

The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata. - Étienne André; Dylan Marinho; Jaco van de Pol (Zenodo, 2021)

Adiar 1.0.1 : TACAS 2022 Artifact. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2021)

Adiar 1.0.1 : Experiment Data. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2021)

Classical Planning as QBF without Grounding. - Irfansha Shaik; Jaco van de Pol (ICAPS, 2022)

Efficient Convex Zone Merging in Parametric Timed Automata. - Étienne André; Dylan Marinho; Laure Petrucci; Jaco van de Pol (FORMATS, 2022)

Exploring a Parallel SCC Algorithm. - Jaco van de Pol (ISoLA (1), 2022)

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. - Monika Seisenberger; Maurice H. ter Beek; Xiuyi Fan; Alessio Ferrari 001; Anne E. Haxthausen; Phillip James; Andrew Lawrence; Bas Luttik; Jaco van de Pol; Simon Wimmer 001 (ISoLA (4), 2022)

Adiar Binary Decision Diagrams in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Mathias Weller Berg Thomasen (TACAS (2), 2022)

Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones. - Vincent Bloemen; Sebastiaan J. van Zelst; Wil M. P. van der Aalst; Boudewijn F. van Dongen; Jaco van de Pol (Inf. Syst., 2022)

Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. - Simon Thrane Hansen; Casper Thule; Cláudio Gomes 001; Jaco van de Pol; Maurizio Palmieri; Emin Oguz Inci; Frederik Palludan Madsen; Jesus Alfonso; José Ángel Castellanos 001; José Manuel Rodriguez-Fortun (Int. J. Softw. Tools Technol. Transf., 2022)

Code, Benchmarks, Data from the ICAPS 2022 paper "Classical Planning as QBF without Grounding". - Irfansha Shaik; Jaco van de Pol (Zenodo, 2022)

Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata". - Étienne André; Dylan Marinho; Laure Petrucci; Jaco van de Pol (Zenodo, 2022)

Implicit QBF Encodings for Positional Games. - Irfansha Shaik; Valentin Mayer-Eichberger; Jaco van de Pol; Abdallah Saffidine (ACG, 2023)

Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. - Steffan Christ Sølvsten; Jaco van de Pol (ATVA, 2023)

Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. - Magnus Madsen; Jaco van de Pol (ECOOP, 2023)

Optimal Layout Synthesis for Quantum Circuits as Classical Planning. - Irfansha Shaik; Jaco van de Pol (ICCAD, 2023)

Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol (NFM, 2023)

Validation of QBF Encodings with Winning Strategies. - Irfansha Shaik; Maximilian Heisinger; Martina Seidl; Jaco van de Pol (SAT, 2023)

A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. - Casper Abild Larsen; Simon Meldahl Schmidt; Jesper Steensgaard; Anna Blume Jakobsen; Jaco van de Pol; Andreas Pavlogiannis (TACAS (2), 2023)

Implicit State and Goals in QBF Encodings for Positional Games (extended version). - Irfansha Shaik; Valentin Mayer-Eichberger; Jaco van de Pol; Abdallah Saffidine (CoRR, 2023)

Concise QBF Encodings for Games on a Grid (extended version). - Irfansha Shaik; Jaco van de Pol (CoRR, 2023)

Search-Space Pruning with Int-Splits for Faster QBF Solving. - Maximilian Heisinger; Irfansha Shaik; Martina Seidl; Jaco van de Pol (CoRR, 2023)

Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper). - Steffan Christ Sølvsten; Jaco van de Pol (CoRR, 2023)

Artifact for Paper Search-Space Pruning with Int-Splits for Faster QBF Solving. - Maximilian Heisinger; Irfansha Shaik; Martina Seidl; Jaco van de Pol (Zenodo, 2023)

Adiar 1.1.0 : Experiment Data. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2023)

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact). - Magnus Madsen; Jaco van de Pol; Troels Henriksen (Zenodo, 2023)

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact). - Magnus Madsen; Jaco van de Pol; Troels Henriksen (Zenodo, 2023)

Adiar 1.2.0 : Experiment Data. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2023)

Artifact for "On-The-Fly Algorithm for Reachability in Parametric Timed Games". - Mikael Bisgaard Dahlsen-Jensen; Jaco van de Pol; Laure Petrucci; Baptiste Fievet (Zenodo, 2023)

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. - Magnus Madsen; Jaco van de Pol; Troels Henriksen (Proc. ACM Program. Lang., 2023)

Fast Symbolic Computation of Bottom SCCs - TACAS 2024 artifact. - Anna Blume Jakobsen; Rasmus Skibdahl Melanchton Jørgensen; Jaco van de Pol; Andreas Pavlogiannis (Zenodo, 2023)

Adiar. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Casper Moldrup Rysgaard; Erik Funder Carstensen; Mathias Weller Berg Thomasen (Zenodo, 2023)

A manifesto for applicable formal methods. - Mario Gleirscher; Jaco van de Pol; Jim Woodcock 001 (Softw. Syst. Model., 2023)

Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation. - Irfansha Shaik; Jaco van de Pol (ECAI, 2024)

Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. - Irfansha Shaik; Jaco van de Pol (SAT, 2024)

Random Access on Narrow Decision Diagrams in External Memory. - Steffan Christ Sølvsten; Casper Moldrup Rysgaard; Jaco van de Pol (SPIN, 2024)

On-The-Fly Algorithm for Reachability in Parametric Timed Games. - Mikael Bisgaard Dahlsen-Jensen; Baptiste Fievet; Laure Petrucci; Jaco van de Pol (TACAS (3), 2024)

Fast Symbolic Computation of Bottom SCCs. - Anna Blume Jakobsen; Rasmus Skibdahl Melanchton Jørgensen; Jaco van de Pol; Andreas Pavlogiannis (TACAS (3), 2024)

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version). - Mikael Bisgaard Dahlsen-Jensen; Baptiste Fievet; Laure Petrucci; Jaco van de Pol (CoRR, 2024)

Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper). - Steffan Christ Sølvsten; Jaco van de Pol (CoRR, 2024)

Operations on Fixpoint Equation Systems. - Thomas Neele; Jaco van de Pol (Log. Methods Comput. Sci., 2024)

The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata. - Étienne André; Dylan Marinho; Jaco van de Pol (Zenodo, 2024)

Replication package with proofs for the paper "Operations on Fixpoint Equation Systems". - Thomas Neele; Jaco van de Pol (Zenodo, 2024)

Adiar. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Casper Moldrup Rysgaard; Mathias Weller Berg Thomasen (Zenodo, 2024)

Adiar. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Casper Moldrup Rysgaard; Mathias Weller Berg Thomasen (Zenodo, 2024)

Adiar. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Casper Moldrup Rysgaard; Erik Funder Carstensen; Mathias Weller Berg Thomasen (Zenodo, 2024)

Q-Synth. - Irfansha Shaik; Jaco van de Pol (DROPS Artifacts, 2024)

Q-Synth v2.0 release. - Irfansha Shaik; Jaco van de Pol (DROPS Artifacts, 2024)

On Exact Sizes of Minimal CNOT Circuits. - Jens Emil Christensen; Søren Fuglede Jørgensen; Andreas Pavlogiannis; Jaco van de Pol (RC, 2025)

Depth-Optimal Quantum Layout Synthesis as SAT. - Anna Blume Jakobsen; Anders B. Clausen; Jaco van de Pol; Irfansha Shaik (SAT, 2025)

CNOT-Optimal Clifford Synthesis as SAT. - Irfansha Shaik; Jaco van de Pol (SAT, 2025)

Program Analysis via Multiple Context Free Language Reachability. - Giovanna Kobus Conrado; Adam Husted Kjelstrøm; Jaco van de Pol; Andreas Pavlogiannis (Proc. ACM Program. Lang., 2025)

Artifact: Symbolic Model Checking in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2025)

Artifact: Symbolic Model Checking in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2025)

Artifact: Symbolic Model Checking in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2025)

Artifact: Symbolic Model Checking in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2025)

Artifact: Symbolic Model Checking in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol (Zenodo, 2025)

Symbolic Model Checking in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol (CoRR, 2025)

Controller Synthesis for Parametric Timed Games. - Mikael Bisgaard Dahlsen-Jensen; Baptiste Fievet; Laure Petrucci; Jaco van de Pol (CoRR, 2025)