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

Research Output 2007 2019

Filter
Article
2018
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
2017
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
2016
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
5 Citations (Scopus)
38 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
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
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
2014
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
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

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

2012
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
2011
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
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
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
2010
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
2009
5 Citations (Scopus)
51 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
16 Citations (Scopus)
134 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
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
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
2008
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

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

2007
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
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