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

Research Output 2007 2019

Abstract
16 Downloads (Pure)

An ECHO in biology II: Insights in chondrocyte cell fate

Schivo, S., Scholma, J., Huang, X., Huang, X., Zhong, L., Zhong, L., van de Pol, J. C., Karperien, H. B. J., Langerak, R. & Post, J. N., Apr 2016, p. S176-S177. 1 p.

Research output: Contribution to conferenceAbstractOther research output

File
Chondrocytes
Computer Simulation
Joints
Cartilage Diseases
Ligands
37 Downloads (Pure)

ANIMO: a tool for modeling biological pathway dynamics

Schivo, S., Scholma, J., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N., 9 Jun 2014, p. 54-55. 2 p.

Research output: Contribution to conferenceAbstractOther research output

File
Article
1 Citation (Scopus)
82 Downloads (Pure)

A Calculus for Four-Valued Sequential Logic

Bethke, I. (ed.), Bergstra, J. A., Ponse, A. (ed.), van de Pol, J. C. & Rodenburg, P. H. (ed.), 20 Jun 2011, In : Theoretical computer science. 412, 28, p. 3122-3128 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
5 Citations (Scopus)
52 Downloads (Pure)

A Database Approach to Distributed State-Space Generation

Blom, S., Cerna, I. (ed.), Haverkort, B. R. H. M. (ed.), Lisser, B., van de Pol, J. C. & Weber, M., 5 Mar 2009, In : Journal of logic and computation. Advance Ac, 1, p. 45-62 18 p., 10.1093/logcom/exp004.

Research output: Contribution to journalArticleAcademicpeer-review

File
7 Citations (Scopus)
64 Downloads (Pure)

A linear process-algebraic format with data for probabilistic automata

Di Pierro, A. (ed.), Katoen, J. P., van de Pol, J. C., Norman, G. (ed.), Stoelinga, M. I. A. & Timmer, M., 6 Jan 2012, In : Theoretical computer science. 413, 1, p. 36-57 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
5 Citations (Scopus)

An abstract interpretation toolkit for μCRL

Valero Espada, M. & van de Pol, J., Jun 2007, In : Formal methods in system design. 30, 3, p. 249-273 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

Abstract Interpretation
Labels
Algebraic Specification
Specifications
Labeled Transition System
18 Downloads (Pure)

Applying Formal Methods to Gossiping Networks with mCRL and Groove

Crouzen, P., van de Pol, J. & Rensink, A., Dec 2008, In : SIGMETRICS performance evaluation review. 36, 3, p. 7-16 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Formal methods
Sampling
11 Citations (Scopus)

Biological networks 101: computational modeling for molecular biologists

Scholma, J., Schivo, S., Urquidi Camacho, R. A., van de Pol, J. C., Karperien, H. B. J. & Post, J. N., 1 Jan 2014, In : Gene. 533, 42, p. 379-384 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Molecular Models
Mathematics
Chondrocytes
Signal Transduction
Software
2 Citations (Scopus)
81 Downloads (Pure)

Confluence reduction for Markov automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., 6 Dec 2016, In : Theoretical computer science. 655, B, p. 193-219 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Confluence
Automata
Explosions
Nondeterminism
Bisimulation
16 Citations (Scopus)
136 Downloads (Pure)

Distributed Algorithms for SCC Decomposition

Cerna, I. (ed.), Barnat, J., Chaloupka, J., Haverkort, B. R. H. M. (ed.) & van de Pol, J. C., 17 Feb 2009, In : Journal of logic and computation. Advance Ac, 1, p. 23-44 22 p., 10.1093/logcom/exp003.

Research output: Contribution to journalArticleAcademicpeer-review

File
7 Citations (Scopus)
3 Downloads (Pure)

Generalizing DPLL and satisfiability for equalities

Badban, B., van de Pol, J. C., Tveretina, O. & Zantema, H., Aug 2007, In : Information and computation. 205, LNCS4549/8, p. 1188-1211 24 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Algebra
Equality
Logic
Satisfiability Problem
Decision Procedures
5 Citations (Scopus)
43 Downloads (Pure)

