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.
- 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-review › Conference 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: Scientific › PhD 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-review › Chapter
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-703Research output: Scientific - peer-review › Article
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: Scientific › Book 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
Timed reachability in continuous-time Markov decision processes
Katoen, J. P. (Speaker)29 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