Photo of Jaco van de Pol

Jaco van de Pol

prof.dr.

20072018
If you made any changes in Pure these will be visible here soon.

Research Output 2007 2018

Filter
Conference contribution
2018

Maximizing Synchronization for Aligning Observed and Modelled Behaviour

Bloemen, V., van Zelst, S. J., van der Aalst, W. M. P., van Dongen, B. F. & van de Pol, J. 2018 Business Process Management: 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings. Weske, M., Montali, M., vom Brocke, J. & Weber, I. (eds.). Cham: Springer International, Vol. 11080, p. 233-249 17 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Synchronization
Cost functions
Industry

Parameter Synthesis Algorithms for Parametric Interval Markov Chains

Petrucci, L. & van de Pol, J. Jun 2018 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. Baier, C. & Caires, L. (eds.). Cham: Springer, p. 121-140 20 p. (Lecture Notes in Computer Science; vol. 10854)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Inductive Definitions
Markov processes
Markov chain
Synthesis
Interval

Sound Black-Box Checking in the LearnLib

Meijer, J. & van de Pol, J. 11 Mar 2018 NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Dutle, A., Muñoz, C. A. & Narkawicz, A. (eds.). Cham: Springer, p. 349-366 18 p. (Lecture Notes in Computer Science; vol. 10811)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Acoustic waves
Learning algorithms
Finite automata
Application programming interfaces (API)
Experiments
2017
1 Citations

Distributed Binary Decision Diagrams for Symbolic Reachability

Oortwijn, W., van Dijk, T. & van de Pol, J. Jul 2017 SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, p. 21-30 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Binary decision diagrams
Data storage equipment
Network performance
Parallel algorithms

Explicit State Model Checking with Generalized Büchi and Rabin Automata

Bloemen, V., Duret-Lutz, A. & van de Pol, J. Jul 2017 SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, p. 50-59 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Set theory
Experiments

Improving the Timed Automata Approach to Biological Pathway Dynamics

Langerak, R., van de Pol, J., Post, J. N. & Schivo, S. 19 Aug 2017 Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 96-111 16 p. (Lecture Notes in Computer Science; vol. 10460)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Computer science
Model checking
Biological systems
User interfaces
Genes

Parallel Algorithms for Model Checking

van de Pol, J. Nov 2017 Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings. Mousavi, M. R. & Sgall, J. (eds.). Springer, p. xv-xvi 2 p. (Lecture Notes in Computer Science; vol. 10608)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Parallel algorithms
Binary decision diagrams
Trees (mathematics)
Automata theory
3 Citations

Property-Preserving Generation of Tailored Benchmark Petri Nets

Bernhard, S., Jasper, M., Meijer, J. & van de Pol, J. Jun 2017 17th International Conference on Application of Concurrency to System Design - ACSD 2017: 25-30 June 2017, Zaragoza, Spain : proceedings. Piscataway, NJ: IEEE Computer Society, 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Petri nets
Concretes
Decomposition
Specifications
1 Citations

The RERS 2017 Challenge and Workshop

Jasper, M., Fecke, M., Steffen, B., Schordan, M., Meijer, J., van de Pol, J., Howar, F. & Siegel, S. F. Jul 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. New York: ACM Inc., p. 11-20 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Learning systems
Satellites
2016
5 Citations

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

Meijer, J. & van de Pol, J. C. 7 Jun 2016 NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Rayadurgam, S. & Tkachuk, O. (eds.). Springer International Publishing, p. 255-271 15 p. (Lecture Notes in Computer Science; vol. 9690)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Wavefronts
Bandwidth
Petri nets
2 Citations

Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata

Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A. & van de Pol, J. C. 24 Jun 2016 Proceedings of the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. USA: IEEE Computer Society, p. 114-123 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
9 Citations

Multi-Core On-The-Fly SCC Decomposition

Bloemen, V., Laarman, A. & van de Pol, J. C. Mar 2016 Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016. New York: Association for Computing Machinery, p. 8 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2 Citations

Multi-core SCC-Based LTL Model Checking

Bloemen, V. & van de Pol, J. C. Nov 2016 Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016. Bloem, R. & Arbel, E. (eds.). Cham: Springer International Publishing, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10028)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
4 Citations