Guard-based partial-order reduction

Laarman, A., Pater, E., van de Pol, J. & Hansen, H., Aug 2016, In : International journal on software tools for technology transfer. 18, 4, p. 427-448 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model checking
Heuristic algorithms
Set theory
Costs
Experiments
7 Citations (Scopus)

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., May 2014, In : IEEE journal of biomedical and health informatics. 18, 3, p. 832-839 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)
2 Downloads (Pure)

Modelling with ANIMO: between fuzzy logic and differential equations

Schivo, S., Scholma, J., van der Vet, P. E., Karperien, H. B. J., Post, J. N., van de Pol, J. C. & Langerak, R., 27 Jul 2016, In : BMC systems biology. 10, p. 56 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
3 Citations (Scopus)
4 Downloads (Pure)

Multi-core symbolic bisimulation minimisation

van Dijk, T. & van de Pol, J., Apr 2018, In : International journal on software tools for technology transfer. 20, 2, p. 157-177 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Markov processes
Binary decision diagrams
Algebra
Explosions
Data structures
2 Citations (Scopus)
15 Downloads (Pure)

On the axiomatizability of priority II

Bethke, I. (ed.), Aceto, L., Ponse, A. (ed.), Chen, T., Ingolfsdottir, A., Rodenburg, P. H. (ed.), Luttik, B. & van de Pol, J. C., 20 Jun 2011, In : Theoretical computer science. 412, 28, p. 3035-3044 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
48 Downloads (Pure)

Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)

Huisman, M. (ed.) & van de Pol, J. (ed.), Oct 2016, In : Science of computer programming. 128, p. 1-1 1 p.

Research output: Contribution to journalArticleAcademic

File
Theorem proving
Model checking
Security systems
Industry

Simulated time for host-based testing with TTCN-3

Blom, S., Deiß, T., Ioustinova, N., Kontio, A., van de Pol, J. C., Rennoch, A. & Sidorova, N., 8 Mar 2008, In : Software testing, verification and reliability. 18, 1, p. 29-49 21 p., 10.1002/stvr.372.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)
20 Downloads (Pure)

Solving scheduling problems by untimed model checking. The clinical chemical analyser case study

Margaria, T. (ed.), Wijs, A. J., Massink, M. (ed.), van de Pol, J. C. & Bortnik, E. M., 19 Mar 2009, In : International journal on software tools for technology transfer. 11, 5, p. 375-392 18 p., 10.1007/s10009-009-0110-9.

Research output: Contribution to journalArticleAcademicpeer-review

File
10 Citations (Scopus)
17 Downloads (Pure)

Sylvan: multi-core framework for decision diagrams

van Dijk, T. & van de Pol, J., Nov 2017, In : International journal on software tools for technology transfer. 19, 6, p. 675-696 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Binary decision diagrams
Model checking
Parallel algorithms
Processing
10 Citations (Scopus)

Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges

van de Pol, J. C., Ruys, T. C. & te Brinke, S., Oct 2014, In : International journal on software tools for technology transfer. 16, 5, p. 481-491 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

16 Downloads (Pure)

Towards an Information Retrieval Theory of Everything

Hiemstra, D., Lammerink, J. M. W. (ed.), Katoen, J. P. (ed.), Kok, J. N. (ed.), van de Pol, J. C. (ed.) & Raamsdonk, F. (ed.), 2009, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 2009, p. 27-38 12 p.

Research output: Contribution to journalArticleAcademic

File
13 Downloads (Pure)

Towards explaining the speed of k-means

Manthey, B., van de Pol, J. C. (ed.), Raamsdonk, F. (ed.) & Stoelinga, M. I. A. (ed.), 2011, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 2011, p. 45-54 10 p.

Research output: Contribution to journalArticleProfessional

File
29 Citations (Scopus)
86 Downloads (Pure)

Towards Model Checking Executable UML Specifications in mCRL2

Hansen, H. H., Ketema, J., Luttik, B., Mousavi, M. & van de Pol, J. C., Mar 2010, In : Innovations in systems and software engineering. 6, 1-2, p. 83-90 8 p., 10.1007/s11334-009-0116-1.

