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

Personal profile

Education/Academic qualification

PhD, Utrecht University

Master, Utrecht University

External positions

Professor of Computer Science, Aarhus University

1 Nov 2018 → …

Fingerprint Dive into the research topics where Jaco van de Pol is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 12 Similar Profiles
Model checking Engineering & Materials Science
Binary decision diagrams Engineering & Materials Science
Temporal logic Engineering & Materials Science
Parallel algorithms Engineering & Materials Science
Specification languages Engineering & Materials Science
Data structures Engineering & Materials Science
Formal methods Engineering & Materials Science
Experiments Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2007 2019

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

Strong Connectivity and Shortest Paths for Checking Models

Bloemen, V., 10 Jul 2019, Enschede. 264 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Decomposition
Cost functions
Directed graphs
Data structures
3 Citations (Scopus)
16 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
62 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
174 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

Prizes

Best Paper Award SPIN 2017

Wytse H.M. Oortwijn (Recipient), Tom van Dijk (Recipient) & Jaco van de Pol (Recipient), 14 Jul 2017

Prize: Honorary award

trucks
diagrams

Best Student Paper Award

Vincent Bloemen (Recipient), Sebastiaan van Zelst (Recipient), Wil van der Aalst (Recipient), Boudewijn van Dongen (Recipient) & Jaco van de Pol (Recipient), 2018

Prize

Students

Activities 2017 2017

  • 1 Invited talk

Parallel Algorithms for Model Checking

Jaco van de Pol (Speaker)
12 Sep 2017

Activity: Talk or presentationInvited talk