Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jaco van de Pol
@inproceedings{DBLP:conf/tacas/JakobsenJPP24,
author = {Anna Blume Jakobsen and
Rasmus Skibdahl Melanchton J{\o}rgensen and
Jaco van de Pol and
Andreas Pavlogiannis},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Fast Symbolic Computation of Bottom SCCs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14572},
pages = {110--128},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57256-2\_6},
doi = {10.1007/978-3-031-57256-2\_6},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JakobsenJPP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DahlsenJensenFPP24,
author = {Mikael Bisgaard Dahlsen{-}Jensen and
Baptiste Fievet and
Laure Petrucci and
Jaco van de Pol},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {On-The-Fly Algorithm for Reachability in Parametric Timed Games},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14572},
pages = {194--212},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57256-2\_10},
doi = {10.1007/978-3-031-57256-2\_10},
timestamp = {Sun, 14 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DahlsenJensenFPP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-11287,
author = {Mikael Bisgaard Dahlsen{-}Jensen and
Baptiste Fievet and
Laure Petrucci and
Jaco van de Pol},
title = {On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended
Version)},
journal = {CoRR},
volume = {abs/2401.11287},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.11287},
doi = {10.48550/ARXIV.2401.11287},
eprinttype = {arXiv},
eprint = {2401.11287},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11287.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-11598,
author = {Irfansha Shaik and
Jaco van de Pol},
title = {Optimal Layout Synthesis for Deep Quantum Circuits on {NISQ} Processors
with 100+ Qubits},
journal = {CoRR},
volume = {abs/2403.11598},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.11598},
doi = {10.48550/ARXIV.2403.11598},
eprinttype = {arXiv},
eprint = {2403.11598},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-11598.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MadsenPH23,
author = {Magnus Madsen and
Jaco van de Pol and
Troels Henriksen},
title = {Fast and Efficient Boolean Unification for Hindley-Milner-Style Type
and Effect Systems},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {516--543},
year = {2023},
url = {https://doi.org/10.1145/3622816},
doi = {10.1145/3622816},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MadsenPH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GleirscherPW23,
author = {Mario Gleirscher and
Jaco van de Pol and
Jim Woodcock},
title = {A manifesto for applicable formal methods},
journal = {Softw. Syst. Model.},
volume = {22},
number = {6},
pages = {1737--1749},
year = {2023},
url = {https://doi.org/10.1007/s10270-023-01124-2},
doi = {10.1007/S10270-023-01124-2},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/GleirscherPW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acg/ShaikMPS23,
author = {Irfansha Shaik and
Valentin Mayer{-}Eichberger and
Jaco van de Pol and
Abdallah Saffidine},
editor = {Michael Hartisch and
Chu{-}Hsuan Hsueh and
Jonathan Schaeffer},
title = {Implicit {QBF} Encodings for Positional Games},
booktitle = {Advances in Computer Games - 18th International Conference, {ACG}
2023, Virtual Event, November 28-30, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14528},
pages = {133--145},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-54968-7\_12},
doi = {10.1007/978-3-031-54968-7\_12},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acg/ShaikMPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SolvstenP23,
author = {Steffan Christ S{\o}lvsten and
Jaco van de Pol},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Predicting Memory Demands of {BDD} Operations Using Maximum Graph
Cuts},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14216},
pages = {72--92},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45332-8\_4},
doi = {10.1007/978-3-031-45332-8\_4},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/SolvstenP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MadsenP23,
author = {Magnus Madsen and
Jaco van de Pol},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Programming with Purity Reflection: Peaceful Coexistence of Effects,
Laziness, and Parallelism},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {18:1--18:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.18},
doi = {10.4230/LIPICS.ECOOP.2023.18},
timestamp = {Tue, 11 Jul 2023 16:52:08 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MadsenP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ShaikP23,
author = {Irfansha Shaik and
Jaco van de Pol},
title = {Optimal Layout Synthesis for Quantum Circuits as Classical Planning},
booktitle = {{IEEE/ACM} International Conference on Computer Aided Design, {ICCAD}
2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023},
pages = {1--9},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICCAD57390.2023.10323924},
doi = {10.1109/ICCAD57390.2023.10323924},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/ShaikP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SolvstenP23,
author = {Steffan Christ S{\o}lvsten and
Jaco van de Pol},
editor = {Kristin Yvonne Rozier and
Swarat Chaudhuri},
title = {Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory},
booktitle = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
Houston, TX, USA, May 16-18, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13903},
pages = {464--471},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33170-1\_28},
doi = {10.1007/978-3-031-33170-1\_28},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/SolvstenP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ShaikHSP23,
author = {Irfansha Shaik and
Maximilian Heisinger and
Martina Seidl and
Jaco van de Pol},
editor = {Meena Mahajan and
Friedrich Slivovsky},
title = {Validation of {QBF} Encodings with Winning Strategies},
booktitle = {26th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
series = {LIPIcs},
volume = {271},
pages = {24:1--24:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.SAT.2023.24},
doi = {10.4230/LIPICS.SAT.2023.24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/ShaikHSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LarsenSSJPP23,
author = {Casper Abild Larsen and
Simon Meldahl Schmidt and
Jesper Steensgaard and
Anna Blume Jakobsen and
Jaco van de Pol and
Andreas Pavlogiannis},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {A Truly Symbolic Linear-Time Algorithm for {SCC} Decomposition},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {353--371},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_22},
doi = {10.1007/978-3-031-30820-8\_22},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LarsenSSJPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-07345,
author = {Irfansha Shaik and
Valentin Mayer{-}Eichberger and
Jaco van de Pol and
Abdallah Saffidine},
title = {Implicit State and Goals in {QBF} Encodings for Positional Games (extended
version)},
journal = {CoRR},
volume = {abs/2301.07345},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.07345},
doi = {10.48550/ARXIV.2301.07345},
eprinttype = {arXiv},
eprint = {2301.07345},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-07345.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-16949,
author = {Irfansha Shaik and
Jaco van de Pol},
title = {Concise {QBF} Encodings for Games on a Grid (extended version)},
journal = {CoRR},
volume = {abs/2303.16949},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.16949},
doi = {10.48550/ARXIV.2303.16949},
eprinttype = {arXiv},
eprint = {2303.16949},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-16949.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-07162,
author = {Thomas Neele and
Jaco van de Pol},
title = {Operations on Fixpoint Equation Systems},
journal = {CoRR},
volume = {abs/2304.07162},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.07162},
doi = {10.48550/ARXIV.2304.07162},
eprinttype = {arXiv},
eprint = {2304.07162},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-07162.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-08308,
author = {Maximilian Heisinger and
Irfansha Shaik and
Martina Seidl and
Jaco van de Pol},
title = {Search-Space Pruning with Int-Splits for Faster {QBF} Solving},
journal = {CoRR},
volume = {abs/2304.08308},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.08308},
doi = {10.48550/ARXIV.2304.08308},
eprinttype = {arXiv},
eprint = {2304.08308},
timestamp = {Fri, 21 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-08308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-12014,
author = {Irfansha Shaik and
Jaco van de Pol},
title = {Optimal Layout Synthesis for Quantum Circuits as Classical Planning},
journal = {CoRR},
volume = {abs/2304.12014},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.12014},
doi = {10.48550/ARXIV.2304.12014},
eprinttype = {arXiv},
eprint = {2304.12014},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-12014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-04488,
author = {Steffan Christ S{\o}lvsten and
Jaco van de Pol},
title = {Predicting Memory Demands of {BDD} Operations using Maximum Graph
Cuts (Extended Paper)},
journal = {CoRR},
volume = {abs/2307.04488},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.04488},
doi = {10.48550/ARXIV.2307.04488},
eprinttype = {arXiv},
eprint = {2307.04488},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-04488.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/BloemenZADP22,
author = {Vincent Bloemen and
Sebastiaan J. van Zelst and
Wil M. P. van der Aalst and
Boudewijn F. van Dongen and
Jaco van de Pol},
title = {Aligning observed and modelled behaviour by maximizing synchronous
moves and using milestones},
journal = {Inf. Syst.},
volume = {103},
pages = {101456},
year = {2022},
url = {https://doi.org/10.1016/j.is.2019.101456},
doi = {10.1016/J.IS.2019.101456},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/BloemenZADP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HansenTGPPIMACR22,
author = {Simon Thrane Hansen and
Casper Thule and
Cl{\'{a}}udio Gomes and
Jaco van de Pol and
Maurizio Palmieri and
Emin Oguz Inci and
Frederik Palludan Madsen and
Jesus Alfonso and
Jos{\'{e}} {\'{A}}ngel Castellanos and
Jos{\'{e}} Manuel Rodriguez{-}Fortun},
title = {Verification and synthesis of co-simulation algorithms subject to
algebraic loops and adaptive steps},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {6},
pages = {999--1024},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00686-8},
doi = {10.1007/S10009-022-00686-8},
timestamp = {Fri, 23 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/HansenTGPPIMACR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ShaikP22,
author = {Irfansha Shaik and
Jaco van de Pol},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Classical Planning as {QBF} without Grounding},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {329--337},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19817},
timestamp = {Wed, 20 Jul 2022 14:27:38 +0200},
biburl = {https://dblp.org/rec/conf/aips/ShaikP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AndreMPP22,
author = {{\'{E}}tienne Andr{\'{e}} and
Dylan Marinho and
Laure Petrucci and
Jaco van de Pol},
editor = {Sergiy Bogomolov and
David Parker},
title = {Efficient Convex Zone Merging in Parametric Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 20th International
Conference, {FORMATS} 2022, Warsaw, Poland, September 13-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13465},
pages = {200--218},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15839-1\_12},
doi = {10.1007/978-3-031-15839-1\_12},
timestamp = {Mon, 24 Oct 2022 20:51:03 +0200},
biburl = {https://dblp.org/rec/conf/formats/AndreMPP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SeisenbergerBFF22,
author = {Monika Seisenberger and
Maurice H. ter Beek and
Xiuyi Fan and
Alessio Ferrari and
Anne E. Haxthausen and
Phillip James and
Andrew Lawrence and
Bas Luttik and
Jaco van de Pol and
Simon Wimmer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Safe and Secure Future AI-Driven Railway Technologies: Challenges
for Formal Methods in Railway},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
October 22-30, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13704},
pages = {246--268},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19762-8\_20},
doi = {10.1007/978-3-031-19762-8\_20},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/SeisenbergerBFF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Pol22,
author = {Jaco van de Pol},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Exploring a Parallel {SCC} Algorithm},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {535--555},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_30},
doi = {10.1007/978-3-031-19849-6\_30},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Pol22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SolvstenPJT22,
author = {Steffan Christ S{\o}lvsten and
Jaco van de Pol and
Anna Blume Jakobsen and
Mathias Weller Berg Thomasen},
editor = {Dana Fisman and
Grigore Rosu},
title = {Adiar Binary Decision Diagrams in External Memory},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {295--313},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_16},
doi = {10.1007/978-3-030-99527-0\_16},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SolvstenPJT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-04802,
author = {{\'{E}}tienne Andr{\'{e}} and
Dylan Marinho and
Laure Petrucci and
Jaco van de Pol},
title = {Efficient Convex Zone Merging in Parametric Timed Automata},
journal = {CoRR},
volume = {abs/2212.04802},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.04802},
doi = {10.48550/ARXIV.2212.04802},
eprinttype = {arXiv},
eprint = {2212.04802},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-04802.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MadsenP21,
author = {Magnus Madsen and
Jaco van de Pol},
title = {Relational nullable types with Boolean unification},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--28},
year = {2021},
url = {https://doi.org/10.1145/3485487},
doi = {10.1145/3485487},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MadsenP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/annsim/HansenGLP21,
author = {Simon Thrane Hansen and
Cl{\'{a}}udio Gomes and
Peter Gorm Larsen and
Jaco van de Pol},
editor = {Cristina Ruiz Martin and
Mar{\'{\i}}a Julia Blas and
Alonso Inostrosa{-}Psijas},
title = {Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic
Loop Handling},
booktitle = {Annual Modeling and Simulation Conference, {ANNSIM} 2021, Virtual
Event / Fairfax, VA, USA, July 19-22, 2021},
pages = {1--12},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ANNSIM52504.2021.9552073},
doi = {10.23919/ANNSIM52504.2021.9552073},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/annsim/HansenGLP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HansenGPTPW21,
author = {Simon Thrane Hansen and
Cl{\'{a}}udio Gomes and
Maurizio Palmieri and
Casper Thule and
Jaco van de Pol and
Jim Woodcock},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Verification of Co-simulation Algorithms Subject to Algebraic Loops
and Adaptive Steps},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {3--20},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_1},
doi = {10.1007/978-3-030-85248-1\_1},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/HansenGPTPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AndreAPP21,
author = {{\'{E}}tienne Andr{\'{e}} and
Jaime Arias and
Laure Petrucci and
Jaco van de Pol},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric
Timed Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12651},
pages = {311--329},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72016-2\_17},
doi = {10.1007/978-3-030-72016-2\_17},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AndreAPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AndreMP21,
author = {{\'{E}}tienne Andr{\'{e}} and
Dylan Marinho and
Jaco van de Pol},
editor = {Fr{\'{e}}d{\'{e}}ric Loulergue and
Franz Wotawa},
title = {A Benchmarks Library for Extended Parametric Timed Automata},
booktitle = {Tests and Proofs - 15th International Conference, {TAP} 2021, Held
as Part of {STAF} 2021, Virtual Event, June 21-22, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12740},
pages = {39--50},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79379-1\_3},
doi = {10.1007/978-3-030-79379-1\_3},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/AndreMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2111-07538,
editor = {Mario Gleirscher and
Jaco van de Pol and
Jim Woodcock},
title = {Proceedings First Workshop on Applicable Formal Methods, AppFM@FM
2021, virtual, 23rd November 2021},
series = {{EPTCS}},
volume = {349},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.349},
doi = {10.4204/EPTCS.349},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-07538.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-12101,
author = {Steffan Christ S{\o}lvsten and
Jaco van de Pol and
Anna Blume Jakobsen and
Mathias Weller Berg Thomasen},
title = {Efficient Binary Decision Diagram Manipulation in External Memory},
journal = {CoRR},
volume = {abs/2104.12101},
year = {2021},
url = {https://arxiv.org/abs/2104.12101},
eprinttype = {arXiv},
eprint = {2104.12101},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-12101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-10138,
author = {Irfansha Shaik and
Jaco van de Pol},
title = {Classical Planning as {QBF} without Grounding (extended version)},
journal = {CoRR},
volume = {abs/2106.10138},
year = {2021},
url = {https://arxiv.org/abs/2106.10138},
eprinttype = {arXiv},
eprint = {2106.10138},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-10138.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-10232,
author = {{\'{E}}tienne Andr{\'{e}} and
Dylan Marinho and
Jaco van de Pol},
title = {A Benchmarks Library for Extended Parametric Timed Automata},
journal = {CoRR},
volume = {abs/2106.10232},
year = {2021},
url = {https://arxiv.org/abs/2106.10232},
eprinttype = {arXiv},
eprint = {2106.10232},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-10232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-12758,
author = {Mario Gleirscher and
Jaco van de Pol and
Jim Woodcock},
title = {A Manifesto for Applicable Formal Methods},
journal = {CoRR},
volume = {abs/2112.12758},
year = {2021},
url = {https://arxiv.org/abs/2112.12758},
eprinttype = {arXiv},
eprint = {2112.12758},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-12758.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MadsenP20,
author = {Magnus Madsen and
Jaco van de Pol},
title = {Polymorphic types and effects with Boolean unification},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {154:1--154:29},
year = {2020},
url = {https://doi.org/10.1145/3428222},
doi = {10.1145/3428222},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MadsenP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GaravelBP20,
author = {Hubert Garavel and
Maurice H. ter Beek and
Jaco van de Pol},
editor = {Maurice H. ter Beek and
Dejan Nickovic},
title = {The 2020 Expert Survey on Formal Methods},
booktitle = {Formal Methods for Industrial Critical Systems - 25th International
Conference, {FMICS} 2020, Vienna, Austria, September 2-3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12327},
pages = {3--69},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58298-2\_1},
doi = {10.1007/978-3-030-58298-2\_1},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/GaravelBP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/WimmerHP20,
author = {Simon Wimmer and
Fr{\'{e}}d{\'{e}}ric Herbreteau and
Jaco van de Pol},
editor = {Nathalie Bertrand and
Nils Jansen},
title = {Certifying Emptiness of Timed B{\"{u}}chi Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 18th International
Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12288},
pages = {58--75},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57628-8\_4},
doi = {10.1007/978-3-030-57628-8\_4},
timestamp = {Mon, 13 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/WimmerHP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/OortwijnHJP20,
author = {Wytse Oortwijn and
Marieke Huisman and
Sebastiaan J. C. Joosten and
Jaco van de Pol},
editor = {Armin Biere and
David Parker},
title = {Automated Verification of Parallel Nested {DFS}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {247--265},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5\_14},
doi = {10.1007/978-3-030-45190-5\_14},
timestamp = {Fri, 14 May 2021 08:34:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/OortwijnHJP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/PolP20,
author = {Jaco van de Pol and
Laure Petrucci},
editor = {Markus Roggenbach},
title = {On Completeness of Liveness Synthesis for Parametric Timed Automata
(Extended Abstract)},
booktitle = {Recent Trends in Algebraic Development Techniques - 25th International
Workshop, {WADT} 2020, Virtual Event, April 29, 2020, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12669},
pages = {3--10},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-73785-6\_1},
doi = {10.1007/978-3-030-73785-6\_1},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/PolP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-04150,
author = {Simon Wimmer and
Fr{\'{e}}d{\'{e}}ric Herbreteau and
Jaco van de Pol},
title = {Certifying Emptiness of Timed B{\"{u}}chi Automata},
journal = {CoRR},
volume = {abs/2007.04150},
year = {2020},
url = {https://arxiv.org/abs/2007.04150},
eprinttype = {arXiv},
eprint = {2007.04150},
timestamp = {Mon, 13 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-04150.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/MeijerP19,
author = {Jeroen Meijer and
Jaco van de Pol},
title = {Sound black-box checking in the LearnLib},
journal = {Innov. Syst. Softw. Eng.},
volume = {15},
number = {3-4},
pages = {267--287},
year = {2019},
url = {https://doi.org/10.1007/s11334-019-00342-6},
doi = {10.1007/S11334-019-00342-6},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/MeijerP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BloemenDP19,
author = {Vincent Bloemen and
Alexandre Duret{-}Lutz and
Jaco van de Pol},
title = {Model checking with generalized Rabin and Fin-less automata},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {21},
number = {3},
pages = {307--324},
year = {2019},
url = {https://doi.org/10.1007/s10009-019-00508-4},
doi = {10.1007/S10009-019-00508-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BloemenDP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Pol19,
author = {Jaco van de Pol},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Concurrent Algorithms and Data Structures for Model Checking (Invited
Talk)},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {4:1--4:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.4},
doi = {10.4230/LIPICS.CONCUR.2019.4},
timestamp = {Mon, 18 May 2020 10:45:19 +0200},
biburl = {https://dblp.org/rec/conf/concur/Pol19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BergP19,
author = {Freark I. van der Berg and
Jaco van de Pol},
editor = {Clark W. Barrett and
Jin Yang},
title = {Concurrent Chaining Hash Maps for Software Model Checking},
booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
CA, USA, October 22-25, 2019},
pages = {46--54},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/FMCAD.2019.8894279},
doi = {10.23919/FMCAD.2019.8894279},
timestamp = {Thu, 14 Nov 2019 12:14:47 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/BergP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DijkMP19,
author = {Tom van Dijk and
Jeroen Meijer and
Jaco van de Pol},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Multi-core On-The-Fly Saturation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {58--75},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_4},
doi = {10.1007/978-3-030-17465-1\_4},
timestamp = {Fri, 31 Jan 2020 21:32:25 +0100},
biburl = {https://dblp.org/rec/conf/tacas/DijkMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AndreBPP19,
author = {{\'{E}}tienne Andr{\'{e}} and
Vincent Bloemen and
Laure Petrucci and
Jaco van de Pol},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Minimal-Time Synthesis for Parametric Timed Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {211--228},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_12},
doi = {10.1007/978-3-030-17465-1\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AndreBPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/KordonLPT19,
author = {Fabrice Kordon and
Michael Leuschel and
Jaco van de Pol and
Yann Thierry{-}Mieg},
editor = {Bernhard Steffen and
Gerhard J. Woeginger},
title = {Software Architecture of Modern Model Checkers},
booktitle = {Computing and Software Science - State of the Art and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
pages = {393--419},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-91908-9\_20},
doi = {10.1007/978-3-319-91908-9\_20},
timestamp = {Tue, 12 Sep 2023 07:58:41 +0200},
biburl = {https://dblp.org/rec/series/lncs/KordonLPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03013,
author = {{\'{E}}tienne Andr{\'{e}} and
Vincent Bloemen and
Laure Petrucci and
Jaco van de Pol},
title = {Minimal-Time Synthesis for Parametric Timed Automata},
journal = {CoRR},
volume = {abs/1902.03013},
year = {2019},
url = {http://arxiv.org/abs/1902.03013},
eprinttype = {arXiv},
eprint = {1902.03013},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DijkP18,
author = {Tom van Dijk and
Jaco van de Pol},
title = {Multi-core symbolic bisimulation minimisation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {2},
pages = {157--177},
year = {2018},
url = {https://doi.org/10.1007/s10009-017-0468-z},
doi = {10.1007/S10009-017-0468-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DijkP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonGHPJHABBEJBLMSTPW18,
author = {Fabrice Kordon and
Hubert Garavel and
Lom{-}Messan Hillah and
Emmanuel Paviot{-}Adet and
Lo{\"{\i}}g Jezequel and
Francis Hulin{-}Hubard and
Elvio Gilberto Amparore and
Marco Beccuti and
Bernard Berthomieu and
Hugues Evrard and
Peter Gj{\o}l Jensen and
Didier Le Botlan and
Torsten Liebke and
Jeroen Meijer and
Jir{\'{\i}} Srba and
Yann Thierry{-}Mieg and
Jaco van de Pol and
Karsten Wolf},
title = {MCC'2017 - The Seventh Model Checking Contest},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {13},
pages = {181--209},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-58381-4\_9},
doi = {10.1007/978-3-662-58381-4\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEJBLMSTPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BloemenPA18,
author = {Vincent Bloemen and
Jaco van de Pol and
Wil M. P. van der Aalst},
title = {Symbolically Aligning Observed and Modelled Behaviour},
booktitle = {18th International Conference on Application of Concurrency to System
Design, {ACSD} 2018, Bratislava, Slovakia, June 25-29, 2018},
pages = {50--59},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2018.00008},
doi = {10.1109/ACSD.2018.00008},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/acsd/BloemenPA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PolM97,
author = {Jaco van de Pol and
Jeroen Meijer},
editor = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
title = {Synchronous or Alternating? - {LTL} Black-Box Checking of Mealy Machines
by Combining the LearnLib and LTSmin},
booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11200},
pages = {417--430},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-22348-9\_24},
doi = {10.1007/978-3-030-22348-9\_24},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/PolM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BloemenZADP18,
author = {Vincent Bloemen and
Sebastiaan J. van Zelst and
Wil M. P. van der Aalst and
Boudewijn F. van Dongen and
Jaco van de Pol},
editor = {Mathias Weske and
Marco Montali and
Ingo Weber and
Jan vom Brocke},
title = {Maximizing Synchronization for Aligning Observed and Modelled Behaviour},
booktitle = {Business Process Management - 16th International Conference, {BPM}
2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11080},
pages = {233--249},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98648-7\_14},
doi = {10.1007/978-3-319-98648-7\_14},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/BloemenZADP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HuistraMP18,
author = {David Huistra and
Jeroen Meijer and
Jaco van de Pol},
editor = {Falk Howar and
Jiri Barnat},
title = {Adaptive Learning for Learn-Based Regression Testing},
booktitle = {Formal Methods for Industrial Critical Systems - 23rd International
Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11119},
pages = {162--177},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00244-2\_11},
doi = {10.1007/978-3-030-00244-2\_11},
timestamp = {Sat, 19 Oct 2019 20:28:59 +0200},
biburl = {https://dblp.org/rec/conf/fmics/HuistraMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PetrucciP18,
author = {Laure Petrucci and
Jaco van de Pol},
editor = {Christel Baier and
Lu{\'{\i}}s Caires},
title = {Parameter Synthesis Algorithms for Parametric Interval Markov Chains},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 2018, Held
as Part of the 13th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10854},
pages = {121--140},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92612-4\_7},
doi = {10.1007/978-3-319-92612-4\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/PetrucciP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/NguyenPP18,
author = {Hoang Gia Nguyen and
Laure Petrucci and
Jaco van de Pol},
title = {Layered and Collecting {NDFS} with Subsumption for Parametric Timed
Automata},
booktitle = {23rd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2018, Melbourne, Australia, December 12-14, 2018},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICECCS2018.2018.00009},
doi = {10.1109/ICECCS2018.2018.00009},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/NguyenPP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MeijerP18,
author = {Jeroen Meijer and
Jaco van de Pol},
editor = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz},
title = {Sound Black-Box Checking in the LearnLib},
booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10811},
pages = {349--366},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77935-5\_24},
doi = {10.1007/978-3-319-77935-5\_24},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/MeijerP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/BarnatBDLPPR18,
author = {Jiri Barnat and
Vincent Bloemen and
Alexandre Duret{-}Lutz and
Alfons Laarman and
Laure Petrucci and
Jaco van de Pol and
Etienne Renault},
editor = {Youssef Hamadi and
Lakhdar Sais},
title = {Parallel Model Checking Algorithms for Linear-Time Temporal Logic},
booktitle = {Handbook of Parallel Constraint Reasoning},
pages = {457--507},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-63516-3\_12},
doi = {10.1007/978-3-319-63516-3\_12},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/18/BarnatBDLPPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/DijkP18,
author = {Tom van Dijk and
Jaco van de Pol},
editor = {Youssef Hamadi and
Lakhdar Sais},
title = {Multi-core Decision Diagrams},
booktitle = {Handbook of Parallel Constraint Reasoning},
pages = {509--545},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-63516-3\_13},
doi = {10.1007/978-3-319-63516-3\_13},
timestamp = {Fri, 04 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/18/DijkP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DijkP17,
author = {Tom van Dijk and
Jaco van de Pol},
title = {Sylvan: multi-core framework for decision diagrams},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {6},
pages = {675--696},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0433-2},
doi = {10.1007/S10009-016-0433-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DijkP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SteffenJMP17,
author = {Bernhard Steffen and
Marc Jasper and
Jeroen Meijer and
Jaco van de Pol},
title = {Property-Preserving Generation of Tailored Benchmark Petri Nets},
booktitle = {17th International Conference on Application of Concurrency to System
Design, {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ACSD.2017.24},
doi = {10.1109/ACSD.2017.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SteffenJMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LangerakPPS17,
author = {Rom Langerak and
Jaco van de Pol and
Janine N. Post and
Stefano Schivo},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Improving the Timed Automata Approach to Biological Pathway Dynamics},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {96--111},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_5},
doi = {10.1007/978-3-319-63121-9\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LangerakPPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/JasperFSSMPHS17,
author = {Marc Jasper and
Maximilian Fecke and
Bernhard Steffen and
Markus Schordan and
Jeroen Meijer and
Jaco van de Pol and
Falk Howar and
Stephen F. Siegel},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {The {RERS} 2017 challenge and workshop (invited paper)},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {11--20},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3098206},
doi = {10.1145/3092282.3098206},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/JasperFSSMPHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/OortwijnDP17,
author = {Wytse Oortwijn and
Tom van Dijk and
Jaco van de Pol},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {Distributed binary decision diagrams for symbolic reachability},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {21--30},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3092284},
doi = {10.1145/3092282.3092284},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/OortwijnDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BloemenDP17,
author = {Vincent Bloemen and
Alexandre Duret{-}Lutz and
Jaco van de Pol},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {Explicit state model checking with generalized B{\"{u}}chi and
Rabin automata},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {50--59},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3092288},
doi = {10.1145/3092282.3092288},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/BloemenDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/SchivoSVKPPL16,
author = {Stefano Schivo and
Jetse Scholma and
Paul E. van der Vet and
Marcel Karperien and
Janine N. Post and
Jaco van de Pol and
Rom Langerak},
title = {Modelling with {ANIMO:} between fuzzy logic and differential equations},
journal = {{BMC} Syst. Biol.},
volume = {10},
pages = {56},
year = {2016},
url = {https://doi.org/10.1186/s12918-016-0286-z},
doi = {10.1186/S12918-016-0286-Z},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcsb/SchivoSVKPPL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HuismanP16,
author = {Marieke Huisman and
Jaco van de Pol},
title = {Preface of Special issue on Automated Verification of Critical Systems
(AVoCS'14)},
journal = {Sci. Comput. Program.},
volume = {128},
pages = {1},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.04.013},
doi = {10.1016/J.SCICO.2016.04.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HuismanP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LaarmanPPH16,
author = {Alfons Laarman and
Elwin Pater and
Jaco van de Pol and
Henri Hansen},
title = {Guard-based partial-order reduction},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {4},
pages = {427--448},
year = {2016},
url = {https://doi.org/10.1007/s10009-014-0363-9},
doi = {10.1007/S10009-014-0363-9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/LaarmanPPH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TimmerKPS16,
author = {Mark Timmer and
Joost{-}Pieter Katoen and
Jaco van de Pol and
Mari{\"{e}}lle Stoelinga},
title = {Confluence reduction for Markov automata},
journal = {Theor. Comput. Sci.},
volume = {655},
pages = {193--219},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.01.017},
doi = {10.1016/J.TCS.2016.01.017},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/TimmerKPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/AhmadJSP16,
author = {Waheed Ahmad and
Marijn R. Jongerden and
Mari{\"{e}}lle Stoelinga and
Jaco van de Pol},
editor = {J{\"{o}}rg Desel and
Alex Yakovlev},
title = {Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications
via Hybrid Automata},
booktitle = {16th International Conference on Application of Concurrency to System
Design, {ACSD} 2016, Torun, Poland, June 19-24, 2016},
pages = {114--123},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ACSD.2016.18},
doi = {10.1109/ACSD.2016.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/AhmadJSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/NeeleWBP16,
author = {Thomas Neele and
Anton Wijs and
Dragan Bosnacki and
Jaco van de Pol},
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {Partial-Order Reduction for {GPU} Model Checking},
booktitle = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
pages = {357--374},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3\_23},
doi = {10.1007/978-3-319-46520-3\_23},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/NeeleWBP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BloemenP16,
author = {Vincent Bloemen and
Jaco van de Pol},
editor = {Roderick Bloem and
Eli Arbel},
title = {Multi-core SCC-Based {LTL} Model Checking},
booktitle = {Hardware and Software: Verification and Testing - 12th International
Haifa Verification Conference, {HVC} 2016, Haifa, Israel, November
14-17, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10028},
pages = {18--33},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49052-6\_2},
doi = {10.1007/978-3-319-49052-6\_2},
timestamp = {Mon, 03 Jan 2022 22:33:54 +0100},
biburl = {https://dblp.org/rec/conf/hvc/BloemenP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BendispostoKLMP16,
author = {Jens Bendisposto and
Philipp K{\"{o}}rner and
Michael Leuschel and
Jeroen Meijer and
Jaco van de Pol and
Helen Treharne and
Jorden Whitefield},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {Symbolic Reachability Analysis of {B} Through ProB and LTSmin},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {275--291},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_18},
doi = {10.1007/978-3-319-33693-0\_18},
timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BendispostoKLMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AhmadP16,
author = {Waheed Ahmad and
Jaco van de Pol},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow
Applications with Uppaal Stratego},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {94--113},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_7},
doi = {10.1007/978-3-319-47166-2\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/AhmadP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HuismanBBDGLPV16,
author = {Marieke Huisman and
Herbert Bos and
Sjaak Brinkkemper and
Arie van Deursen and
Jan Friso Groote and
Patricia Lago and
Jaco van de Pol and
Eelco Visser},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Software that Meets Its Intent},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {609--625},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_47},
doi = {10.1007/978-3-319-47169-3\_47},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HuismanBBDGLPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GeskeJSHSP16,
author = {Maren Geske and
Marc Jasper and
Bernhard Steffen and
Falk Howar and
Markus Schordan and
Jaco van de Pol},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{RERS} 2016: Parallel and Sequential Benchmarks with Focus on {LTL}
Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {787--803},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_59},
doi = {10.1007/978-3-319-47169-3\_59},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GeskeJSHSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MeijerP16,
author = {Jeroen Meijer and
Jaco van de Pol},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {Bandwidth and Wavefront Reduction for Static Variable Ordering in
Symbolic Reachability Analysis},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {255--271},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_20},
doi = {10.1007/978-3-319-40648-0\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MeijerP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/BloemenLP16,
author = {Vincent Bloemen and
Alfons Laarman and
Jaco van de Pol},
editor = {Rafael Asenjo and
Tim Harris},
title = {Multi-core on-the-fly {SCC} decomposition},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March
12-16, 2016},
pages = {8:1--8:12},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851141.2851161},
doi = {10.1145/2851141.2851161},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/BloemenLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DijkP16,
author = {Tom van Dijk and
Jaco van de Pol},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Multi-core Symbolic Bisimulation Minimisation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {332--348},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_19},
doi = {10.1007/978-3-662-49674-9\_19},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DijkP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BendispostoKLMP16,
author = {Jens Bendisposto and
Philipp Koerner and
Michael Leuschel and
Jeroen Meijer and
Jaco van de Pol and
Helen Treharne and
Jorden Whitefield},
title = {Symbolic Reachability Analysis of {B} through ProB and LTSmin},
journal = {CoRR},
volume = {abs/1603.04401},
year = {2016},
url = {http://arxiv.org/abs/1603.04401},
eprinttype = {arXiv},
eprint = {1603.04401},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BendispostoKLMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/AhmadHSP15,
author = {Waheed Ahmad and
Philip K. F. H{\"{o}}lzenspies and
Mari{\"{e}}lle Stoelinga and
Jaco van de Pol},
title = {Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor
Dataflow Applications},
booktitle = {2015 Euromicro Conference on Digital System Design, {DSD} 2015, Madeira,
Portugal, August 26-28, 2015},
pages = {271--275},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/DSD.2015.59},
doi = {10.1109/DSD.2015.59},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/AhmadHSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Pol15,
author = {Jaco C. van de Pol},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Matthias G{\"{u}}demann},
title = {Automated Verification of Nested {DFS}},
booktitle = {Formal Methods for Industrial Critical Systems - 20th International
Workshop, {FMICS} 2015, Oslo, Norway, June 22-23, 2015 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9128},
pages = {181--197},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19458-5\_12},
doi = {10.1007/978-3-319-19458-5\_12},
timestamp = {Mon, 03 Jan 2022 22:35:40 +0100},
biburl = {https://dblp.org/rec/conf/fmics/Pol15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppam/OortwijnDP15,
author = {Wytse Oortwijn and
Tom van Dijk and
Jaco van de Pol},
editor = {Roman Wyrzykowski and
Ewa Deelman and
Jack J. Dongarra and
Konrad Karczewski and
Jacek Kitowski and
Kazimierz Wiatr},
title = {A Distributed Hash Table for Shared Memory},
booktitle = {Parallel Processing and Applied Mathematics - 11th International Conference,
{PPAM} 2015, Krakow, Poland, September 6-9, 2015. Revised Selected
Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9574},
pages = {15--24},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32152-3\_2},
doi = {10.1007/978-3-319-32152-3\_2},
timestamp = {Mon, 16 Sep 2019 15:32:09 +0200},
biburl = {https://dblp.org/rec/conf/ppam/OortwijnDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DijkP15,
author = {Tom van Dijk and
Jaco van de Pol},
editor = {Christel Baier and
Cesare Tinelli},
title = {Sylvan: Multi-Core Decision Diagrams},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {677--691},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_60},
doi = {10.1007/978-3-662-46681-0\_60},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DijkP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KantLMPBD15,
author = {Gijs Kant and
Alfons Laarman and
Jeroen Meijer and
Jaco van de Pol and
Stefan Blom and
Tom van Dijk},
editor = {Christel Baier and
Cesare Tinelli},
title = {LTSmin: High-Performance Language-Independent Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {692--707},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_61},
doi = {10.1007/978-3-662-46681-0\_61},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/KantLMPBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ChaudharyFPS15,
author = {Kaylash Chaudhary and
Ansgar Fehnker and
Jaco van de Pol and
Mari{\"{e}}lle Stoelinga},
editor = {Rob J. van Glabbeek and
Jan Friso Groote and
Peter H{\"{o}}fner},
title = {Modeling and Verification of the Bitcoin Protocol},
booktitle = {Proceedings Workshop on Models for Formal Analysis of Real Systems,
{MARS} 2015, Suva, Fiji, November 23, 2015},
series = {{EPTCS}},
volume = {196},
pages = {46--60},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.196.5},
doi = {10.4204/EPTCS.196.5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChaudharyFPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MeijerP15,
author = {Jeroen Meijer and
Jaco van de Pol},
title = {Bandwidth and Wavefront Reduction for Static Variable Ordering in
Symbolic Model Checking},
journal = {CoRR},
volume = {abs/1511.08678},
year = {2015},
url = {http://arxiv.org/abs/1511.08678},
eprinttype = {arXiv},
eprint = {1511.08678},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MeijerP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HuismanP14,
author = {Marieke Huisman and
Jaco van de Pol},
title = {Preface},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {70},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.70.972.964},
doi = {10.14279/TUJ.ECEASST.70.972.964},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HuismanP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PolRB14,
author = {Jaco van de Pol and
Theo C. Ruys and
Steven te Brinke},
title = {Thoughtful brute-force attack of the {RERS} 2012 and 2013 Challenges},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {481--491},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0324-3},
doi = {10.1007/S10009-014-0324-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PolRB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/SchivoSWCVKLPP14,
author = {Stefano Schivo and
Jetse Scholma and
Brend Wanders and
Ricardo A. Urquidi Camacho and
Paul E. van der Vet and
Marcel Karperien and
Rom Langerak and
Jaco van de Pol and
Janine N. Post},
title = {Modeling Biological Pathway Dynamics With Timed Automata},
journal = {{IEEE} J. Biomed. Health Informatics},
volume = {18},
number = {3},
pages = {832--839},
year = {2014},
url = {https://doi.org/10.1109/JBHI.2013.2292880},
doi = {10.1109/JBHI.2013.2292880},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/titb/SchivoSWCVKLPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/AhmadGHSP14,
author = {Waheed Ahmad and
Robert de Groote and
Philip K. F. H{\"{o}}lzenspies and
Mari{\"{e}}lle Stoelinga and
Jaco van de Pol},
title = {Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs
via Timed Automata},
booktitle = {14th International Conference on Application of Concurrency to System
Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014},
pages = {72--81},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ACSD.2014.13},
doi = {10.1109/ACSD.2014.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/AhmadGHSP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DijkP14,
author = {Tom van Dijk and
Jaco C. van de Pol},
editor = {Lu{\'{\i}}s M. B. Lopes and
Julius Zilinskas and
Alexandru Costan and
Roberto G. Cascella and
Gabor Kecskemeti and
Emmanuel Jeannot and
Mario Cannataro and
Laura Ricci and
Siegfried Benkner and
Salvador Petit and
Vittorio Scarano and
Jos{\'{e}} Gracia and
Sascha Hunold and
Stephen L. Scott and
Stefan Lankes and
Christian Lengauer and
Jes{\'{u}}s Carretero and
Jens Breitbart and
Michael Alexander},
title = {Lace: Non-blocking Split Deque for Work-Stealing},
booktitle = {Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International
Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8806},
pages = {206--217},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14313-2\_18},
doi = {10.1007/978-3-319-14313-2\_18},
timestamp = {Sun, 12 Nov 2023 02:07:45 +0100},
biburl = {https://dblp.org/rec/conf/europar/DijkP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/MeijerKBP14,
author = {Jeroen Meijer and
Gijs Kant and
Stefan Blom and
Jaco van de Pol},
editor = {Eran Yahav},
title = {Read, Write and Copy Dependencies for Symbolic Model Checking},
booktitle = {Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8855},
pages = {204--219},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13338-6\_16},
doi = {10.1007/978-3-319-13338-6\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/MeijerKBP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KantP14,
author = {Gijs Kant and
Jaco van de Pol},
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Generating and Solving Symbolic Parity Games},
booktitle = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
pages = {2--14},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159.2},
doi = {10.4204/EPTCS.159.2},
timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
biburl = {https://dblp.org/rec/journals/corr/KantP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SchivoSKPPL14,
author = {Stefano Schivo and
Jetse Scholma and
Marcel Karperien and
Janine N. Post and
Jaco van de Pol and
Rom Langerak},
editor = {{\'{E}}tienne Andr{\'{e}} and
Goran Frehse},
title = {Setting Parameters for Biological Models With {ANIMO}},
booktitle = {Proceedings 1st International Workshop on Synthesis of Continuous
Parameters, SynCoP 2014, Grenoble, France, 6th April 2014},
series = {{EPTCS}},
volume = {145},
pages = {35--47},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.145.5},
doi = {10.4204/EPTCS.145.5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchivoSKPPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LaarmanODLP13,
author = {Alfons Laarman and
Mads Chr. Olesen and
Andreas Engelbredt Dalsgaard and
Kim Guldstrand Larsen and
Jaco van de Pol},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Multi-core Emptiness Checking of Timed B{\"{u}}chi Automata Using
Inclusion Abstraction},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {968--983},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_69},
doi = {10.1007/978-3-642-39799-8\_69},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/LaarmanODLP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/TimmerPS13,
author = {Mark Timmer and
Jaco van de Pol and
Mari{\"{e}}lle Stoelinga},
editor = {V{\'{\i}}ctor A. Braberman and
Laurent Fribourg},
title = {Confluence Reduction for Markov Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 11th International
Conference, {FORMATS} 2013, Buenos Aires, Argentina, August 29-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8053},
pages = {243--257},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40229-6\_17},
doi = {10.1007/978-3-642-40229-6\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/TimmerPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LaarmanPP013,
author = {Alfons Laarman and
Elwin Pater and
Jaco van de Pol and
Michael Weber},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Guard-Based Partial-Order Reduction},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {227--245},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_15},
doi = {10.1007/978-3-642-39176-7\_15},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/LaarmanPP013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/DijkLP12,
author = {Tom van Dijk and
Alfons Laarman and
Jaco van de Pol},
title = {Multi-core and/or Symbolic Model Checking},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {53},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.53.773},
doi = {10.14279/TUJ.ECEASST.53.773},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/DijkLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KatoenPST12,
author = {Joost{-}Pieter Katoen and
Jaco van de Pol and
Mari{\"{e}}lle Stoelinga and
Mark Timmer},
title = {A linear process-algebraic format with data for probabilistic automata},
journal = {Theor. Comput. Sci.},
volume = {413},
number = {1},
pages = {36--57},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.07.021},
doi = {10.1016/J.TCS.2011.07.021},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KatoenPST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/EvangelistaLPP12,
author = {Sami Evangelista and
Alfons Laarman and
Laure Petrucci and
Jaco van de Pol},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {Improved Multi-Core Nested Depth-First Search},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {269--283},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_22},
doi = {10.1007/978-3-642-33386-6\_22},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/EvangelistaLPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibe/SchivoSWCVKLPP12,
author = {Stefano Schivo and
Jetse Scholma and
Brend Wanders and
Ricardo A. Urquidi Camacho and
Paul E. van der Vet and
Marcel Karperien and
Rom Langerak and
Jaco van de Pol and
Janine N. Post},
title = {Modelling biological pathway dynamics with Timed Automata},
booktitle = {12th {IEEE} International Conference on Bioinformatics {\&} Bioengineering,
{BIBE} 2012, Larnaca, Cyprus, November 11-13, 2012},
pages = {447--453},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/BIBE.2012.6399719},
doi = {10.1109/BIBE.2012.6399719},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibe/SchivoSWCVKLPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/TimmerKPS12,
author = {Mark Timmer and
Joost{-}Pieter Katoen and
Jaco van de Pol and
Mari{\"{e}}lle Stoelinga},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Efficient Modelling and Generation of Markov Automata},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {364--379},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_26},
doi = {10.1007/978-3-642-32940-1\_26},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/TimmerKPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DalsgaardLLOP12,
author = {Andreas Engelbredt Dalsgaard and
Alfons Laarman and
Kim G. Larsen and
Mads Chr. Olesen and
Jaco van de Pol},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Multi-core Reachability for Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {91--106},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_8},
doi = {10.1007/978-3-642-33365-1\_8},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/DalsgaardLLOP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6414,
author = {Gijs Kant and
Jaco van de Pol},
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {Efficient Instantiation of Parameterised Boolean Equation Systems
to Parity Games},
booktitle = {Proceedings First Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2012, Tallinn, Estonia, 1st April 2012},
series = {{EPTCS}},
volume = {99},
pages = {50--65},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.99.7},
doi = {10.4204/EPTCS.99.7},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6414.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DijkLP13,
author = {Tom van Dijk and
Alfons Laarman and
Jaco van de Pol},
editor = {Jeremy T. Bradley and
Keijo Heljanko and
William J. Knottenbelt and
Nigel Thomas},
title = {Multi-Core {BDD} Operations for Symbolic Reachability},
booktitle = {Proceedings the Sixth International Workshop on the Practical Application
of Stochastic Modelling, {PASM} 2012, and the Eleventh International
Workshop on Parallel and Distributed Methods in Verification, {PDMC}
2012, London, UK, September 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {296},
pages = {127--143},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2013.07.009},
doi = {10.1016/J.ENTCS.2013.07.009},
timestamp = {Tue, 22 Nov 2022 14:07:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DijkLP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BarnatCP11,
author = {Jiri Barnat and
Jakub Chaloupka and
Jaco van de Pol},
title = {Distributed Algorithms for {SCC} Decomposition},
journal = {J. Log. Comput.},
volume = {21},
number = {1},
pages = {23--44},
year = {2011},
url = {https://doi.org/10.1093/logcom/exp003},
doi = {10.1093/LOGCOM/EXP003},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BarnatCP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BlomLP011,
author = {Stefan Blom and
Bert Lisser and
Jaco van de Pol and
Michael Weber},
title = {A Database Approach to Distributed State-Space Generation},
journal = {J. Log. Comput.},
volume = {21},
number = {1},
pages = {45--62},
year = {2011},
url = {https://doi.org/10.1093/logcom/exp004},
doi = {10.1093/LOGCOM/EXP004},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BlomLP011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoCILP11,
author = {Luca Aceto and
Taolue Chen and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Bas Luttik and
Jaco van de Pol},
title = {On the axiomatizability of priority {II}},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {28},
pages = {3035--3044},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.02.033},
doi = {10.1016/J.TCS.2011.02.033},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoCILP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraP11,
author = {Jan A. Bergstra and
Jaco van de Pol},
title = {A calculus for four-valued sequential logic},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {28},
pages = {3122--3128},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.02.035},
doi = {10.1016/J.TCS.2011.02.035},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BergstraP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LaarmanLPWW11,
author = {Alfons Laarman and
Rom Langerak and
Jaco van de Pol and
Michael Weber and
Anton Wijs},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Multi-core Nested Depth-First Search},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {321--335},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_23},
doi = {10.1007/978-3-642-24372-1\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LaarmanLPWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LaarmanPW11,
author = {Alfons Laarman and
Jaco van de Pol and
Michael Weber},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Multi-Core LTSmin: Marrying Modularity and Scalability},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {506--511},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_40},
doi = {10.1007/978-3-642-20398-5\_40},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LaarmanPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LaarmanP011,
author = {Alfons Laarman and
Jaco van de Pol and
Michael Weber},
editor = {Alex Groce and
Madanlal Musuvathi},
title = {Parallel Recursive State Compression for Free},
booktitle = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
UT, USA, July 14-15, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6823},
pages = {38--56},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22306-8\_4},
doi = {10.1007/978-3-642-22306-8\_4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/LaarmanP011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TimmerSP11,
author = {Mark Timmer and
Mari{\"{e}}lle Stoelinga and
Jaco van de Pol},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Confluence Reduction for Probabilistic Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {311--325},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_29},
doi = {10.1007/978-3-642-19835-9\_29},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/TimmerSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-0369,
author = {Alfons Laarman and
Jaco van de Pol},
editor = {Jiri Barnat and
Keijo Heljanko},
title = {Variations on Multi-Core Nested Depth-First Search},
booktitle = {Proceedings 10th International Workshop on Parallel and Distributed
Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
2011},
series = {{EPTCS}},
volume = {72},
pages = {13--28},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.72.2},
doi = {10.4204/EPTCS.72.2},
timestamp = {Fri, 09 Apr 2021 18:27:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0369.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-3119,
author = {Alfons Laarman and
Jaco van de Pol and
Michael Weber},
title = {Parallel Recursive State Compression for Free},
journal = {CoRR},
volume = {abs/1104.3119},
year = {2011},
url = {http://arxiv.org/abs/1104.3119},
eprinttype = {arXiv},
eprint = {1104.3119},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-3119.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/HansenKLMP10,
author = {Helle Hvid Hansen and
Jeroen Ketema and
Bas Luttik and
Mohammad Reza Mousavi and
Jaco van de Pol},
title = {Towards model checking executable {UML} specifications in mCRL2},
journal = {Innov. Syst. Softw. Eng.},
volume = {6},
number = {1-2},
pages = {83--90},
year = {2010},
url = {https://doi.org/10.1007/s11334-009-0116-1},
doi = {10.1007/S11334-009-0116-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/HansenKLMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/XingTLPTV10,
author = {Jiansheng Xing and
Bart D. Theelen and
Rom Langerak and
Jaco van de Pol and
Jan Tretmans and
Jeroen Voeten},
editor = {Lu{\'{\i}}s Gomes and
Victor Khomenko and
Jo{\~{a}}o M. Fernandes},
title = {From {POOSL} to {UPPAAL:} Transformation and Quantitative Analysis},
booktitle = {10th International Conference on Application of Concurrency to System
Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
pages = {47--56},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ACSD.2010.21},
doi = {10.1109/ACSD.2010.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/XingTLPTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KatoenPST10,
author = {Joost{-}Pieter Katoen and
Jaco van de Pol and
Mari{\"{e}}lle Stoelinga and
Mark Timmer},
editor = {Lu{\'{\i}}s Gomes and
Victor Khomenko and
Jo{\~{a}}o M. Fernandes},
title = {A Linear Process-Algebraic Format for Probabilistic Systems with Data},
booktitle = {10th International Conference on Application of Concurrency to System
Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
pages = {213--222},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ACSD.2010.18},
doi = {10.1109/ACSD.2010.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KatoenPST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BlomPW10,
author = {Stefan Blom and
Jaco van de Pol and
Michael Weber},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {LTSmin: Distributed and Symbolic Reachability},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {354--359},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_31},
doi = {10.1007/978-3-642-14295-6\_31},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BlomPW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LaarmanPW10,
author = {Alfons Laarman and
Jaco van de Pol and
Michael Weber},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Boosting multi-core reachability performance with shared hash tables},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {247--255},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770956/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/LaarmanPW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HansenKLMPS10,
author = {Helle Hvid Hansen and
Jeroen Ketema and
Bas Luttik and
Mohammad Reza Mousavi and
Jaco van de Pol and
Osmar Marchi dos Santos},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Automated Verification of Executable {UML} Models},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {225--250},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_12},
doi = {10.1007/978-3-642-25271-6\_12},
timestamp = {Thu, 14 Oct 2021 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/HansenKLMPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/XingTLPTV10,
author = {Jiansheng Xing and
Bart D. Theelen and
Rom Langerak and
Jaco van de Pol and
Jan Tretmans and
Jeroen Voeten},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{UPPAAL} in Practice: Quantitative Verification of a RapidIO Network},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {160--174},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_20},
doi = {10.1007/978-3-642-16561-0\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/XingTLPTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2010,
editor = {Jaco van de Pol and
Michael Weber},
title = {Model Checking Software - 17th International {SPIN} Workshop, Enschede,
The Netherlands, September 27-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6349},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16164-3},
doi = {10.1007/978-3-642-16164-3},
isbn = {978-3-642-16163-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-2772,
author = {Alfons Laarman and
Jaco van de Pol and
Michael Weber},
title = {Boosting Multi-Core Reachability Performance with Shared Hash Tables},
journal = {CoRR},
volume = {abs/1004.2772},
year = {2010},
url = {http://arxiv.org/abs/1004.2772},
eprinttype = {arXiv},
eprint = {1004.2772},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-2772.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-2314,
author = {Mark Timmer and
Mari{\"{e}}lle Stoelinga and
Jaco van de Pol},
title = {Confluence Reduction for Probabilistic Systems (extended version)},
journal = {CoRR},
volume = {abs/1011.2314},
year = {2010},
url = {http://arxiv.org/abs/1011.2314},
eprinttype = {arXiv},
eprint = {1011.2314},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-2314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/WijsPB09,
author = {Anton Wijs and
Jaco van de Pol and
Elena M. Bortnik},
title = {Solving scheduling problems by untimed model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {5},
pages = {375--392},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0110-9},
doi = {10.1007/S10009-009-0110-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/WijsPB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/PolT09,
author = {Jaco van de Pol and
Mark Timmer},
editor = {Zhiming Liu and
Anders P. Ravn},
title = {State Space Reduction of Linear Processes Using Control Flow Reconstruction},
booktitle = {Automated Technology for Verification and Analysis, 7th International
Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5799},
pages = {54--68},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04761-9\_5},
doi = {10.1007/978-3-642-04761-9\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/PolT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KuijperP09,
author = {Wouter Kuijper and
Jaco van de Pol},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Compositional Control Synthesis for Partially Observable Systems},
booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
{CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5710},
pages = {431--447},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04081-8\_29},
doi = {10.1007/978-3-642-04081-8\_29},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KuijperP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KuijperP09,
author = {Wouter Kuijper and
Jaco van de Pol},
editor = {Stefan Kowalewski and
Anna Philippou},
title = {Computing Weakest Strategies for Safety Games of Imperfect Information},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
15th International Conference, {TACAS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5505},
pages = {92--106},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00768-2\_10},
doi = {10.1007/978-3-642-00768-2\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KuijperP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0912-2550,
author = {Stefan Blom and
Jaco van de Pol},
editor = {Lubos Brim and
Jaco van de Pol},
title = {Distributed Branching Bisimulation Minimization by Inductive Signatures},
booktitle = {Proceedings 8th International Workshop on Parallel and Distributed
Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
4th November 2009},
series = {{EPTCS}},
volume = {14},
pages = {32--46},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.14.3},
doi = {10.4204/EPTCS.14.3},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-2550.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0912-3036,
editor = {Lubos Brim and
Jaco van de Pol},
title = {Proceedings 8th International Workshop on Parallel and Distributed
Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
4th November 2009},
series = {{EPTCS}},
volume = {14},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.14},
doi = {10.4204/EPTCS.14},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-3036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/CrouzenPR08,
author = {Pepijn Crouzen and
Jaco van de Pol and
Arend Rensink},
title = {Applying formal methods to gossiping networks with mCRL and groove},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {36},
number = {3},
pages = {7--16},
year = {2008},
url = {https://doi.org/10.1145/1481506.1481510},
doi = {10.1145/1481506.1481510},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/CrouzenPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BlomDIKPRS08,
author = {Stefan Blom and
Thomas Dei{\ss} and
Natalia Ioustinova and
Ari Kontio and
Jaco van de Pol and
Axel Rennoch and
Natalia Sidorova},
title = {Simulated time for host-based testing with {TTCN-3}},
journal = {Softw. Test. Verification Reliab.},
volume = {18},
number = {1},
pages = {29--49},
year = {2008},
url = {https://doi.org/10.1002/stvr.372},
doi = {10.1002/STVR.372},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/BlomDIKPRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BlomP08,
author = {Stefan Blom and
Jaco van de Pol},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Symbolic Reachability for Process Algebras with Recursive Data Types},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {81--95},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_6},
doi = {10.1007/978-3-540-85762-4\_6},
timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
biburl = {https://dblp.org/rec/conf/ictac/BlomP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BakhshiFPP08,
author = {Rena Bakhshi and
Wan J. Fokkink and
Jun Pang and
Jaco van de Pol},
editor = {Giorgio Ausiello and
Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and
C.{-}H. Luke Ong},
title = {Leader Election in Anonymous Rings: Franklin Goes Probabilistic},
booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {273},
pages = {57--72},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09680-3\_4},
doi = {10.1007/978-0-387-09680-3\_4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/BakhshiFPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CalameP08,
author = {Jens R. Calam{\'{e}} and
Jaco van de Pol},
editor = {Kenji Suzuki and
Teruo Higashino and
Andreas Ulrich and
Toru Hasegawa},
title = {Applying Model-Based Testing to {HTML} Rendering Engines - {A} Case
Study},
booktitle = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
6.1 International Conference, TestCom 2008, 8th International Workshop,
{FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5047},
pages = {250--265},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68524-1\_18},
doi = {10.1007/978-3-540-68524-1\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/CalameP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ChenPW08,
author = {Taolue Chen and
Jaco van de Pol and
Yanjing Wang},
title = {{PDL} over Accelerated Labeled Transition Systems},
booktitle = {Second {IEEE/IFIP} International Symposium on Theoretical Aspects
of Software Engineering, {TASE} 2008, June 17-19, 2008, Nanjing, China},
pages = {193--200},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TASE.2008.42},
doi = {10.1109/TASE.2008.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ChenPW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/BadbanFP08,
author = {Bahareh Badban and
Wan J. Fokkink and
Jaco van de Pol},
editor = {Peter H. Welch and
Susan Stepney and
Fiona Polack and
Fred R. M. Barnes and
Alistair A. McEwan and
Gardiner S. Stiles and
Jan F. Broenink and
Adam T. Sampson},
title = {Mechanical Verification of a Two-Way Sliding Window Protocol},
booktitle = {The thirty-first Communicating Process Architectures Conference, {CPA}
2008, organised under the auspices of WoTUG and the Department of
Computer Science of the University of York, York, Yorkshire, UK, 7-10
September 2008},
series = {Concurrent Systems Engineering Series},
volume = {66},
pages = {179--202},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-907-3-179},
doi = {10.3233/978-1-58603-907-3-179},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wotug/BadbanFP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PolW08,
author = {Jaco van de Pol and
Michael Weber},
editor = {Ivana Cern{\'{a}} and
Gerald L{\"{u}}ttgen},
title = {A Multi-Core Solver for Parity Games},
booktitle = {Proceedings of the 7th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March
29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {2},
pages = {19--34},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.011},
doi = {10.1016/J.ENTCS.2008.11.011},
timestamp = {Fri, 17 Feb 2023 11:16:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PolW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlomHKP08,
author = {Stefan Blom and
Boudewijn R. Haverkort and
Matthias Kuntz and
Jaco van de Pol},
editor = {Ivana Cern{\'{a}} and
Gerald L{\"{u}}ttgen},
title = {Distributed Markovian Bisimulation Reduction aimed at {CSL} Model
Checking},
booktitle = {Proceedings of the 7th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March
29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {2},
pages = {35--50},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.012},
doi = {10.1016/J.ENTCS.2008.11.012},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlomHKP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Pol08,
author = {Jaco van de Pol},
editor = {Henri E. Bal and
Lubos Brim and
Martin Leucker},
title = {A Typical Verification Challenge for the {GRID}},
booktitle = {Distributed Verification and Grid Computing, 10.08. - 14.08.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08332},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1629/},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Pol08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/EspadaP07,
author = {Miguel Valero Espada and
Jaco van de Pol},
title = {An abstract interpretation toolkit for {\(\mathrm{\mu}\)}CRL},
journal = {Formal Methods Syst. Des.},
volume = {30},
number = {3},
pages = {249--273},
year = {2007},
url = {https://doi.org/10.1007/s10703-006-0029-7},
doi = {10.1007/S10703-006-0029-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/EspadaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BadbanPTZ07,
author = {Bahareh Badban and
Jaco van de Pol and
Olga Tveretina and
Hans Zantema},
title = {Generalizing {DPLL} and satisfiability for equalities},
journal = {Inf. Comput.},
volume = {205},
number = {8},
pages = {1188--1211},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2007.03.003},
doi = {10.1016/J.IC.2007.03.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BadbanPTZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ChenPPW07,
author = {Taolue Chen and
Bas Ploeger and
Jaco van de Pol and
Tim A. C. Willemse},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Equivalence Checking for Infinite Systems Using Parameterized Boolean
Equation Systems},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {120--135},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_9},
doi = {10.1007/978-3-540-74407-8\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/ChenPPW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/CalameIPS07,
author = {Jens R. Calam{\'{e}} and
Natalia Ioustinova and
Jaco van de Pol and
Natalia Sidorova},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Bug Hunting with False Negatives},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {98--117},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_6},
doi = {10.1007/978-3-540-73210-5\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/CalameIPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BlomCLOPPDW07,
author = {Stefan Blom and
Jens R. Calam{\'{e}} and
Bert Lisser and
Simona Orzan and
Jun Pang and
Jaco van de Pol and
Muhammad Torabi Dashti and
Anton Wijs},
editor = {Orna Grumberg and
Michael Huth},
title = {Distributed Analysis with \emph{mu} {CRL:} {A} Compendium of Case
Studies},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {683--689},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_53},
doi = {10.1007/978-3-540-71209-1\_53},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BlomCLOPPDW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlomLPW08,
author = {Stefan Blom and
Bert Lisser and
Jaco van de Pol and
Michael Weber},
editor = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
title = {A Database Approach to Distributed State Space Generation},
booktitle = {Proceedings of the 6th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {1},
pages = {17--32},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.018},
doi = {10.1016/J.ENTCS.2007.10.018},
timestamp = {Mon, 13 Feb 2023 09:23:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlomLPW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarnatCP08,
author = {Jiri Barnat and
Jakub Chaloupka and
Jaco van de Pol},
editor = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
title = {Improved Distributed Algorithms for {SCC} Decomposition},
booktitle = {Proceedings of the 6th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {1},
pages = {63--77},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.001},
doi = {10.1016/J.ENTCS.2008.02.001},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarnatCP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2006,
editor = {Lubos Brim and
Boudewijn R. Haverkort and
Martin Leucker and
Jaco van de Pol},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {4346},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-70952-7},
doi = {10.1007/978-3-540-70952-7},
isbn = {978-3-540-70951-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2005ds,
editor = {Judi Romijn and
Graeme Smith and
Jaco van de Pol},
title = {Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated
Formal Methods Conference, {IFM} Doctoral Symposium 2005, Eindhoven,
The Netherlands, November 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {191},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/191/suppl/C},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/2005ds.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FokkinkPP06,
author = {Wan J. Fokkink and
Jun Pang and
Jaco van de Pol},
title = {Cones and foci: {A} mechanical framework for protocol verification},
journal = {Formal Methods Syst. Des.},
volume = {29},
number = {1},
pages = {1--31},
year = {2006},
url = {https://doi.org/10.1007/s10703-006-0004-3},
doi = {10.1007/S10703-006-0004-3},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/FokkinkPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/OrzanP06,
author = {Simona Orzan and
Jaco van de Pol},
title = {Distribution of a Simple Shared Dataspace Architecture},
journal = {Fundam. Informaticae},
volume = {73},
number = {4},
pages = {535--559},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-4-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/OrzanP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/EspadaP06,
author = {Miguel Valero Espada and
Jaco van de Pol},
editor = {Michael Johnson and
Varmo Vene},
title = {Accelerated Modal Abstractions of Labelled Transition Systems},
booktitle = {Algebraic Methodology and Software Technology, 11th International
Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4019},
pages = {338--352},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11784180\_26},
doi = {10.1007/11784180\_26},
timestamp = {Sun, 25 Oct 2020 23:16:26 +0100},
biburl = {https://dblp.org/rec/conf/amast/EspadaP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccece/CalameGIP06,
author = {Jens R. Calam{\'{e}} and
Nicolae Goga and
Natalia Ioustinova and
Jaco van de Pol},
title = {{TTCN-3} Testing of Hoorn-Kersenboogerd Railway Interlocking},
booktitle = {Proceedings of the Canadian Conference on Electrical and Computer
Engineering, {CCECE} 2006, May 7-10, 2006, Ottawa Congress Centre,
Ottawa, Canada},
pages = {620--623},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/CCECE.2006.277762},
doi = {10.1109/CCECE.2006.277762},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/ccece/CalameGIP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BlomDIKPRS06,
author = {Stefan Blom and
Thomas Dei{\ss} and
Natalia Ioustinova and
Ari Kontio and
Jaco van de Pol and
Axel Rennoch and
Natalia Sidorova},
editor = {Irina B. Virbitskaite and
Andrei Voronkov},
title = {{TTCN-3} for Distributed Testing Embedded Software},
booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov
Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30,
2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4378},
pages = {98--111},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70881-0\_11},
doi = {10.1007/978-3-540-70881-0\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/BlomDIKPRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/CalameIP06,
author = {Jens R. Calam{\'{e}} and
Natalia Ioustinova and
Jaco van de Pol},
editor = {Christian Hochberger and
R{\"{u}}diger Liskowsky},
title = {Automatisierte Erzeugung von {TTCN-3} Testfi{\"{a}}llen aus UML-Modellen},
booktitle = {36. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
f{\"{u}}r Menschen, {INFORMATIK} 2006, Dresden, Germany, October
2-6, 2006, Band 2},
series = {{LNI}},
volume = {{P-94}},
pages = {257--261},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/23520},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/CalameIP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdmc/2005,
editor = {Martin Leucker and
Jaco van de Pol},
title = {Proceedings of the 4th International Workshop on Parallel and Distributed
Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {2},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/135/issue/2},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdmc/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BadbanP05,
author = {Bahareh Badban and
Jaco van de Pol},
title = {Zero, successor and equality in BDDs},
journal = {Ann. Pure Appl. Log.},
volume = {133},
number = {1-3},
pages = {101--123},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2004.10.005},
doi = {10.1016/J.APAL.2004.10.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BadbanP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BadbanFGPP05,
author = {Bahareh Badban and
Wan J. Fokkink and
Jan Friso Groote and
Jun Pang and
Jaco van de Pol},
title = {Verification of a sliding window protocol in {\(\mathrm{\mu}\)}CRL
and {PVS}},
journal = {Formal Aspects Comput.},
volume = {17},
number = {3},
pages = {342--388},
year = {2005},
url = {https://doi.org/10.1007/s00165-005-0070-0},
doi = {10.1007/S00165-005-0070-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BadbanFGPP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ArtsP05,
author = {Thomas Arts and
Jaco van de Pol},
title = {Introductory paper},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {3},
pages = {195--196},
year = {2005},
url = {https://doi.org/10.1007/s10009-005-0196-7},
doi = {10.1007/S10009-005-0196-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ArtsP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HoomanP05,
author = {Jozef Hooman and
Jaco van de Pol},
title = {Semantic models of a timed distributed dataspace architecture},
journal = {Theor. Comput. Sci.},
volume = {331},
number = {2-3},
pages = {291--323},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.09.020},
doi = {10.1016/J.TCS.2004.09.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HoomanP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/CalameIPS05,
author = {Jens R. Calam{\'{e}} and
Natalia Ioustinova and
Jaco van de Pol and
Natalia Sidorova},
title = {Data Abstraction and Constraint Solving for Conformance Testing},
booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
15-17 December 2005, Taipei, Taiwan},
pages = {541--548},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/APSEC.2005.57},
doi = {10.1109/APSEC.2005.57},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/CalameIPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/BlomIPRS05,
author = {Stefan Blom and
Natalia Ioustinova and
Jaco van de Pol and
Axel Rennoch and
Natalia Sidorova},
editor = {Wolfgang Grieskamp and
Carsten Weise},
title = {Simulated Time for Testing Railway Interlockings with {TTCN-3}},
booktitle = {Formal Approaches to Software Testing, 5th International Workshop,
{FATES} 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3997},
pages = {1--15},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11759744\_1},
doi = {10.1007/11759744\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fates/BlomIPRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/WijsPB05,
author = {Anton Wijs and
Jaco van de Pol and
Elena M. Bortnik},
editor = {Tiziana Margaria and
Mieke Massink},
title = {Solving scheduling problems by untimed model checking: the clinical
chemical analyser case study},
booktitle = {Proceedings of the 10th international workshop on Formal methods for
industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {54--61},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081180.1081188},
doi = {10.1145/1081180.1081188},
timestamp = {Tue, 25 Jan 2022 17:00:39 +0100},
biburl = {https://dblp.org/rec/conf/fmics/WijsPB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/PolT05,
author = {Jaco van de Pol and
Olga Tveretina},
editor = {Joanna Jedrzejowicz and
Andrzej Szepietowski},
title = {A BDD-Representation for the Logic of Equality and Uninterpreted Functions},
booktitle = {Mathematical Foundations of Computer Science 2005, 30th International
Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3618},
pages = {769--780},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11549345\_66},
doi = {10.1007/11549345\_66},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/PolT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/PolZ05,
author = {Jaco van de Pol and
Hans Zantema},
editor = {J{\"{u}}rgen Giesl},
title = {Generalized Innermost Rewriting},
booktitle = {Term Rewriting and Applications, 16th International Conference, {RTA}
2005, Nara, Japan, April 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3467},
pages = {2--16},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32033-3\_2},
doi = {10.1007/978-3-540-32033-3\_2},
timestamp = {Wed, 25 Sep 2019 18:23:35 +0200},
biburl = {https://dblp.org/rec/conf/rta/PolZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LeuckerP06,
author = {Martin Leucker and
Jaco van de Pol},
editor = {Martin Leucker and
Jaco van de Pol},
title = {Preface},
booktitle = {Proceedings of the 4th International Workshop on Parallel and Distributed
Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.014},
doi = {10.1016/J.ENTCS.2005.10.014},
timestamp = {Thu, 15 Dec 2022 14:06:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LeuckerP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RomijnSP07,
author = {Judi Romijn and
Graeme Smith and
Jaco van de Pol},
editor = {Judi Romijn and
Graeme Smith and
Jaco van de Pol},
title = {Preface},
booktitle = {Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated
Formal Methods Conference, {IFM} Doctoral Symposium 2005, Eindhoven,
The Netherlands, November 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {191},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.09.001},
doi = {10.1016/J.ENTCS.2007.09.001},
timestamp = {Thu, 09 Feb 2023 10:31:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RomijnSP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CalameIP07,
author = {Jens R. Calam{\'{e}} and
Natalia Ioustinova and
Jaco van de Pol},
editor = {Judi Romijn and
Graeme Smith and
Jaco van de Pol},
title = {Automatic Model-Based Generation of Parameterized Test Cases Using
Data Abstraction},
booktitle = {Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated
Formal Methods Conference, {IFM} Doctoral Symposium 2005, Eindhoven,
The Netherlands, November 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {191},
pages = {25--48},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.06.019},
doi = {10.1016/J.ENTCS.2007.06.019},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CalameIP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2005,
editor = {Judi Romijn and
Graeme Smith and
Jaco van de Pol},
title = {Integrated Formal Methods, 5th International Conference, {IFM} 2005,
Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3771},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11589976},
doi = {10.1007/11589976},
isbn = {3-540-30492-4},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Pol04,
author = {Jaco van de Pol},
title = {Introductory paper},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {2-3},
pages = {105--106},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0138-1},
doi = {10.1007/S10009-003-0138-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Pol04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/FokkinkGPBP04,
author = {Wan J. Fokkink and
Jan Friso Groote and
Jun Pang and
Bahareh Badban and
Jaco van de Pol},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Verifying a Sliding Window Protocol in {\(\mathrm{\mu}\)}CRL},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {148--163},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_15},
doi = {10.1007/978-3-540-27815-3\_15},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/FokkinkGPBP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/PolE04,
author = {Jaco van de Pol and
Miguel Valero Espada},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Modal Abstractions in {\(\mathrm{\mu}\)}CRL},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {409--425},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_32},
doi = {10.1007/978-3-540-27815-3\_32},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/PolE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PangPE04,
author = {Jun Pang and
Jaco van de Pol and
Miguel Valero Espada},
title = {Abstraction of Parallel Uniform Processes with Data},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {14--23},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.4},
doi = {10.1109/SEFM.2004.4},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/PangPE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OrzanPE05,
author = {Simona Orzan and
Jaco van de Pol and
Miguel Valero Espada},
editor = {Lubos Brim and
Martin Leucker},
title = {A State Space Distribution Policy Based on Abstract Interpretation},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {35--45},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.017},
doi = {10.1016/J.ENTCS.2004.10.017},
timestamp = {Mon, 12 Dec 2022 15:21:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OrzanPE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PolE05,
author = {Jaco van de Pol and
Miguel Valero Espada},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {An Abstract Interpretation Toolkit for \emph{mu}CRL},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {295--313},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.070},
doi = {10.1016/J.ENTCS.2004.08.070},
timestamp = {Tue, 06 Dec 2022 10:19:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PolE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/PolE03,
author = {Jaco van de Pol and
Miguel Valero Espada},
title = {Verification of JavaSpaces\({}^{\mbox{TM}}\) Parallel Programs},
booktitle = {3rd International Conference on Application of Concurrency to System
Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
pages = {196--205},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSD.2003.1207714},
doi = {10.1109/CSD.2003.1207714},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/PolE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/OrzanP03,
author = {Simona Orzan and
Jaco van de Pol},
editor = {Manfred Broy and
Alexandre V. Zamulin},
title = {Verification of Distributed Dataspace Architectures},
booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov
Memorial Conference, {PSI} 2003, Akademgorodok, Novosibirsk, Russia,
July 9-12, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2890},
pages = {192--206},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39866-0\_21},
doi = {10.1007/978-3-540-39866-0\_21},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/OrzanP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlomGLP03,
author = {Stefan Blom and
Jan Friso Groote and
Izak van Langevelde and
Bert Lisser and
Jaco van de Pol},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {New developments around the mCRL tool set},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {284--288},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80827-2},
doi = {10.1016/S1571-0661(04)80827-2},
timestamp = {Tue, 06 Dec 2022 10:12:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlomGLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BlomP02,
author = {Stefan Blom and
Jaco van de Pol},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {State Space Reduction by Proving Confluence},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {596--609},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_50},
doi = {10.1007/3-540-45657-0\_50},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BlomP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FokkinkIKPUY02,
author = {Wan J. Fokkink and
Natalia Ioustinova and
Ernst Kesseler and
Jaco van de Pol and
Yaroslav S. Usenko and
Yuri A. Yushtein},
editor = {Lubos Brim and
Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Refinement and Verification Applied to an In-Flight Data Acquisition
Unit},
booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
Brno, Czech Republic, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2421},
pages = {1--23},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45694-5\_1},
doi = {10.1007/3-540-45694-5\_1},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FokkinkIKPUY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PolE02,
author = {Jaco van de Pol and
Miguel Valero Espada},
editor = {Farhad Arbab and
Carolyn L. Talcott},
title = {Formal Specification of JavaSpaces Architecture Using {\(\mathrm{\mu}\)}CRL},
booktitle = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
2002, YORK, UK, April 8-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2315},
pages = {274--290},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46000-4\_26},
doi = {10.1007/3-540-46000-4\_26},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/PolE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HoomanP02,
author = {Jozef Hooman and
Jaco van de Pol},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Equivalent Semantic Models for a Distributed Dataspace Architecture},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {182--201},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_7},
doi = {10.1007/978-3-540-39656-7\_7},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/HoomanP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Pol02,
author = {Jaco van de Pol},
editor = {Sophie Tison},
title = {JITty: {A} Rewriter with Strategy Annotations},
booktitle = {Rewriting Techniques and Applications, 13th International Conference,
{RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2378},
pages = {367--370},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45610-4\_26},
doi = {10.1007/3-540-45610-4\_26},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Pol02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HoomanP02,
author = {Jozef Hooman and
Jaco van de Pol},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {Formal verification of replication on a distributed data space architecture},
booktitle = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
March 10-14, 2002, Madrid, Spain},
pages = {351--358},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/508791.508859},
doi = {10.1145/508791.508859},
timestamp = {Tue, 06 Nov 2018 11:06:47 +0100},
biburl = {https://dblp.org/rec/conf/sac/HoomanP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OrzanP03,
author = {Simona Orzan and
Jaco van de Pol},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {Distribution of a Simple Shared Dataspace Architecture},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {371--388},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80378-0},
doi = {10.1016/S1571-0661(05)80378-0},
timestamp = {Tue, 06 Dec 2022 11:05:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OrzanP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ZantemaP01,
author = {Hans Zantema and
Jaco van de Pol},
title = {A rewriting approach to binary decision diagrams},
journal = {J. Log. Algebraic Methods Program.},
volume = {49},
number = {1-2},
pages = {61--86},
year = {2001},
url = {https://doi.org/10.1016/S1567-8326(01)00013-3},
doi = {10.1016/S1567-8326(01)00013-3},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ZantemaP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BlomFGLLP01,
author = {Stefan Blom and
Wan J. Fokkink and
Jan Friso Groote and
Izak van Langevelde and
Bert Lisser and
Jaco van de Pol},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {{\(\mathrm{\mu}\)}CRL: {A} Toolset for Analysing Algebraic Specifications},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {250--254},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_23},
doi = {10.1007/3-540-44585-4\_23},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BlomFGLLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Pol01,
author = {Jaco van de Pol},
editor = {Bernhard Gramlich and
Salvador Lucas},
title = {Just-in-time: On Strategy Annotations},
booktitle = {1st International Workshop on Reduction Strategies in Rewriting and
Programming, {WRS} 2001, Utrecht, The Netherlands, May 26, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {57},
pages = {41--63},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00267-1},
doi = {10.1016/S1571-0661(04)00267-1},
timestamp = {Tue, 07 Nov 2023 11:31:29 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Pol01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/JongPH00,
author = {Edwin D. de Jong and
Jaco van de Pol and
Jozef Hooman},
title = {Refinement in Requirements Specification and Analysis: {A} Case Study},
booktitle = {7th {IEEE} International Symposium on Engineering of Computer-Based
Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
pages = {290--298},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ECBS.2000.839888},
doi = {10.1109/ECBS.2000.839888},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/JongPH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GrooteP00,
author = {Jan Friso Groote and
Jaco van de Pol},
editor = {Michel Parigot and
Andrei Voronkov},
title = {Equational Binary Decision Diagrams},
booktitle = {Logic for Programming and Automated Reasoning, 7th International Conference,
{LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1955},
pages = {161--178},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44404-1\_11},
doi = {10.1007/3-540-44404-1\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/GrooteP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GrooteP00,
author = {Jan Friso Groote and
Jaco van de Pol},
editor = {Mogens Nielsen and
Branislav Rovan},
title = {State Space Reduction Using Partial tau-Confluence},
booktitle = {Mathematical Foundations of Computer Science 2000, 25th International
Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1893},
pages = {383--393},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44612-5\_34},
doi = {10.1007/3-540-44612-5\_34},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/GrooteP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/PolZ00,
author = {Jaco van de Pol and
Hans Zantema},
editor = {Mogens Nielsen and
Branislav Rovan},
title = {Binary Decision Diagrams by Shard Rewriting},
booktitle = {Mathematical Foundations of Computer Science 2000, 25th International
Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1893},
pages = {609--618},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44612-5\_56},
doi = {10.1007/3-540-44612-5\_56},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/PolZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PolHJ99,
author = {Jaco van de Pol and
Jozef Hooman and
Edwin D. de Jong},
editor = {Keijiro Araki and
Andy Galloway and
Kenji Taguchi},
title = {Modular Formal Specification of Data and Behaviour},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
pages = {109--128},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1\_7},
doi = {10.1007/978-1-4471-0851-1\_7},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/ifm/PolHJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Pol98,
author = {Jaco van de Pol},
title = {Operational Semantics of Rewriting with Priorities},
journal = {Theor. Comput. Sci.},
volume = {200},
number = {1-2},
pages = {289--312},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00283-1},
doi = {10.1016/S0304-3975(97)00283-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Pol98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GrooteMP98,
author = {Jan Friso Groote and
Fran{\c{c}}ois Monin and
Jaco van de Pol},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Checking Verifications of Protocols and Distributed Systems by Computer},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {629--655},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055652},
doi = {10.1007/BFB0055652},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/GrooteMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FokkinkP97,
author = {Wan J. Fokkink and
Jaco van de Pol},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Simulation as a Correct Transformation of Rewrite Systems},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {249--258},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029968},
doi = {10.1007/BFB0029968},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FokkinkP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/GrooteP96,
author = {Jan Friso Groote and
Jaco van de Pol},
editor = {Martin Wirsing and
Maurice Nivat},
title = {A Bounded Retransmission Protocol for Large Data Packets},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {536--550},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014338},
doi = {10.1007/BFB0014338},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/GrooteP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Pol95,
author = {Jaco van de Pol},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Two \emph{Different} Strong Normalization Proofs?},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {201--220},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_27},
doi = {10.1007/3-540-61254-8\_27},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Pol95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/PolS95,
author = {Jaco van de Pol and
Helmut Schwichtenberg},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Strict Functionals for Termination Proofs},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {350--364},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014064},
doi = {10.1007/BFB0014064},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/PolS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Pol93,
author = {Jaco van de Pol},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Termination Proofs for Higher-order Rewrite Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {305--325},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_14},
doi = {10.1007/3-540-58233-9\_14},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Pol93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-15 23:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
