Jaco van de Pol

According to our database, Jaco van de Pol authored at least 199 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Operations on Fixpoint Equation Systems.

Thomas Neele, Jaco van de Pol

Log. Methods Comput. Sci., 2024

Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper).

Steffan Christ Sølvsten, Jaco van de Pol

CoRR, 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

Fast Symbolic Computation of Bottom SCCs.

Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol, Andreas Pavlogiannis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

On-The-Fly Algorithm for Reachability in Parametric Timed Games.

Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Random Access on Narrow Decision Diagrams in External Memory.

Steffan Christ Sølvsten, Casper Moldrup Rysgaard, Jaco van de Pol

Proceedings of the Model Checking Software - 30th International Symposium, 2024

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

Irfansha Shaik, Jaco van de Pol

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation.

Irfansha Shaik, Jaco van de Pol

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

A manifesto for applicable formal methods.

Mario Gleirscher, Jaco van de Pol, Jim Woodcock

Softw. Syst. Model., December, 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., October, 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

Dataset, October, 2023

Adiar 1.2.0 : Experiment Data.

Steffan Christ Sølvsten, Jaco van de Pol

Dataset, July, 2023

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact).

Magnus Madsen, Jaco van de Pol, Troels Henriksen

Dataset, July, 2023

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact).

Magnus Madsen, Jaco van de Pol, Troels Henriksen

Dataset, July, 2023

Adiar 1.1.0 : Experiment Data.

Steffan Christ Sølvsten, Jaco van de Pol

Dataset, March, 2023

Artifact for Paper Search-Space Pruning with Int-Splits for Faster QBF Solving.

Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol

Dataset, March, 2023

Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper).

Steffan Christ Sølvsten, 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

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

Irfansha Shaik, Jaco van de Pol

CoRR, 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

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Validation of QBF Encodings with Winning Strategies.

Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory.

Steffan Christ Sølvsten, Jaco van de Pol

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Optimal Layout Synthesis for Quantum Circuits as Classical Planning.

Irfansha Shaik, Jaco van de Pol

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

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

Magnus Madsen, Jaco van de Pol

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts.

Steffan Christ Sølvsten, Jaco van de Pol

Proceedings of the Automated Technology for Verification and Analysis, 2023

Implicit QBF Encodings for Positional Games.

Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine

Proceedings of the Advances in Computer Games - 18th International Conference, 2023

2022

Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata".

Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol

Dataset, July, 2022

Code, Benchmarks, Data from the ICAPS 2022 paper "Classical Planning as QBF without Grounding".

Irfansha Shaik, Jaco van de Pol

Dataset, March, 2022

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

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

Int. J. Softw. Tools Technol. Transf., 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

Adiar Binary Decision Diagrams in External Memory.

Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Exploring a Parallel SCC Algorithm.

Jaco van de Pol

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Efficient Convex Zone Merging in Parametric Timed Automata.

Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

Classical Planning as QBF without Grounding.

Irfansha Shaik, Jaco van de Pol

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Adiar 1.0.1 : Experiment Data.

Steffan Christ Sølvsten, Jaco van de Pol

Dataset, November, 2021

Adiar 1.0.1 : TACAS 2022 Artifact.

Steffan Christ Sølvsten, Jaco van de Pol

Dataset, November, 2021

The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata.

Étienne André, Dylan Marinho, Jaco van de Pol

Dataset, April, 2021

Relational nullable types with Boolean unification.

Magnus Madsen, Jaco van de Pol

Proc. ACM Program. Lang., 2021

Classical Planning as QBF without Grounding (extended version).

Irfansha Shaik, Jaco van de Pol

CoRR, 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

A Benchmarks Library for Extended Parametric Timed Automata.

Étienne André, Dylan Marinho, Jaco van de Pol

Proceedings of the Tests and Proofs - 15th International Conference, 2021

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

Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

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

Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

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

Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol

Proceedings of the Annual Modeling and Simulation Conference, 2021

2020

Polymorphic types and effects with Boolean unification.

Magnus Madsen, Jaco van de Pol

Proc. ACM Program. Lang., 2020

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

Jaco van de Pol, Laure Petrucci

Proceedings of the Recent Trends in Algebraic Development Techniques, 2020

Automated Verification of Parallel Nested DFS.

Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Certifying Emptiness of Timed Büchi Automata.

Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

The 2020 Expert Survey on Formal Methods.

Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019

Software Architecture of Modern Model Checkers.

Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 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

Sound black-box checking in the LearnLib.

Jeroen Meijer, Jaco van de Pol

Innov. Syst. Softw. Eng., 2019

Multi-core On-The-Fly Saturation.