Multi-core Symbolic Bisimulation Minimisation

van Dijk, T. & van de Pol, J. C. Apr 2016 Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016). Chechik, M. & Raskin, J-F. (eds.). Berlin: Springer Verlag, p. 332-348 17 p. (Lecture Notes in Computer Science; vol. 9636)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Markov processes
Binary decision diagrams
Continuous time systems
Model checking
Parallel algorithms
4 Citations

Partial-Order Reduction for GPU Model Checking

Neele, T., Wijs, A., Bosnacki, D. & van de Pol, J. C. Oct 2016 Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016. Artho, C., Legay, A. & Peled, D. (eds.). Berlin: Springer Verlag, p. 357-374 18 p. (Lecture Notes in Computer Science; vol. 9938)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
4 Citations

RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification

Geske, M., Jasper, M., Steffen, B., Howar, F., Schordan, M. & van de Pol, J. C. Oct 2016 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. Margaria, T. & Steffen, B. (eds.). Berlin: Springer Verlag, p. 787-803 17 p. (Lecture Notes in Computer Science; vol. 9953)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Temporal logic
Computer programming languages
1 Citations

Software that meets its Intent

Huisman, M., Bos, H., Brinkkemper, S., van Deursen, A., Groote, J. F., Lago, P., van de Pol, J. & Visser, E. Oct 2016 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. Margaria, T. & Steffen, B. (eds.). Springer, p. 609-625 17 p. (Lecture Notes in Computer Science; vol. 9953)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations

Symbolic Reachability Analysis of B through ProB and LTSmin

Bendisposto, J., Körner, P., Leuschel, M., Meijer, J., van de Pol, J. C., Treharne, H. & Whitefield, J. Jun 2016 Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Ábrahám, E. & Huisman, M. (eds.). Cham: Springer International Publishing, p. 275-291 16 p. (Lecture Notes in Computer Science; vol. 9681)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Model checking
Specification languages
Glues
Experiments
1 Citations

Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO

Ahmad, W. & van de Pol, J. C. Oct 2016 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. Margaria, T. & Steffen, B. (eds.). London: Springer Verlag, p. 94-113 20 p. (Lecture Notes in Computer Science; vol. 9952)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Throughput
Controllers
Energy utilization
Dynamical systems
Electric power utilization
2015
1 Citations

A Distributed Hash Table for Shared Memory

Oortwijn, W. H. M., van Dijk, T. & van de Pol, J. C. Sep 2015 Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II. Wyrzykowski, R., Deelman, E., Dongarra, J., Karczewski, K., Kitowski, J. & Wiatr, K. (eds.). London: Springer, p. 15-24 10 p. (Lecture Notes in Computer Science; vol. 9574)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Automated Verification of Nested DFS

van de Pol, J. C. Jun 2015 Proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015). Núñez, M. & Güdemann, M. (eds.). Heidelberg: Springer, p. 181-197 17 p. (Lecture Notes in Computer Science; vol. 9128)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
6 Citations

Green computing: power optimisation of vfi-based real-time multiprocessor dataflow applications

Ahmad, W., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C. 26 Aug 2015 18th Euromicro Conference on Digital Systems Design (DSD 2015). USA: IEEE Computer Society, p. 271-275 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations

Modeling and Verification of the Bitcoin Protocol

Chaudhary, K., Fehnker, A., van de Pol, J. C. & Stoelinga, M. I. A. 13 Nov 2015 Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015). van Glabbeek, R. J., Groote, J. F. & Höfner, P. (eds.). Australia: Open Publishing Association, p. 46-60 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 196)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Network protocols
Electronic money
10 Citations

Sylvan: Multi-core Decision Diagrams

van Dijk, T. & van de Pol, J. C. Apr 2015 Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015. London: Springer Verlag, p. 677-691 15 p. (Lecture Notes in Computer Science; vol. 9035)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2014

An echo in biology: validating the executable chondrocyte

