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

Research Output 2007 2019

2014
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
7 Citations (Scopus)
54 Downloads (Pure)

Generating and Solving Symbolic Parity Games

Kant, G. & van de Pol, J. C., Apr 2014, Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014). EPTCS, p. 2-14 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 159).

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

File
156 Downloads (Pure)

JTorX: Exploring Model-Based Testing

Belinfante, A., 18 Sep 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 324 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
14 Citations (Scopus)
224 Downloads (Pure)

Lace: non-blocking split deque for work-stealing

van Dijk, T. & van de Pol, J. C., Aug 2014, Proceedings of the 7th International Euro-Par Workshop on Multi-/Many-core Computing Systems, MuCoCoS 2014. Switzerland: Springer, p. 206-217 12 p. (Lecture Notes in Computer Science; vol. 8806).

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

File
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

4 Downloads (Pure)

Preface

Huisman, M. & van de Pol, J., Sep 2014, Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014). Huisman, M. & van de Pol, J. (eds.). Berlin: European Association of Software Science and Technology, p. 1-3 3 p. (Electronic Communications of the EASST; vol. 70).

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

Open Access
File
Theorem proving
Surface mount technology
Model checking
Industry
50 Downloads (Pure)

Qualitative and quantitative information flow analysis for multi-threaded programs

Ngo, M. T., 17 Apr 2014, Enschede: Universiteit Twente. 180 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Program processors
Security of data
Information systems
Computer systems
Scheduling
13 Citations (Scopus)
32 Downloads (Pure)

Read, Write and Copy Dependencies for Symbolic Model Checking

Meijer, J., Kant, G., Blom, S. & van de Pol, J. C., Nov 2014, Proceedings of the 10th International Haifa Verification Conference, HVC 2014. Berlin: Springer, p. 204-219 16 p. (Lecture Notes in Computer Science; vol. 8855).

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

File
26 Downloads (Pure)

Resource-constrained optimal scheduling of SDF graphs via timed automata (extended version)

Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., 21 Jan 2014, Enschede, the Netherlands: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT technical reports; no. TR-CTIT-13-17)

Research output: Book/ReportReportOther research output

File
11 Citations (Scopus)
58 Downloads (Pure)

Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata

Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., 21 Jan 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT Technical Report Series; no. TR-CTIT-13-17)

Research output: Book/ReportReportProfessional

File
20 Downloads (Pure)

Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata

Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., Jun 2014, Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD 2014). USA: IEEE Computer Society, p. 72-81 8 p.

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

File
155 Downloads (Pure)

Scalable multi-core model checking

Laarman, A., 9 May 2014, Enschede: University of Twente. 368 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
6 Citations (Scopus)
32 Downloads (Pure)

Setting Parameters for Biological Models With ANIMO

Schivo, S., Scholma, J., Karperien, H. B. J., Post, J. N., van de Pol, J. C. & Langerak, R., 8 Apr 2014, Proceedings 1st International Workshop on Synthesis of Continuous Parameters. André, É. & Frehse, G. (eds.). Open Publishing Association, p. 35-47 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 145).

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

File
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

2013
32 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
21 Citations (Scopus)
35 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
181 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
8 Citations (Scopus)
195 Downloads (Pure)

Guard-based Partial-Order Reduction

Laarman, A., Pater, E., van de Pol, J. C. & Weber, M., 8 Jul 2013, Proceedings of the 20th International SPIN Symposium on Model Checking of Software, SPIN 2013. Bartocci, E. & Ramakrishnan, C. R. (eds.). London: Springer, p. 227-245 18 p. (Lecture Notes in Computer Science; vol. 7976).

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

File

Mathematical modeling of signaling pathways in osteoarthritis

Scholma, J., Kerkhofs, J., Schivo, S., Langerak, R., van der Vet, P. E., Karperien, H. B. J., van de Pol, J. C., Geris, L. & Post, J. N., 19 Apr 2013, 2013 Osteoarthritis Research Society International (OARSI) World Congress. Lohmander, S. (ed.). Amsterdam: Elsevier, p. - 1 p. (S123; vol. 21, no. Suppl.).

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

16 Citations (Scopus)
14 Downloads (Pure)

Multi-core emptiness checking of timed Büchi automata using inclusion abstraction

Laarman, A., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & van de Pol, J., 13 Jul 2013, Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Sharygina, N. & Veith, H. (eds.). London: Springer, p. 968-983 18 p. (Lecture Notes in Computer Science; vol. 8044).

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

Model checking
Carrier sense multiple access
Scalability
Structural properties
2012
7 Citations (Scopus)
62 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
61 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
27 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
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
31 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
17 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
35 Citations (Scopus)
171 Downloads (Pure)

Improved Multi-Core Nested Depth-First Search

