Jaco van de Pol

223 papers A* 5A 14B 27C 13Misc 2Journal 70Unranked 83

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Multi-variable Quantification of BDDs in External Memory using Nested Sweeping. VMCAI Steffan Christ Sølvsten, Jaco van de Pol
2025	B	`ed.`	36th International Conference on Concurrency Theory, CONCUR 2025, Aarhus, Denmark, August 26-29, 2025 CONCUR Patricia Bouyer, Jaco van de Pol
2025	A	`conf`	CNOT-Optimal Clifford Synthesis as SAT. SAT Irfansha Shaik, Jaco van de Pol
2025	J	`jnl`	CNOT-Optimal Clifford Synthesis as SAT. CoRR Irfansha Shaik, Jaco van de Pol
2025	—	`conf`	Controller Synthesis for Parametric Timed Games. QEST+FORMATS Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
2025	J	`jnl`	Controller Synthesis for Parametric Timed Games. CoRR Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
2025	A	`conf`	Depth-Optimal Quantum Layout Synthesis as SAT. SAT Anna Blume Jakobsen, Anders B. Clausen, Jaco van de Pol, Irfansha Shaik
2025	J	`jnl`	Depth-Optimal Quantum Layout Synthesis as SAT. CoRR Anna Blume Jakobsen, Anders B. Clausen, Jaco van de Pol, Irfansha Shaik
2025	J	`jnl`	Exact Quantum Circuit Optimization is co-NQP-hard. CoRR Adam Husted Kjelstrøm, Andreas Pavlogiannis, Jaco van de Pol
2025	C	`conf`	On Exact Sizes of Minimal CNOT Circuits. RC Jens Emil Christensen, Søren Fuglede Jørgensen, Andreas Pavlogiannis, Jaco van de Pol
2025	J	`jnl`	Program Analysis via Multiple Context Free Language Reachability. Proc. ACM Program. Lang. Giovanna Kobus Conrado, Adam Husted Kjelstrøm, Jaco van de Pol, Andreas Pavlogiannis
2025	J	`jnl`	Report on the 36th International Conference on Concurrency Theory (CONCUR 2025). ACM SIGLOG News Patricia Bouyer, Jaco van de Pol
2025	J	`jnl`	Symbolic Model Checking in External Memory. CoRR Steffan Christ Sølvsten, Jaco van de Pol
2024	—	`conf`	Fast Symbolic Computation of Bottom SCCs. TACAS (3) Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol, Andreas Pavlogiannis
2024	J	`jnl`	Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper). CoRR Steffan Christ Sølvsten, Jaco van de Pol
2024	J	`jnl`	On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version). CoRR Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
2024	—	`conf`	On-The-Fly Algorithm for Reachability in Parametric Timed Games. TACAS (3) Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
2024	J	`jnl`	Operations on Fixpoint Equation Systems. Log. Methods Comput. Sci. Thomas Neele, Jaco van de Pol
2024	A	`conf`	Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. SAT Irfansha Shaik, Jaco van de Pol
2024	J	`jnl`	Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. CoRR Irfansha Shaik, Jaco van de Pol
2024	A	`conf`	Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation. ECAI Irfansha Shaik, Jaco van de Pol
2024	J	`jnl`	Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation. CoRR Irfansha Shaik, Jaco van de Pol
2024	J	`jnl`	Program Analysis via Multiple Context Free Language Reachability. CoRR Giovanna Kobus Conrado, Adam Husted Kjelstrøm, Andreas Pavlogiannis, Jaco van de Pol
2024	—	`conf`	Random Access on Narrow Decision Diagrams in External Memory. SPIN Steffan Christ Sølvsten, Casper Moldrup Rysgaard, Jaco van de Pol
2023	—	`conf`	A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. TACAS (2) Casper Abild Larsen, Simon Meldahl Schmidt, Jesper Steensgaard, Anna Blume Jakobsen, Jaco van de Pol, Andreas Pavlogiannis
2023	J	`jnl`	A manifesto for applicable formal methods. Softw. Syst. Model. Mario Gleirscher, Jaco van de Pol, Jim Woodcock
2023	—	`conf`	Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory. NFM Steffan Christ Sølvsten, Jaco van de Pol
2023	J	`jnl`	Concise QBF Encodings for Games on a Grid (extended version). CoRR Irfansha Shaik, Jaco van de Pol
2023	J	`jnl`	Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. Proc. ACM Program. Lang. Magnus Madsen, Jaco van de Pol, Troels Henriksen
2023	—	`conf`	Implicit QBF Encodings for Positional Games. ACG Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine
2023	J	`jnl`	Implicit State and Goals in QBF Encodings for Positional Games (extended version). CoRR Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine
2023	J	`jnl`	Operations on Fixpoint Equation Systems. CoRR Thomas Neele, Jaco van de Pol
2023	A	`conf`	Optimal Layout Synthesis for Quantum Circuits as Classical Planning. ICCAD Irfansha Shaik, Jaco van de Pol
2023	J	`jnl`	Optimal Layout Synthesis for Quantum Circuits as Classical Planning. CoRR Irfansha Shaik, Jaco van de Pol
2023	B	`conf`	Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. ATVA Steffan Christ Sølvsten, Jaco van de Pol
2023	J	`jnl`	Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper). CoRR Steffan Christ Sølvsten, Jaco van de Pol
2023	A	`conf`	Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. ECOOP Magnus Madsen, Jaco van de Pol
2023	J	`jnl`	Search-Space Pruning with Int-Splits for Faster QBF Solving. CoRR Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol
2023	A	`conf`	Validation of QBF Encodings with Winning Strategies. SAT Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol
2022	—	`conf`	Adiar Binary Decision Diagrams in External Memory. TACAS (2) Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen
2022	J	`jnl`	Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones. Inf. Syst. Vincent Bloemen, Sebastiaan J. van Zelst, Wil M. P. van der Aalst, Boudewijn F. van Dongen, Jaco van de Pol
2022	A*	`conf`	Classical Planning as QBF without Grounding. ICAPS Irfansha Shaik, Jaco van de Pol
2022	—	`conf`	Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
2022	J	`jnl`	Efficient Convex Zone Merging in Parametric Timed Automata. CoRR Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
2022	—	`conf`	Exploring a Parallel SCC Algorithm. ISoLA (1) Jaco van de Pol
2022	—	`conf`	Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) 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
2022	J	`jnl`	Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. Int. J. Softw. Tools Technol. Transf. 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
2021	—	`conf`	A Benchmarks Library for Extended Parametric Timed Automata. TAP@STAF Étienne André, Dylan Marinho, Jaco van de Pol
2021	J	`jnl`	A Benchmarks Library for Extended Parametric Timed Automata. CoRR Étienne André, Dylan Marinho, Jaco van de Pol
2021	J	`jnl`	A Manifesto for Applicable Formal Methods. CoRR Mario Gleirscher, Jaco van de Pol, Jim Woodcock
2021	J	`jnl`	Classical Planning as QBF without Grounding (extended version). CoRR Irfansha Shaik, Jaco van de Pol
2021	J	`jnl`	Efficient Binary Decision Diagram Manipulation in External Memory. CoRR Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen
2021	—	`conf`	Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. TACAS (1) Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol
2021	—	`ed.`	Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021. AppFM@FM Mario Gleirscher, Jaco van de Pol, Jim Woodcock
2021	J	`jnl`	Relational nullable types with Boolean unification. Proc. ACM Program. Lang. Magnus Madsen, Jaco van de Pol
2021	—	`conf`	Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. ANNSIM Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol
2021	C	`conf`	Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. FMICS Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock
2020	—	`conf`	Automated Verification of Parallel Nested DFS. TACAS (1) Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol
2020	—	`conf`	Certifying Emptiness of Timed Büchi Automata. FORMATS Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
2020	J	`jnl`	Certifying Emptiness of Timed Büchi Automata. CoRR Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
2020	—	`conf`	On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). WADT Jaco van de Pol, Laure Petrucci
2020	J	`jnl`	Polymorphic types and effects with Boolean unification. Proc. ACM Program. Lang. Magnus Madsen, Jaco van de Pol
2020	C	`conf`	The 2020 Expert Survey on Formal Methods. FMICS Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol
2019	B	`conf`	Concurrent Algorithms and Data Structures for Model Checking (Invited Talk). CONCUR Jaco van de Pol
2019	B	`conf`	Concurrent Chaining Hash Maps for Software Model Checking. FMCAD Freark I. van der Berg, Jaco van de Pol
2019	—	`conf`	Minimal-Time Synthesis for Parametric Timed Automata. TACAS (2) Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
2019	J	`jnl`	Minimal-Time Synthesis for Parametric Timed Automata. CoRR Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
2019	J	`jnl`	Model checking with generalized Rabin and Fin-less automata. Int. J. Softw. Tools Technol. Transf. Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
2019	—	`conf`	Multi-core On-The-Fly Saturation. TACAS (2) Tom van Dijk, Jeroen Meijer, Jaco van de Pol
2019	—	`ch.`	Software Architecture of Modern Model Checkers. Computing and Software Science Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg
2019	J	`jnl`	Sound black-box checking in the LearnLib. Innov. Syst. Softw. Eng. Jeroen Meijer, Jaco van de Pol
2018	C	`conf`	Adaptive Learning for Learn-Based Regression Testing. FMICS David Huistra, Jeroen Meijer, Jaco van de Pol
2018	B	`conf`	Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. ICECCS Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol
2018	J	`jnl`	MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 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
2018	A	`conf`	Maximizing Synchronization for Aligning Observed and Modelled Behaviour. BPM Vincent Bloemen, Sebastiaan J. van Zelst, Wil M. P. van der Aalst, Boudewijn F. van Dongen, Jaco van de Pol
2018	—	`ch.`	Multi-core Decision Diagrams. Handbook of Parallel Constraint Reasoning Tom van Dijk, Jaco van de Pol
2018	J	`jnl`	Multi-core symbolic bisimulation minimisation. Int. J. Softw. Tools Technol. Transf. Tom van Dijk, Jaco van de Pol
2018	—	`ch.`	Parallel Model Checking Algorithms for Linear-Time Temporal Logic. Handbook of Parallel Constraint Reasoning Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault
2018	C	`conf`	Parameter Synthesis Algorithms for Parametric Interval Markov Chains. FORTE Laure Petrucci, Jaco van de Pol
2018	—	`conf`	Sound Black-Box Checking in the LearnLib. NFM Jeroen Meijer, Jaco van de Pol
2018	—	`conf`	Symbolically Aligning Observed and Modelled Behaviour. ACSD Vincent Bloemen, Jaco van de Pol, Wil M. P. van der Aalst
2018	—	`conf`	Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin. Models, Mindsets, Meta Jaco van de Pol, Jeroen Meijer
2017	—	`conf`	Distributed binary decision diagrams for symbolic reachability. SPIN Wytse Oortwijn, Tom van Dijk, Jaco van de Pol
2017	—	`conf`	Explicit state model checking with generalized Büchi and Rabin automata. SPIN Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
2017	—	`conf`	Improving the Timed Automata Approach to Biological Pathway Dynamics. Models, Algorithms, Logics and Tools Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo
2017	—	`conf`	Property-Preserving Generation of Tailored Benchmark Petri Nets. ACSD Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol
2017	J	`jnl`	Sylvan: multi-core framework for decision diagrams. Int. J. Softw. Tools Technol. Transf. Tom van Dijk, Jaco van de Pol
2017	—	`conf`	The RERS 2017 challenge and workshop (invited paper). SPIN Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel
2016	—	`conf`	Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. NFM Jeroen Meijer, Jaco van de Pol
2016	J	`jnl`	Confluence reduction for Markov automata. Theor. Comput. Sci. Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga
2016	J	`jnl`	Guard-based partial-order reduction. Int. J. Softw. Tools Technol. Transf. Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen
2016	—	`conf`	Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. ACSD Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol
2016	J	`jnl`	Modelling with ANIMO: between fuzzy logic and differential equations. BMC Syst. Biol. Stefano Schivo, Jetse Scholma, Paul E. van der Vet, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak
2016	—	`conf`	Multi-core SCC-Based LTL Model Checking. Haifa Verification Conference Vincent Bloemen, Jaco van de Pol
2016	A	`conf`	Multi-core Symbolic Bisimulation Minimisation. TACAS Tom van Dijk, Jaco van de Pol
2016	B	`conf`	Multi-core on-the-fly SCC decomposition. PPoPP Vincent Bloemen, Alfons Laarman, Jaco van de Pol
2016	B	`conf`	Partial-Order Reduction for GPU Model Checking. ATVA Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol
2016	J	`jnl`	Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14). Sci. Comput. Program. Marieke Huisman, Jaco van de Pol
2016	—	`conf`	RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. ISoLA (2) Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol
2016	—	`conf`	Software that Meets Its Intent. ISoLA (2) Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser
2016	B	`conf`	Symbolic Reachability Analysis of B Through ProB and LTSmin. IFM Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
2016	J	`jnl`	Symbolic Reachability Analysis of B through ProB and LTSmin. CoRR Jens Bendisposto, Philipp Koerner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
2016	—	`conf`	Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego. ISoLA (1) Waheed Ahmad, Jaco van de Pol
2015	—	`conf`	A Distributed Hash Table for Shared Memory. PPAM (2) Wytse Oortwijn, Tom van Dijk, Jaco van de Pol
2015	J	`jnl`	Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking. CoRR Jeroen Meijer, Jaco van de Pol
2015	C	`conf`	Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications. DSD Waheed Ahmad, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol
2015	A	`conf`	LTSmin: High-Performance Language-Independent Model Checking. TACAS Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk
2015	—	`conf`	Modeling and Verification of the Bitcoin Protocol. MARS Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga
2015	A	`conf`	Sylvan: Multi-Core Decision Diagrams. TACAS Tom van Dijk, Jaco van de Pol
2014	—	`conf`	Generating and Solving Symbolic Parity Games. GRAPHITE Gijs Kant, Jaco van de Pol
2014	J	`jnl`	Modeling Biological Pathway Dynamics With Timed Automata. IEEE J. Biomed. Health Informatics 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
2014	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Marieke Huisman, Jaco van de Pol
2014	—	`conf`	Read, Write and Copy Dependencies for Symbolic Model Checking. Haifa Verification Conference Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol
2014	—	`conf`	Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. ACSD Waheed Ahmad, Robert de Groote, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol
2014	—	`conf`	Setting Parameters for Biological Models With ANIMO. SynCoP Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak
2014	J	`jnl`	Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges. Int. J. Softw. Tools Technol. Transf. Jaco van de Pol, Theo C. Ruys, Steven te Brinke
2013	—	`conf`	Confluence Reduction for Markov Automata. FORMATS Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga
2013	—	`conf`	Guard-Based Partial-Order Reduction. SPIN Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber
2013	A*	`conf`	Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction. CAV Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol
2012	J	`jnl`	A linear process-algebraic format with data for probabilistic automata. Theor. Comput. Sci. Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer
2012	—	`conf`	Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games GRAPHITE Gijs Kant, Jaco van de Pol
2012	B	`conf`	Efficient Modelling and Generation of Markov Automata. CONCUR Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga
2012	B	`conf`	Improved Multi-Core Nested Depth-First Search. ATVA Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol
2012	C	`conf`	Modelling biological pathway dynamics with Timed Automata. BIBE 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
2012	—	`conf`	Multi-Core BDD Operations for Symbolic Reachability. PASM/PDMC Tom van Dijk, Alfons Laarman, Jaco van de Pol
2012	—	`conf`	Multi-core Reachability for Timed Automata. FORMATS Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol
2012	J	`jnl`	Multi-core and/or Symbolic Model Checking. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Tom van Dijk, Alfons Laarman, Jaco van de Pol
2011	J	`jnl`	A Database Approach to Distributed State-Space Generation. J. Log. Comput. Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber
2011	J	`jnl`	A calculus for four-valued sequential logic. Theor. Comput. Sci. Jan A. Bergstra, Jaco van de Pol
2011	A	`conf`	Confluence Reduction for Probabilistic Systems. TACAS Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol
2011	J	`jnl`	Distributed Algorithms for SCC Decomposition. J. Log. Comput. Jiri Barnat, Jakub Chaloupka, Jaco van de Pol
2011	—	`conf`	Multi-Core LTSmin: Marrying Modularity and Scalability. NASA Formal Methods Alfons Laarman, Jaco van de Pol, Michael Weber
2011	B	`conf`	Multi-core Nested Depth-First Search. ATVA Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs
2011	J	`jnl`	On the axiomatizability of priority II. Theor. Comput. Sci. Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol
2011	J	`jnl`	Parallel Recursive State Compression for Free CoRR Alfons Laarman, Jaco van de Pol, Michael Weber
2011	—	`conf`	Parallel Recursive State Compression for Free. SPIN Alfons Laarman, Jaco van de Pol, Michael Weber
2011	—	`conf`	Variations on Multi-Core Nested Depth-First Search PDMC Alfons Laarman, Jaco van de Pol
2010	—	`conf`	A Linear Process-Algebraic Format for Probabilistic Systems with Data. ACSD Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer
2010	—	`conf`	Automated Verification of Executable UML Models. FMCO Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos
2010	J	`jnl`	Boosting Multi-Core Reachability Performance with Shared Hash Tables CoRR Alfons Laarman, Jaco van de Pol, Michael Weber
2010	B	`conf`	Boosting multi-core reachability performance with shared hash tables. FMCAD Alfons Laarman, Jaco van de Pol, Michael Weber
2010	J	`jnl`	Confluence Reduction for Probabilistic Systems (extended version) CoRR Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol
2010	—	`conf`	From POOSL to UPPAAL: Transformation and Quantitative Analysis. ACSD Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten
2010	A*	`conf`	LTSmin: Distributed and Symbolic Reachability. CAV Stefan Blom, Jaco van de Pol, Michael Weber
2010	—	`ed.`	Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings SPIN Jaco van de Pol, Michael Weber
2010	J	`jnl`	Towards model checking executable UML specifications in mCRL2. Innov. Syst. Softw. Eng. Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol
2010	—	`conf`	UPPAAL in Practice: Quantitative Verification of a RapidIO Network. ISoLA (2) Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten
2009	B	`conf`	Compositional Control Synthesis for Partially Observable Systems. CONCUR Wouter Kuijper, Jaco van de Pol
2009	A	`conf`	Computing Weakest Strategies for Safety Games of Imperfect Information. TACAS Wouter Kuijper, Jaco van de Pol
2009	—	`conf`	Distributed Branching Bisimulation Minimization by Inductive Signatures PDMC Stefan Blom, Jaco van de Pol
2009	—	`ed.`	Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009. PDMC Lubos Brim, Jaco van de Pol
2009	J	`jnl`	Solving scheduling problems by untimed model checking. Int. J. Softw. Tools Technol. Transf. Anton Wijs, Jaco van de Pol, Elena M. Bortnik
2009	B	`conf`	State Space Reduction of Linear Processes Using Control Flow Reconstruction. ATVA Jaco van de Pol, Mark Timmer
2008	—	`conf`	A Multi-Core Solver for Parity Games. PDMC@ETAPS Jaco van de Pol, Michael Weber
2008	—	`conf`	A Typical Verification Challenge for the GRID. Distributed Verification and Grid Computing Jaco van de Pol
2008	—	`conf`	Applying Model-Based Testing to HTML Rendering Engines - A Case Study. TestCom/FATES Jens R. Calamé, Jaco van de Pol
2008	J	`jnl`	Applying formal methods to gossiping networks with mCRL and groove. SIGMETRICS Perform. Evaluation Rev. Pepijn Crouzen, Jaco van de Pol, Arend Rensink
2008	—	`conf`	Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. PDMC@ETAPS Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol
2008	—	`conf`	Leader Election in Anonymous Rings: Franklin Goes Probabilistic. IFIP TCS Rena Bakhshi, Wan J. Fokkink, Jun Pang, Jaco van de Pol
2008	—	`conf`	Mechanical Verification of a Two-Way Sliding Window Protocol. CPA Bahareh Badban, Wan J. Fokkink, Jaco van de Pol
2008	Misc	`conf`	PDL over Accelerated Labeled Transition Systems. TASE Taolue Chen, Jaco van de Pol, Yanjing Wang
2008	J	`jnl`	Simulated time for host-based testing with TTCN-3. Softw. Test. Verification Reliab. Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
2008	C	`conf`	Symbolic Reachability for Process Algebras with Recursive Data Types. ICTAC Stefan Blom, Jaco van de Pol
2007	—	`conf`	A Database Approach to Distributed State Space Generation. PDMC@CAV Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber
2007	J	`jnl`	An abstract interpretation toolkit for µCRL. Formal Methods Syst. Des. Miguel Valero Espada, Jaco van de Pol
2007	B	`conf`	Bug Hunting with False Negatives. IFM Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
2007	A	`conf`	Distributed Analysis with TACAS Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs
2007	B	`conf`	Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. CONCUR Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse
2007	—	`ed.`	Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers FMICS/PDMC Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol
2007	J	`jnl`	Generalizing DPLL and satisfiability for equalities. Inf. Comput. Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema
2007	—	`conf`	Improved Distributed Algorithms for SCC Decomposition. PDMC@CAV Jiri Barnat, Jakub Chaloupka, Jaco van de Pol
2007	—	`ed.`	Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005 IFM Doctoral Symposium Judi Romijn, Graeme Smith, Jaco van de Pol
2006	—	`conf`	Accelerated Modal Abstractions of Labelled Transition Systems. AMAST Miguel Valero Espada, Jaco van de Pol
2006	—	`conf`	Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen. GI Jahrestagung (2) Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol
2006	J	`jnl`	Cones and foci: A mechanical framework for protocol verification. Formal Methods Syst. Des. Wan J. Fokkink, Jun Pang, Jaco van de Pol
2006	J	`jnl`	Distribution of a Simple Shared Dataspace Architecture. Fundam. Informaticae Simona Orzan, Jaco van de Pol
2006	—	`ed.`	Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10, 2005 PDMC@ICALP Martin Leucker, Jaco van de Pol
2006	—	`conf`	TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. CCECE Jens R. Calamé, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol
2006	—	`conf`	TTCN-3 for Distributed Testing Embedded Software. Ershov Memorial Conference Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
2005	B	`conf`	A BDD-Representation for the Logic of Equality and Uninterpreted Functions. MFCS Jaco van de Pol, Olga Tveretina
2005	—	`conf`	Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. IFM Doctoral Symposium Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol
2005	C	`conf`	Data Abstraction and Constraint Solving for Conformance Testing. APSEC Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
2005	—	`conf`	Generalized Innermost Rewriting. RTA Jaco van de Pol, Hans Zantema
2005	B	`ed.`	Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings IFM Judi Romijn, Graeme Smith, Jaco van de Pol
2005	J	`jnl`	Introductory paper. Int. J. Softw. Tools Technol. Transf. Thomas Arts, Jaco van de Pol
2005	—	`conf`	Preface. PDMC@ICALP Martin Leucker, Jaco van de Pol
2005	—	`conf`	Preface. IFM Doctoral Symposium Judi Romijn, Graeme Smith, Jaco van de Pol
2005	J	`jnl`	Semantic models of a timed distributed dataspace architecture. Theor. Comput. Sci. Jozef Hooman, Jaco van de Pol
2005	—	`conf`	Simulated Time for Testing Railway Interlockings with TTCN-3. FATES Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
2005	C	`conf`	Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. FMICS Anton Wijs, Jaco van de Pol, Elena M. Bortnik
2005	J	`jnl`	Verification of a sliding window protocol in µCRL and PVS. Formal Aspects Comput. Bahareh Badban, Wan J. Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol
2005	J	`jnl`	Zero, successor and equality in BDDs. Ann. Pure Appl. Log. Bahareh Badban, Jaco van de Pol
2004	—	`conf`	A State Space Distribution Policy Based on Abstract Interpretation. PDMC Simona Orzan, Jaco van de Pol, Miguel Valero Espada
2004	B	`conf`	Abstraction of Parallel Uniform Processes with Data. SEFM Jun Pang, Jaco van de Pol, Miguel Valero Espada
2004	C	`conf`	An Abstract Interpretation Toolkit for FMICS Jaco van de Pol, Miguel Valero Espada
2004	J	`jnl`	Introductory paper. Int. J. Softw. Tools Technol. Transf. Jaco van de Pol
2004	—	`conf`	Modal Abstractions in µCRL. AMAST Jaco van de Pol, Miguel Valero Espada
2004	—	`conf`	Verifying a Sliding Window Protocol in µCRL. AMAST Wan J. Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol
2003	C	`conf`	New developments around the mCRL tool set. FMICS Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
2003	—	`conf`	Verification of Distributed Dataspace Architectures. Ershov Memorial Conference Simona Orzan, Jaco van de Pol
2003	—	`conf`	Verification of JavaSpaces ACSD Jaco van de Pol, Miguel Valero Espada
2002	—	`conf`	Distribution of a Simple Shared Dataspace Architecture. FOCLASA Simona Orzan, Jaco van de Pol
2002	—	`conf`	Equivalent Semantic Models for a Distributed Dataspace Architecture. FMCO Jozef Hooman, Jaco van de Pol
2002	C	`conf`	Formal Specification of JavaSpaces Architecture Using µCRL. COORDINATION Jaco van de Pol, Miguel Valero Espada
2002	Misc	`conf`	Formal verification of replication on a distributed data space architecture. SAC Jozef Hooman, Jaco van de Pol
2002	—	`conf`	JITty: A Rewriter with Strategy Annotations. RTA Jaco van de Pol
2002	B	`conf`	Refinement and Verification Applied to an In-Flight Data Acquisition Unit. CONCUR Wan J. Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein
2002	A*	`conf`	State Space Reduction by Proving Confluence. CAV Stefan Blom, Jaco van de Pol
2001	J	`jnl`	A rewriting approach to binary decision diagrams. J. Log. Algebraic Methods Program. Hans Zantema, Jaco van de Pol
2001	—	`conf`	Just-in-time: On Strategy Annotations. WRS Jaco van de Pol
2001	A*	`conf`	µCRL: A Toolset for Analysing Algebraic Specifications. CAV Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
2000	B	`conf`	Binary Decision Diagrams by Shard Rewriting. MFCS Jaco van de Pol, Hans Zantema
2000	B	`conf`	Equational Binary Decision Diagrams. LPAR Jan Friso Groote, Jaco van de Pol
2000	—	`conf`	Refinement in Requirements Specification and Analysis: A Case Study. ECBS Edwin D. de Jong, Jaco van de Pol, Jozef Hooman
2000	B	`conf`	State Space Reduction Using Partial tau-Confluence. MFCS Jan Friso Groote, Jaco van de Pol
1999	B	`conf`	Modular Formal Specification of Data and Behaviour. IFM Jaco van de Pol, Jozef Hooman, Edwin D. de Jong
1998	B	`conf`	Checking Verifications of Protocols and Distributed Systems by Computer. CONCUR Jan Friso Groote, François Monin, Jaco van de Pol
1998	J	`jnl`	Operational Semantics of Rewriting with Priorities. Theor. Comput. Sci. Jaco van de Pol
1997	B	`conf`	Simulation as a Correct Transformation of Rewrite Systems. MFCS Wan J. Fokkink, Jaco van de Pol
1996	—	`conf`	A Bounded Retransmission Protocol for Large Data Packets. AMAST Jan Friso Groote, Jaco van de Pol
1995	—	`conf`	Strict Functionals for Termination Proofs. TLCA Jaco van de Pol, Helmut Schwichtenberg
1995	—	`conf`	Two HOA Jaco van de Pol
1993	—	`conf`	Termination Proofs for Higher-order Rewrite Systems. HOA Jaco van de Pol