Scholma, J., Schivo, S., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N. 1 Apr 2014 2014 World Congress on Osteoarthritis. Supplement ed. Amsterdam: ELSEVIER, Vol. 22, p. S157-S157 1 p. (Osteoarthritis and Cartilage; vol. 22)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Chondrocytes
Cartilage
Osteogenesis
Osteoarthritis
beta Catenin

ECHO: the executable chondrocyte

Scholma, J., Schivo, S., Kerkhofs, J., Langerak, R., Karperien, H. B. J., van de Pol, J. C., Geris, L. & Post, J. N. 9 Jun 2014 Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting. Malden: Wiley, p. 54-54 1 p. (s1; vol. 8)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
6 Citations

Generating and Solving Symbolic Parity Games

Kant, G. & van de Pol, J. C. Apr 2014 Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014). EPTCS, p. 2-14 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 159)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
11 Citations

Lace: non-blocking split deque for work-stealing

van Dijk, T. & van de Pol, J. C. Aug 2014 Proceedings of the 7th International Euro-Par Workshop on Multi-/Many-core Computing Systems, MuCoCoS 2014. Switzerland: Springer International Publishing, p. 206-217 12 p. (Lecture Notes in Computer Science; vol. 8806)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
7 Citations

Read, Write and Copy Dependencies for Symbolic Model Checking

Meijer, J., Kant, G., Blom, S. & van de Pol, J. C. Nov 2014 Proceedings of the 10th International Haifa Verification Conference, HVC 2014. Berlin: Springer, p. 204-219 16 p. (Lecture Notes in Computer Science; vol. 8855)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata

Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C. Jun 2014 Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD 2014). USA: IEEE Computer Society, p. 72-81 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
6 Citations

Setting Parameters for Biological Models With ANIMO

Schivo, S., Scholma, J., Karperien, H. B. J., Post, J. N., van de Pol, J. C. & Langerak, R. 8 Apr 2014 Proceedings 1st International Workshop on Synthesis of Continuous Parameters. André, É. & Frehse, G. (eds.). Open Publishing Association, p. 35-47 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 145)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2013

Confluence reduction for Markov automata

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A. Mar 2013 Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013). Trieste: University of Trieste, p. 18 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
20 Citations

Confluence Reduction for Markov Automata

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A. Aug 2013 Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). Braberman, V. & Fribourg, L. (eds.). Berlin: Springer Verlag, p. 243-257 15 p. (Lecture Notes in Computer Science; vol. 8053)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
7 Citations

Guard-based Partial-Order Reduction

Laarman, A., Pater, E., van de Pol, J. C. & Weber, M. 8 Jul 2013 Proceedings of the 20th International SPIN Symposium on Model Checking of Software, SPIN 2013. Bartocci, E. & Ramakrishnan, C. R. (eds.). London: Springer, p. 227-245 18 p. (Lecture Notes in Computer Science; vol. 7976)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Mathematical modeling of signaling pathways in osteoarthritis

Scholma, J., Kerkhofs, J., Schivo, S., Langerak, R., van der Vet, P. E., Karperien, H. B. J., van de Pol, J. C., Geris, L. & Post, J. N. 19 Apr 2013 2013 Osteoarthritis Research Society International (OARSI) World Congress. Lohmander, S. (ed.). Amsterdam: ELSEVIER, p. - 1 p. (S123; vol. 21, no. Suppl.)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Citations

Multi-core emptiness checking of timed Büchi automata using inclusion abstraction

Laarman, A., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & van de Pol, J. 13 Jul 2013 Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Sharygina, N. & Veith, H. (eds.). London: Springer, p. 968-983 18 p. (Lecture Notes in Computer Science; vol. 8044)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Carrier sense multiple access
Scalability
Structural properties
2012

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games

Kant, G. & van de Pol, J. C. Apr 2012 First Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2012). Wijs, A. J., Bošnački, D. & Edelkamp, S. (eds.). EPTCS, p. 50-65 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 99)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
22 Citations

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A. 31 Mar 2012 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012. Pisa: Istituto di Scienza e Tecnologie dell'Informazione, p. - 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A. Sep 2012 CONCUR 2012 - Concurrency Theory: 23rd International Conference. Koutny, M. & Ulidowski, I. (eds.). Berlin, Heidelberg: Springer, p. 364-379 16 p. (Lectures Notes in Computer Science; vol. 7454)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Specifications
Syntactics
Linearization
Chemical analysis
31 Citations

