Joost-Pieter Katoen
- katoen at cs.rwth-aachen.de
- Address
- Room 4201
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21200
TODO
Publications
| 2026 | |
|---|---|
| DOI | Philipp Schröer, Darion Haase, Joost-Pieter Katoen. Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation), Zenodo, 2026. |
| DOI | Joost-Pieter Katoen. The Optimal Strategy to Meet the Deadline, Volume 157 of LNCS, pages 1–14, Springer, 2026. |
| DOI | Joost-Pieter Katoen. Facing Uncertainty in AI, 2026. |
| 2025 | |
| DOIFull Text | Roman Andriushchenko, Milan Češka, Filip Macák, Sebastian Junges, Joost-Pieter Katoen. An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty, pages 433-469, AI Access Found., 2025. |
| DOI | Marsha Chechik, Joost-Pieter Katoen. Introduction to the Special Collection from FM 2023, pages 1-2, Springer, 2025. |
| DOIFull Text | Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler. Foundations for Deductive Verification of Continuous Probabilistic Programs, pages 421-448, ACM, 2025. |
| DOIFull Text | Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler. Computing Expected Visiting Times and Stationary Distributions in Markov Chains, pages 23, Springer, 2025. |
| DOIFull Text | Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Robust Strategies for Stochastic Multi-Agent Systems, pages 2437-2439, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2025. |
| DOIFull Text | Alexander Nikolai Bork, Tim Quatmann, Joost-Pieter Katoen, Svenja Maria Stein. Multi-Cost-Bounded Reachability Analysis of POMDPs, Volume 286 of Proceedings of machine learning research, pages 354-366, 2025. |
| DOIFull Text | Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer. Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains, Volume 15932 of LNCS, pages 56-81, Springer, 2025. |
| DOIFull Text | Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen. Compositional Reasoning for Parametric Probabilistic Automata, Volume 348 of Leibniz international proceedings in informatics, pages 31:1-31:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2025. |
| DOIFull Text | Raphael Jean Berthon, Joost-Pieter Katoen, Zihan Zhou. A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games, Volume 348 of Leibniz international proceedings in informatics, pages 9:1-9:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2025. |
| DOIFull Text | Emma Katharina Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen. Weighted Rewriting, Volume 337 of Leibniz international proceedings in informatics, pages 6:1-6:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2025. |
| DOIFull Text | Philipp Schroer, Darion Haase, Joost-Pieter Katoen. Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version), 2025. |
| 2024 | |
| DOIFull Text | Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler. Programmatic Strategy Synthesis, pages 93, ACM, 2024. |
| DOIFull Text | Sebastian Junges, Erika Ábrahám, Hans Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk. Parameter synthesis for Markov models, pages 181-259, Springer, 2024. |
| DOIFull Text | Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, pages 127, ACM, 2024. |
| DOI | Matthias Volk, Falak Sher, Joost-Pieter Katoen, Mariëlle Stoelinga. SAFEST, 7 pages, IEEE, 2024. |
| DOIFull Text | Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler. Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains, Volume 14571 of LNCS, pages 237-257, Springer, 2024. |
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Natural Strategic Ability in Stochastic Multi-Agent Systems, Volume 38,16 of Proceedings of the AAAI Conference on Artificial Intelligence, pages 17308-17316, Association for the Advancement of Artificial Intelligence, 2024. |
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Natural Strategic Ability in Stochastic Multi-Agent Systems, 10 pages, 2024. |
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Tobias Winkler. Markov Decision Processes with Sure Parity and Multiple Reachability Objectives, Volume 15050 of LNCS, pages 203-220, Springer, 2024. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou. A Compositional Semantics of Boolean-Logic Driven Markov Processes, pages 701-716, IEEE, 2024. |
| DOIFull Text | Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann. A Spectrum of Approximate Probabilistic Bisimulations, Volume 311 of Leibniz international proceedings in informatics, pages 37:1-37:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2024. |
| 2023 | |
| DOIFull Text | Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen. Exact Probabilistic Inference Using Generating Functions, 3 pages, 2023. |
| DOIFull Text | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht. A Calculus for Amortized Expected Runtimes, pages 67, ACM, 2023. |
| DOIFull Text | Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants, Volume 13994 of LNCS, pages 410-429, Springer, 2023. |
| DOIFull Text | Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan. Lower Bounds for Possibly Divergent Probabilistic Programs, pages 99, ACM, 2023. |
| DOIFull Text | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács. The probabilistic termination tool amber, pages 90-109, Springer, 2023. |
| DOIFull Text | Roman Andriushchenko, Alexander Nikolai Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák. Search and Explore, Volume 13966 of LNCS, pages 113-135, Springer, 2023. |
| DOIFull Text | Bahare Salmani Barzoki, Joost-Pieter Katoen. Automatically Finding the Right Probabilities in Bayesian Networks, pages 1637-1696, AI Access Found., 2023. |
| DOIFull Text | Tobias Winkler, Joost-Pieter Katoen. Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration, Volume 13994 of LNCS, pages 391-409, Springer, 2023. |
| DOI | Tobias Winkler, Joost-Pieter Katoen. On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata, 13 pages, IEEE, 2023. |
| DOIFull Text | Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs, pages 294, ACM, 2023. |
| DOIFull Text | Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version), pages 1-48, 2023. |
| DOIFull Text | Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs, pages 24, Department of Theoretical Computer Science, Technical University of Braunschweig, 2023. |
| DOI | Bahare Salmani Barzoki, Joost-Pieter Katoen. Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks, International Joint Conferences on Artificial Intelligence, 2023. |
| DOIFull Text | Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler. Stochastic games with lexicographic objectives, pages 40-80, Springer, 2023. |
| DOI | Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, 54 pages, 2023. |
| 2022 | |
| DOIFull Text | Thorsten Karbach, Agnes Förster, Eva Christine Strobel, Stefan Karl Josef Böschen, Peter Letmathe, Elisabeth Clausen, Rik W. de Doncker, Peter Lürkens, Albert Moser, Aaron Jonathan Praktiknjo, Fabian Roemer, Andreas Ulbig, Rainer Dahlmann, Thomas Fischöder, Stefanie Gottuck, Jürgen Klankermeyer, Felix Kunz, Regina Palkovits, Stefan Sterlepper, Peter Quicker, Matthias Jarke, Max C. Lemme, Saskia K. Nagel, Joost-Pieter Katoen, Rainer Waser, Matthias Brockmann, Melanie Sarah Katharina Buchsbaum, Christian Rüdiger Hinke, Patrick Mattfield, Edgar Dahl, Fabian Kiessling, Holger Jahr, Jonas Gesenhues, Joachim Jankowski, Mare Mechelinck, Heidi Noels, Irene Neuner, Rolf Rossaint, Stefan Uhlig, Tanja Veselinović, Emiel Petrus Carla van der Vorst, Maximilian Alfons Voshage, Dirk Abel, Claus Bonerz, Lutz Eckstein, Bastian Lehrheuer, Micha Lesemann, Tobias Ostermann, René Zweigel, Benjamin Daniels, Frank Lehmkuhl, Michael Leuchner, Frank Lohrberg, Henry Riße, Martina Roß-Nickoll, Thomas Josef Wintgens. Nachhaltigen Wandel gestalten, 145 pages, RWTH Aachen University, 2022. |
| DOI | Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen. Out of Control, Volume 13182, Theoretical Computer Science and General Issues of LNCS, pages 450-472, Springer, 2022. |
| DOI | Linus Heck, Jip Josephine Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen. Gradient-Descent for Randomized Controllers Under Partial Observability, Volume 13182, Theoretical Computer Science and General Issues of LNCS, pages 127-150, Springer, 2022. |
| DOIFull Text | Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs, Volume 13242 of LNCS, pages 449-469, Springer, 2022. |
| DOIFull Text | Kevin Batz, Ira Justus Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll. Foundations for Entailment Checking in Quantitative Separation Logic, Volume 13240 of LNCS, pages 57-84, Springer, 2022. |
| DOIFull Text | Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen. DFT modeling approach for operational risk assessment of railway infrastructure, pages 331-350, Springer, 2022. |
| DOIFull Text | Alexander Nikolai Bork, Joost-Pieter Katoen, Tim Quatmann. Under-Approximating Expected Total Rewards in POMDPs, Volume 13244 of LNCS, pages 22-40, Springer, 2022. |
| DOIFull Text | Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler. Weighted programming, pages 66, ACM, 2022. |
| DOIFull Text | Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler. Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions, Volume 13371 of LNCS, pages 79-101, Springer, 2022. |
| DOI | Xaver Fink, Philipp Berger, Joost-Pieter Katoen. Configurable Benchmarks for C Model Checkers, Volume 13260 of LNCS, pages 338-354, Springer, 2022. |
| DOIFull Text | Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll. Towards Concurrent Quantitative Separation Logic, Volume 243 of LIPIcs - Leibniz International Proceedings in Informatics, pages 25:1-25:24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. |
| DOIFull Text | Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll. Towards Concurrent Quantitative Separation Logic, pages 1-62, 2022. |
| DOI | Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen. Encoding inductive invariants as barrier certificates, pages 104965, Elsevier, 2022. |
| DOI | Jip Josephine Spel, Svenja Maria Stein, Joost-Pieter Katoen. POMDP Controllers with Optimal Budget, Volume 13479 of LNCS, pages 107-130, Springer, 2022. |
| DOIFull Text | Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Scenario-based verification of uncertain parametric MDPs, pages 803-8019, Springer, 2022. |
| DOI | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Generative Datalog with Continuous Distributions, pages 46, ACM, 2022. |
| DOI | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Convex Optimization for Parameter Synthesis in MDPs, pages 6333-6348, Institute of Electrical and Electronics Engineers, 2022. |
| DOI | Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Marielle Stoelinga. BDDs Strike Back, Volume 13260 of LNCS, pages 713-732, Springer, 2022. |
| DOI | Emma Katharina Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen. Reasoning about distributed reconfigurable systems, pages 145-174, ACM, 2022. |
| DOI | Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis in Markov Models, Volume 13660 of LNCS, pages 407-437, Springer, 2022. |
| 2021 | |
| DOI | Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, Volume 12561 of Theoretical Computer Science and General Issues, pages 231-248, Springer, 2021. |
| DOI | Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler. The complexity of reachability in parametric Markov decision processes, pages 183-210, Elsevier, 2021. |
| DOIFull Text | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Relatively complete verification of probabilistic programs, pages 39, ACM, 2021. |
| DOIFull Text | Tim Quatmann, Joost-Pieter Katoen. Multi-objective Optimization of Long-run Average and Total Rewards, Volume 12651 of LNCS, pages 230-249, Springer, 2021. |
| DOIFull Text | Jip Josephine Spel, Sebastian Junges, Joost-Pieter Katoen. Finding Provably Optimal Markov Chains, Volume 12651 of LNCS, pages 173-190, Springer, 2021. |
| DOIFull Text | Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A pre-expectation calculus for probabilistic sensitivity, pages 52, Association for Computing Machinery, 2021. |
| DOI | Milan Češka, Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen. Counterexample-guided inductive synthesis for probabilistic systems, pages 637-667, Springer, 2021. |
| DOIFull Text | Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen. Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming, Volume 12759, Theoretical Computer Science and General Issues of LNCS, pages 443-466, Springer, 2021. |
| DOIFull Text | Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer. Latticed $k$-Induction with an Application to Probabilistic Programs, Volume 12760 of LNCS, pages 524-549, Springer, 2021. |
| DOI | Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Josephine Spel. Tweaking the Odds in Probabilistic Timed Automata, Volume 12846 of LNCS, pages 39-58, Springer, 2021. |
| DOIFull Text | Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Šimon Stupinský. PAYNT, Volume 12759, Theoretical Computer Science and General Issues of LNCS, pages 856-869, Springer, 2021. |
| DOI | Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou. Model Checking the Multi-Formalism Language FIGARO, pages 463-470, IEEE, 2021. |
| DOI | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Probabilistic Data with Continuous Distributions, pages 69-76, Association for Computing Machinery, 2021. |
| DOI | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács. The Probabilistic Termination Tool Amber, Volume 13047 of LNCS, pages 667-675, Springer, 2021. |
| DOI | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács. Automated Termination Analysis of Polynomial Probabilistic Programs, Volume 12648 of LNCS, pages 491-518, Springer, 2021. |
| DOI | Shahid Khan, Joost-Pieter Katoen. Synergising Reliability Modelling Languages, pages 113-122, IEEE, 2021. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Ahmad Zafar, Falak Sher. Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees, IEEE, 2021. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou. Scalable Reliability Analysis by Lazy Verification, Volume 12673, Programming and software engineering of LNCS, pages 180-197, Springer, 2021. |
| DOI | Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov automata with multiple objectives, pages 33-86, Springer, 2021. |
| DOIFull Text | Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk. The probabilistic model checker STORM, pages 589-610, Springer, 2021. |
| DOIFull Text | Bahare Salmani Barzoki, Joost-Pieter Katoen. Fine-Tuning the Odds in Bayesian Networks, Volume 12897 of LNCS, pages 268-283, Springer, 2021. |
| DOIFull Text | Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki. Synthesizing optimal bias in randomized self-stabilization, pages 37-57, Springer, 2021. |
| 2020 | |
| DOI | Marcel Tobias Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen. Aiming low is harder, pages 1-28, ACM, 2020. |
| DOI | Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schroer. PrIC3, 2020. |
| DOIFull Text | Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour. Simple Strategies in Multi-Objective MDPs, Volume 12078, Theoretical Computer Science and General Issues of LNCS, pages 346-364, Springer, 2020. |
| DOI | Christel Baier, Hans Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein. Parametric Markov chains, pages 104504, Elsevier, 2020. |
| DOI | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Scenario-Based Verification of Uncertain MDPs, Volume 12078, Theoretical Computer Science and General Issues of LNCS, pages 287-305, Springer, 2020. |
| DOI | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Generative Datalog with Continuous Distributions, pages 347-360, ACM, 2020. |
| DOIFull Text | Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-cost Bounded Tradeoff Analysis in MDP, pages 1483-1522, Springer, 2020. |
| DOIFull Text | Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler. Stochastic Games with Lexicographic Reachability-Safety Objectives, Volume 12225 of LNCS, pages 398-420, Springer, 2020. |
| DOIFull Text | Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal. Various Ways to Quantify BDMPs, Volume 316 of EPTCS, pages 1-14, NICTA, 2020. |
| DOI | Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, 2020. |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Relatively Complete Verification of Probabilistic Programs, 49 pages, 2020. |
| Full Text | 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. UnRAVeL Research Training Group, 85 pages, 2020. |
| DOI | Marcin Szymczak, Joost-Pieter Katoen. Weakest Preexpectation Semantics for Bayesian Inference, Volume 12154 of LNCS, pages 44-121, Springer, 2020. |
| DOI | Mojgan Kamali, Joost-Pieter Katoen. Probabilistic Model Checking of AODV, Volume 12289 of LNCS, pages 54-73, Springer, 2020. |
| DOIFull Text | Jan Švejda, Philipp Berger, Joost-Pieter Katoen. Interpretation-Based Violation Witness Validation for C, Volume 12078, Theoretical Computer Science and General Issues of LNCS, pages 40-57, Springer, 2020. |
| DOI | Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen. Benchmarking Software Model Checkers on Automotive Code, Volume 12229 of LNCS, pages 133-150, Springer, 2020. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou. Explaining Boolean-Logic Driven Markov Processes using GSPNs, pages 119-126, IEEE, 2020. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou. A Compositional Semantics for Repairable BDMPs, Volume 12234 of LNCS, pages 82-98, Springer, 2020. |
| DOI | Alexander Nikolai Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Verification of Indefinite-Horizon POMDPs, Volume 12302 of LNCS, pages 288-304, Springer, 2020. |
| DOIFull Text | Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer. PrIC3, Volume 12225 of LNCS, pages 512-538, Springer, 2020. |
| DOI | Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal. Various Ways to Quantify BDMPs, 2020. |
| Full Text | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Verifying Probabilistic Programs, Volume 12289 of LNCS, pages 298-298, Springer, 2020. |
| DOI | Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker. Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions, pages 1040-1054, Institute of Electrical and Electronics Engineers, 2020. |
| DOIFull Text | Bahare Salmani Barzoki, Joost-Pieter Katoen. Bayesian Inference by Symbolic Model Checking, Volume 12289 of LNCS, pages 115-133, Springer, 2020. |
| 2019 | |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. On the hardness of analyzing probabilistic programs, pages 255-285, Springer, 2019. |
| DOIFull Text | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative separation logic, pages 34, ACM, 2019. |
| DOI | Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Safety analysis for vehicle guidance systems with dynamic fault trees, pages 37-50, Elsevier Science, 2019. |
| DOI | Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer. Correct-by-construction policies for POMDPs, ACM Digital Library, pages 6-8, ACM Press, 2019. |
| DOI | Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen. A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas, Volume 11687 of LNCS, pages 40-58, Springer, 2019. |
| DOI | Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar. Formal Verification of Rewriting Rules for Dynamic Fault Trees, Volume 11724, Theoretical computer science and general issues of LNCS, pages 513-531, Springer, 2019. |
| DOI | Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow. Multiple Analyses, Requirements Once, Volume 11687 of LNCS, pages 59-75, Springer, 2019. |
| DOI | Christel Baier, Holger Hermanns, Joost-Pieter Katoen. The 10,000 Facets of MDP Model Checking, Volume 10000 of LNCS, pages 420-451, Springer, 2019. |
| DOI | Milan Češka, Hans Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Model Repair Revamped, Volume 11500 of LNCS, pages 107-125, Springer, 2019. |
| DOI | Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen. Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems, pages 104431, Elsevier, 2019. |
| DOIFull Text | Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen. On the Complexity of Reachability in Parametric Markov Decision Processes, Volume 140 of Leibniz international proceedings in informatics : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August, 2019. |
| DOI | Jip Josephine Spel, Sebastian Junges, Joost-Pieter Katoen. Are Parametric Markov Chains Monotonic?, Volume 11781 of LNCS, pages 479-496, Springer, 2019. |
| DOIFull Text | Milan Češka, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Shepherding Hordes of Markov Chains, Volume 11428 of LNCS, pages 172-190, Springer, 2019. |
| DOI | Milan Češka, Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen. Counterexample-Driven Synthesis for Probabilistic Program Sketches, Volume 11800 of LNCS, pages 101-120, Springer, 2019. |
| DOIFull Text | Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. COMPASS 3.0, Volume 11427 of LNCS, pages 379-385, Springer, 2019. |
| DOI | Tim Felix Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. IC3 software model checking, pages 135-161, Springer, 2019. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou. Synergizing Reliability Modeling Languages, pages 266-275, IEEE, 2019. |
| 2018 | |
| DOI | Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle Mciver. Conditioning in Probabilistic Programming, pages 4, Association for Computing Machinery, 2018. |
| DOI | Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Fast Dynamic Fault Tree Analysis by Model Checking Techniques, pages 370-379, IEEE, 2018. |
| DOIFull Text | Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-cost Bounded Reachability in MDP, Volume 10806, Part 2 of LNCS, pages 320-339, Springer, 2018. |
| DOI | Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen. A new proof rule for almost-sure termination, pages 33:1-33:28, ACM, 2018. |
| DOIFull Text | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. How long, O Bayesian network, will I sample thee?, Volume 10801 of LNCS, pages 186-213, Springer, 2018. |
| DOI | Sebastian Junges, Joost-Pieter Katoen, Marielle Stoelinga, Matthias Volk. One Net Fits All, Volume 10877 of LNCS, pages 272-293, Springer, 2018. |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative Separation Logic, 159 pages, 2018. |
| DOI | Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu. Branching Bisimulation and Concurrent Object Verification, pages 267-278, IEEE, 2018. |
| DOI | Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Let this Graph Be Your Witness!, Volume 10982 of LNCS, pages 3-11, Springer, 2018. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms, pages 30:1-30:68, 2018. |
| DOIFull Text | Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan. Monitoring CTMCs by Multi-clock Timed Automata, Volume 10981 of LNCS, pages 507-526, Springer, 2018. |
| DOIFull Text | Tim Quatmann, Joost-Pieter Katoen. Sound Value Iteration, Volume 10981 of LNCS, pages 643-661, Springer, 2018. |
| DOI | Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow. Verifying Auto-generated C Code from Simulink, Volume 10951 of LNCS, Springer, 2018. |
| DOI | Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen. Formal Verification of Automotive Simulink Controller Models, Volume 10951 of LNCS, Springer, 2018. |
| DOI | Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. Improving Generalization in Software IC3, LNCS, pages 85-102, Springer, 2018. |
| DOI | Maurice van Keulen, Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen. Rule-Based Conditioning of Probabilistic Data, Volume 11142 of Lecture Notes in Artificial Intelligence, pages 290-305, Springer, 2018. |
| DOI | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Synthesis in pMDPs, Volume 11138 of LNCS, pages 160-176, Springer, 2018. |
| DOI | Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary Hayhoe. Model Checking for Safe Navigation Among Humans, Volume 11024, Theoretical Computer Science and General Issues of LNCS, pages 207-222, Springer, 2018. |
| Full Text | Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-State Controllers of POMDPs using Parameter Synthesis, pages 519-529, AUAI Press, 2018. |
| DOI | Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova. Parameter-Independent Strategies for pMDPs via POMDPs, Volume 11024, Theoretical Computer Science and General Issues of LNCS, pages 53-70, Springer, 2018. |
| Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-State Controllers of POMDPs using Parameter Synthesis, pages 519-529, Curran Associates, Inc., 2018. | |
| 2017 | |
| DOI | Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. Quantitative model-checking of controlled discrete-time Markov processes, pages 1-35, Elsevier, 2017. |
| DOI | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga. Fault trees on a diet, pages 651-703, Springer, 2017. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen. A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations, pages 1-12, IEEE, 2017. |
| DOI | Hans Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A storm is Coming, 14 pages, 2017. |
| Full Text | Harold Yorick Bruintjes, Joost-Pieter Katoen. Missie, pages 38-39, Techwatch bv, 2017. |
| DOI | Hans Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A Storm is Coming, Volume 10427 of LNCS, pages 592-600, Springer, 2017. |
| DOI | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu. Sequential Convex Programming for the Efficient Verification of Parametric MDPs, Volume 10206 of LNCS, pages 133-150, Springer, 2017. |
| DOI | Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov Automata with Multiple Objectives, Volume 10426 of LNCS, pages 140-159, Springer, 2017. |
| Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. The COMPASS 3.0 Toolset, 2 pages, 2017. | |
| DOI | Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Model-based Safety Analysis for Vehicle Guidance Systems, Volume 10488 of LNCS, pages 3-19, Springer, 2017. |
| DOI | Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann. Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms, pages 94-103, IEEE, 2017. |
| DOI | Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker. Motion planning under partial observability using game-based abstraction, pages 2201-2208, IEEE, 2017. |
| DOI | Joost-Pieter Katoen, Falak Sher. Modal Stochastic Games, Volume 10460 of LNCS, pages 426-448, Springer, 2017. |
| DOI | Joost-Pieter Katoen, Marielle Stoelinga. Boosting Fault Tree Analysis by Formal Methods, Volume 10500 of LNCS, pages 368-389, Springer, 2017. |
| Full Text | Joost-Pieter Katoen. Tweaking The Odds, Volume 10580 of LNCS, pages XVI-XVII, Springer, 2017. |
| DOI | Joost-Pieter Katoen, Rom Langerak, Arend Rensink. ModelEd, TestEd, TrustEd, Volume 10500 of LNCS, pages XII, 389 Seiten : Illustrationen, Diagramme, Springer, 2017. |
| DOI | Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. Formal Methods for Aerospace Systems, Springer eBook Collection : Computer Science, pages 133-159, Springer, 2017. |
| DOI | Radu Calinescu, Marco Autili, Javier Ciamara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli. Synthesis and Verification of Self-aware Computing Systems, Springer eBook Collection : Computer Science, pages 337-373, Springer, 2017. |
| 2016 | |
| DOIFull Text | Anton Wijs, Joost-Pieter Katoen, Dragan Bošnački. Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components, pages 274-300, Springer, 2016. |
| DOI | Joost-Pieter Katoen. The Probabilistic Model Checking Landscape, pages 31-45, ACM Press, 2016. |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen. On the Satisfiability of Some Simple Probabilistic Logics, pages 56-65, ACM Press, 2016. |
| DOI | Federico Olmedo Beron, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Reasoning about Recursive Probabilistic Programs, pages 672-681, ACM Press, 2016. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Inferring Covariances for Probabilistic Programs, Volume 9826 of LNCS, pages 191-206, Springer, 2016. |
| DOI | Hao Wu, Xiaoxiao Yang, Joost-Pieter Katoen. Performance Evaluation of Concurrent Data Structures, Volume 9984 of LNCS, pages 38-49, Springer, 2016. |
| DOI | Tim Quatmann, Hans Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis for Markov Models, Volume 9938 of LNCS, pages 50-67, Springer, 2016. |
| DOI | Nils Jansen, Hans Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen. Bounded Model Checking for Probabilistic Programs, Volume 9938 of LNCS, pages 68-85, Springer, 2016. |
| DOIFull Text | Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám. Parameter synthesis for probabilistic systems, pages 72-74, Albert-Ludwigs-Universität, 2016. |
| DOI | Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga. Confluence reduction for Markov automata, pages 193-219, Elsevier, 2016. |
| DOI | Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross. Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks, pages 307-316, IEEE, 2016. |
| DOI | Joost-Pieter Katoen, Hao Wu. Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow, pages 15, ACM Press, 2016. |
| Full Text | Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo Beron. On the Semantic Intricacies of Conditioning, 2 pages, 2016. |
| DOI | Sebastian Junges, Nils Jansen, Hans Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen. Safety-constrained Reinforcement Learning for MDPs, Volume 9636 of LNCS, pages 130-146, Springer, 2016. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo Beron. Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs, Volume 9632 of LNCS, pages 364-389, Springer, 2016. |
| DOI | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga. Uncovering Dynamic Fault Trees, pages 299-310, IEEE, 2016. |
| DOI | Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates, Volume 9922 of LNCS, pages 253-265, Springer, 2016. |
| Full Text | Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu. Probabilistic Verification for Cognitive Models, Volume FS-16-03 of AAAI Technical Reports, pages 185-188, AAAI Press, 2016. |
| 2015 | |
| DOI | Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Verifying pointer programs using graph grammars, pages 157-162, Elsevier, 2015. |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec. Modelling and statistical model checking of a microgrid, pages 537-554, Springer, 2015. |
| DOIFull Text | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen. High-level Counterexamples for Probabilistic Automata, pages 15, Department of Theoretical Computer Science, Technical University of Braunschweig, 2015. |
| DOI | Tim Quatmann, Nils Jansen, Hans Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Counterexamples for Expected Rewards, Volume 9109 of LNCS, pages 435-452, Springer, 2015. |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen. Model Checking of Open Interval Markov Chains, Volume 9081 of LNCS, pages 30-42, Springer, 2015. |
| DOI | Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen. Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems, Volume 9268 of LNCS, pages 93-107, Springer, 2015. |
| DOI | Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen. A Greedy Approach for the Efficient Repair of Stochastic Models, Volume 9058 of LNCS, pages 295-309, Springer, 2015. |
| DOI | Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám. PROPhESY, Volume 9206 of LNCS, pages 214-231, Springer, 2015. |
| DOI | Harold Yorick Bruintjes, Joost-Pieter Katoen, David Lesens. A Statistical Approach for Timed Reachability in AADL Models, pages 81-88, IEEE, 2015. |
| DOIFull Text | Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver. Conditioning in Probabilistic Programming, pages 199-216, Elsevier Science, 2015. |
| DOI | Joost-Pieter Katoen. Probabilistic Programming, Volume 9364 of LNCS, pages 1-3, Springer, 2015. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen. On the Hardness of Almost–Sure Termination, Volume 9234 of LNCS, pages 308-318, Springer, 2015. |
| DOI | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga. Fault Trees on a Diet, Volume 9409 of LNCS, pages 3-18, Springer, 2015. |
| DOI | Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Juggrnaut, pages 159-203, Springer, 2015. |
| DOI | Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo Beron. Understanding Probabilistic Programs, Volume 9360 of LNCS, pages 15-32, Springer, 2015. |
| DOI | Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll. Compositional Analysis Using Component-Oriented Interpolation, Volume 8997 of LNCS, pages 69-85, Springer, 2015. |
| Full Text | Souymodip Chakraborty, Joost-Pieter Katoen. P-Automata for Markov Decision Processes, pages 2-18, 2015. |
| Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Probabilistic Programs - A Natural Model for Approximate Computations, 2015. | |
| 2014 | |
| DOI | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. Operational versus weakest pre-expectation semantics for the probabilistic guarded command language, pages 110-132, Elsevier, 2014. |
| DOI | Erika Ábrahám, Bernd Becker, Hans Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models, Volume 8483 of LNCS, pages 65-121, Springer, 2014. |
| DOI | Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster. Symbolic counterexample generation for large discrete-time Markov chains, pages 90-114, Elsevier, 2014. |
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri. Spacecraft early design validation using formal methods, pages 20-35, Elsevier, 2014. |
| DOI | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal counterexamples for linear-time probabilistic verification, pages 61-100, Elsevier, 2014. |
| DOI | Hans Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen. Fast Debugging of PRISM Models, Volume 8837 of LNCS, pages 146-162, Springer, 2014. |
| DOI | Tomáš Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen. Zero-Reachability in Probabilistic Multi-Counter Automata, pages Article No. 22, 10 S., ACM, 2014. |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen. Parametric LTL on Markov Chains, Volume 8705 of LNCS, pages 207-222, Springer, 2014. |
| DOI | Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga, Ted Luiten, Judi Romijn. Smart Railroad Maintenance Engineering with Stochastic Model Checking, Volume 104 of Civil-Comp Proceedings : CCP, pages Paper 299, 16 S., Civil-Comp Press, 2014. |
| DOI | Joost-Pieter Katoen, Hao Wu. Exponentially timed SADF, pages Article No. 1, 10 S., ACM, 2014. |
| Full Text | Joost-Pieter Katoen. Model Checking Gigantic Markov Models, Volume 8702 of LNCS, pages XV-XVII, Springer, 2014. |
| DOI | Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Performance Analysis of Computing Servers, Volume 8376 of LNCS, pages 57-72, Springer, 2014. |
| DOI | Joost-Pieter Katoen, Lei Song, Lijun Zhang. Probably Safe or Live, pages Article No. 55, 10 S., ACM, 2014. |
| DOI | Arpit Sharma, Joost-Pieter Katoen. Layered Reduction for Abstract Probabilistic Automata, pages 21-31, IEEE, 2014. |
| DOI | Falak Sher Vira, Joost-Pieter Katoen. Tight Game Abstractions of Probabilistic Automata, Volume 8704 of LNCS, pages 576-592, Springer, 2014. |
| DOI | Arpit Sharma, Joost-Pieter Katoen. Layered Reduction for Modal Specification Theories, Volume 8348 of LNCS, pages 1-19, Springer, 2014. |
| DOI | Anton J. Wijs, Joost-Pieter Katoen, Dragan Bosnacki. GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components, Volume 8559 of LNCS, pages 309-325, Springer, 2014. |
| DOI | Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Analysis of Timed and Long-Run Objectives in Markov Automata, pages Paper 17, Department of Theoretical Computer Science, Technical University of Braunschweig, 2014. |
| Full Text | Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Formal Validation Methods in Model-Based Spacecraft Systems Engineering, pages 340-375, Taylor and Francis, 2014. |
| DOI | Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification, Volume 8657 of LNCS, pages 404-420, Springer, 2014. |
| 2013 | |
| DOI | Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Modelling, Reduction and Analysis of Markov Automata, Volume 8054 of LNCS, pages 34-50, Springer, 2013. |
| DOI | Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang. A Semantics for Every GSPN, Volume 7927 of LNCS, pages 90-109, 2013. |
| DOI | Hans Christian Dehnert, David Parker, Joost-Pieter Katoen. SMT-based Bisimulation Minimisation of Markov Models, Volume 7737 of LNCS, pages 28-47, Springer, 2013. |
| DOI | Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Model-Based Energy Optimization of Automotive Control Systems, pages 761-766, IEEE, 2013. |
| DOI | Joost-Pieter Katoen, Doron Peled. Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems, Volume 7792 of LNCS, pages 411-430, Springer, 2013. |
| DOI | Joost-Pieter Katoen. Concurrency meets Probability, Volume 8052 of LNCS, pages 44-45, Springer, 2013. |
| DOI | Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. High-level Counterexamples for Probabilistic Automata, Volume 8054 of LNCS, pages 39-54, Springer, 2013. |
| DOI | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. PRINSYS, Volume 8054 of LNCS, pages 172-187, Springer, 2013. |
| DOI | Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems, pages 293-303, ACM, 2013. |
| DOI | Joost-Pieter Katoen. Model Checking Meets Probability, NATO Science for Peace and Security Series - D: Information and Communication Security, pages 177-205, IOS Press, 2013. |
| DOI | Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification, 21 pages, 2013. |
| DOI | Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen. A compositional modelling and analysis framework for stochastic hybrid systems, pages 191-232, Springer, 2013. |
| DOI | Christel Baier, E. Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model checking for performability, pages 751-795, Cambridge Univ. Press, 2013. |
| DOI | Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata, pages 66-116, Academic Press [u.a.], 2013. |
| 2012 | |
| Full Text | Bart Theelen, Joost-Pieter Katoen, Hao Wu. Model checking of scenario-aware dataflow with cadp, pages 653-658, IEEE, 2012. |
| DOI | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen. Minimal Critical Subsystems for Discrete-Time Markov Models, Volume 7214 of LNCS, pages 299-314, Springer, 2012. |
| DOI | Joost-Pieter Katoen. Model Checking, Volume 7141 of LNCS, pages 1-14, Springer, 2012. |
| DOI | Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer. Quantitative Timed Analysis of Interactive Markov Chains, Volume 7226 of LNCS, pages 8-23, Springer, 2012. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Probabilistic Systems, pages 1-55, North-Holland, 2012. |
| DOI | Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog. Layered Reasoning for Randomized Distributed Algorithms, pages 477-496, 2012. |
| Full Text | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes, Volume 88 of Reports of SFB/TR 14 AVACS, 2012. |
| DOI | Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga. Efficient Modelling and Generation of Markov Automata, Volume 7454 of LNCS, pages 364-379, Springer, 2012. |
| DOI | Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen. Robust PCTL Model Checking, pages 275-286, ACM, 2012. |
| DOI | Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein. Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite, ICSE 2012, pages 1022-1031, IEEE, 2012. |
| DOI | Falak Sher, Joost-Pieter Katoen. Compositional Abstraction Techniques for Probabilistic Automata, Volume 7604 of LNCS, pages 325-341, Springer, 2012. |
| DOI | Joost-Pieter Katoen. GSPNs Revisited, pages 6-12, IEEE, 2012. |
| DOI | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language, pages 168-177, IEEE CS Press, 2012. |
| Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal Critical Subsystems as Counterexamples for ω-Regular DTMC Properties, Volume 68 of Schriftenreihe Forschungsergebnisse zur Informatik, pages 169-180, Kovač, 2012. | |
| DOI | Arpit Sharma, Joost-Pieter Katoen. Weighted Lumpability on Markov Chains, Volume 7162 of LNCS, pages 322-339, Springer, 2012. |
| 2011 | |
| DOI | Joost-Pieter Katoen. Towards trustworthy aerospace systems, Volume 6959 of LNCS, pages 1-4, Springer, 2011. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Observing Continuous-Time MDPs by 1-Clock Timed Automata, Volume 6945 of LNCS, pages 2-25, Springer, 2011. |
| DOI | Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems, pages 83-92, ACM Press, 2011. |
| DOI | Benoit Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Efficient CTMC Model Checking of Linear Real-Time Objectives, Volume 6605 of LNCS, pages 128-142, Springer, 2011. |
| DOI | Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata, Volume 6538 of LNCS, pages 324-339, Springer, 2011. |
| DOI | Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. A Local Greibach Normal Form for Hyperedge Replacement Grammars, Volume 6638 of LNCS, pages 323-335, Springer, 2011. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen, A. Mereacre. Reachability probabilities in markovian timed automata, pages 7075-7080, IEEE, 2011. |
| DOI | Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. Hierarchical counterexamples for discrete-time markov chains, Volume 6996 of LNCS, pages 443-452, Springer, 2011. |
| Joost-Pieter Katoen, Thomas Noll. Trustworthy Aerospace Systems, pages 204-205, PS, PublicService.co.uk Ltd, 2011. | |
| DOIFull Text | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, pages 12, Department of Theoretical Computer Science, Technical University of Braunschweig, 2011. |
| DOI | Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen. The Ins and Outs of the Probabilistic Model Checker MRMC, pages 90-104, Elsevier, 2011. |
| DOI | Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. Time-bounded reachability in tree-structured QBDs by abstraction, pages 105-125, Elsevier, 2011. |
| DOI | Hongfei Fu, Joost-Pieter Katoen. Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems, Volume 13 of Leibniz International Proceedings in Informatics, pages 445-456, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2011. |
| DOI | Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini. A two-step scheme for approximate model checking of stochastic hybrid systems, pages 4519-4524, 2011. |
| DOI | Yuri Yushtein, Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive, Marco Roveri. System-Software Co-Engineering, pages 18-25, IEEE CS Press, 2011. |
| DOI | Haidi Yue, Henrik Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen. Analysing and Improving Energy Efficiency of Distributed Slotted Aloha, Volume 6869 of LNCS, pages 197-208, Springer, 2011. |
| DOI | Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer. A linear process-algebraic format with data for probabilistic automata, pages 36-57, Elsevier, 2011. |
| 2010 | |
| Full Text | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Computing Maximum Reachability Probabilities in Markovian Timed Automata, Volume 2010.06 of Aachener Informatik Berichte, pages 40 S., RWTH Aachen, Department of Computer Science, 2010. |
| DOI | Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Daniel Neider, David R. Piegdon. libalf, Volume 6174 of LNCS, pages 360-364, Springer, 2010. |
| DOI | Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. DTMC Model Checking by SCC Reduction, pages 37-46, IEEE Computer Society, 2010. |
| DOI | Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen. Model Checking Markov Chains using Krylov Subspace Methods, Volume 6342 of LNCS, pages 115-130, Springer, 2010. |
| DOI | Haidi Yue, Joost-Pieter Katoen. Leader Election in Anonymous Radio Networks, Volume 6148 of LNCS, pages 247-261, Springer, 2010. |
| DOI | Haidi Yue, Henrik Bohnenkamp, Joost-Pieter Katoen. Analyzing Energy Consumption in a Gossiping MAC Protocol, Volume 5987 of LNCS, pages 107-119, Springer, 2010. |
| DOI | Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll Morgan. Linear-Invariant Generation for Probabilistic Programs, Volume 6337 : Advanced Research in Computing and Software Science of LNCS, pages 390-406, Springer, 2010. |
| DOI | Joost-Pieter Katoen. Advances in Probabilistic Model Checking, Volume 5944 of LNCS, pages 25, Springer, 2010. |
| DOI | Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga, Mark Timmer. A Linear Process Algebraic Format for Probabilistic Systems with Data, pages 213-222, IEEE Computer Soc., 2010. |
| DOI | Holger Hermanns, Joost-Pieter Katoen. The How and Why of Interactive Markov Chains, Volume 6286 of LNCS, pages 311-337, Springer, 2010. |
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer. A Model Checker for AADL, Volume 6174 of LNCS, pages 562-565, Springer, 2010. |
| DOI | Marijn R. Jongerden, Alexandru Mereacre, Henrik Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen. Computing Optimal Schedules for Battery Usage in Embedded Systems, pages 276-286, IEEE, 2010. |
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Safety, Dependability, and Performance Analysis of Extended AADL Models, Univ. Press, 2010. |
| Full Text | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA, pages 45-72, VEDA, Slov. Akad. Vied, 2010. |
| DOI | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Learning Communicating Automata from MSCs, pages 390-408, IEEE, 2010. |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Performance Evaluation and Model Checking Join Forces, pages 76-85, Association for Computing Machinery, 2010. |
| DOI | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Performability Assessment by Model Checking of Markov Reward Models, pages 1-36, Springer, 2010. |
| DOI | Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini. Approximate model checking of stochastic hybrid systems, pages 624-641, Hermes [u.a.], 2010. |
| 2009 | |
| Full Text | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative model checking of continuous-time Markov chains against timed automata specifications, Volume 2009,2 of Aachener Informatik-Berichte, pages 50 S., RWTH Aachen, Department of Computer Science, 2009. |
| Full Text | Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems, Volume 2009,15 of Aachener Informatik-Berichte, pages 32 S., RWTH Aachen, Department of Computer Science, 2009. |
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. The COMPASS Approach, Volume 5775 of LNCS, pages 173-186, Springer, 2009. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. LTL model checking of time-inhomogeneous Markov chains, Volume 5799 of LNCS, pages 104-119, Springer, 2009. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems, Volume 5813 of LNCS, pages 195-211, Springer, 2009. |
| DOI | Martin R. Neuhäußer, Marielle Stoelinga, Joost-Pieter Katoen. Delayed Nondeterminism in Continuous-Time Markov Decision Processes, Volume 5504 of LNCS, pages 364-379, Springer, 2009. |
| DOI | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Codesign of Dependable Systems, pages 121-130, IEEE, 2009. |
| Full Text | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Model-Based Codesign of Critical Embedded Systems, Volume 507 of CEUR workshop proceedings, pages 87-91, RWTH Aachen, 2009. |
| Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration), pages 285-286, ACM, 2009. | |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, pages 309-318, IEEE, 2009. |
| DOI | Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen. Maximizing System Lifetime by Battery Scheduling, pages 63-72, IEEE, 2009. |
| DOI | Joost-Pieter Katoen, Ivan S. Zapreev. Simulation-based CTMC Model Checking, pages 31-40, IEEE, 2009. |
| DOI | Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction, International Conference on Quantitative Evaluation of Systems-QEST, pages 133-142, IEEE, 2009. |
| DOI | Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen. The Ins and Outs of The Probabilistic Model Checker MRMC, International Conference on Quantitative Evaluation of Systems-QEST, pages 167-176, IEEE, 2009. |
| DOI | Tingting Han, Joost-Pieter Katoen, Berteun Damman. Counterexample Generation in Probabilistic Model Checking, pages 241-257, IEEE, 2009. |
| 2008 | |
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA - the Smyle modeling approach, pages 26 S., TU, 2008. | |
| Full Text | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Abstraction for stochastic systems by Erlangs method of stages, Volume 2008,12 of Aachener Informatik-Berichte, pages 27 S., RWTH Aachen, Department of Computer Science, 2008. |
| Full Text | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Reachability in continuous-time Markov reward decision processes, Volume 2 of Texts in logic and games, pages 53-72, Amsterdam Univ. Pr., 2008. |
| DOI | Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Smyle, Volume 5201 of LNCS, pages 162-166, Springer, 2008. |
| DOI | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains, Volume 4981 of LNCS, pages 244-258, Springer, 2008. |
| DOI | David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Marielle Stoelinga, Ivan S. Zapreev. How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison, Volume 4899 of LNCS, pages 69-85, Springer, 2008. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Abstraction for Stochastic Systems by Erlang's Method of Stages, Volume 5201 of LNCS, pages 279-294, Springer, 2008. |
| DOI | Joost-Pieter Katoen, Alexandru Mereacre. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains, Volume 5215 of LNCS, pages 203-217, Springer, 2008. |
| Christel Baier, Joost-Pieter Katoen. Principles of model checking, Computer science, pages XVII, 975 S.. : graph. Darst., MIT Press, 2008. | |
| DOI | Manuela Bujorianu, Joost-Pieter Katoen. Symmetry reduction for stochastic hybrid systems, pages 233-238, IEEE, 2008. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen. Time-Abstracting Bisimulation for Probabilistic Timed Automata, pages 177-184, IEEE, 2008. |
| DOI | Berteun Damman, Tingting Han, Joost-Pieter Katoen. Regular Expressions for PCTL Counterexamples, pages 179-188, IEEE, 2008. |
| DOI | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Approximate parameter synthesis for probabilistic time-bounded reachability, pages 173-182, IEEE, 2008. |
| DOI | Joost-Pieter Katoen. How to model and analyze gossiping protocols?, pages 3-6, ACM, 2008. |
| DOI | Joost-Pieter Katoen. Perspectives in Probabilistic Verification, pages 3-10, IEEE, 2008. |
| DOI | Joost-Pieter Katoen. Quantitative Evaluation in Embedded System Design, Design Automation and Test in Europe Conference and Expo, pages 86-87, IEEE Service Center, 2008. |
| DOI | Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen. The Surprising Robustness of (Closed) Timed Automata against Clock-Drift, Volume 273 of IFIP, pages 537-553, Springer, 2008. |
| 2007 | |
| Full Text | Martin R. Neuhäußer, Joost-Pieter Katoen. Bisimulation and logical preservation for continuous-time Markov decision processes, Volume 2007,10 of Aachener Informatik-Berichte, pages 26 S., RWTH, Department of Computer Science, 2007. |
| Full Text | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-valued abstraction for probabilistic systems, Volume 2007,20 of Aachener Informatik-Berichte, pages 49 Bl. : graph. Darst., RWTH Aachen, Department of Computer Science, 2007. |
| Full Text | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Compositional modeling and minimization of time-inhomogeneous Markov chains, Volume 2007,21 of Aachener Informatik-Berichte, pages 39 Bl. : graph. Darst., RWTH, Department of Computer Science, 2007. |
| Joost-Pieter Katoen. Stochastic model checking, Volume 24 of Automation and control engineering, CRC, Taylor & Francis, 2007. | |
| DOI | Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen. Motor, Volume 4424 of LNCS, pages 500-504, Springer, 2007. |
| DOI | Martin R. Neuhäußer, Joost-Pieter Katoen. Bisimulation and logical preservation for continuous-time Markov decision processes, Volume 4703 of LNCS, pages 412-427, Springer, 2007. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Continuous-Time Markov Chains, Volume 4590 of LNCS, pages 311-324, Springer, 2007. |
| DOI | Tingting Han, Joost-Pieter Katoen. Providing evidence of likely being on time, Volume 4762 of LNCS, pages 331-346, Springer, 2007. |
| DOI | Joost-Pieter Katoen. Abstraction of probabilistic systems, Volume 4763 of LNCS, pages 1-3, Springer, 2007. |
| DOI | Tingting Han, Joost-Pieter Katoen. Counterexamples in probabilistic model checking, Volume 4424 of LNCS, pages 72-86, Springer, 2007. |
| DOI | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying play in and play out, Volume 4424 of LNCS, pages 435-450, Springer, 2007. |
| Full Text | Joost-Pieter Katoen, Thomas Noll, Stefan Rieger. Verifying concurrent list-manipulating programs by LTL model checking, Volume 2007,6 of Aachener Informatik-Berichte, pages 26 Bl. : graph. Darst., RWTH, Department of Computer Science, 2007. |
| Full Text | Joost-Pieter Katoen, Thomas Noll, Stefan Rieger. Verifying concurrent list-manipulating programs by LTL model checking, pages 94-113, 2007. |
| DOI | Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen. Bisimulation minimisation mostly speeds up probabilistic model checking, Volume 4424 of LNCS, pages 87-101, Springer, 2007. |
| DOI | Rocco de Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink. Model checking mobile stochastic logic, pages 42-70, Elsevier, 2007. |
| 2006 | |
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying play in and play out, Volume 2006,12 of Aachener Informatik-Berichte, pages 26 Bl. : graph. Darst., 2006. | |
| Full Text | Tingting Han, Joost-Pieter Katoen. Counterexamples in probabilistic model checking, Volume 2006,9 of Aachener Informatik-Berichte, pages 35 Bl. : graph. Darst., RWTH, Department of Computer Science, 2006. |
| DOI | Dino Distefano, Joost-Pieter Katoen, Arend Rensink. Safety and liveness in concurrent pointer programs, Volume 4111 of LNCS, pages 280-312, Springer, 2006. |
| DOI | Henrik Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen. MoDeST, pages 812-830, IEEE, 2006. |
| DOI | Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen. YMCA, pages 107-112, Elsevier, 2006. |
| DOI | Rocco de Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink. Towards a logic for performance and mobility, pages 161-175, Elsevier, 2006. |
| DOI | Joost-Pieter Katoen, Ivan S. Zapreev. Safe on-the-fly steady-state detection for time-bounded reachability, pages 301-310, IEEE Computer Society, 2006. |
| DOI | Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen. Probably on time and within budget, pages 311-320, IEEE Computer Society, 2006. |
| DOI | Giuliana Franceschinis, Joost-Pieter Katoen, Murray Woodside. Guest editors introduction to the special section on the first International Conference on the Quantitative Evaluation of SysTems (QEST), pages 529-530, IEEE, 2006. |
| 2005 | |
| DOI | Henrik Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen. Are you still there?, pages 704-709, IEEE Computer Society, 2005. |
| DOI | Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev. A Markov reward model checker, pages 243-244, IEEE Computer Society, 2005. |
| DOI | Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan. Model checking Markov reward models with impulse rewards, pages 722-731, IEEE Computer Society, 2005. |
| DOI | Pedro R. D'Argenio, Joost-Pieter Katoen. A theory of stochastic systems. Part I, pages 1-38, Elsevier, 2005. |
| DOI | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf. Comparative branching-time semantics for Markov chains, pages 149-214, Elsevier, 2005. |
| DOI | Pedro R. D'Argenio, Joost-Pieter Katoen. A theory of stochastic systems. Part II, pages 39-74, Elsevier, 2005. |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model checking meets performance evaluation, pages 10-15, Association for Computing Machinery, 2005. |
| 2002 | |
| DOI | Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier. Model checking performability properties, pages 103-112, IEEE Computer Society, 2002. |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Automated performance and dependability evaluation using model checking, Volume 2459 of LNCS, pages 261-289, Springer, 2002. |
| 2000 | |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. On the Logical Characterisation of Performability Properties, Volume 1853 of LNCS, pages 780-792, Springer, 2000. |