Confluence reduction for probabilistic systems
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
People and visitors
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
ICFEM 2018
New colleagues - 2019
Logic and Semantics
UPPAAL in Practice: Quantitative Verification of a RapidIO Network⋆
ICFEM 2018
Logic and Semantics
Download complete Report 2008 (Pdf format) - Faculty of Natural ...
11 papers accepted at OOPSLA & POPL
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
CPV
III. Histoire par époques - Geschiedenis in tijdvakken - Persée
Jaco van de Pol
ICFEM 2018
CS Colloquium - Jaco van de Pol: Automated Verification: can Brute Force be Smart?
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Department of Computer Science, Aarhus University | LinkedIn
Logic and Semantics
Dr. Jaco van de Pol is appointed Group Leader of SEN2
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
