Joost P. Katoen — University of Twente Research Information

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.

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

2 Citations (Scopus)

52 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

1 Citation (Scopus)

2 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

30 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

95 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

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