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
A UMTS network architecture
TL;DR: In this article, a functional architecture and a corresponding network architecture for the Universal Mobile Telecommunication System (UMTS) is proposed, which covers the domestic, business, and public environments.
Book ChapterDOI
How long, O Bayesian network, will I sample thee?
TL;DR: This work translates the BN together with observations into a probabilistic program and provides proof rules that yield the exact expected runtime of this program in a fully automated fashion.
Proceedings ArticleDOI
A true concurrency semantics for ET-LOTOS
TL;DR: A (branching-time) non-interleaving semantics for ET-LOTOS without data is defined and the semantic model does not have an explicit notion of the passage of time, so it is able to handle unguarded recursion and Zeno behaviours in a perspicuous way.
Proceedings ArticleDOI
On the Satisfiability of Some Simple Probabilistic Logics
TL;DR: It is proved that P μTL has a small model property and that a decision procedure using 2 player parity games can be employed for the satisfiability problem of PμTL, and that—in contrast to PCTL—every satisfiable Pμ TL-formula has a rational model, a model with rational probabilities only.
Dissertation
Learning communicating and nondeterministic automata
Carsten Kern,Joost-Pieter Katoen +1 more
TL;DR: The main idea is to extend the L algorithm to cope with valid and invalid sets of system runs and come up with an intermediate design model (a DFA) which exhibits features that make it distributable into communicating components (or processes) interacting via FIFO channels.