Research Output 2007 2017

Filter
Article
2017

Multi-core symbolic bisimulation minimisation

Dijk, T. V. & Pol, J. V. D. 2 Aug 2017 21 p.

Research output: Scientific - peer-reviewArticle

Markov processes
Binary decision diagrams
Algebra
Explosions
Data structures
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: Scientific - peer-reviewArticle

Explosions
Specifications
1 Citations

Guard-based partial-order reduction

Laarman, A., Pater, E., van de Pol, J. C. & Hansen, H. Aug 2016 18, 4, p. 427-448 22 p.

Research output: Scientific - peer-reviewArticle

Model checking
Heuristic algorithms
Set theory
Costs
Experiments
5 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: Scientific - peer-reviewArticle

Fuzzy Logic
Fuzzy logic
Cells
Circadian Clocks
Drosophila melanogaster
Theorem proving
Model checking
Security systems
Industry
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. 24 Apr 2014 In : Osteoarthritis and cartilage. 22, suppl., p. S157-S157 1 p.

Research output: Scientific - peer-reviewArticle

Chondrocytes
Cartilage
Bone
Osteoarthritis
beta Catenin
10 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: Scientific - peer-reviewArticle

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: Scientific - peer-reviewArticle

Biological Models
Semantics
Signal Transduction
Power (Psychology)
Network components
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 16, 5, p. 481-491 10 p.

Research output: Scientific - peer-reviewArticle

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: Scientific - peer-reviewArticle

Algebra
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: Scientific - peer-reviewArticle

1 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: Scientific - peer-reviewArticle

Algebra

Towards explaining the speed of k-means

Manthey, B., van de Pol, J. C. (ed.), Raamsdonk, F. (ed.) & Stoelinga, M. I. A. (ed.) 2011 2011, p. 45-54 10 p.

Research output: ProfessionalArticle

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 6, 1-2, p. 83-90 8 p., 10.1007/s11334-009-0116-1

Research output: Scientific - peer-reviewArticle

Specification languages
2009
3 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 Advance Ac, 1, p. 45-62 18 p., 10.1093/logcom/exp004

Research output: Scientific - peer-reviewArticle

Data base
Hash functions
Specification languages
Bandwidth
Experiments
11 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 Advance Ac, 1, p. 23-44 22 p., 10.1093/logcom/exp003

Research output: Scientific - peer-reviewArticle

Decomposition
Parallel algorithms
Experimental study
Graph
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 11, 5, p. 375-392 18 p., 10.1007/s10009-009-0110-9

Research output: Scientific - peer-reviewArticle

Profitability
Specification languages
Model checking
Algebra
Scheduling

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 2009, p. 27-38 12 p.

Research output: ScientificArticle

Information retrieval
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 36, CFP08545-D/3, p. 7-16 10 p., 10.1145/1481506.1481510

Research output: Scientific - peer-reviewArticle

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: Scientific - peer-reviewArticle

Testing
Embedded software
Simulators
Semantics
Monitoring
2007
5 Citations

An abstract interpretation toolkit for μCRL

Valero Espada, M. & van de Pol, J. C. Jun 2007 30, LNCS4549/3, p. 249-273 25 p., 10.1007/s10703-006-0029-7

Research output: Scientific - peer-reviewArticle

Labels
Specifications
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: Scientific - peer-reviewArticle

Algebra