No photo of Joost P. Katoen

Joost P. Katoen

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

  • 4 Similar Profiles
Model checking Engineering & Materials Science
Performability Mathematics
Markov processes Engineering & Materials Science
Algebra Engineering & Materials Science
Model Checking Mathematics
Semantics Engineering & Materials Science
Nutrition Engineering & Materials Science
Reward Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1992 2018

Multi-cost Bounded Reachability in MDP

Hartmanns, A., Junges, S., Katoen, J-P. & Quatmann, T. 2018 Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II. Beyer, D. & Huisman, M. (eds.). Cham: Springer, p. 320-339 20 p. (Lecture Notes in Computer Science; vol. 10806)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Model checking
Open Access
Model checking
Statistical Models

Boosting Fault Tree Analysis by Formal Methods

Katoen, J. P. & Stoelinga, M. I. A. 15 Oct 2017 ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). p. 368-380 (Lecture notes in computer science; vol. 10500)

Research output: Chapter in Book/Report/Conference proceedingChapter

Fault tree analysis
Formal methods
Aerospace applications
Process engineering
Nuclear energy
4 Citations

Fault trees on a diet: automated reduction by graph rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. 2017 In : Formal aspects of computing. 29, 4, p. 651-703

Research output: Contribution to journalArticle

Graph Rewriting
Fault Tree
Directed graphs
Reliability Modeling

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Katoen, J-P., Langerak, R. & Rensink, A. 2017 Springer. 390 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: Book/ReportBook editing

Open Access
Formal Methods
Language Modeling

Activities 1997 2004

  • 5 Oral presentation

Model checking and performance evaluation: a perfect match

Katoen, J. P. (Speaker)
28 Mar 2004

Activity: Oral presentation

Markov Chain Model Checker

Katoen, J. P. (Speaker)
24 Aug 2002

Activity: Oral presentation

HaaST: Verification of soft and hard timed systems

Katoen, J. P. (Invited speaker)
13 Oct 2000

Activity: Oral presentation

The Bounded Retransmission Protocol Must Be on Time!

Katoen, J. P. (Invited speaker)
2 Apr 1997

Activity: Oral presentation