Research Output 2007 2018

Filter
Article
2017
1 Citations

Multi-core symbolic bisimulation minimisation

Dijk, T. V. & Pol, J. V. D. 2 Aug 2017 In : International journal on software tools for technology transfer. 21 p.

Research output: Scientific - peer-reviewArticle

Markov processes
Binary decision diagrams
Algebra
Explosions
Data structures
1 Citations

Sylvan: multi-core framework for decision diagrams

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

Research output: Scientific - peer-reviewArticle

Binary decision diagrams
Model checking
Parallel algorithms
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
2 Citations

Guard-based partial-order reduction

Laarman, A., Pater, E., van de Pol, J. C. & Hansen, H. Aug 2016 In : International journal on software tools for technology transfer. 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
Circadian Clocks
Cells
Drosophila melanogaster
Theorem proving
Model checking
Security systems
Industry
2014
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
Network components
Signal transduction
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: 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
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: Scientific - peer-reviewArticle

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

Hash functions
Specification languages
Bandwidth
Experiments
Data base
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 In : Journal of logic and computation. 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 In : International journal on software tools for technology transfer. 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 In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 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 In : SIGMETRICS performance evaluation review. 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 In : Formal methods in system design. 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