Research Output per year
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 proceeding › Conference contribution
Open Access
File
Costs
Model checking
Scalability
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: Thesis › PhD Thesis - Research UT, graduation UT
Open Access
File
Model checking
Statistical Models
Costs
Inspection
Repair
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
Fault tree analysis
Formal methods
Aerospace applications
Process engineering
Nuclear energy
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-703Research output: Contribution to journal › Article
Graph Rewriting
Fault Tree
Nutrition
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/Report › Book editing
Open Access
File
Birthday
Formal Methods
Festschrift
Mathematics
Language Modeling
Activities 1997 2004
- 5 Oral presentation
Timed reachability in continuous-time Markov decision processes
Katoen, J. P. (Speaker)29 Mar 2004
Activity: Oral presentation
Model checking and performance evaluation: a perfect match
Katoen, J. P. (Speaker)28 Mar 2004
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