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

Research Output 2007 2019

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
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
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
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)
122 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
23 Downloads (Pure)

A linear process-algebraic format for probabilistic systems with data (extended version)

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., 7 Apr 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-10-11)

Research output: Book/ReportReportAcademic

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

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
4 Downloads (Pure)

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking

Meijer, J. & van de Pol, J. C., 27 Nov 2015, arXiv.org, 17 p.

Research output: Working paperProfessional

Open Access
File
Model checking
Wavefronts
Bandwidth
Petri nets
Data storage equipment
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
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
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
58 Citations (Scopus)
8 Downloads (Pure)

Boosting Multi-Core Reachability Performance with Shared Hash Tables

Laarman, A., van de Pol, J. & Weber, M., 16 Apr 2010, Ithaca, NY: ArXiv. 25 p.

Research output: Book/ReportReportProfessional

Open Access
File
Model checking
Resource allocation
Program processors
Data structures
69 Downloads (Pure)

Bridging the Gap between Enumerative and Symbolic Model Checkers

Blom, S., van de Pol, J. C. & Weber, M., 5 Jun 2009, Enschede: Centre for Telematics and Information Technology (CTIT). 8 p. (CTIT Technical Report Series; no. TR-CTIT-09-30)

Research output: Book/ReportReportProfessional

File

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

10 Downloads (Pure)

Bug Hunting with False Negatives Revisited

Calame, J. R., Ioustinova, N., van de Pol, J. C. & Sidorova, N., Dec 2007, Amsterdam: Centrum voor Wiskunde en Informatica. 24 p. (Report Software Engineering; no. 7/SEN-R0708)

Research output: Book/ReportReportProfessional

Open Access
File
54 Downloads (Pure)

Choice and chance: model-based testing of stochastic behaviour

Gerhold, M., 12 Dec 2018, Enschede: University of Twente. 263 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Testing
Specification languages
Computer applications
Formal methods
Stochastic systems
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
65 Downloads (Pure)

Compositional Synthesis of Safety Controllers

Kuijper, W., 7 Dec 2012, Enschede: University of Twente. 184 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

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
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
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
18 Downloads (Pure)

Confluence reduction for Markov automata (extended version)

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A., Jun 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-13-14)

Research output: Book/ReportReportProfessional

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
10 Downloads (Pure)

Confluence Reduction for Probabilistic Systems (extended version)

Timmer, M., Stoelinga, M. I. A. & van de Pol, J. C., 10 Nov 2010, Ithaca, NY, USA: ArXiv e-prints, 28 p.

Research output: Working paperProfessional

Open Access
File
164 Downloads (Pure)

Contract-based specification of embedded control systems

Oguz, O., 16 Feb 2018, Enschede: University of Twente. 216 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Specifications
Control systems
Model checking
Hybrid systems
Embedded systems
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

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
5 Citations (Scopus)
38 Downloads (Pure)

Distributed Branching Bisimulation Minimization by Inductive Signatures

Blom, S. & van de Pol, J. C., 9 Oct 2009, Enschede: Formal Methods and Tools (FMT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-09-37)

Research output: Book/ReportReportProfessional

File
9 Citations (Scopus)
52 Downloads (Pure)

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

Blom, S., Haverkort, B. R. H. M., Kuntz, G. W. M. & van de Pol, J. C., 3 Dec 2008, Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation. Černá, I. & Lüttgen, G. (eds.). Amsterdam: Elsevier, p. 35-50 16 p. 10.1016/j.entcs.2008.11.012. (Electronic Notes in Theoretical Computer Science; vol. 220, no. 2).

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

File
19 Downloads (Pure)

ECHO: the executable chondrocyte

Scholma, J., Schivo, S., Kerkhofs, J., Langerak, R., Karperien, H. B. J., van de Pol, J. C., Geris, L. & Post, J. N., 9 Jun 2014, Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting. Malden: Wiley, p. 54-54 1 p. (s1; vol. 8).

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

File
28 Downloads (Pure)

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games

Kant, G. & van de Pol, J. C., Apr 2012, First Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2012). Wijs, A. J., Bošnački, D. & Edelkamp, S. (eds.). EPTCS, p. 50-65 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 99).

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

File
90 Downloads (Pure)

Efficient learning and analysis of system behavior

Meijer, J., 20 Sep 2019, Enschede: University of Twente. 201 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Specifications
Temporal logic
Testing
Learning algorithms
194 Downloads (Pure)

Efficient Modelling, Generation and Analysis of Markov Automata

Timmer, M., 13 Sep 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 340 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
33 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., Sep 2012, CONCUR 2012 - Concurrency Theory: 23rd International Conference. Koutny, M. & Ulidowski, I. (eds.). Berlin, Heidelberg: Springer, p. 364-379 16 p. (Lectures Notes in Computer Science; vol. 7454).

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

Open Access
File
Specifications
Syntactics
Linearization
Chemical analysis
26 Citations (Scopus)
34 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 31 Mar 2012, 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012. Pisa: Istituto di Scienza e Tecnologie dell'Informazione, p. - 4 p.

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

File
18 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata (extended version)

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 11 Jun 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 35 p. (CTIT Technical Report Series; no. TR-CTIT-12-16)

Research output: Book/ReportReportAcademic

File