Joost P. Katoen

prof.dr.ir.

1992 …2018
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Joost P. Katoen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 4 Similar Profiles
Model checking Engineering & Materials Science
Performability Mathematics
Nutrition Engineering & Materials Science
Model Checking Mathematics
Fault tree analysis Engineering & Materials Science
Graph Rewriting Mathematics
Reward Mathematics
Fault Tree Mathematics

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

Research Output 1992 2018

4 Citations (Scopus)
80 Downloads (Pure)

Multi-cost Bounded Reachability in MDP

Hartmanns, A., Junges, S., Katoen, J-P. & Quatmann, T., 2018, Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). 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 contributionAcademicpeer-review

Open Access
File
Costs
Model checking
Scalability
2 Citations (Scopus)
11 Downloads (Pure)

One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs

Junges, S., Katoen, J. P., Stoelinga, M. I. A. & Volk, M., 8 May 2018, Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Khomenko, V. & Roux, O. H. (eds.). Cham: Springer, p. 272-293 22 p. (Lecture notes in computer science; vol. 10877).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Semantics
53 Downloads (Pure)

Rule-based conditioning of probabilistic data

van Keulen, M., Kaminski, B., Matheja, C. & Katoen, J. P., 1 Jan 2018, Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Ciucci, D., Pasi, G. & Vantaggi, B. (eds.). Springer, p. 290-305 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11142 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Data integration
Conditioning
Data Integration
Interoperability
Information management
125 Downloads (Pure)

Zen and the Art of Railway Maintenance: Analysis and Optimization of Maintenance via Fault Trees and Statistical Model Checking

Ruijters, E. J. J., May 2018, Enschede: University of Twente. 272 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Statistical Models
Costs
Inspection
Repair
1 Citation (Scopus)
2 Downloads (Pure)

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 proceedingChapterAcademicpeer-review

Fault tree analysis
Formal methods
Aerospace applications
Process engineering
Nuclear energy

Prizes

Beste paper award

Maurice van Keulen (Recipient), Benjamin Kaminski (Recipient), Christoph Matheja (Recipient) & Joost P. Katoen (Recipient), 4 Oct 2018

Prize

Uncertainty

Activities 1996 2017

  • 16 Oral presentation
  • 1 Organising a conference, workshop, ...

Symposium on Model-Ed, Test-Ed, Trust-Ed in honour of Ed Brinksma on the occasion of his 60th birthday, 2017

Joost P. Katoen (Organiser), Rom Langerak (Organiser), Arend Rensink (Organiser)
17 Oct 2017

Activity: Participating in or organising an eventOrganising a conference, workshop, ...

Timed reachability in continuous-time Markov decision processes

Joost P. Katoen (Speaker)
29 Mar 2004

Activity: Talk or presentationOral presentation

Model checking and performance evaluation: a perfect match

Joost P. Katoen (Speaker)
28 Mar 2004

Activity: Talk or presentationOral presentation

MoDeST: From Theory to Industrial Experience

Joost P. Katoen (Speaker)
17 Sep 2004

Activity: Talk or presentationOral presentation

MoDeST: From Theory to Industrial Experience

Joost-Pieter Katoen (Invited speaker)
4 Sep 2004

Activity: Talk or presentationOral presentation