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.

  • 16 Similar Profiles
Model checking Engineering & Materials Science
Binary decision diagrams Engineering & Materials Science
Chondrocytes Medicine & Life Sciences
Parallel algorithms Engineering & Materials Science
Temporal logic Engineering & Materials Science
Specification languages Engineering & Materials Science
Markov processes Engineering & Materials Science
Wavefronts 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

Maximizing Synchronization for Aligning Observed and Modelled Behaviour

Bloemen, V., van Zelst, S. J., van der Aalst, W. M. P., van Dongen, B. F. & van de Pol, J. 2018 Business Process Management: 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings. Weske, M., Montali, M., vom Brocke, J. & Weber, I. (eds.). Cham: Springer International, Vol. 11080, p. 233-249 17 p.

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

Synchronization
Cost functions
Industry

Multi-core Decision Diagrams

van Dijk, T. & van de Pol, J. 2018 Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 509-545 37 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Decision Diagrams
Data structures
Model checking
Algorithms and Data Structures
Automated Reasoning
1 Citations

Multi-core symbolic bisimulation minimisation

van Dijk, T. & van de Pol, J. 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

Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Barnat, J., Bloemen, V., Duret-Lutz, A., Laarman, A., Petrucci, L., van de Pol, J. & Renault, E. 2018 Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 457-507 51 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Temporal logic
Model checking
Temporal Logic
Model Checking
Linear Time

Prizes

Best Paper Award SPIN 2017

Wytse Hendrikus Marinus Oortwijn (Recipient), Tom van Dijk (Recipient) & Jan Cornelis van de Pol (Recipient), 14 Jul 2017

Prize: Honorary award

trucks
diagrams

Activities 2017 2017

  • 1 Invited talk

Parallel Algorithms for Model Checking

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

Activity: Invited talk