Joost-Pieter Katoen

Activities

Activities per year 1993 1996 1999 2000 2002 2004 2017

• 29 Oral presentation
• 6 Invited talk
• 1 Organising a conference, workshop, ...

Activities per year

Search results

• Model checking Markov chains

  Katoen, J. P. (Speaker)

  6 Mar 2003

  Activity: Talk or presentation › Invited talk

• Towards model checking stochastic process algebra

  Katoen, J. P. (Keynote speaker)

  3 Nov 2000

  Activity: Talk or presentation › Invited talk

• Model checking CTMCs by using transient analysis

  Katoen, J. P. (Invited speaker)

  6 Dec 1999

  Activity: Talk or presentation › Invited talk

• Model checking Markov chains

  Katoen, J. P. (Invited speaker)

  11 Oct 1999

  Activity: Talk or presentation › Invited talk

• Model checking Markov chains

  Katoen, J. P. (Keynote speaker)

  9 Sept 1999

  Activity: Talk or presentation › Invited talk

• Modeling and Verifying a Bounded Retransmission Protocol

  Katoen, J. P. (Invited speaker)

  28 Oct 1996

  Activity: Talk or presentation › Invited talk