Find

Til studerende
Til ph.d.ere
Til medarbejdere

Institut for Datalogi

Aarhus Universitets segl

Jaco van de Pol

Professor

Jaco van de Pol

Institut for Datalogi
Åbogade 34
8200 Aarhus N
Danmark
jaco@cs.au.dk

ORCID: 0000-0003-4305-0625

Forskningsområder

Ingeniørvidenskab > Electrical and Computer Engineering > Formal methods
Ingeniørvidenskab > Electrical and Computer Engineering > Formal verification
It, datalogi og matematik > Softwaresystemer > Softwarespecifikation og -verifikation
It, datalogi og matematik > Teoretisk datalogi > Design og analyse af algoritmer og datastrukturer

Profil

Supplerende Hjemmeside:

https://cs.au.dk/~jaco/

Seneste publikationer

Udgivet
Efficient Convex Zone Merging in Parametric Timed Automata
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Udgivet
Exploring a Parallel SCC Algorithm: Using TLA ⁺ and the TLC Model Checker
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Udgivet
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Vis alle (31) »

ID: 129663057