Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Jaco van de Pol

Jaco C. van de Pol

> Home > Persons

Person information

affiliation: Aarhus University, Department of Computer Science, Aarhus, Denmark
affiliation: University of Twente, Enschede, Netherlands

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MadsenPH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MadsenPH23
Magnus Madsen, Jaco van de Pol, Troels Henriksen:
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. Proc. ACM Program. Lang. 7(OOPSLA2): 516-543 (2023)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/GleirscherPW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/GleirscherPW23
Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
A manifesto for applicable formal methods. Softw. Syst. Model. 22(6): 1737-1749 (2023)
2022
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/is/BloemenZADP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/BloemenZADP22
Vincent Bloemen, Sebastiaan J. van Zelst, Wil M. P. van der Aalst, Boudewijn F. van Dongen, Jaco van de Pol:
Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones. Inf. Syst. 103: 101456 (2022)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HansenTGPPIMACR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HansenTGPPIMACR22
Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Palludan Madsen, Jesus Alfonso, José Ángel Castellanos, José Manuel Rodriguez-Fortun:
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. Int. J. Softw. Tools Technol. Transf. 24(6): 999-1024 (2022)
2021
[j35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MadsenP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MadsenP21
Magnus Madsen, Jaco van de Pol:
Relational nullable types with Boolean unification. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021)
2020
[j34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MadsenP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MadsenP20
Magnus Madsen, Jaco van de Pol:
Polymorphic types and effects with Boolean unification. Proc. ACM Program. Lang. 4(OOPSLA): 154:1-154:29 (2020)
2019
[j33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/isse/MeijerP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/MeijerP19
Jeroen Meijer, Jaco van de Pol:
Sound black-box checking in the LearnLib. Innov. Syst. Softw. Eng. 15(3-4): 267-287 (2019)
[j32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/BloemenDP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BloemenDP19
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol:
Model checking with generalized Rabin and Fin-less automata. Int. J. Softw. Tools Technol. Transf. 21(3): 307-324 (2019)
2018
[j31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/DijkP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DijkP18
Tom van Dijk, Jaco van de Pol:
Multi-core symbolic bisimulation minimisation. Int. J. Softw. Tools Technol. Transf. 20(2): 157-177 (2018)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KordonGHPJHABBEJBLMSTPW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEJBLMSTPW18
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf:
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13: 181-209 (2018)
2017
[j29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/DijkP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DijkP17
Tom van Dijk, Jaco van de Pol:
Sylvan: multi-core framework for decision diagrams. Int. J. Softw. Tools Technol. Transf. 19(6): 675-696 (2017)
2016
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/bmcsb/SchivoSVKPPL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcsb/SchivoSVKPPL16
Stefano Schivo, Jetse Scholma, Paul E. van der Vet, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak:
Modelling with ANIMO: between fuzzy logic and differential equations. BMC Syst. Biol. 10: 56 (2016)
[j27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HuismanP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HuismanP16
Marieke Huisman, Jaco van de Pol:
Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14). Sci. Comput. Program. 128: 1 (2016)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/LaarmanPPH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/LaarmanPPH16
Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen:
Guard-based partial-order reduction. Int. J. Softw. Tools Technol. Transf. 18(4): 427-448 (2016)
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/TimmerKPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/TimmerKPS16
Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga:
Confluence reduction for Markov automata. Theor. Comput. Sci. 655: 193-219 (2016)
2014
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/HuismanP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/HuismanP14
Marieke Huisman, Jaco van de Pol:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/PolRB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/PolRB14
Jaco van de Pol, Theo C. Ruys, Steven te Brinke:
Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges. Int. J. Softw. Tools Technol. Transf. 16(5): 481-491 (2014)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/titb/SchivoSWCVKLPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/titb/SchivoSWCVKLPP14
Stefano Schivo, Jetse Scholma, Brend Wanders, Ricardo A. Urquidi Camacho, Paul E. van der Vet, Marcel Karperien, Rom Langerak, Jaco van de Pol, Janine N. Post:
Modeling Biological Pathway Dynamics With Timed Automata. IEEE J. Biomed. Health Informatics 18(3): 832-839 (2014)
2012
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/DijkLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/DijkLP12
Tom van Dijk, Alfons Laarman, Jaco van de Pol:
Multi-core and/or Symbolic Model Checking. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KatoenPST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KatoenPST12
Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer:
A linear process-algebraic format with data for probabilistic automata. Theor. Comput. Sci. 413(1): 36-57 (2012)
2011
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BarnatCP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BarnatCP11
Jiri Barnat, Jakub Chaloupka, Jaco van de Pol:
Distributed Algorithms for SCC Decomposition. J. Log. Comput. 21(1): 23-44 (2011)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BlomLP011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BlomLP011
Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber:
A Database Approach to Distributed State-Space Generation. J. Log. Comput. 21(1): 45-62 (2011)
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AcetoCILP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AcetoCILP11
Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol:
On the axiomatizability of priority II. Theor. Comput. Sci. 412(28): 3035-3044 (2011)
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BergstraP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BergstraP11
Jan A. Bergstra, Jaco van de Pol:
A calculus for four-valued sequential logic. Theor. Comput. Sci. 412(28): 3122-3128 (2011)
2010
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/HansenKLMP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/HansenKLMP10
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol:
Towards model checking executable UML specifications in mCRL2. Innov. Syst. Softw. Eng. 6(1-2): 83-90 (2010)
2009
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/WijsPB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/WijsPB09
Anton Wijs, Jaco van de Pol, Elena M. Bortnik:
Solving scheduling problems by untimed model checking. Int. J. Softw. Tools Technol. Transf. 11(5): 375-392 (2009)
2008
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmetrics/CrouzenPR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmetrics/CrouzenPR08
Pepijn Crouzen, Jaco van de Pol, Arend Rensink:
Applying formal methods to gossiping networks with mCRL and groove. SIGMETRICS Perform. Evaluation Rev. 36(3): 7-16 (2008)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/BlomDIKPRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/BlomDIKPRS08
Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova:
Simulated time for host-based testing with TTCN-3. Softw. Test. Verification Reliab. 18(1): 29-49 (2008)
2007
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/EspadaP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/EspadaP07
Miguel Valero Espada, Jaco van de Pol:
An abstract interpretation toolkit for µCRL. Formal Methods Syst. Des. 30(3): 249-273 (2007)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BadbanPTZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BadbanPTZ07
Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema:
Generalizing DPLL and satisfiability for equalities. Inf. Comput. 205(8): 1188-1211 (2007)
2006
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FokkinkPP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FokkinkPP06
Wan J. Fokkink, Jun Pang, Jaco van de Pol:
Cones and foci: A mechanical framework for protocol verification. Formal Methods Syst. Des. 29(1): 1-31 (2006)
[j8]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/OrzanP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/OrzanP06
Simona Orzan, Jaco van de Pol:
Distribution of a Simple Shared Dataspace Architecture. Fundam. Informaticae 73(4): 535-559 (2006)
2005
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BadbanP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BadbanP05
Bahareh Badban, Jaco van de Pol:
Zero, successor and equality in BDDs. Ann. Pure Appl. Log. 133(1-3): 101-123 (2005)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BadbanFGPP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BadbanFGPP05
Bahareh Badban, Wan J. Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol:
Verification of a sliding window protocol in µCRL and PVS. Formal Aspects Comput. 17(3): 342-388 (2005)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ArtsP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ArtsP05
Thomas Arts, Jaco van de Pol:
Introductory paper. Int. J. Softw. Tools Technol. Transf. 7(3): 195-196 (2005)
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HoomanP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HoomanP05
Jozef Hooman, Jaco van de Pol:
Semantic models of a timed distributed dataspace architecture. Theor. Comput. Sci. 331(2-3): 291-323 (2005)
2004
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Pol04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Pol04
Jaco van de Pol:
Introductory paper. Int. J. Softw. Tools Technol. Transf. 5(2-3): 105-106 (2004)
2001
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/ZantemaP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ZantemaP01
Hans Zantema, Jaco van de Pol:
A rewriting approach to binary decision diagrams. J. Log. Algebraic Methods Program. 49(1-2): 61-86 (2001)
1998
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Pol98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Pol98
Jaco van de Pol:
Operational Semantics of Rewriting with Priorities. Theor. Comput. Sci. 200(1-2): 289-312 (1998)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/JakobsenJPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JakobsenJPP24
Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol, Andreas Pavlogiannis:
Fast Symbolic Computation of Bottom SCCs. TACAS (3) 2024: 110-128
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/DahlsenJensenFPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DahlsenJensenFPP24
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol:
On-The-Fly Algorithm for Reachability in Parametric Timed Games. TACAS (3) 2024: 194-212
2023
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/acg/ShaikMPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acg/ShaikMPS23
Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine:
Implicit QBF Encodings for Positional Games. ACG 2023: 133-145
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SolvstenP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SolvstenP23
Steffan Christ Sølvsten, Jaco van de Pol:
Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. ATVA 2023: 72-92
[c131]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/MadsenP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/MadsenP23
Magnus Madsen, Jaco van de Pol:
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. ECOOP 2023: 18:1-18:27
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/ShaikP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/ShaikP23
Irfansha Shaik, Jaco van de Pol:
Optimal Layout Synthesis for Quantum Circuits as Classical Planning. ICCAD 2023: 1-9
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/SolvstenP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/SolvstenP23
Steffan Christ Sølvsten, Jaco van de Pol:
Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory. NFM 2023: 464-471
[c128]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sat/ShaikHSP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/ShaikHSP23
Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol:
Validation of QBF Encodings with Winning Strategies. SAT 2023: 24:1-24:10
[c127]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LarsenSSJPP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LarsenSSJPP23
Casper Abild Larsen, Simon Meldahl Schmidt, Jesper Steensgaard, Anna Blume Jakobsen, Jaco van de Pol, Andreas Pavlogiannis:
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. TACAS (2) 2023: 353-371
2022
[c126]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/ShaikP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/ShaikP22
Irfansha Shaik, Jaco van de Pol:
Classical Planning as QBF without Grounding. ICAPS 2022: 329-337
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/AndreMPP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/AndreMPP22
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS 2022: 200-218
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/SeisenbergerBFF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SeisenbergerBFF22
Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer:
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) 2022: 246-268
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Pol22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Pol22
Jaco van de Pol:
Exploring a Parallel SCC Algorithm. ISoLA (1) 2022: 535-555
[c122]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/SolvstenPJT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SolvstenPJT22
Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen:
Adiar Binary Decision Diagrams in External Memory. TACAS (2) 2022: 295-313
2021
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/annsim/HansenGLP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/annsim/HansenGLP21
Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol:
Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. ANNSIM 2021: 1-12
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HansenGPTPW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HansenGPTPW21
Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock:
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. FMICS 2021: 3-20
[c119]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AndreAPP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AndreAPP21
Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol:
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. TACAS (1) 2021: 311-329
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/AndreMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/AndreMP21
Étienne André, Dylan Marinho, Jaco van de Pol:
A Benchmarks Library for Extended Parametric Timed Automata. TAP@STAF 2021: 39-50
2020
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GaravelBP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GaravelBP20
Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol:
The 2020 Expert Survey on Formal Methods. FMICS 2020: 3-69
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/WimmerHP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/WimmerHP20
Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol:
Certifying Emptiness of Timed Büchi Automata. FORMATS 2020: 58-75
[c115]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/OortwijnHJP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/OortwijnHJP20
Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol:
Automated Verification of Parallel Nested DFS. TACAS (1) 2020: 247-265
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/PolP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/PolP20
Jaco van de Pol, Laure Petrucci:
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). WADT 2020: 3-10
2019
[c113]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/Pol19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Pol19
Jaco van de Pol:
Concurrent Algorithms and Data Structures for Model Checking (Invited Talk). CONCUR 2019: 4:1-4:1
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/BergP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BergP19
Freark I. van der Berg, Jaco van de Pol:
Concurrent Chaining Hash Maps for Software Model Checking. FMCAD 2019: 46-54
[c111]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DijkMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DijkMP19
Tom van Dijk, Jeroen Meijer, Jaco van de Pol:
Multi-core On-The-Fly Saturation. TACAS (2) 2019: 58-75
[c110]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AndreBPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AndreBPP19
Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol:
Minimal-Time Synthesis for Parametric Timed Automata. TACAS (2) 2019: 211-228
2018
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/BloemenPA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/BloemenPA18
Vincent Bloemen, Jaco van de Pol, Wil M. P. van der Aalst:
Symbolically Aligning Observed and Modelled Behaviour. ACSD 2018: 50-59
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/PolM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/PolM97
Jaco van de Pol, Jeroen Meijer:
Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin. Models, Mindsets, Meta 2018: 417-430
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/BloemenZADP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/BloemenZADP18
Vincent Bloemen, Sebastiaan J. van Zelst, Wil M. P. van der Aalst, Boudewijn F. van Dongen, Jaco van de Pol:
Maximizing Synchronization for Aligning Observed and Modelled Behaviour. BPM 2018: 233-249
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HuistraMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HuistraMP18
David Huistra, Jeroen Meijer, Jaco van de Pol:
Adaptive Learning for Learn-Based Regression Testing. FMICS 2018: 162-177
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/PetrucciP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/PetrucciP18
Laure Petrucci, Jaco van de Pol:
Parameter Synthesis Algorithms for Parametric Interval Markov Chains. FORTE 2018: 121-140
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/NguyenPP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/NguyenPP18
Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol:
Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. ICECCS 2018: 1-9
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MeijerP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MeijerP18
Jeroen Meijer, Jaco van de Pol:
Sound Black-Box Checking in the LearnLib. NFM 2018: 349-366
2017
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/SteffenJMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/SteffenJMP17
Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol:
Property-Preserving Generation of Tailored Benchmark Petri Nets. ACSD 2017: 1-8
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LangerakPPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LangerakPPS17
Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo:
Improving the Timed Automata Approach to Biological Pathway Dynamics. Models, Algorithms, Logics and Tools 2017: 96-111
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/JasperFSSMPHS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/JasperFSSMPHS17
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel:
The RERS 2017 challenge and workshop (invited paper). SPIN 2017: 11-20
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/OortwijnDP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/OortwijnDP17
Wytse Oortwijn, Tom van Dijk, Jaco van de Pol:
Distributed binary decision diagrams for symbolic reachability. SPIN 2017: 21-30
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BloemenDP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BloemenDP17
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol:
Explicit state model checking with generalized Büchi and Rabin automata. SPIN 2017: 50-59
2016
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/AhmadJSP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/AhmadJSP16
Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol:
Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. ACSD 2016: 114-123
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/NeeleWBP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/NeeleWBP16
Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol:
Partial-Order Reduction for GPU Model Checking. ATVA 2016: 357-374
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/BloemenP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/BloemenP16
Vincent Bloemen, Jaco van de Pol:
Multi-core SCC-Based LTL Model Checking. Haifa Verification Conference 2016: 18-33
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BendispostoKLMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BendispostoKLMP16
Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield:
Symbolic Reachability Analysis of B Through ProB and LTSmin. IFM 2016: 275-291
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AhmadP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AhmadP16
Waheed Ahmad, Jaco van de Pol:
Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego. ISoLA (1) 2016: 94-113
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HuismanBBDGLPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HuismanBBDGLPV16
Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser:
Software that Meets Its Intent. ISoLA (2) 2016: 609-625
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/GeskeJSHSP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/GeskeJSHSP16
Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol:
RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. ISoLA (2) 2016: 787-803
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MeijerP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MeijerP16
Jeroen Meijer, Jaco van de Pol:
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. NFM 2016: 255-271
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/BloemenLP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/BloemenLP16
Vincent Bloemen, Alfons Laarman, Jaco van de Pol:
Multi-core on-the-fly SCC decomposition. PPoPP 2016: 8:1-8:12
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/DijkP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DijkP16
Tom van Dijk, Jaco van de Pol:
Multi-core Symbolic Bisimulation Minimisation. TACAS 2016: 332-348
2015
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/AhmadHSP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/AhmadHSP15
Waheed Ahmad, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol:
Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications. DSD 2015: 271-275
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Pol15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Pol15
Jaco C. van de Pol:
Automated Verification of Nested DFS. FMICS 2015: 181-197
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/ppam/OortwijnDP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppam/OortwijnDP15
Wytse Oortwijn, Tom van Dijk, Jaco van de Pol:
A Distributed Hash Table for Shared Memory. PPAM (2) 2015: 15-24
[c84]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DijkP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DijkP15
Tom van Dijk, Jaco van de Pol:
Sylvan: Multi-Core Decision Diagrams. TACAS 2015: 677-691
[c83]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KantLMPBD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KantLMPBD15
Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk:
LTSmin: High-Performance Language-Independent Model Checking. TACAS 2015: 692-707
[c82]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChaudharyFPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChaudharyFPS15
Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga:
Modeling and Verification of the Bitcoin Protocol. MARS 2015: 46-60
2014
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/AhmadGHSP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/AhmadGHSP14
Waheed Ahmad, Robert de Groote, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol:
Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. ACSD 2014: 72-81
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/DijkP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/DijkP14
Tom van Dijk, Jaco C. van de Pol:
Lace: Non-blocking Split Deque for Work-Stealing. Euro-Par Workshops (2) 2014: 206-217
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/MeijerKBP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/MeijerKBP14
Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol:
Read, Write and Copy Dependencies for Symbolic Model Checking. Haifa Verification Conference 2014: 204-219
[c78]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KantP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KantP14
Gijs Kant, Jaco van de Pol:
Generating and Solving Symbolic Parity Games. GRAPHITE 2014: 2-14
[c77]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SchivoSKPPL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SchivoSKPPL14
Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak:
Setting Parameters for Biological Models With ANIMO. SynCoP 2014: 35-47
2013
[c76]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LaarmanODLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LaarmanODLP13
Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol:
Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction. CAV 2013: 968-983
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/TimmerPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/TimmerPS13
Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga:
Confluence Reduction for Markov Automata. FORMATS 2013: 243-257
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/LaarmanPP013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/LaarmanPP013
Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber:
Guard-Based Partial-Order Reduction. SPIN 2013: 227-245
2012
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/EvangelistaLPP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/EvangelistaLPP12
Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol:
Improved Multi-Core Nested Depth-First Search. ATVA 2012: 269-283
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/bibe/SchivoSWCVKLPP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bibe/SchivoSWCVKLPP12
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:
Modelling biological pathway dynamics with Timed Automata. BIBE 2012: 447-453
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/TimmerKPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/TimmerKPS12
Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga:
Efficient Modelling and Generation of Markov Automata. CONCUR 2012: 364-379
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DalsgaardLLOP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DalsgaardLLOP12
Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol:
Multi-core Reachability for Timed Automata. FORMATS 2012: 91-106
[c69]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-6414
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-6414
Gijs Kant, Jaco van de Pol:
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games. GRAPHITE 2012: 50-65
[c68]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DijkLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DijkLP13
Tom van Dijk, Alfons Laarman, Jaco van de Pol:
Multi-Core BDD Operations for Symbolic Reachability. PASM/PDMC 2012: 127-143
2011
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LaarmanLPWW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LaarmanLPWW11
Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs:
Multi-core Nested Depth-First Search. ATVA 2011: 321-335
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/LaarmanPW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/LaarmanPW11
Alfons Laarman, Jaco van de Pol, Michael Weber:
Multi-Core LTSmin: Marrying Modularity and Scalability. NASA Formal Methods 2011: 506-511
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/LaarmanP011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/LaarmanP011
Alfons Laarman, Jaco van de Pol, Michael Weber:
Parallel Recursive State Compression for Free. SPIN 2011: 38-56
[c64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/TimmerSP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/TimmerSP11
Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol:
Confluence Reduction for Probabilistic Systems. TACAS 2011: 311-325
[c63]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-0369
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-0369
Alfons Laarman, Jaco van de Pol:
Variations on Multi-Core Nested Depth-First Search. PDMC 2011: 13-28
2010
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/XingTLPTV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/XingTLPTV10
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten:
From POOSL to UPPAAL: Transformation and Quantitative Analysis. ACSD 2010: 47-56
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/KatoenPST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/KatoenPST10
Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer:
A Linear Process-Algebraic Format for Probabilistic Systems with Data. ACSD 2010: 213-222
[c60]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BlomPW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BlomPW10
Stefan Blom, Jaco van de Pol, Michael Weber:
LTSmin: Distributed and Symbolic Reachability. CAV 2010: 354-359
[c59]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/LaarmanPW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/LaarmanPW10
Alfons Laarman, Jaco van de Pol, Michael Weber:
Boosting multi-core reachability performance with shared hash tables. FMCAD 2010: 247-255
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/HansenKLMPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/HansenKLMPS10
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos:
Automated Verification of Executable UML Models. FMCO 2010: 225-250
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/XingTLPTV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/XingTLPTV10
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten:
UPPAAL in Practice: Quantitative Verification of a RapidIO Network. ISoLA (2) 2010: 160-174
2009
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/PolT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/PolT09
Jaco van de Pol, Mark Timmer:
State Space Reduction of Linear Processes Using Control Flow Reconstruction. ATVA 2009: 54-68
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/KuijperP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KuijperP09
Wouter Kuijper, Jaco van de Pol:
Compositional Control Synthesis for Partially Observable Systems. CONCUR 2009: 431-447
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KuijperP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KuijperP09
Wouter Kuijper, Jaco van de Pol:
Computing Weakest Strategies for Safety Games of Imperfect Information. TACAS 2009: 92-106
[c53]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0912-2550
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0912-2550
Stefan Blom, Jaco van de Pol:
Distributed Branching Bisimulation Minimization by Inductive Signatures. PDMC 2009: 32-46
2008
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BlomP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BlomP08
Stefan Blom, Jaco van de Pol:
Symbolic Reachability for Process Algebras with Recursive Data Types. ICTAC 2008: 81-95
[c51]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/BakhshiFPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/BakhshiFPP08
Rena Bakhshi, Wan J. Fokkink, Jun Pang, Jaco van de Pol:
Leader Election in Anonymous Rings: Franklin Goes Probabilistic. IFIP TCS 2008: 57-72
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/CalameP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/CalameP08
Jens R. Calamé, Jaco van de Pol:
Applying Model-Based Testing to HTML Rendering Engines - A Case Study. TestCom/FATES 2008: 250-265
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ChenPW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ChenPW08
Taolue Chen, Jaco van de Pol, Yanjing Wang:
PDL over Accelerated Labeled Transition Systems. TASE 2008: 193-200
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/wotug/BadbanFP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wotug/BadbanFP08
Bahareh Badban, Wan J. Fokkink, Jaco van de Pol:
Mechanical Verification of a Two-Way Sliding Window Protocol. CPA 2008: 179-202
[c47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PolW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PolW08
Jaco van de Pol, Michael Weber:
A Multi-Core Solver for Parity Games. PDMC@ETAPS 2008: 19-34
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BlomHKP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BlomHKP08
Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol:
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. PDMC@ETAPS 2008: 35-50
2007
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/ChenPPW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChenPPW07
Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse:
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. CONCUR 2007: 120-135
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/CalameIPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/CalameIPS07
Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova:
Bug Hunting with False Negatives. IFM 2007: 98-117
[c43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BlomCLOPPDW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BlomCLOPPDW07
Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs:
Distributed Analysis with mu CRL: A Compendium of Case Studies. TACAS 2007: 683-689
[c42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BlomLPW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BlomLPW08
Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber:
A Database Approach to Distributed State Space Generation. PDMC@CAV 2007: 17-32
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarnatCP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarnatCP08
Jiri Barnat, Jakub Chaloupka, Jaco van de Pol:
Improved Distributed Algorithms for SCC Decomposition. PDMC@CAV 2007: 63-77
2006
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/EspadaP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/EspadaP06
Miguel Valero Espada, Jaco van de Pol:
Accelerated Modal Abstractions of Labelled Transition Systems. AMAST 2006: 338-352
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/ccece/CalameGIP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccece/CalameGIP06
Jens R. Calamé, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol:
TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. CCECE 2006: 620-623
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/BlomDIKPRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/BlomDIKPRS06
Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova:
TTCN-3 for Distributed Testing Embedded Software. Ershov Memorial Conference 2006: 98-111
[c37]
- view
- export record
  dblp key:
  - conf/gi/CalameIP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/CalameIP06
Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol:
Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen. GI Jahrestagung (2) 2006: 257-261
2005
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/CalameIPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/CalameIPS05
Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova:
Data Abstraction and Constraint Solving for Conformance Testing. APSEC 2005: 541-548
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/fates/BlomIPRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/BlomIPRS05
Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova:
Simulated Time for Testing Railway Interlockings with TTCN-3. FATES 2005: 1-15
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/WijsPB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/WijsPB05
Anton Wijs, Jaco van de Pol, Elena M. Bortnik:
Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. FMICS 2005: 54-61
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/PolT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/PolT05
Jaco van de Pol, Olga Tveretina:
A BDD-Representation for the Logic of Equality and Uninterpreted Functions. MFCS 2005: 769-780
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/PolZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/PolZ05
Jaco van de Pol, Hans Zantema:
Generalized Innermost Rewriting. RTA 2005: 2-16
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LeuckerP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LeuckerP06
Martin Leucker, Jaco van de Pol:
Preface. PDMC@ICALP 2005: 1-2
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RomijnSP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RomijnSP07
Judi Romijn, Graeme Smith, Jaco van de Pol:
Preface. IFM Doctoral Symposium 2005: 1-2
[c29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CalameIP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CalameIP07
Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol:
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. IFM Doctoral Symposium 2005: 25-48
2004
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/FokkinkGPBP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/FokkinkGPBP04
Wan J. Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol:
Verifying a Sliding Window Protocol in µCRL. AMAST 2004: 148-163
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/PolE04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/PolE04
Jaco van de Pol, Miguel Valero Espada:
Modal Abstractions in µCRL. AMAST 2004: 409-425
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/PangPE04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/PangPE04
Jun Pang, Jaco van de Pol, Miguel Valero Espada:
Abstraction of Parallel Uniform Processes with Data. SEFM 2004: 14-23
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/OrzanPE05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OrzanPE05
Simona Orzan, Jaco van de Pol, Miguel Valero Espada:
A State Space Distribution Policy Based on Abstract Interpretation. PDMC 2004: 35-45
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PolE05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PolE05
Jaco van de Pol, Miguel Valero Espada:
An Abstract Interpretation Toolkit for muCRL. FMICS 2004: 295-313
2003
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/PolE03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/PolE03
Jaco van de Pol, Miguel Valero Espada:
Verification of JavaSpaces^TM Parallel Programs. ACSD 2003: 196-205
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/OrzanP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/OrzanP03
Simona Orzan, Jaco van de Pol:
Verification of Distributed Dataspace Architectures. Ershov Memorial Conference 2003: 192-206
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BlomGLP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BlomGLP03
Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol:
New developments around the mCRL tool set. FMICS 2003: 284-288
2002
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BlomP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BlomP02
Stefan Blom, Jaco van de Pol:
State Space Reduction by Proving Confluence. CAV 2002: 596-609
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/FokkinkIKPUY02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FokkinkIKPUY02
Wan J. Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein:
Refinement and Verification Applied to an In-Flight Data Acquisition Unit. CONCUR 2002: 1-23
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/PolE02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/PolE02
Jaco van de Pol, Miguel Valero Espada:
Formal Specification of JavaSpaces Architecture Using µCRL. COORDINATION 2002: 274-290
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/HoomanP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/HoomanP02
Jozef Hooman, Jaco van de Pol:
Equivalent Semantic Models for a Distributed Dataspace Architecture. FMCO 2002: 182-201
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Pol02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Pol02
Jaco van de Pol:
JITty: A Rewriter with Strategy Annotations. RTA 2002: 367-370
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/HoomanP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/HoomanP02
Jozef Hooman, Jaco van de Pol:
Formal verification of replication on a distributed data space architecture. SAC 2002: 351-358
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/OrzanP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OrzanP03
Simona Orzan, Jaco van de Pol:
Distribution of a Simple Shared Dataspace Architecture. FOCLASA 2002: 371-388
2001
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BlomFGLLP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BlomFGLLP01
Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol:
µCRL: A Toolset for Analysing Algebraic Specifications. CAV 2001: 250-254
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Pol01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Pol01
Jaco van de Pol:
Just-in-time: On Strategy Annotations. WRS 2001: 41-63
2000
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/JongPH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/JongPH00
Edwin D. de Jong, Jaco van de Pol, Jozef Hooman:
Refinement in Requirements Specification and Analysis: A Case Study. ECBS 2000: 290-298
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/GrooteP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/GrooteP00
Jan Friso Groote, Jaco van de Pol:
Equational Binary Decision Diagrams. LPAR 2000: 161-178
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/GrooteP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/GrooteP00
Jan Friso Groote, Jaco van de Pol:
State Space Reduction Using Partial tau-Confluence. MFCS 2000: 383-393
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/PolZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/PolZ00
Jaco van de Pol, Hans Zantema:
Binary Decision Diagrams by Shard Rewriting. MFCS 2000: 609-618
1999
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/PolHJ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/PolHJ99
Jaco van de Pol, Jozef Hooman, Edwin D. de Jong:
Modular Formal Specification of Data and Behaviour. IFM 1999: 109-128
1998
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GrooteMP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GrooteMP98
Jan Friso Groote, François Monin, Jaco van de Pol:
Checking Verifications of Protocols and Distributed Systems by Computer. CONCUR 1998: 629-655
1997
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/FokkinkP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/FokkinkP97
Wan J. Fokkink, Jaco van de Pol:
Simulation as a Correct Transformation of Rewrite Systems. MFCS 1997: 249-258
1996
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/GrooteP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/GrooteP96
Jan Friso Groote, Jaco van de Pol:
A Bounded Retransmission Protocol for Large Data Packets. AMAST 1996: 536-550
1995
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Pol95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Pol95
Jaco van de Pol:
Two Different Strong Normalization Proofs? HOA 1995: 201-220
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tlca/PolS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/PolS95
Jaco van de Pol, Helmut Schwichtenberg:
Strict Functionals for Termination Proofs. TLCA 1995: 350-364
1993
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Pol93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Pol93
Jaco van de Pol:
Termination Proofs for Higher-order Rewrite Systems. HOA 1993: 305-325

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2019
[p3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - series/lncs/KordonLPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/KordonLPT19
Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg:
Software Architecture of Modern Model Checkers. Computing and Software Science 2019: 393-419
2018
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/BarnatBDLPPR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/BarnatBDLPPR18
Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault:
Parallel Model Checking Algorithms for Linear-Time Temporal Logic. Handbook of Parallel Constraint Reasoning 2018: 457-507
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/DijkP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/DijkP18
Tom van Dijk, Jaco van de Pol:
Multi-core Decision Diagrams. Handbook of Parallel Constraint Reasoning 2018: 509-545

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2021
[e7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2111-07538
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-07538
Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021. EPTCS 349, 2021 [contents]
2010
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2010
Jaco van de Pol, Michael Weber:
Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. Lecture Notes in Computer Science 6349, Springer 2010, ISBN 978-3-642-16163-6 [contents]
2009
[e5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0912-3036
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0912-3036
Lubos Brim, Jaco van de Pol:
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009. EPTCS 14, 2009 [contents]
2007
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2006
Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol:
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. Lecture Notes in Computer Science 4346, Springer 2007, ISBN 978-3-540-70951-0 [contents]
[e3]
- view
- export record
  dblp key:
  - conf/ifm/2005ds
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/2005ds
Judi Romijn, Graeme Smith, Jaco van de Pol:
Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005. Electronic Notes in Theoretical Computer Science 191, Elsevier 2007 [contents]
2006
[e2]
- view
- export record
  dblp key:
  - conf/pdmc/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdmc/2005
Martin Leucker, Jaco van de Pol:
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 135(2), Elsevier 2006 [contents]
2005
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/2005
Judi Romijn, Graeme Smith, Jaco van de Pol:
Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings. Lecture Notes in Computer Science 3771, Springer 2005, ISBN 3-540-30492-4 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11287
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11287
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol:
On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version). CoRR abs/2401.11287 (2024)
[i20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-11598
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-11598
Irfansha Shaik, Jaco van de Pol:
Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. CoRR abs/2403.11598 (2024)
2023
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-07345
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-07345
Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine:
Implicit State and Goals in QBF Encodings for Positional Games (extended version). CoRR abs/2301.07345 (2023)
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-16949
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-16949
Irfansha Shaik, Jaco van de Pol:
Concise QBF Encodings for Games on a Grid (extended version). CoRR abs/2303.16949 (2023)
[i17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-07162
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-07162
Thomas Neele, Jaco van de Pol:
Operations on Fixpoint Equation Systems. CoRR abs/2304.07162 (2023)
[i16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-08308
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-08308
Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol:
Search-Space Pruning with Int-Splits for Faster QBF Solving. CoRR abs/2304.08308 (2023)
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-12014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-12014
Irfansha Shaik, Jaco van de Pol:
Optimal Layout Synthesis for Quantum Circuits as Classical Planning. CoRR abs/2304.12014 (2023)
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-04488
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-04488
Steffan Christ Sølvsten, Jaco van de Pol:
Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper). CoRR abs/2307.04488 (2023)
2022
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-04802
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-04802
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Efficient Convex Zone Merging in Parametric Timed Automata. CoRR abs/2212.04802 (2022)
2021
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-12101
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-12101
Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen:
Efficient Binary Decision Diagram Manipulation in External Memory. CoRR abs/2104.12101 (2021)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-10138
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-10138
Irfansha Shaik, Jaco van de Pol:
Classical Planning as QBF without Grounding (extended version). CoRR abs/2106.10138 (2021)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-10232
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-10232
Étienne André, Dylan Marinho, Jaco van de Pol:
A Benchmarks Library for Extended Parametric Timed Automata. CoRR abs/2106.10232 (2021)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-12758
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-12758
Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
A Manifesto for Applicable Formal Methods. CoRR abs/2112.12758 (2021)
2020
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-04150
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-04150
Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol:
Certifying Emptiness of Timed Büchi Automata. CoRR abs/2007.04150 (2020)
2019
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-03013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-03013
Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol:
Minimal-Time Synthesis for Parametric Timed Automata. CoRR abs/1902.03013 (2019)
2016
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BendispostoKLMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BendispostoKLMP16
Jens Bendisposto, Philipp Koerner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield:
Symbolic Reachability Analysis of B through ProB and LTSmin. CoRR abs/1603.04401 (2016)
2015
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MeijerP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MeijerP15
Jeroen Meijer, Jaco van de Pol:
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking. CoRR abs/1511.08678 (2015)
2011
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1104-3119
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-3119
Alfons Laarman, Jaco van de Pol, Michael Weber:
Parallel Recursive State Compression for Free. CoRR abs/1104.3119 (2011)
2010
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1004-2772
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1004-2772
Alfons Laarman, Jaco van de Pol, Michael Weber:
Boosting Multi-Core Reachability Performance with Shared Hash Tables. CoRR abs/1004.2772 (2010)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1011-2314
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-2314
Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol:
Confluence Reduction for Probabilistic Systems (extended version). CoRR abs/1011.2314 (2010)
2008
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/Pol08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Pol08
Jaco van de Pol:
A Typical Verification Challenge for the GRID. Distributed Verification and Grid Computing 2008

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.