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
Article
2018
1 Citations

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 journalArticle

Open Access
File
Markov processes
Binary decision diagrams
Algebra
Explosions
Data structures
2017
1 Citations

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 journalArticle

Open Access
File
Binary decision diagrams
Model checking
Parallel algorithms
Processing
2016
2 Citations

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 journalArticle

Open Access
File
Confluence
Automata
Explosions
Nondeterminism
Bisimulation
4 Citations

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 journalArticle

Open Access
File
Model checking
Heuristic algorithms
Set theory
Costs
Experiments
6 Citations

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 journalArticle

Open Access
File
File
Theorem proving
Model checking
Security systems
Industry
2014
11 Citations

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 journalArticle

Molecular Models
Mathematics
Chondrocytes
Signal Transduction
Software
7 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. May 2014 In : IEEE journal of biomedical and health informatics. 18, 3, p. 832-839 7 p.

Research output: Contribution to journalArticle

8 Citations

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 journalArticle

2012
7 Citations

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 journalArticle

File
2011
1 Citations

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 journalArticle

File
2 Citations

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 journalArticle

File
File
2010
28 Citations

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 journalArticle

File
2009
4 Citations

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 journalArticle

File
12 Citations

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 journalArticle

File
4 Citations

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 journalArticle

File

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 journalArticle

File
2008

Applying Formal Methods to Gossiping Networks with mCRL and Groove

Haverkort, B. R. H. M. (ed.), Crouzen, P., Siegle, M. (ed.), van de Pol, J. C., van Steen, M. R. (ed.), Rensink, A. & van Steen, M. (ed.) Dec 2008 In : SIGMETRICS performance evaluation review. 36, CFP08545-D/3, p. 7-16 10 p., 10.1145/1481506.1481510

Research output: Contribution to journalArticle

File

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 journalArticle

2007
5 Citations

An abstract interpretation toolkit for μCRL

Valero Espada, M. & van de Pol, J. C. Jun 2007 In : Formal methods in system design. 30, LNCS4549/3, p. 249-273 25 p., 10.1007/s10703-006-0029-7

Research output: Contribution to journalArticle

7 Citations

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., 10.1016/j.ic.2007.03.003

Research output: Contribution to journalArticle