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.

  • 10 Similar Profiles
Model checking Engineering & Materials Science
Markov processes Engineering & Materials Science
Petri nets Engineering & Materials Science
Bisimulation Mathematics
Semantics Engineering & Materials Science
Specifications Engineering & Materials Science
Formal methods Engineering & Materials Science
Reachability 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: Scientific - peer-reviewConference contribution

Costs
Model checking

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. 272 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Costs
Inspection
Repair
Availability

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: Scientific - peer-reviewChapter

Formal methods
Fault tree analysis
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: Scientific - peer-reviewArticle

Directed graphs
Nutrition
Scalability
Experiments

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: ScientificBook editing

Formal methods
Terminology
Computer science
Dynamical systems
Semantics

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