Research output: Contribution to journalArticleAcademicpeer-review

File
Chapter
62 Citations (Scopus)
70 Downloads (Pure)

LTSmin: High-Performance Language-Independent Model Checking

Kant, G., Laarman, A., Meijer, J., van de Pol, J. C., Blom, S. & van Dijk, T., Apr 2015, Tools and Algorithms for the Construction and Analysis of Systems. Baier, C. & Tinelli, C. (eds.). London: Springer, p. 692-707 16 p. (Lecture Notes in Computer Science; vol. 9035, no. 9035).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
Model checking
Interface states
Modeling languages
1 Citation (Scopus)

MCC'2017 - The Seventh Model Checking Contest

Kordon, F., Garavel, H., Hillah, L-M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E. G., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Botlan, D. L., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., Pol, J. V. D. & Wolf, K., 21 Nov 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). p. 181-209 29 p. (Lecture notes in computer science; vol. 11090).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Model checking
Petri nets
47 Downloads (Pure)

Multi-core Decision Diagrams

van Dijk, T. & van de Pol, J., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 509-545 37 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Decision Diagrams
Data structures
Model checking
Algorithms and Data Structures
Automated Reasoning
2 Citations (Scopus)
34 Downloads (Pure)

Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Barnat, J., Bloemen, V., Duret-Lutz, A., Laarman, A., Petrucci, L., van de Pol, J. & Renault, E., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 457-507 51 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Temporal logic
Model checking
Temporal Logic
Model Checking
Linear Time
3 Citations (Scopus)
39 Downloads (Pure)

Symbolically Aligning Observed and Modelled Behaviour

Bloemen, V., van de Pol, J. & van der Aalst, W. M. P., 25 Jun 2018, 2018 18th International Conference on Application of Concurrency to System Design : Proceedings. IEEE, p. 50-59 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Model checking
Petri nets
Structural properties
Experiments
Costs
Conference contribution
3 Citations (Scopus)
13 Downloads (Pure)

Adaptive Learning for Learn-Based Regression Testing

Huistra, D., Meijer, J. & Pol, J. V. D., Sep 2018, Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. Howar, F. & Barnat, J. (eds.). Springer, p. 162-177 16 p. (Lecture Notes in Computer Science; vol. 11119).

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

Open Access
File
Testing
Model checking
Experiments
9 Citations (Scopus)
3 Downloads (Pure)

A Database Approach to Distributed State Space Generation

Blom, S., Lisser, B., van de Pol, J. & Weber, M., 4 Mar 2008, Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation: PDMC 2007, 8 July 2007, Berlin, Germany. Černá, I. & Haverkort, B. R. (eds.). Amsterdam: Elsevier, p. 17-32 16 p. (Electronic Notes in Theoretical Computer Science; vol. 198, no. 1).

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

Open Access
File
Hash functions
Bandwidth
Experiments
Virtual machine
1 Citation (Scopus)
17 Downloads (Pure)

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

Open Access
File
5 Citations (Scopus)
121 Downloads (Pure)

A linear process-algebraic format for probabilistic systems with data

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., Jun 2010, Application of Concurrency to System Design, Tenth International Conference on. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE Computer Society Press, p. 213-222 10 p. 10.1109/ACSD.2010.18

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

File
9 Citations (Scopus)
35 Downloads (Pure)

A Multi-Core Solver for Parity Games

van de Pol, J. C. & Weber, M., 29 Mar 2008, Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2008). Černá, I. & Lüttgen, G. (eds.). Amsterdam: Elsevier, p. 19-34 14 p. (Electronic Notes in Theoretical Computer Science; vol. 220, no. 2).

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

File
Model checking
Parallel algorithms
Network protocols
Data storage equipment
49 Downloads (Pure)

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

File
Chondrocytes
Cartilage
Osteogenesis
Catenins
Osteoarthritis

Applying Model-based Testing to HTML Rendering Engines - A Case Study