Tom van Dijk, Jeroen Meijer, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Minimal-Time Synthesis for Parametric Timed Automata.

Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Concurrent Chaining Hash Maps for Software Model Checking.

Freark I. van der Berg, Jaco van de Pol

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Concurrent Algorithms and Data Structures for Model Checking (Invited Talk).

Jaco van de Pol

Proceedings of the 30th International Conference on Concurrency Theory, 2019

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, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2018

Multi-core symbolic bisimulation minimisation.

Tom van Dijk, Jaco van de Pol

Int. J. Softw. Tools Technol. Transf., 2018

Layered and Collecting NDFS with Subsumption for Parametric Timed Automata.

Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Parameter Synthesis Algorithms for Parametric Interval Markov Chains.

Laure Petrucci, Jaco van de Pol

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

Adaptive Learning for Learn-Based Regression Testing.

David Huistra, Jeroen Meijer, Jaco van de Pol

Proceedings of the Formal Methods for Industrial Critical Systems, 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

Proceedings of the Business Process Management - 16th International Conference, 2018

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

Jaco van de Pol, Jeroen Meijer

Proceedings of the Models, Mindsets, 2018

Symbolically Aligning Observed and Modelled Behaviour.

Vincent Bloemen, Jaco van de Pol, Wil M. P. van der Aalst

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

Multi-core Decision Diagrams.

Tom van Dijk, Jaco van de Pol

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

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

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Sylvan: multi-core framework for decision diagrams.

Tom van Dijk, Jaco van de Pol

Int. J. Softw. Tools Technol. Transf., 2017

Distributed binary decision diagrams for symbolic reachability.

Wytse Oortwijn, Tom van Dijk, Jaco van de Pol

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 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

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Explicit state model checking with generalized Büchi and Rabin automata.

Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Improving the Timed Automata Approach to Biological Pathway Dynamics.

Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo

Proceedings of the Models, Algorithms, Logics and Tools, 2017

Property-Preserving Generation of Tailored Benchmark Petri Nets.

Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016

Confluence reduction for Markov automata.

Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga

Theor. Comput. Sci., 2016

Guard-based partial-order reduction.

Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen

Int. J. Softw. Tools Technol. Transf., 2016

Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14).

Marieke Huisman, Jaco van de Pol

Sci. Comput. Program., 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

Multi-core on-the-fly SCC decomposition.

Vincent Bloemen, Alfons Laarman, Jaco van de Pol

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis.

Jeroen Meijer, Jaco van de Pol

Proceedings of the NASA Formal Methods - 8th International Symposium, 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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego.

Waheed Ahmad, Jaco van de Pol

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 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

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Multi-core SCC-Based LTL Model Checking.

Vincent Bloemen, Jaco van de Pol

Proceedings of the Hardware and Software: Verification and Testing, 2016

Partial-Order Reduction for GPU Model Checking.

Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol

Proceedings of the Automated Technology for Verification and Analysis, 2016

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

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking.

Jeroen Meijer, Jaco van de Pol

CoRR, 2015

Modeling and Verification of the Bitcoin Protocol.

Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga

Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015

LTSmin: High-Performance Language-Independent Model Checking.

Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Sylvan: Multi-Core Decision Diagrams.

Tom van Dijk, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

A Distributed Hash Table for Shared Memory.

Wytse Oortwijn, Tom van Dijk, Jaco van de Pol

Proceedings of the Parallel Processing and Applied Mathematics, 2015

Automated Verification of Nested DFS.

Jaco C. van de Pol

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

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

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

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

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

Preface.

Marieke Huisman, Jaco van de Pol

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Setting Parameters for Biological Models With ANIMO.

Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak

Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014

Generating and Solving Symbolic Parity Games.

Gijs Kant, Jaco van de Pol

Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014

Read, Write and Copy Dependencies for Symbolic Model Checking.

Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol

Proceedings of the Hardware and Software: Verification and Testing, 2014

Lace: Non-blocking Split Deque for Work-Stealing.

Tom van Dijk, Jaco C. van de Pol

Proceedings of the Euro-Par 2014: Parallel Processing Workshops, 2014

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

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Guard-Based Partial-Order Reduction.

Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Confluence Reduction for Markov Automata.

Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

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

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

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 BDD Operations for Symbolic Reachability.

Tom van Dijk, Alfons Laarman, Jaco van de Pol

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 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

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games

Gijs Kant, Jaco van de Pol

Proceedings of the Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, 2012

Multi-core Reachability for Timed Automata.

Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Efficient Modelling and Generation of Markov Automata.

Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 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

Proceedings of the 12th IEEE International Conference on Bioinformatics & Bioengineering, 2012

Improved Multi-Core Nested Depth-First Search.

Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

A calculus for four-valued sequential logic.

Jan A. Bergstra, Jaco van de Pol

