Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJaco van de Pol
Jaco C. van de Pol
Person information
- affiliation: Aarhus University, Department of Computer Science, Aarhus, Denmark
- affiliation: University of Twente, Enschede, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c131]Steffan Christ Sølvsten
, Jaco van de Pol:
Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. ATVA 2023: 72-92- [c130]Magnus Madsen, Jaco van de Pol:
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. ECOOP 2023: 18:1-18:27 - [c129]Steffan Christ Sølvsten, Jaco van de Pol:
Adiar 1.1 - Zero-Suppressed Decision Diagrams in External Memory. NFM 2023: 464-471 - [c128]Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol:
Validation of QBF Encodings with Winning Strategies. SAT 2023: 24:1-24:10 - [c127]Casper Abild Larsen, Simon Meldahl Schmidt, Jesper Steensgaard, Anna Blume Jakobsen, Jaco van de Pol, Andreas Pavlogiannis:
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. TACAS (2) 2023: 353-371 - [i19]Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine:
Implicit State and Goals in QBF Encodings for Positional Games (extended version). CoRR abs/2301.07345 (2023) - [i18]Irfansha Shaik, Jaco van de Pol:
Concise QBF Encodings for Games on a Grid (extended version). CoRR abs/2303.16949 (2023) - [i17]Thomas Neele, Jaco van de Pol:
Operations on Fixpoint Equation Systems. CoRR abs/2304.07162 (2023) - [i16]Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol:
Search-Space Pruning with Int-Splits for Faster QBF Solving. CoRR abs/2304.08308 (2023) - [i15]Irfansha Shaik, Jaco van de Pol:
Optimal Layout Synthesis for Quantum Circuits as Classical Planning. CoRR abs/2304.12014 (2023) - [i14]Steffan Christ Sølvsten, Jaco van de Pol:
Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper). CoRR abs/2307.04488 (2023) - 2022
- [j37]Vincent Bloemen, Sebastiaan J. van Zelst, Wil M. P. van der Aalst, Boudewijn F. van Dongen, Jaco van de Pol:
Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones. Inf. Syst. 103: 101456 (2022) - [j36]Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Madsen, Jesus Alfonso, José Ángel Castellanos, José Manuel Rodriguez-Fortun:
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. Int. J. Softw. Tools Technol. Transf. 24(6): 999-1024 (2022) - [c126]Irfansha Shaik, Jaco van de Pol:
Classical Planning as QBF without Grounding. ICAPS 2022: 329-337 - [c125]Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS 2022: 200-218 - [c124]Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer:
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) 2022: 246-268 - [c123]Jaco van de Pol:
Exploring a Parallel SCC Algorithm. ISoLA (1) 2022: 535-555 - [c122]Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen:
Adiar Binary Decision Diagrams in External Memory. TACAS (2) 2022: 295-313 - [i13]Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Efficient Convex Zone Merging in Parametric Timed Automata. CoRR abs/2212.04802 (2022) - 2021
- [j35]Magnus Madsen, Jaco van de Pol:
Relational nullable types with Boolean unification. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021) - [c121]Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol:
Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. ANNSIM 2021: 1-12 - [c120]Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock:
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. FMICS 2021: 3-20 - [c119]Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol:
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. TACAS (1) 2021: 311-329 - [c118]Étienne André, Dylan Marinho, Jaco van de Pol:
A Benchmarks Library for Extended Parametric Timed Automata. TAP@STAF 2021: 39-50 - [e7]Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021. EPTCS 349, 2021 [contents] - [i12]Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen:
Efficient Binary Decision Diagram Manipulation in External Memory. CoRR abs/2104.12101 (2021) - [i11]Irfansha Shaik, Jaco van de Pol:
Classical Planning as QBF without Grounding (extended version). CoRR abs/2106.10138 (2021) - [i10]Étienne André, Dylan Marinho, Jaco van de Pol:
A Benchmarks Library for Extended Parametric Timed Automata. CoRR abs/2106.10232 (2021) - [i9]Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
A Manifesto for Applicable Formal Methods. CoRR abs/2112.12758 (2021) - 2020
- [j34]Magnus Madsen, Jaco van de Pol:
Polymorphic types and effects with Boolean unification. Proc. ACM Program. Lang. 4(OOPSLA): 154:1-154:29 (2020) - [c117]Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol:
The 2020 Expert Survey on Formal Methods. FMICS 2020: 3-69 - [c116]Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol:
Certifying Emptiness of Timed Büchi Automata. FORMATS 2020: 58-75 - [c115]Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol:
Automated Verification of Parallel Nested DFS. TACAS (1) 2020: 247-265 - [c114]Jaco van de Pol, Laure Petrucci:
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). WADT 2020: 3-10 - [i8]Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol:
Certifying Emptiness of Timed Büchi Automata. CoRR abs/2007.04150 (2020)
2010 – 2019
- 2019
- [j33]Jeroen Meijer, Jaco van de Pol:
Sound black-box checking in the LearnLib. Innov. Syst. Softw. Eng. 15(3-4): 267-287 (2019) - [j32]Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol:
Model checking with generalized Rabin and Fin-less automata. Int. J. Softw. Tools Technol. Transf. 21(3): 307-324 (2019) - [c113]Jaco van de Pol:
Concurrent Algorithms and Data Structures for Model Checking (Invited Talk). CONCUR 2019: 4:1-4:1 - [c112]Freark I. van der Berg, Jaco van de Pol:
Concurrent Chaining Hash Maps for Software Model Checking. FMCAD 2019: 46-54 - [c111]Tom van Dijk, Jeroen Meijer, Jaco van de Pol:
Multi-core On-The-Fly Saturation. TACAS (2) 2019: 58-75 - [c110]Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol:
Minimal-Time Synthesis for Parametric Timed Automata. TACAS (2) 2019: 211-228 - [p3]Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg:
Software Architecture of Modern Model Checkers. Computing and Software Science 2019: 393-419 - [i7]Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol:
Minimal-Time Synthesis for Parametric Timed Automata. CoRR abs/1902.03013 (2019) - 2018
- [j31]Tom van Dijk, Jaco van de Pol:
Multi-core symbolic bisimulation minimisation. Int. J. Softw. Tools Technol. Transf. 20(2): 157-177 (2018) - [j30]Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf:
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13: 181-209 (2018) - [c109]Vincent Bloemen, Jaco van de Pol, Wil M. P. van der Aalst:
Symbolically Aligning Observed and Modelled Behaviour. ACSD 2018: 50-59 - [c108]Jaco van de Pol, Jeroen Meijer:
Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin. Models, Mindsets, Meta 2018: 417-430 - [c107]Vincent Bloemen, Sebastiaan J. van Zelst, Wil M. P. van der Aalst, Boudewijn F. van Dongen, Jaco van de Pol:
Maximizing Synchronization for Aligning Observed and Modelled Behaviour. BPM 2018: 233-249 - [c106]David Huistra, Jeroen Meijer, Jaco van de Pol:
Adaptive Learning for Learn-Based Regression Testing. FMICS 2018: 162-177 - [c105]Laure Petrucci, Jaco van de Pol:
Parameter Synthesis Algorithms for Parametric Interval Markov Chains. FORTE 2018: 121-140 - [c104]Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol:
Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. ICECCS 2018: 1-9 - [c103]Jeroen Meijer, Jaco van de Pol:
Sound Black-Box Checking in the LearnLib. NFM 2018: 349-366 - [p2]Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault:
Parallel Model Checking Algorithms for Linear-Time Temporal Logic. Handbook of Parallel Constraint Reasoning 2018: 457-507 - [p1]Tom van Dijk, Jaco van de Pol:
Multi-core Decision Diagrams. Handbook of Parallel Constraint Reasoning 2018: 509-545 - 2017
- [j29]Tom van Dijk, Jaco van de Pol:
Sylvan: multi-core framework for decision diagrams. Int. J. Softw. Tools Technol. Transf. 19(6): 675-696 (2017) - [c102]Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol:
Property-Preserving Generation of Tailored Benchmark Petri Nets. ACSD 2017: 1-8 - [c101]Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo:
Improving the Timed Automata Approach to Biological Pathway Dynamics. Models, Algorithms, Logics and Tools 2017: 96-111 - [c100]Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel:
The RERS 2017 challenge and workshop (invited paper). SPIN 2017: 11-20 - [c99]Wytse Oortwijn, Tom van Dijk, Jaco van de Pol:
Distributed binary decision diagrams for symbolic reachability. SPIN 2017: 21-30 - [c98]Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol:
Explicit state model checking with generalized Büchi and Rabin automata. SPIN 2017: 50-59 - 2016
- [j28]Stefano Schivo, Jetse Scholma, Paul E. van der Vet, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak:
Modelling with ANIMO: between fuzzy logic and differential equations. BMC Syst. Biol. 10: 56 (2016) - [j27]Marieke Huisman, Jaco van de Pol:
Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14). Sci. Comput. Program. 128: 1 (2016) - [j26]Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen:
Guard-based partial-order reduction. Int. J. Softw. Tools Technol. Transf. 18(4): 427-448 (2016) - [j25]Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga:
Confluence reduction for Markov automata. Theor. Comput. Sci. 655: 193-219 (2016) - [c97]Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol:
Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. ACSD 2016: 114-123 - [c96]Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol:
Partial-Order Reduction for GPU Model Checking. ATVA 2016: 357-374 - [c95]Vincent Bloemen, Jaco van de Pol:
Multi-core SCC-Based LTL Model Checking. Haifa Verification Conference 2016: 18-33 - [c94]Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield:
Symbolic Reachability Analysis of B Through ProB and LTSmin. IFM 2016: 275-291 - [c93]Waheed Ahmad, Jaco van de Pol:
Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego. ISoLA (1) 2016: 94-113 - [c92]Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser:
Software that Meets Its Intent. ISoLA (2) 2016: 609-625 - [c91]Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol:
RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. ISoLA (2) 2016: 787-803 - [c90]Jeroen Meijer, Jaco van de Pol:
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. NFM 2016: 255-271 - [c89]Vincent Bloemen, Alfons Laarman, Jaco van de Pol:
Multi-core on-the-fly SCC decomposition. PPoPP 2016: 8:1-8:12 - [c88]Tom van Dijk, Jaco van de Pol:
Multi-core Symbolic Bisimulation Minimisation. TACAS 2016: 332-348 - [i6]Jens Bendisposto, Philipp Koerner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield:
Symbolic Reachability Analysis of B through ProB and LTSmin. CoRR abs/1603.04401 (2016) - 2015
- [c87]Waheed Ahmad, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol:
Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications. DSD 2015: 271-275 - [c86]Jaco C. van de Pol:
Automated Verification of Nested DFS. FMICS 2015: 181-197 - [c85]Wytse Oortwijn, Tom van Dijk, Jaco van de Pol:
A Distributed Hash Table for Shared Memory. PPAM (2) 2015: 15-24 - [c84]Tom van Dijk, Jaco van de Pol:
Sylvan: Multi-Core Decision Diagrams. TACAS 2015: 677-691 - [c83]Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk:
LTSmin: High-Performance Language-Independent Model Checking. TACAS 2015: 692-707 - [c82]Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga:
Modeling and Verification of the Bitcoin Protocol. MARS 2015: 46-60 - [i5]Jeroen Meijer, Jaco van de Pol:
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking. CoRR abs/1511.08678 (2015) - 2014
- [j24]Marieke Huisman, Jaco van de Pol:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j23]Jaco van de Pol, Theo C. Ruys, Steven te Brinke:
Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges. Int. J. Softw. Tools Technol. Transf. 16(5): 481-491 (2014) - [j22]Stefano Schivo, Jetse Scholma, Brend Wanders, Ricardo A. Urquidi Camacho, Paul E. van der Vet, Marcel Karperien, Rom Langerak, Jaco van de Pol, Janine N. Post:
Modeling Biological Pathway Dynamics With Timed Automata. IEEE J. Biomed. Health Informatics 18(3): 832-839 (2014) - [c81]Waheed Ahmad, Robert de Groote, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol:
Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. ACSD 2014: 72-81 - [c80]Tom van Dijk, Jaco C. van de Pol:
Lace: Non-blocking Split Deque for Work-Stealing. Euro-Par Workshops (2) 2014: 206-217 - [c79]Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol:
Read, Write and Copy Dependencies for Symbolic Model Checking. Haifa Verification Conference 2014: 204-219 - [c78]Gijs Kant, Jaco van de Pol:
Generating and Solving Symbolic Parity Games. GRAPHITE 2014: 2-14 - [c77]Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak:
Setting Parameters for Biological Models With ANIMO. SynCoP 2014: 35-47 - 2013
- [c76]Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol:
Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction. CAV 2013: 968-983 - [c75]Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga:
Confluence Reduction for Markov Automata. FORMATS 2013: 243-257 - [c74]Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber:
Guard-Based Partial-Order Reduction. SPIN 2013: 227-245 - 2012
- [j21]Tom van Dijk, Alfons Laarman, Jaco van de Pol:
Multi-core and/or Symbolic Model Checking. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012) - [j20]Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer:
A linear process-algebraic format with data for probabilistic automata. Theor. Comput. Sci. 413(1): 36-57 (2012) - [c73]Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol:
Improved Multi-Core Nested Depth-First Search. ATVA 2012: 269-283 - [c72]Stefano Schivo, Jetse Scholma, Brend Wanders, Ricardo A. Urquidi Camacho, Paul E. van der Vet, Marcel Karperien, Rom Langerak, Jaco van de Pol, Janine N. Post:
Modelling biological pathway dynamics with Timed Automata. BIBE 2012: 447-453 - [c71]Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga:
Efficient Modelling and Generation of Markov Automata. CONCUR 2012: 364-379 - [c70]Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol:
Multi-core Reachability for Timed Automata. FORMATS 2012: 91-106 - [c69]Gijs Kant, Jaco van de Pol:
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games. GRAPHITE 2012: 50-65 - [c68]Tom van Dijk, Alfons Laarman, Jaco van de Pol:
Multi-Core BDD Operations for Symbolic Reachability. PASM/PDMC 2012: 127-143 - 2011
- [j19]Jiri Barnat, Jakub Chaloupka, Jaco van de Pol:
Distributed Algorithms for SCC Decomposition. J. Log. Comput. 21(1): 23-44 (2011) - [j18]Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber:
A Database Approach to Distributed State-Space Generation. J. Log. Comput. 21(1): 45-62 (2011) - [j17]Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol:
On the axiomatizability of priority II. Theor. Comput. Sci. 412(28): 3035-3044 (2011) - [j16]Jan A. Bergstra, Jaco van de Pol:
A calculus for four-valued sequential logic. Theor. Comput. Sci. 412(28): 3122-3128 (2011) - [c67]Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs:
Multi-core Nested Depth-First Search. ATVA 2011: 321-335 - [c66]Alfons Laarman, Jaco van de Pol, Michael Weber:
Multi-Core LTSmin: Marrying Modularity and Scalability. NASA Formal Methods 2011: 506-511 - [c65]Alfons Laarman, Jaco van de Pol, Michael Weber:
Parallel Recursive State Compression for Free. SPIN 2011: 38-56 - [c64]Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol:
Confluence Reduction for Probabilistic Systems. TACAS 2011: 311-325 - [c63]Alfons Laarman, Jaco van de Pol:
Variations on Multi-Core Nested Depth-First Search. PDMC 2011: 13-28 - [i4]Alfons Laarman, Jaco van de Pol, Michael Weber:
Parallel Recursive State Compression for Free. CoRR abs/1104.3119 (2011) - 2010
- [j15]Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol:
Towards model checking executable UML specifications in mCRL2. Innov. Syst. Softw. Eng. 6(1-2): 83-90 (2010) - [c62]Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten:
From POOSL to UPPAAL: Transformation and Quantitative Analysis. ACSD 2010: 47-56 - [c61]Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer:
A Linear Process-Algebraic Format for Probabilistic Systems with Data. ACSD 2010: 213-222 - [c60]Stefan Blom, Jaco van de Pol, Michael Weber:
LTSmin: Distributed and Symbolic Reachability. CAV 2010: 354-359 - [c59]Alfons Laarman, Jaco van de Pol, Michael Weber:
Boosting multi-core reachability performance with shared hash tables. FMCAD 2010: 247-255 - [c58]Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos:
Automated Verification of Executable UML Models. FMCO 2010: 225-250 - [c57]Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten:
UPPAAL in Practice: Quantitative Verification of a RapidIO Network. ISoLA (2) 2010: 160-174 - [e6]Jaco van de Pol, Michael Weber:
Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. Lecture Notes in Computer Science 6349, Springer 2010, ISBN 978-3-642-16163-6 [contents] - [i3]