Joost P. Katoen

prof.dr.ir.

1992 …2019

Research output per year

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

Activities

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

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

Joost P. Katoen (Organiser), Rom Langerak (Organiser), Arend Rensink (Organiser)
17 Oct 2017

Activity: Participating in or organising an eventOrganising a conference, workshop, ...

MoDeST: From Theory to Industrial Experience

Joost P. Katoen (Speaker)
17 Sep 2004

Activity: Talk or presentationOral 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)
14 Oct 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

MoDeST: From Theory to Industrial Experience

Joost-Pieter Katoen (Invited speaker)
4 Sep 2004

Activity: Talk or presentationOral presentation

Performability assessment using model checking

Joost P. Katoen (Speaker)
4 Feb 2003

Activity: Talk or presentationOral presentation

Verification of Embedded Systems Software

Joost P. Katoen (Speaker)
22 May 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

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

Model Checking Birth and Death

Joost P. Katoen (Speaker)
6 Jun 2002

Activity: Talk or presentationOral presentation

Probabilistic methods in concurrency

J. Hillston (Speaker), Joost P. Katoen (Speaker)
25 Jun 2001

Activity: Talk or presentationOral presentation

Analysing Markov Chains by Model Checking

Joost P. Katoen (Speaker)
30 Mar 2001

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

HaaST: Verification of soft and hard timed systems

Joost P. Katoen (Invited speaker)
13 Oct 2000

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

General distributions in process algebra (part 2)

Joost P. Katoen (Invited speaker)
22 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

Analysing continuous-time probabilistic systems by model checking

Joost P. Katoen (Invited speaker)
23 Nov 2000

Activity: Talk or presentationOral presentation

Model checking CTMCs by using transient analysis

Joost P. Katoen (Invited speaker)
6 Dec 1999

Activity: Talk or presentationInvited talk

Model checking Markov chains

Joost P. Katoen (Keynote speaker)
9 Sep 1999

Activity: Talk or presentationInvited talk

Model checking continuous-time Markov chains by transient analysis

Joost P. Katoen (Invited speaker)
22 Dec 1999

Activity: Talk or presentationOral presentation

Model checking Markov chains

Joost P. Katoen (Invited speaker)
11 Oct 1999

Activity: Talk or presentationInvited talk

The Bounded Retransmission Protocol Must Be on Time!

Joost P. Katoen (Invited speaker)
2 Apr 1997

Activity: Talk or presentationOral presentation

A Stochastic Automata Model and its Algebraic Approach

P.R. d' Argenio (Keynote speaker), Joost P. Katoen (Keynote speaker), Hendrik Brinksma (Keynote speaker)
26 Jun 1997

Activity: Talk or presentationOral presentation

Qualitative and quantitative extensions of event structures

Joost P. Katoen (Invited speaker)
26 Mar 1996

Activity: Talk or presentationOral presentation

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

Joost P. Katoen (Keynote speaker)
13 Sep 1996

Activity: Talk or presentationOral presentation

Modeling and Verifying a Bounded Retransmission Protocol

Joost P. Katoen (Invited speaker)
28 Oct 1996

Activity: Talk or presentationInvited talk

Partial-order, Models for Quantative Extensions of LOTOS

Joost P. Katoen (Invited speaker), Diego Latella (Invited speaker)
8 Oct 1996

Activity: Talk or presentationOral presentation

A Stochastic Causality-based Process Algebra

Joost P. Katoen (Invited speaker)
1 Aug 1995

Activity: Talk or presentationOral presentation

Time and probabilities in a true concurrency model

Joost P. Katoen (Speaker)
1 Jul 1994

Activity: Talk or presentationOral presentation

Time and probabilities in true concurrent LOTOS

Joost P. Katoen (Speaker)
1 Oct 1994

Activity: Talk or presentationOral presentation

ESPRIT/BRA REACT

Hendrik Brinksma (Speaker), A.W. Heerink (Speaker), Romanus Langerak (Speaker), Joost P. Katoen (Speaker)
1 Mar 1993

Activity: Talk or presentationOral presentation