Publications

2020

Preprint
Various Ways to Quantify BDMPs
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal
PDF of Various Ways to Quantify BDMPs RWTH record for Various Ways to Quantify BDMPs BibTeX for Various Ways to Quantify BDMPs
Conference paper
PrIC3: Property Directed Reachability for MDPs
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
Computer Aided Verification
PDF of PrIC3: Property Directed Reachability for MDPs RWTH record for PrIC3: Property Directed Reachability for MDPs BibTeX for PrIC3: Property Directed Reachability for MDPs
Conference paper
Verification of Indefinite-Horizon POMDPs
Alexander Nikolai Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
Automated technology for verification and analysis
RWTH record for Verification of Indefinite-Horizon POMDPs BibTeX for Verification of Indefinite-Horizon POMDPs
Conference paper
A Compositional Semantics for Repairable BDMPs
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
Computer safety, reliability, and security
RWTH record for A Compositional Semantics for Repairable BDMPs BibTeX for A Compositional Semantics for Repairable BDMPs
Conference paper
Explaining Boolean-Logic Driven Markov Processes using GSPNs
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
16th European Dependable Computing Conference
RWTH record for Explaining Boolean-Logic Driven Markov Processes using GSPNs BibTeX for Explaining Boolean-Logic Driven Markov Processes using GSPNs
Conference paper
Benchmarking Software Model Checkers on Automotive Code
Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen
NASA formal methods
RWTH record for Benchmarking Software Model Checkers on Automotive Code BibTeX for Benchmarking Software Model Checkers on Automotive Code
Conference paper
Interpretation-Based Violation Witness Validation for C : NITWIT
Jan Švejda, Philipp Berger, Joost-Pieter Katoen
Tools and Algorithms for the Construction and Analysis of Systems
PDF of Interpretation-Based Violation Witness Validation for C : NITWIT RWTH record for Interpretation-Based Violation Witness Validation for C : NITWIT BibTeX for Interpretation-Based Violation Witness Validation for C : NITWIT
Conference paper
Bayesian Inference by Symbolic Model Checking
Bahare Salmani Barzoki, Joost-Pieter Katoen
Quantitative Evaluation of Systems
PDF of Bayesian Inference by Symbolic Model Checking RWTH record for Bayesian Inference by Symbolic Model Checking BibTeX for Bayesian Inference by Symbolic Model Checking
Conference paper
Probabilistic Model Checking of AODV
Mojgan Kamali, Joost-Pieter Katoen
Quantitative Evaluation of Systems
RWTH record for Probabilistic Model Checking of AODV BibTeX for Probabilistic Model Checking of AODV
Conference paper
Weakest Preexpectation Semantics for Bayesian Inference : Conditioning, Continuous Distributions and Divergence
Marcin Szymczak, Joost-Pieter Katoen
Engineering trustworthy software systems
RWTH record for Weakest Preexpectation Semantics for Bayesian Inference : Conditioning, Continuous Distributions and Divergence BibTeX for Weakest Preexpectation Semantics for Bayesian Inference : Conditioning, Continuous Distributions and Divergence
Journal article
Life is Random, Time is Not : Markov Decision Processes with Window Objectives
Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour
Logical methods in computer science
PDF of Life is Random, Time is Not : Markov Decision Processes with Window Objectives RWTH record for Life is Random, Time is Not : Markov Decision Processes with Window Objectives BibTeX for Life is Random, Time is Not : Markov Decision Processes with Window Objectives
Technical report
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic
Joost-Pieter Katoen, Martin Ritzert, Richard Marlon Wilke, Katrin M. Dannert, Peter Lindner, Dennis Fischer, Janosch Fuchs, Björn Frederik Tauer, Vipin Ravindran Vijayalakshmi, Laura Vargas Koch, Nadine Friesen, Andreas Gabriel Klinger, Marcel Tobias Hark, Benjamin Lucien Kaminski, Sebastian Junges, Jip Josephine Spel, Anton Pirogov, Stefan Schupp, Till Hofmann, Daxin Liu, Martin Comis, Tabea Claudia Krabs, Stephan Zieger, Rebecca Haehn, Matthias Volk, Norman Weik, Helene-Maria Bolke-Hermanns
RWTH record for UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic BibTeX for UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic
Preprint
Relatively Complete Verification of Probabilistic Programs
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
PDF of Relatively Complete Verification of Probabilistic Programs RWTH record for Relatively Complete Verification of Probabilistic Programs BibTeX for Relatively Complete Verification of Probabilistic Programs
Preprint
Generating Functions for Probabilistic Programs
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
PDF of Generating Functions for Probabilistic Programs RWTH record for Generating Functions for Probabilistic Programs BibTeX for Generating Functions for Probabilistic Programs
Conference paper
Residual Nominal Automata
Joshua Moerman, Matteo Sammartino
31st International Conference on Concurrency Theory
RWTH record for Residual Nominal Automata BibTeX for Residual Nominal Automata
Journal article
Synthesizing and optimizing FDIR recovery strategies from fault trees
Sascha Müller, Liana Mikaelyan, Andreas Gerndt, Thomas Noll
Science of computer programming
PDF of Synthesizing and optimizing FDIR recovery strategies from fault trees RWTH record for Synthesizing and optimizing FDIR recovery strategies from fault trees BibTeX for Synthesizing and optimizing FDIR recovery strategies from fault trees
Conference paper
Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture
Christopher Jan-Steffen Brix, Parnia Bahar, Hermann Ney
58th Annual Meeting of the Association for Computational Linguistics
RWTH record for Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture BibTeX for Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture
Conference paper
Various Ways to Quantify BDMPs
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal
[The 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020, Dublin, Ireland]
PDF of Various Ways to Quantify BDMPs RWTH record for Various Ways to Quantify BDMPs BibTeX for Various Ways to Quantify BDMPs
Conference paper
Approximating Values of Generalized-Reachability Stochastic Games
Pranav Ashok, Krishnendu Chatterjee, Jan Křetínský, Maximilian Weininger, Tobias Winkler
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020)
RWTH record for Approximating Values of Generalized-Reachability Stochastic Games BibTeX for Approximating Values of Generalized-Reachability Stochastic Games
Conference paper
Stochastic Games with Lexicographic Reachability-Safety Objectives
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
Computer Aided Verification
PDF of Stochastic Games with Lexicographic Reachability-Safety Objectives RWTH record for Stochastic Games with Lexicographic Reachability-Safety Objectives BibTeX for Stochastic Games with Lexicographic Reachability-Safety Objectives
Journal article
Multi-cost Bounded Tradeoff Analysis in MDP
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
Journal of automated reasoning
PDF of Multi-cost Bounded Tradeoff Analysis in MDP RWTH record for Multi-cost Bounded Tradeoff Analysis in MDP BibTeX for Multi-cost Bounded Tradeoff Analysis in MDP
Conference paper
Generative Datalog with Continuous Distributions
Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
PODS'20
RWTH record for Generative Datalog with Continuous Distributions BibTeX for Generative Datalog with Continuous Distributions
Conference paper
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan
Computer Aided Verification
PDF of Unbounded-Time Safety Verification of Stochastic Differential Dynamics RWTH record for Unbounded-Time Safety Verification of Stochastic Differential Dynamics BibTeX for Unbounded-Time Safety Verification of Stochastic Differential Dynamics
Conference paper
Scenario-Based Verification of Uncertain MDPs
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Tools and Algorithms for the Construction and Analysis of Systems
RWTH record for Scenario-Based Verification of Uncertain MDPs BibTeX for Scenario-Based Verification of Uncertain MDPs
Journal article
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
Christel Baier, Hans Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein
Information and computation
RWTH record for Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination BibTeX for Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination