Jaco van de Pol - Business controller Covebo Productie & Logistiek - House of Covebo | LinkedIn
PDF) Sound black-box checking in the LearnLib
Explicit State Model Checking with Generalized Büchi and Rabin Automata
Abstraction of parallel uniform processes with data
PDF) Solving satisfiability of ground term algebras using DPLL and unification | Hans Zantema - Academia.edu
Jaco van de Pol — University of Twente Research Information
Vidéothèque de l'UL - Jaco Van De Pol : Explainable Verification O…
Setting Parameters for Biological Models With ANIMO
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile
Jaco van de Pol - SPIN 2021
Kit van hi-res stock photography and images - Alamy
Model Checking with Generalized Rabin and Fin-less automata
From Symbolic Verification To Domain Specific Languages
Explicit State Model Checking with Generalized Büchi and Rabin Automata
arXiv:2104.12101v5 [cs.DS] 4 Jan 2023
Symbolic Model Checking using Zero-suppressed Decision Diagrams
Australia reach Davis Cup semis by beating the Netherlands | Arab News
Multi-Core On-The-Fly SCC Decomposition
Relational Nullable Types with Boolean Unification
jaco van de pol, INVITATION Inaugural of Professor Jaco van de Pol - ciclomobilidade.org
Award: Teacher of the year 2019
Proof reflection in Coq
Conformance Testing of Cyber-Physical Systems: A Comparative Study
Full Curriculum Vitae – Jaco van de Pol – November 2021
