Photo of Jaco van de Pol

Jaco van de Pol

prof.dr.

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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 20 Similar Profiles
Model checking Engineering & Materials Science
Binary decision diagrams Engineering & Materials Science
Chondrocytes Medicine & Life Sciences
Parallel algorithms Engineering & Materials Science
Specification languages Engineering & Materials Science
Wavefronts Engineering & Materials Science
Specifications Engineering & Materials Science
Motion control Engineering & Materials Science

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

Research Output 2007 2018

Contract-based specification of embedded control systems

Oguz, O. 16 Feb 2018 Enschede. 216 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Specifications
Control systems
Model checking
Hybrid systems
Embedded systems
1 Citations

Multi-core symbolic bisimulation minimisation

Dijk, T. V. & Pol, J. V. D. Apr 2018 In : International journal on software tools for technology transfer. 20, 2, p. 157-177 21 p.

Research output: Contribution to journalArticle

Open Access
File
Markov processes
Binary decision diagrams
Algebra
Explosions
Data structures

Sound Black-Box Checking in the LearnLib

Meijer, J. & Pol, J. V. D. 11 Mar 2018 NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Dutle, A., Muñoz, C. A. & Narkawicz, A. (eds.). Cham: Springer, p. 349-366 18 p. (Lecture Notes in Computer Science; vol. 10811)

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

Open Access
File
Acoustic waves
Learning algorithms
Finite automata
Application programming interfaces (API)
Experiments

Distributed Binary Decision Diagrams for Symbolic Reachability

Oortwijn, W., Dijk, T. V. & Pol, J. V. D. Jul 2017 SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, p. 21-30 10 p.

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

Binary decision diagrams
Data storage equipment
Network performance
Parallel algorithms

Explicit State Model Checking with Generalized Büchi and Rabin Automata

Bloemen, V., Duret-Lutz, A. & Pol, J. V. D. Jul 2017 SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, p. 50-59 10 p.

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

Model checking
Set theory
Experiments

Activities 2017 2017

  • 1 Invited talk

Parallel Algorithms for Model Checking

van de Pol, J. C. (Speaker)
12 Sep 2017

Activity: Invited talk