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
Layered reasoning for randomized distributed algorithms
TL;DR: This paper adopts the communication closed layer (CCL) concept of Elrad and Francez to the formal reasoning of randomized distributed algorithms by enriching probabilistic automata (PA) with a layered composition operator, an intermediate between parallel and sequential composition.
Proceedings ArticleDOI
System-Software Co-Engineering: Dependability and Safety Perspective
Yuri Yushtein,Marco Bozzano,Alessandro Cimatti,Joost-Pieter Katoen,Viet Yen Nguyen,Th. Noll,Xavier Olive,Marco Roveri +7 more
TL;DR: This paper recently developed a coherent and multidisciplinary approach towards developing space systems at architectural design level, linking all of the aforementioned aspects, and assessed it with several industrial evaluations.
Book ChapterDOI
Formal Methods for Aerospace Systems
Marco Bozzano,Harold Bruintjes,Alessandro Cimatti,Joost-Pieter Katoen,Thomas Noll,Stefano Tonetta +5 more
TL;DR: This chapter introduces the ESA-funded COMPASS project, which aims at an integrated system-software co-engineering approach focusing on a coherent set of specification and analysis techniques for evaluation of system-level correctness, safety, dependability and performability of on-board computer-based aerospace systems.
Proceedings ArticleDOI
Generative Datalog with Continuous Distributions
TL;DR: This language is revisited and a more foundational approach towards defining its semantics is proposed, based on standard notions from probability theory known as stochastic kernels and Markov processes, and it is shown that the semantics is fairly robust, allowing both parallel execution and arbitrary chase orders when evaluating a program.
Book ChapterDOI
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems
TL;DR: This work presents a novel method to synthesize parameter instances (if such exist) of PHA satisfying a multi-objective bounded horizon specification over expected rewards and provides statistical guarantees on the synthesized parameter instances.