Theor. Comput. Sci., 2011

On the axiomatizability of priority II.

Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol

Theor. Comput. Sci., 2011

A Database Approach to Distributed State-Space Generation.

Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber

J. Log. Comput., 2011

Distributed Algorithms for SCC Decomposition.

Jiri Barnat, Jakub Chaloupka, Jaco van de Pol

J. Log. Comput., 2011

Variations on Multi-Core Nested Depth-First Search

Alfons Laarman, Jaco van de Pol

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Confluence Reduction for Probabilistic Systems.

Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Parallel Recursive State Compression for Free.

Alfons Laarman, Jaco van de Pol, Michael Weber

Proceedings of the Model Checking Software, 2011

Multi-Core LTSmin: Marrying Modularity and Scalability.

Alfons Laarman, Jaco van de Pol, Michael Weber

Proceedings of the NASA Formal Methods, 2011

Multi-core Nested Depth-First Search.

Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Towards model checking executable UML specifications in mCRL2.

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol

Innov. Syst. Softw. Eng., 2010

Confluence Reduction for Probabilistic Systems (extended version)

Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol

CoRR, 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

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Automated Verification of Executable UML Models.

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Boosting multi-core reachability performance with shared hash tables.

Alfons Laarman, Jaco van de Pol, Michael Weber

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

LTSmin: Distributed and Symbolic Reachability.

Stefan Blom, Jaco van de Pol, Michael Weber

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

From POOSL to UPPAAL: Transformation and Quantitative Analysis.

Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

A Linear Process-Algebraic Format for Probabilistic Systems with Data.

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Solving scheduling problems by untimed model checking.

Anton Wijs, Jaco van de Pol, Elena M. Bortnik

Int. J. Softw. Tools Technol. Transf., 2009

Distributed Branching Bisimulation Minimization by Inductive Signatures

Stefan Blom, Jaco van de Pol

Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

Computing Weakest Strategies for Safety Games of Imperfect Information.

Wouter Kuijper, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Compositional Control Synthesis for Partially Observable Systems.

Wouter Kuijper, Jaco van de Pol

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

State Space Reduction of Linear Processes Using Control Flow Reconstruction.

Jaco van de Pol, Mark Timmer

Proceedings of the Automated Technology for Verification and Analysis, 2009

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

Applying formal methods to gossiping networks with mCRL and groove.

Pepijn Crouzen, Jaco van de Pol, Arend Rensink

SIGMETRICS Perform. Evaluation Rev., 2008

A Multi-Core Solver for Parity Games.

Jaco van de Pol, Michael Weber

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking.

Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

Mechanical Verification of a Two-Way Sliding Window Protocol.

Bahareh Badban, Wan J. Fokkink, Jaco van de Pol

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

PDL over Accelerated Labeled Transition Systems.

Taolue Chen, Jaco van de Pol, Yanjing Wang

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Applying Model-Based Testing to HTML Rendering Engines - A Case Study.

Jens R. Calamé, Jaco van de Pol

Proceedings of the Testing of Software and Communicating Systems, 2008

Leader Election in Anonymous Rings: Franklin Goes Probabilistic.

Rena Bakhshi, Wan J. Fokkink, Jun Pang, Jaco van de Pol

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

Symbolic Reachability for Process Algebras with Recursive Data Types.

Stefan Blom, Jaco van de Pol

Proceedings of the Theoretical Aspects of Computing, 2008

A Typical Verification Challenge for the GRID.

Jaco van de Pol

Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008

2007

Generalizing DPLL and satisfiability for equalities.

Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema

Inf. Comput., 2007

An abstract interpretation toolkit for µCRL.

Miguel Valero Espada, Jaco van de Pol

Formal Methods Syst. Des., 2007

Improved Distributed Algorithms for SCC Decomposition.

Jiri Barnat, Jakub Chaloupka, Jaco van de Pol

Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 2007

Distributed Analysis with <i>mu</i> CRL: A Compendium of Case Studies.

Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Bug Hunting with False Negatives.

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.

Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Distribution of a Simple Shared Dataspace Architecture.

Simona Orzan, Jaco van de Pol

Fundam. Informaticae, 2006

Cones and foci: A mechanical framework for protocol verification.

Wan J. Fokkink, Jun Pang, Jaco van de Pol

Formal Methods Syst. Des., 2006

Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen.

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

TTCN-3 for Distributed Testing Embedded Software.

Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova

Proceedings of the Perspectives of Systems Informatics, 2006

TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking.

Jens R. Calamé, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Accelerated Modal Abstractions of Labelled Transition Systems.

Miguel Valero Espada, Jaco van de Pol

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Semantic models of a timed distributed dataspace architecture.

Jozef Hooman, Jaco van de Pol

Theor. Comput. Sci., 2005

Introductory paper.

Thomas Arts, Jaco van de Pol

Int. J. Softw. Tools Technol. Transf., 2005

Verification of a sliding window protocol in µCRL and PVS.

Bahareh Badban, Wan J. Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol

Formal Aspects Comput., 2005

Preface.

Judi Romijn, Graeme Smith, Jaco van de Pol

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

Preface.

Martin Leucker, Jaco van de Pol

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction.

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

Zero, successor and equality in BDDs.

Bahareh Badban, Jaco van de Pol

Ann. Pure Appl. Log., 2005

Generalized Innermost Rewriting.

Jaco van de Pol, Hans Zantema

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

A BDD-Representation for the Logic of Equality and Uninterpreted Functions.

Jaco van de Pol, Olga Tveretina

Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

Solving scheduling problems by untimed model checking: the clinical chemical analyser case study.

Anton Wijs, Jaco van de Pol, Elena M. Bortnik

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

Simulated Time for Testing Railway Interlockings with TTCN-3.

Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

Data Abstraction and Constraint Solving for Conformance Testing.

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

Introductory paper.

Jaco van de Pol

Int. J. Softw. Tools Technol. Transf., 2004

An Abstract Interpretation Toolkit for <i>mu</i>CRL.

Jaco van de Pol, Miguel Valero Espada

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

A State Space Distribution Policy Based on Abstract Interpretation.

Simona Orzan, Jaco van de Pol, Miguel Valero Espada

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

Abstraction of Parallel Uniform Processes with Data.

Jun Pang, Jaco van de Pol, Miguel Valero Espada

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Modal Abstractions in µCRL.

Jaco van de Pol, Miguel Valero Espada

Proceedings of the Algebraic Methodology and Software Technology, 2004

Verifying a Sliding Window Protocol in µCRL.

Wan J. Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

New developments around the mCRL tool set.

Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Verification of Distributed Dataspace Architectures.

Simona Orzan, Jaco van de Pol

Proceedings of the Perspectives of Systems Informatics, 2003

Verification of JavaSpaces^TM Parallel Programs.

Jaco van de Pol, Miguel Valero Espada

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Formal verification of replication on a distributed data space architecture.

Jozef Hooman, Jaco van de Pol

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

JITty: A Rewriter with Strategy Annotations.

Jaco van de Pol

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

Equivalent Semantic Models for a Distributed Dataspace Architecture.

Jozef Hooman, Jaco van de Pol

Proceedings of the Formal Methods for Components and Objects, 2002

Formal Specification of JavaSpaces Architecture Using µCRL.

Jaco van de Pol, Miguel Valero Espada

Proceedings of the Coordination Models and Languages, 5th International Conference, 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

Proceedings of the CONCUR 2002, 2002

State Space Reduction by Proving Confluence.

Stefan Blom, Jaco van de Pol

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Just-in-time: On Strategy Annotations.

Jaco van de Pol

Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001

A rewriting approach to binary decision diagrams.

Hans Zantema, Jaco van de Pol

J. Log. Algebraic Methods Program., 2001

µCRL: A Toolset for Analysing Algebraic Specifications.

Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Binary Decision Diagrams by Shard Rewriting.

Jaco van de Pol, Hans Zantema

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

State Space Reduction Using Partial tau-Confluence.

Jan Friso Groote, Jaco van de Pol

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Equational Binary Decision Diagrams.

Jan Friso Groote, Jaco van de Pol

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Refinement in Requirements Specification and Analysis: A Case Study.

Edwin D. de Jong, Jaco van de Pol, Jozef Hooman

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999

Modular Formal Specification of Data and Behaviour.

Jaco van de Pol, Jozef Hooman, Edwin D. de Jong

Proceedings of the Integrated Formal Methods, 1999

1998

Operational Semantics of Rewriting with Priorities.

Jaco van de Pol

Theor. Comput. Sci., 1998

Checking Verifications of Protocols and Distributed Systems by Computer.

Jan Friso Groote, François Monin, Jaco van de Pol

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

Simulation as a Correct Transformation of Rewrite Systems.

Wan J. Fokkink, Jaco van de Pol

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

1996

A Bounded Retransmission Protocol for Large Data Packets.

Jan Friso Groote, Jaco van de Pol

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Strict Functionals for Termination Proofs.

Jaco van de Pol, Helmut Schwichtenberg

Proceedings of the Typed Lambda Calculi and Applications, 1995

Two <i>Different</i> Strong Normalization Proofs?

Jaco van de Pol

Proceedings of the Higher-Order Algebra, 1995

1993

Termination Proofs for Higher-order Rewrite Systems.

Jaco van de Pol

Proceedings of the Higher-Order Algebra, 1993