Joost P. Katoen

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.

2 Similar Profiles

Nutrition Engineering & Materials Science

Model checking Engineering & Materials Science

Fault tree analysis Engineering & Materials Science

Graph Rewriting Mathematics

Fault Tree Mathematics

Confluence Mathematics

Formal methods Engineering & Materials Science

Regular Expressions Mathematics

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

Research Output 1992 2018

4 Citations (Scopus)

70 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 proceeding › Conference contribution › Academic › peer-review

Open Access

File

Costs

Model checking

Scalability

2 Citations (Scopus)

4 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 proceeding › Conference contribution › Academic › peer-review

Open Access

File

Semantics

45 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 proceeding › Conference contribution › Academic › peer-review

Open Access

File

Data integration

Conditioning

Data Integration

Interoperability

Information management

112 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: Thesis › PhD Thesis - Research UT, graduation UT › Academic

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 proceeding › Chapter › Academic › peer-review

Fault tree analysis

Formal methods

Aerospace applications

Process engineering

Nuclear energy