← Back to directory
Joost-Pieter Katoen
Researcher Next ID · RN-000217
Professor · Computer Science
Aachen, Germany
Not currently recruitingFunding unknown
- Works count
- 645
- Citation count
- 19,299
- H-index
- 61
- i10-index
- 268
About
645 publications and 19,299 citations recorded on OpenAlex.
Research interests
Computer Science
Formal Methods in Verification
Software Reliability and Analysis Research
Petri Nets in System Modeling
Software Testing and Debugging Techniques
Logic, programming, and type systems
Publications
A Storm is Coming: A Modern Probabilistic Model Checker
Lecture notes in computer science · 2017 · 10.1007/978-3-319-63390-9_31
The ins and outs of the probabilistic model checker MRMC
Performance Evaluation · 2010 · 10.1016/j.peva.2010.04.001
Principles of Model Checking
Journal · 2008
Principles of Model Checking (Representation and Mind Series)
The MIT Press eBooks · 2008
Model-checking algorithms for continuous-time markov chains
IEEE Transactions on Software Engineering · 2003 · 10.1109/tse.2003.1205180
Current projects
No projects listed.