J
Joost-Pieter Katoen
Researcher at RWTH Aachen University
Publications - 488
Citations - 20723
Joost-Pieter Katoen is an academic researcher from RWTH Aachen University. The author has contributed to research in topics: Probabilistic logic & Markov chain. The author has an hindex of 63, co-authored 461 publications receiving 19043 citations. Previous affiliations of Joost-Pieter Katoen include University of Erlangen-Nuremberg & University of Twente.
Papers
More filters
Journal ArticleDOI
Performance and verification
TL;DR: The qualitative correctness of a protocol, without considering (absolute) timing aspects, is not enough for classifying a protocol as correct, and only when the protocol behaves as it should, and does so in a timely manner, the protocol can be regarded as correct.
Book ChapterDOI
SMA: the smyle modeling approach
TL;DR: The model-based software development lifecycle model SMA -- the Smyle Modeling Approach -- which is centered around Smyle is introduced, and the approach is described and reports on first practical experiences.
Journal Article
A model checker for performance and dependability properties
TL;DR: The prototype model checker for discrete and continuous-time Markov chains, where properties are expressed in appropriate extensions of CTL, is described.
Proceedings Article
A Semi-Markov Model of a Home Network Access Protocol
TL;DR: The Home Bus System (EHSA 1991) as mentioned in this paper is based on the well-known OSI model (OSI 1984) with four OSI layers: the physical layer, the data link layer, network layer and the application layer.
Posted Content
The Probabilistic Termination Tool Amber
TL;DR: A tool for proving and refuting the termination of probabilistic while-programs with polynomial arithmetic, called Amber as mentioned in this paper, has been proposed for the first time.