Joost P. Katoen

prof.dr.ir.

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

Activities 1997 2004

  • 12 Oral presentation

Timed reachability in continuous-time Markov decision processes

Joost P. Katoen (Speaker)
29 Mar 2004

Activity: Talk or presentationOral presentation

MoDeST: From Theory to Industrial Experience

Joost P. Katoen (Speaker)
17 Sep 2004

Activity: Talk or presentationOral presentation

Model checking and performance evaluation: a perfect match

Joost P. Katoen (Speaker)
28 Mar 2004

Activity: Talk or presentationOral presentation

Model Checking Markov Chains

Joost P. Katoen (Speaker)
26 Nov 2002

Activity: Talk or presentationOral presentation

Markov Chain Model Checker

Joost P. Katoen (Speaker)
24 Aug 2002

Activity: Talk or presentationOral presentation

Automated performance and dependability evaluation using model checking

Joost P. Katoen (Speaker)
24 Sep 2002

Activity: Talk or presentationOral presentation

Specifying and analysing a plain-old telephone system

Joost P. Katoen (Invited speaker)
27 Nov 2000

Activity: Talk or presentationOral presentation

MoDeST: A Modelling Language for Stochastic Timed Systems

Joost P. Katoen (Invited speaker)
29 Nov 2000

Activity: Talk or presentationOral presentation

General distributions in process algebra (part 1)

Joost P. Katoen (Invited speaker)
20 Nov 2000

Activity: Talk or presentationOral presentation

HaaST: Verification of soft and hard timed systems

Joost P. Katoen (Invited speaker)
13 Oct 2000

Activity: Talk or presentationOral presentation

General distributions in process algebra (part 2)

Joost P. Katoen (Invited speaker)
22 Nov 2000

Activity: Talk or presentationOral presentation

The Bounded Retransmission Protocol Must Be on Time!

Joost P. Katoen (Invited speaker)
2 Apr 1997

Activity: Talk or presentationOral presentation