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

• Symposium on Model-Ed, Test-Ed, Trust-Ed in honour of Ed Brinksma on the occasion of his 60th birthday, 2017

  Katoen, J. P. (Organiser), Langerak, R. (Organiser) & Rensink, A. (Organiser)

  17 Oct 2017

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Timed reachability in continuous-time Markov decision processes

  Katoen, J. P. (Speaker)

  29 Mar 2004

  Activity: Talk or presentation › Oral presentation

• Model checking and performance evaluation: a perfect match

  Katoen, J. P. (Speaker)

  28 Mar 2004

  Activity: Talk or presentation › Oral presentation

• MoDeST: From Theory to Industrial Experience

  Katoen, J. P. (Speaker)

  17 Sept 2004

  Activity: Talk or presentation › Oral presentation

• MoDeST: From Theory to Industrial Experience

  Katoen, J.-P. (Invited speaker)

  4 Sept 2004

  Activity: Talk or presentation › Oral presentation

• MoDeST: From Theory to Industrial Experience

  Katoen, J. P. (Speaker)

  14 Oct 2004

  Activity: Talk or presentation › Oral presentation

• Performability assessment using model checking

  Katoen, J. P. (Speaker)

  4 Feb 2003

  Activity: Talk or presentation › Oral presentation

• Model checking Markov chains

  Katoen, J. P. (Speaker)

  6 Mar 2003

  Activity: Talk or presentation › Invited talk

• Automated performance and dependability evaluation using model checking

  Katoen, J. P. (Speaker)

  24 Sept 2002

  Activity: Talk or presentation › Oral presentation

• Model Checking Markov Chains

  Katoen, J. P. (Speaker)

  26 Nov 2002

  Activity: Talk or presentation › Oral presentation

• Markov Chain Model Checker

  Katoen, J. P. (Speaker)

  24 Aug 2002

  Activity: Talk or presentation › Oral presentation

• Verification of Embedded Systems Software

  Katoen, J. P. (Speaker)

  22 May 2002

  Activity: Talk or presentation › Oral presentation

• Model Checking Birth and Death

  Katoen, J. P. (Speaker)

  6 Jun 2002

  Activity: Talk or presentation › Oral presentation

• Probabilistic methods in concurrency

  Hillston, J. (Speaker) & Katoen, J. P. (Speaker)

  25 Jun 2001

  Activity: Talk or presentation › Oral presentation

• Analysing Markov Chains by Model Checking

  Katoen, J. P. (Speaker)

  30 Mar 2001

  Activity: Talk or presentation › Oral presentation

• Towards model checking stochastic process algebra

  Katoen, J. P. (Keynote speaker)

  3 Nov 2000

  Activity: Talk or presentation › Invited talk

• MoDeST: A Modelling Language for Stochastic Timed Systems

  Katoen, J. P. (Invited speaker)

  29 Nov 2000

  Activity: Talk or presentation › Oral presentation

• Specifying and analysing a plain-old telephone system

  Katoen, J. P. (Invited speaker)

  27 Nov 2000

  Activity: Talk or presentation › Oral presentation

• General distributions in process algebra (part 1)

  Katoen, J. P. (Invited speaker)

  20 Nov 2000

  Activity: Talk or presentation › Oral presentation

• Analysing continuous-time probabilistic systems by model checking

  Katoen, J. P. (Invited speaker)

  23 Nov 2000

  Activity: Talk or presentation › Oral presentation

• HaaST: Verification of soft and hard timed systems

  Katoen, J. P. (Invited speaker)

  13 Oct 2000

  Activity: Talk or presentation › Oral presentation

• General distributions in process algebra (part 2)

  Katoen, J. P. (Invited speaker)

  22 Nov 2000

  Activity: Talk or presentation › Oral presentation

• Model checking continuous-time Markov chains by transient analysis

  Katoen, J. P. (Invited speaker)

  22 Dec 1999

  Activity: Talk or presentation › Oral presentation

• 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. (Keynote speaker)

  9 Sept 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

• A Stochastic Automata Model and its Algebraic Approach

  d' Argenio, P. R. (Keynote speaker), Katoen, J. P. (Keynote speaker) & Brinksma, H. (Keynote speaker)

  26 Jun 1997

  Activity: Talk or presentation › Oral presentation

• The Bounded Retransmission Protocol Must Be on Time!

  Katoen, J.-P. (Invited speaker)

  2 Apr 1997

  Activity: Talk or presentation › Oral presentation

• On specifying real-time systems in a causality-based setting

  Katoen, J. P. (Keynote speaker)

  13 Sept 1996

  Activity: Talk or presentation › Oral presentation

• Partial-order, Models for Quantative Extensions of LOTOS

  Katoen, J. P. (Invited speaker) & Latella, D. (Invited speaker)

  8 Oct 1996

  Activity: Talk or presentation › Oral presentation

• Modeling and Verifying a Bounded Retransmission Protocol

  Katoen, J. P. (Invited speaker)

  28 Oct 1996

  Activity: Talk or presentation › Invited talk

• Qualitative and quantitative extensions of event structures

  Katoen, J. P. (Invited speaker)

  26 Mar 1996

  Activity: Talk or presentation › Oral presentation

• A Stochastic Causality-based Process Algebra

  Katoen, J. P. (Invited speaker)

  1 Aug 1995

  Activity: Talk or presentation › Oral presentation

• Time and probabilities in a true concurrency model

  Katoen, J. P. (Speaker)

  1 Jul 1994

  Activity: Talk or presentation › Oral presentation

• Time and probabilities in true concurrent LOTOS

  Katoen, J. P. (Speaker)

  1 Oct 1994

  Activity: Talk or presentation › Oral presentation

• ESPRIT/BRA REACT

  Brinksma, H. (Speaker), Heerink, A. W. (Speaker), Langerak, R. (Speaker) & Katoen, J. P. (Speaker)

  1 Mar 1993

  Activity: Talk or presentation › Oral presentation