No photo of Joost P. Katoen

Joost P. Katoen

prof.dr.ir.

1992 …2018
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 research documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Engineering & Materials Science

Model checking
Markov processes
Algebra
Semantics
Nutrition
Specifications
Fault tree analysis
Random processes
Chemical analysis
Distribution functions
Specification languages
Formal methods
Data integration
Temporal logic
Transient analysis
Scalability
Synchronization
Formal logic
Network protocols
Parallel algorithms
Competitive intelligence
Describing functions
Epidemiology
Aerospace applications
Mobile computing
Costs
Directed graphs
Process engineering
Explosions
Bioinformatics
Semantic Web
Computer programming
Information retrieval
Petri nets
Systems analysis
Availability
Nuclear energy
Probability distributions
Computer hardware
Industry
Cryptography
Learning systems
Equivalence classes
Computational complexity
Energy dissipation

Mathematics

Performability
Model Checking
Reward
Markov chain
Logic
Process Algebra
Continuous-time Markov Chain
Graph Rewriting
Automata
Automatic Verification
Fault Tree
Confluence
Regular Expressions
Temporal Logic
Specification
Path
Stochastic Systems
State Space
Counterexample
Synchronization
Stochastic Process Algebra
Bisimulation
Model
Discrete Event Systems
Likelihood
Explosion
Contention
Timed Automata
Combinatorial argument
Leader Election
Queuing Networks
Stochastic Petri Nets