Calamé, J. R. & van de Pol, J. C., 6 Jun 2008, Testing of Software and Communicating Systems. Suzuki, K., Higashino, T., Ulrich, A. & Hasegawa, T. (eds.). London: Springer, p. 250-265 16 p. 10.1007/978-3-540-68524-1_18. (Lecture Notes in Computer Science; vol. 5047, no. 1).

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

11 Downloads (Pure)

A Typical Verification Challenge for the GRID

van de Pol, J. C., 2008, Dagstuhl Seminar Proceedings 08332 'Distributed Verification and Grid Computing '. Bal, H. E., Brim, L. & Leucker, M. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, p. - 2 p. (Dagstuhl Seminar Proceedings; no. 08332).

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

File
11 Citations (Scopus)
1 Downloads (Pure)

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, p. 225-250 26 p. (Lecture Notes in Computer Science; vol. 6957).

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

143 Downloads (Pure)

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

File
15 Citations (Scopus)
80 Downloads (Pure)

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, p. 255-271 15 p. (Lecture Notes in Computer Science; vol. 9690).

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

Open Access
File
Wavefronts
Bandwidth
Petri nets
18 Downloads (Pure)

Boosting Multi-Core Reachability Performance with Shared Hash Tables

Laarman, A., van de Pol, J. C. & Weber, M., 20 Oct 2010, Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design. Sharygina, N. & Bloem, R. (eds.). USA: IEEE Computer Society, p. 247-256 9 p.

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

Open Access
File
Model checking
Resource allocation
Data structures
Scalability

Bug Hunting with False Negatives

Calamé, J., Ioustinova, N., van de Pol, J. C. & Sidorova, N., Jul 2007, Integrated Formal Methods. Davies, J. & Gibbons, J. (eds.). Berlin: Springer, p. 98-117 20 p. (Lecture Notes in Computer Science; vol. 4591, no. LNCS4549).

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

8 Citations (Scopus)
44 Downloads (Pure)

Compositional Control Synthesis for Partially Observable Systems

Kuijper, W. & van de Pol, J. C., Sep 2009, CONCUR 2009 - Concurrency Theory. Bravetti, M. & Zavattaro, G. (eds.). Berlin / Heidelberg: Springer, p. 431-447 17 p. 10.1007/978-3-642-04081-8_29. (Lecture Notes in Computer Science; vol. 5710).

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

File
4 Citations (Scopus)
49 Downloads (Pure)

Computing Weakest Strategies for Safety Games of Imperfect Information

Kuijper, W. & van de Pol, J. C., Mar 2009, Tools and Algorithms for the Construction and Analysis of Systems. Kowalewski, S. & Philippou, A. (eds.). Berlin / Heidelberg: Springer, p. 92-106 15 p. 10.1007/978-3-642-00768-2_10. (Lecture Notes in Computer Science; vol. 5505).

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

File
34 Downloads (Pure)

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 contributionAcademic

File
21 Citations (Scopus)
38 Downloads (Pure)

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, p. 243-257 15 p. (Lecture Notes in Computer Science; vol. 8053).

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

File
33 Downloads (Pure)

Confluence reduction for probabilistic systems

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A., Sep 2010, Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory. Eindhoven, The Netherlands: Eindhoven University of Technology, p. 87-90 4 p.

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

File
13 Citations (Scopus)
58 Downloads (Pure)

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, p. 311-325 15 p. (Lecture Notes in Computer Science; vol. 6605).

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

File
Algebra
Specifications

Distributed Analysis with µCRL: a Compendium of Case Studies

Blom, S., Calamé, J. R., Lisser, B., Orzan, S., Pang, J., van de Pol, J. C., Torabi Dashti, M. & Wijs, A. J., Jul 2007, Tools and Algorithms for the Construction and Analysis of Systems. Grumberg, O. & Huth, M. (eds.). Berlin: Springer, p. 683-689 7 p. (Lecture Notes in Computer Science; vol. 4424, no. LNCS4549).

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

4 Citations (Scopus)
1 Downloads (Pure)

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 (ACM), p. 21-30 10 p.

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

Binary decision diagrams
Data storage equipment
Network performance
Parallel algorithms