Fast Dynamic Fault Tree Analysis by Model Checking Techniques
Volk, Matthias, Junges, Sebastian, Katoen, Joost-Pieter
Published in IEEE transactions on industrial informatics (01.01.2018)
Published in IEEE transactions on industrial informatics (01.01.2018)
Get full text
Journal Article
Convex Optimization for Parameter Synthesis in MDPs
Cubuktepe, Murat, Jansen, Nils, Junges, Sebastian, Katoen, Joost-Pieter, Topcu, Ufuk
Published in IEEE transactions on automatic control (01.12.2022)
Published in IEEE transactions on automatic control (01.12.2022)
Get full text
Journal Article
On the hardness of analyzing probabilistic programs
Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph
Published in Acta informatica (01.04.2019)
Published in Acta informatica (01.04.2019)
Get full text
Journal Article
A Compositional Semantics of Boolean-Logic Driven Markov Processes
Khan, Shahid, Katoen, Joost-Pieter, Bouissou, Marc
Published in IEEE transactions on dependable and secure computing (01.03.2024)
Published in IEEE transactions on dependable and secure computing (01.03.2024)
Get full text
Journal Article
Reasoning about Recursive Probabilistic Programs
Olmedo, Federico, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
Winkler, Tobias, Katoen, Joost-Pieter
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
SAFEST: Fault Tree Analysis Via Probabilistic Model Checking
Volk, Matthias, Sher, Falak, Katoen, Joost-Pieter, Stoelinga, Marielle
Published in 2024 Annual Reliability and Maintainability Symposium (RAMS) (22.01.2024)
Published in 2024 Annual Reliability and Maintainability Symposium (RAMS) (22.01.2024)
Get full text
Conference Proceeding
Markov automata with multiple objectives
Quatmann, Tim, Junges, Sebastian, Katoen, Joost-Pieter
Published in Formal methods in system design (01.02.2022)
Published in Formal methods in system design (01.02.2022)
Get full text
Journal Article
Synthesizing optimal bias in randomized self-stabilization
Volk, Matthias, Bonakdarpour, Borzoo, Katoen, Joost-Pieter, Aflaki, Saba
Published in Distributed computing (01.02.2022)
Published in Distributed computing (01.02.2022)
Get full text
Journal Article
The ins and outs of the probabilistic model checker MRMC
Katoen, Joost-Pieter, Zapreev, Ivan S., Hahn, Ernst Moritz, Hermanns, Holger, Jansen, David N.
Published in Performance evaluation (01.02.2011)
Published in Performance evaluation (01.02.2011)
Get full text
Journal Article
Model Checking Temporal Properties of Recursive Probabilistic Programs
Winkler, Tobias, Gehnen, Christina, Katoen, Joost-Pieter
Published in Logical methods in computer science (01.01.2023)
Published in Logical methods in computer science (01.01.2023)
Get full text
Journal Article
The probabilistic termination tool amber
Moosbrugger, Marcel, Bartocci, Ezio, Katoen, Joost-Pieter, Kovács, Laura
Published in Formal methods in system design (01.08.2022)
Published in Formal methods in system design (01.08.2022)
Get full text
Journal Article
Counterexample-guided inductive synthesis for probabilistic systems
Češka, Milan, Hensel, Christian, Junges, Sebastian, Katoen, Joost-Pieter
Published in Formal aspects of computing (01.08.2021)
Published in Formal aspects of computing (01.08.2021)
Get full text
Journal Article
IC3 software model checking
Lange, Tim, Neuhäußer, Martin R., Noll, Thomas, Katoen, Joost-Pieter
Published in International journal on software tools for technology transfer (01.04.2020)
Published in International journal on software tools for technology transfer (01.04.2020)
Get full text
Journal Article