Improved Multi-Core Nested Depth-First Search

Evangelista, S., Laarman, A., Petrucci, L. & van de Pol, J. C. 3 Oct 2012 Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012. Ramesh, S. (ed.). London: Springer Verlag, p. 269-283 15 p. (Lecture Notes in Computer Science; vol. 7561)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
9 Citations

Modelling biological pathway dynamics with Timed Automata

Schivo, S., Scholma, J., Wanders, B., Urquidi Camacho, R. A., van der Vet, P. E., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N. Nov 2012 2012 IEEE 12th International Conference on Bioinformatics and Bioengineering (BIBE 2012). IEEE Computer Society, p. 447-453 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Crosstalk
Reaction kinetics
User interfaces
Semantics
Engines
6 Citations

Multi-core and/or symbolic model checking

van Dijk, T., Laarman, A. & van de Pol, J. C. Sep 2012 12th International Workshop on Automated Verification of Critical Systems, AVoCS 2012. Luettgen, G. & Merz, S. (eds.). Berlin: EASST, 7 p. 773. (Electronic Communications of the EASST; vol. 53)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Model checking
Specification languages
Data storage equipment
10 Citations

Multi-Core BDD Operations for Symbolic Reachability

van Dijk, T., Laarman, A. & van de Pol, J. C. 17 Sep 2012 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012. Heljanko, K. & Knottenbelt, W. J. (eds.). Amsterdam: ELSEVIER, p. 127-143 18 p. (Electronic Notes in Theoretical Computer Science; vol. 296)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
12 Citations

Multi-Core Reachability for Timed Automata

Dalsgaard, A., Laarman, A., Larsen, K. G., Olesen, M. C. & van de Pol, J. C. 18 Sep 2012 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012. Jurdzinski, M. & Nickovic, D. (eds.). London: Springer Verlag, p. 91-106 16 p. (Lecture Notes in Computer Science; vol. 7595)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2011
10 Citations

Automated Verification of Executable UML Models

Hansen, H. H., Ketema, J., Luttik, B., Mousavi, M., van de Pol, J. C. & Marchi dos Santos, O. Nov 2011 Proceedings of the 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010. Revised Papers. Berlin: Springer Verlag, p. 225-250 26 p. (Lecture Notes in Computer Science; vol. 6957)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations

Confluence Reduction for Probabilistic Systems

Timmer, M., Stoelinga, M. I. A. & van de Pol, J. C. Mar 2011 Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011. Abdulla, P. A. & Leino, K. R. M. (eds.). Berlin: Springer Verlag, p. 311-325 15 p. (Lecture Notes in Computer Science; vol. 6605)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Algebra
Specifications
29 Citations

Multi-Core LTSmin: Marrying Modularity and Scalability

Laarman, A., van de Pol, J. C. & Weber, M. Jul 2011 Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011. Bobaru, M., Havelund, K., Holzmann, G. J. & Joshi, R. (eds.). Berlin: Springer Verlag, p. 506-511 6 p. (Lecture Notes in Computer Science; vol. 6617)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
22 Citations

Multi-Core Nested Depth-First Search

Laarman, A., Langerak, R., van de Pol, J. C., Weber, M. & Wijs, A. 8 Jul 2011 Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011. Bultan, T. & Hsiung, P-A. (eds.). London: Springer Verlag, p. 321-335 15 p. (Lecture Notes in Computer Science; vol. 6996)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Parallel Recursive State Compression for Free

Laarman, A., van de Pol, J. C. & Weber, M. 14 Jul 2011 Proceedings of the 18th International SPIN Workshop, SPIN 2011. Groce, A. & Musuvathi, M. (eds.). berlin: Springer, p. 38-56 18 p. (Lecture Notes in Computer Science; vol. 6823)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Variations on Multi-Core Nested Depth-First Search

Laarman, A. & van de Pol, J. C. 14 Jul 2011 Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011. Barnat, J. & Heljanko, K. (eds.). USA: EPTCS, p. 13-28 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 72)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Parallel algorithms
Model checking
Statistical Models