Evangelista, S., Laarman, A., Petrucci, L. & van de Pol, J. C., 3 Oct 2012, Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012. Ramesh, S. (ed.). London: Springer, p. 269-283 15 p. (Lecture Notes in Computer Science; vol. 7561).

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

File
10 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., Nov 2012, 2012 IEEE 12th International Conference on Bioinformatics and Bioengineering (BIBE 2012). IEEE Computer Society, p. 447-453 7 p.

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

Crosstalk
Reaction kinetics
User interfaces
Semantics
Engines
7 Citations (Scopus)
24 Downloads (Pure)

Multi-core and/or symbolic model checking

van Dijk, T., Laarman, A. & van de Pol, J. C., Sep 2012, 12th International Workshop on Automated Verification of Critical Systems, AVoCS 2012. Luettgen, G. & Merz, S. (eds.). Berlin: European Association for the Study of Science and Technology, 7 p. 773. (Electronic Communications of the EASST; vol. 53).

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

Open Access
File
Model checking
Specification languages
Data storage equipment
13 Citations (Scopus)
38 Downloads (Pure)

Multi-Core BDD Operations for Symbolic Reachability

van Dijk, T., Laarman, A. & van de Pol, J. C., 17 Sep 2012, 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012. Heljanko, K. & Knottenbelt, W. J. (eds.). Amsterdam: Elsevier, p. 127-143 18 p. (Electronic Notes in Theoretical Computer Science; vol. 296).

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

File
13 Citations (Scopus)
41 Downloads (Pure)

Multi-Core Reachability for Timed Automata

Dalsgaard, A., Laarman, A., Larsen, K. G., Olesen, M. C. & van de Pol, J. C., 18 Sep 2012, 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012. Jurdzinski, M. & Nickovic, D. (eds.). London: Springer, p. 91-106 16 p. (Lecture Notes in Computer Science; vol. 7595).

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

File
2011
1 Citation (Scopus)
78 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
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

13 Citations (Scopus)
54 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
33 Citations (Scopus)
17 Downloads (Pure)

Multi-Core LTSmin: Marrying Modularity and Scalability

Laarman, A., van de Pol, J. C. & Weber, M., Jul 2011, Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011. Bobaru, M., Havelund, K., Holzmann, G. J. & Joshi, R. (eds.). Berlin: Springer, p. 506-511 6 p. (Lecture Notes in Computer Science; vol. 6617).

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

File
26 Citations (Scopus)
147 Downloads (Pure)

Multi-Core Nested Depth-First Search

Laarman, A., Langerak, R., van de Pol, J. C., Weber, M. & Wijs, A., 8 Jul 2011, Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011. Bultan, T. & Hsiung, P-A. (eds.). London: Springer, p. 321-335 15 p. (Lecture Notes in Computer Science; vol. 6996).

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

File
2 Citations (Scopus)
11 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
65 Downloads (Pure)

Parallel Recursive State Compression for Free

Laarman, A., van de Pol, J. C. & Weber, M., 14 Jul 2011, Proceedings of the 18th International SPIN Workshop, SPIN 2011. Groce, A. & Musuvathi, M. (eds.). berlin: Springer, p. 38-56 18 p. (Lecture Notes in Computer Science; vol. 6823).

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

File
23 Citations (Scopus)
7 Downloads (Pure)

Parallel Recursive State Compression for Free

Laarman, A., van de Pol, J. C. & Weber, M., 15 Apr 2011, Ithaca, NY: ArXiv. 19 p.

Research output: Book/ReportReportProfessional

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

Variations on Multi-Core Nested Depth-First Search

Laarman, A. & van de Pol, J. C., 14 Jul 2011, Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011. Barnat, J. & Heljanko, K. (eds.). USA: EPTCS, p. 13-28 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 72).

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

Open Access
File
Parallel algorithms
Model checking
Statistical Models
2010
5 Citations (Scopus)
115 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
57 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
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
32 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
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
4 Citations (Scopus)
78 Downloads (Pure)

From POOSL to UPPAAL: Transformation and Quantitative Analysis

Xing, J. S., Theelen, B. D., Langerak, R., van de Pol, J. C., Tretmans, G. J. & Voeten, J. P. M., Jun 2010, 10 International Conference on Application of Concurrency to System Design: proceedings : 21-25 June 2010, Braga, Portugal. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE Computer Society Press, p. 47-56 10 p.

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

File
Specification languages
Motion control
Control systems
Chemical analysis
Model checking
73 Citations (Scopus)
79 Downloads (Pure)

LTSmin: Distributed and Symbolic Reachability

Blom, S., van de Pol, J. C. & Weber, M., 9 Jul 2010, Computer Aided Verification. Touili, T., Cook, B. & Jackson, P. (eds.). Berlin: Springer, p. 354-359 6 p. 10.1007/978-3-642-14295-6_31. (Lecture Notes in Computer Science; vol. 6174).

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

File