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.

  • 16 Similar Profiles
Model checking Engineering & Materials Science
Markov processes Engineering & Materials Science
Petri nets Engineering & Materials Science
Specifications Engineering & Materials Science
Semantics Engineering & Materials Science
Bisimulation Mathematics
Chemical analysis Engineering & Materials Science
Experiments Engineering & Materials Science

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

Research Output 1992 2017

Fault trees on a diet: automated reduction by graph rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. I. A. 2017 53 p.

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

Reliable systems: fault tree analysis via Markov reward automata

Guck, D. 23 Mar 2017 Enschede. 228 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Hardware
Preventive maintenance
Maintainability
Availability

Reliable systems - Fault tree analysis via Markov reward automata

Guck, D. 23 Mar 2017 222 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Hardware
Preventive maintenance
Maintainability
Availability
2 Citations

Confluence reduction for Markov automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A. 6 Dec 2016 In : Theoretical computer science. 655, B, p. 193-219 27 p.

Research output: Scientific - peer-reviewArticle

Explosions
Specifications

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