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

Research Output 2007 2019

Filter
Conference contribution
16 Citations (Scopus)
14 Downloads (Pure)

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 contributionAcademicpeer-review

Model checking
Carrier sense multiple access
Scalability
Structural properties
34 Citations (Scopus)
18 Downloads (Pure)

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, p. 506-511 6 p. (Lecture Notes in Computer Science; vol. 6617).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
27 Citations (Scopus)
161 Downloads (Pure)

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, p. 321-335 15 p. (Lecture Notes in Computer Science; vol. 6996).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
2 Downloads (Pure)

Multi-core On-The-Fly Saturation

van Dijk, T., Meijer, J. & van de Pol, J., 1 Jan 2019, 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, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 58-75 18 p. (Lecture Notes in Computer Science; vol. 11428)(Theoretical Computer Science and General Issues).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Specification languages
Model checking
Petri nets
Scalability
Saturation
16 Citations (Scopus)
200 Downloads (Pure)

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 (ACM), p. 8 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
13 Citations (Scopus)
42 Downloads (Pure)

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, p. 91-106 16 p. (Lecture Notes in Computer Science; vol. 7595).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
9 Citations (Scopus)
34 Downloads (Pure)

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, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10028).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
5 Citations (Scopus)
19 Downloads (Pure)

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, p. 332-348 17 p. (Lecture Notes in Computer Science; vol. 9636).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

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 contributionAcademic

Model checking
Parallel algorithms
Binary decision diagrams
Trees (mathematics)
Automata theory
73 Downloads (Pure)

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 contributionAcademicpeer-review

File
2 Citations (Scopus)
59 Downloads (Pure)

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 contributionAcademicpeer-review

Open Access
File
Inductive Definitions
Markov processes
Markov chain
Synthesis
Interval
6 Citations (Scopus)
43 Downloads (Pure)

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, p. 357-374 18 p. (Lecture Notes in Computer Science; vol. 9938).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
34 Downloads (Pure)

PDL over Accelerated Labeled Transition Systems

Chen, T., van de Pol, J. C. & Wang, Y., Jun 2008, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering. Los Alamitos: IEEE Computer Society, p. 193-200 8 p. 10.1109/TASE.2008.42

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
5 Downloads (Pure)

Preface

Huisman, M. & van de Pol, J., Sep 2014, Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014). Huisman, M. & van de Pol, J. (eds.). Berlin: European Association of Software Science and Technology, p. 1-3 3 p. (Electronic Communications of the EASST; vol. 70).

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

Open Access
File
Theorem proving
Surface mount technology
Model checking
Industry
9 Citations (Scopus)
55 Downloads (Pure)

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 contributionAcademicpeer-review

Open Access
File
Petri nets
Concretes
Decomposition
Specifications
13 Citations (Scopus)
35 Downloads (Pure)

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 contributionAcademicpeer-review

File
11 Citations (Scopus)
36 Downloads (Pure)

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, p. 787-803 17 p. (Lecture Notes in Computer Science; vol. 9953).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Temporal logic
Computer programming languages
22 Downloads (Pure)

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 contributionAcademicpeer-review

File
6 Citations (Scopus)
39 Downloads (Pure)

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 contributionAcademicpeer-review

File
1 Citation (Scopus)

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 contributionAcademicpeer-review

4 Citations (Scopus)
122 Downloads (Pure)

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 contributionAcademicpeer-review

Open Access
File
Black Box
Acoustic waves
Learning algorithms
Finite automata
Learning Algorithm
15 Downloads (Pure)

State Space Reduction of Linear Processes Using Control Flow Reconstruction

van de Pol, J. C. & Timmer, M., 13 Oct 2009, Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Liu, Z. & Ravn, A. P. (eds.). Berlin: Springer, p. 54-68 15 p. (Lecture Notes in Computer Science; vol. 5799).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Flow control
Process control
Specifications
Data flow analysis
Static analysis
15 Citations (Scopus)
233 Downloads (Pure)

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, p. 677-691 15 p. (Lecture Notes in Computer Science; vol. 9035).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
4 Citations (Scopus)
74 Downloads (Pure)

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, p. 275-291 16 p. (Lecture Notes in Computer Science; vol. 9681).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Model checking
Specification languages
Glues
Experiments
17 Citations (Scopus)
57 Downloads (Pure)

Symbolic Reachability for Process Algebras with Recursive Data Types

Blom, S. & van de Pol, J. C., 25 Aug 2008, Theoretical Aspects of Computing - ICTAC 2008. Fitzgerald, J. S., Haxthausen, A. E. & Yenigun, H. (eds.). Berlin: Springer, p. 81-95 15 p. 10.1007/978-3-540-85762-4_6. (Lecture Notes in Computer Science; vol. 5160, no. Supplement).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
3 Citations (Scopus)
42 Downloads (Pure)

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, p. 94-113 20 p. (Lecture Notes in Computer Science; vol. 9952).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Throughput
Controllers
Energy utilization
Dynamical systems
Electric power utilization
9 Citations (Scopus)
1 Downloads (Pure)

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 contributionAcademicpeer-review

Learning systems
Satellites
3 Citations (Scopus)

TTCN-3 for Distributed Testing Embedded Software

Blom, S., Deiß, T., Ioustinova, N., Kontio, A., van de Pol, J. C., Rennoch, A. & Sidorova, N., Aug 2007, Perspectives of Systems Informatics. Virbitskaite, I. & Voronkov, A. (eds.). Berlin: Springer, p. 98-111 14 p. (Lecture Notes in Computer Science; vol. 4378, no. LNCS4549).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
36 Downloads (Pure)

UPPAAL in Practice: Quantitative Verication of a RapidIO Network

Xing, J., Theelen, B. D., Langerak, R., van de Pol, J., Tretmans, J. & Voeten, J. P. M., 18 Oct 2010, 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. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 160-174 15 p. (Lecture Notes in Computer Science; vol. 6416).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Packet networks
Object oriented programming
Model checking
Distributed computer systems
Motion control
9 Downloads (Pure)

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 contributionAcademic

Open Access
File
Parallel algorithms
Model checking
Statistical Models