No photo of Joost P. Katoen

Joost P. Katoen

prof.dr.ir.

1992 …2018
If you made any changes in Pure these will be visible here soon.

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