KNAW

Back to search results
Prof.dr. J.C. van de Pol Person

Prof.dr. J.C. van de Pol

Pagina-navigatie:


Update Persondata


Export page
Expertise Model checking; Informatics; Reliability analysis; communication protocols; computer science; Dependability; Embedded systems; Formal methods; Programming languages; Game Theory; Mathematical programming; Model-based performance-analysis; Real-time embedded control systems; Software engineering; System verification; Algorithmic Game Theory; Formal languages theory
Expertise (NL) Model checking; Informatica; Betrouwbaarheidsanalyse; Communicatieprotocollen; Computer Science; Dependability; Embedded systemen; Formele methoden; Programmeertalen; Game Theory; Mathematisch programmeren; Model-gebaseerde prestatie-analyse; Real-time embedded regelsystemen; Software engineering; Systeemverificatie; Algorithmic Game Theory; Formele talen theorie
Digital Author ID info:eu-repo/dai/nl/109716922

Active as

Programm leader / Group leader
Organisation Centrum Wiskunde & Informatica (CWI), the national research center for mathematics and computer science in the Netherlands (NWO)
Phone +31-20-5924137
Email Jaco. van. de. Pol -at- cwi. nl
URL http://homepages.cwi.nl/~vdpol/
Professor
Organisation Chair Formal Methods and Tools (UT)
Chair (EN) Formal Methods and Tools
Chair (NL) Formal Methods and Tools
Phone +31-53-4893017
Email jaco. vandepol -at- utwente. nl
URL http://wwwhome.cs.utwente.nl/~vdpol/

Publications

(the most recent at the top)
Confluence reduction for Markov automata
Multi-core emptiness checking of timed Büchi automata using inclusion abstraction
Modelling biological pathway dynamics with Timed Automata
Improved Multi-Core Nested Depth-First Search
Multi-Core BDD Operations for Symbolic Reachability
All publications..

Enhanced publications

(the most recent at the top)
Doctoral Thesis: What to do next? Analysing and optimising system behaviour in time

Current research

(the most recent research is at the top)
Project leader Multi-Core Decision Diagrams
Supervisor Model-driven design of dependable software intensive embedded systems
Supervisor Security by logic for multithreaded applications
Supervisor Symbolic Translation of Stochastic Processes

Completed research projects

(the most recent research is at the top)
Supervisor Multi-core model checking
Project leader INESS: Integrated European Signalling System
Project leader EC-MOAN: Scalable Modelling and Analysis Techniques to study Emergent Cell Behaviour ? understanding the E. coli stress response
Project leader Formal Methods
Supervisor Modeling control aspects of embedded systems
All completed research..

Classification

D11000 Mathematics
D16000 Computer science

Go to page top
Go back to contents
Go back to site navigation