Joost-Pieter Katoen

katoen-2
Email
katoen at cs.rwth-aachen.de
Address
Room 4201
Ahornstraße 55
D-52074 Aachen
Phone
+49 241 80 21200

Please visit my personal page in the web

2020
[bibtex] [issue] Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Kevin Batz, Lutz Klinkenberg, Tobias Winkler. Generating Functions for Probabilistic Programs, 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR2020), LNCS, Springer, 2020.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Joost-Pieter Katoen, Martin Grohe, Peter Lindner. Generative Datalog with Continuous Distributions, 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2020), 347-360, ACM, 2020.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Joost-Pieter Katoen, Jürgen Giesl, Marcel Hark. Aiming low is harder, Proceedings of the ACM on programming languages 4 (POPL), pages 1-28, ACM, 2020.
arXiv:2004.14835 [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen, Kevin Batz, Philipp Schröer, Sebastian Junges. PrIC3, 2020. https://arxiv.org/abs/2004.14835
DOI fulltext PDF [bibtex] [issue] Florent Delgrange, Joost-Pieter Katoen, Mickael Randour, Tim Quatmann. Simple Strategies in Multi-Objective MDPs, Tools and Algorithms for the Construction and Analysis of Systems 2020 (TACAS 2020), Volume 12078 of Theoretical Computer Science and General Issues, 346-364, Springer, 2020.
DOI [bibtex] [issue] Christel Baier, Christian Hensel, Joachim Klein, Joost-Pieter Katoen, Lisa Hutschenreiter, Sebastian Junges. Parametric Markov chains, Information and computation 272, pages 104504, Elsevier, 2020.
DOI [bibtex] [issue] Bernd Becker, Joost-Pieter Katoen, Leonore Winterer, Nils Jansen, Ralf Wimmer, Sebastian Junges, Ufuk Topcu. Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions, IEEE transactions on automatic control, Institute of Electrical and Electronics Engineers, 2020.
DOI [bibtex] [issue] Joost-Pieter Katoen, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ufuk Topcu. Scenario-Based Verification of Uncertain MDPs, 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 12078 of Theoretical Computer Science and General Issues, 287-305, Springer, 2020.
DOI fulltext PDF [bibtex] [issue] Arnd Hartmanns, Joost-Pieter Katoen, Sebastian Junges, Tim Quatmann. Multi-cost Bounded Tradeoff Analysis in MDP, Journal of automated reasoning 64 (7), pages 1483-1522, Springer, 2020.
DOI fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Krishnendu Chatterjee, Maximilian Weininger, Tobias Winkler. Stochastic Games with Lexicographic Reachability-Safety Objectives, 32nd International Conference on Computer Aided Verification (CAV 2020), Volume 12225 of LNCS, 398-420, Springer, 2020.
DOI fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Marc Bouissou, Pavel Krcal, Shahid Khan. Various Ways to Quantify BDMPs, The 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), pages 1-14, NICTA, 2020.
arXiv:2007.06327 [bibtex] [issue] Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Kevin Batz, Kevin Stefan Batz, Lutz Klinkenberg, Tobias Winkler. Generating Functions for Probabilistic Programs, 2020. https://arxiv.org/abs/2007.06327
arXiv:2010.14548 [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen, Kevin Batz. Relatively Complete Verification of Probabilistic Programs, 49 Seiten, 2020. https://arxiv.org/abs/2010.14548
fulltext PDF [bibtex] [issue] Andreas Gabriel Klinger, Anton Pirogov, Benjamin Lucien Kaminski, Björn Frederik Tauer, Daxin Liu, Dennis Fischer, Helene-Maria Bolke-Hermanns, Janosch Fuchs, Jip Josephine Spel, Joost-Pieter Katoen, Katrin Dannert, Laura Vargas Koch, Marcel Hark, Martin Comis, Martin Ritzert, Matthias Volk, Nadine Friesen, Norman Weik, Peter Lindner, Rebecca Haehn, Richard Wilke, Sebastian Junges, Stefan Schupp, Stephan Zieger, Tabea Claudia Krabs, Till Hofmann, Vipin Ravindran Vijayalakshmi. UnRAVeL - Research Training Group, 2020.
2019
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen. On the hardness of analyzing probabilistic programs, Acta informatica 56 (3), pages 255–285, Springer, 2019.
DOI [bibtex] [issue] Christel Baier, Holger Hermanns, Joost-Pieter Katoen. The 10,000 Facets of MDP Model Checking, Volume 10000 of LNCS, 420-451, Springer, 2019.
DOI fulltext PDF [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen, Kevin Batz, Thomas Noll. Quantitative separation logic, Proceedings of the ACM on programming languages 3 (POPL), pages 34, ACM, 2019.
DOI [bibtex] [issue] Joost-Pieter Katoen, Majdi Ghadhab, Matthias Kuntz, Matthias Volk, Sebastian Junges. Safety analysis for vehicle guidance systems with dynamic fault trees, Reliability engineering & system safety 186, pages 37-50, Elsevier Science, 2019.
DOI [bibtex] [issue] Bernd Becker, Joost-Pieter Katoen, Leonore Winterer, Nils Jansen, Ralf Wimmer, Sebastian Junges, Tim Quatmann. Correct-by-construction policies for POMDPs, 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR) held as part of the 12th Cyber-Physical Systems and Internet-of-Things Week (CPS-IoT Week) (SNR '19), 6-8, ACM Press, 2019.
DOI [bibtex] [issue] Joost-Pieter Katoen, Matthias Volk, Nils Nießen, Norman Weik. A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas, 24th International Conference On Formal Methods for Industrial Critical Systems (FMICS 2019), Volume 11687 of LNCS, 40-58, Springer, 2019.
DOI [bibtex] [issue] Joost-Pieter Katoen, Matthias Volk, Osman Hasan, Sofiène Tahar, Yassmeen Elderhalli. Formal Verification of Rewriting Rules for Dynamic Fault Trees, 17th International Conference on Software Engineering and Formal Methods (SEFM), Volume 11724 of LNCS, 513-531, Springer, 2019.
DOI [bibtex] [issue] Erika Ábrahám, Johanna Nellen, Joost-Pieter Katoen, Md Tawhid Bin Waez, Philipp Berger, Thomas Rambow. Multiple Analyses, Requirements Once, 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), Volume 11687 of LNCS, 59-75, Springer, 2019.
DOI fulltext PDF [bibtex] [issue] Guillermo A. Pérez, Joost-Pieter Katoen, Sebastian Junges, Tobias Winkler. On the Complexity of Reachability in Parametric Markov Decision Processes, CONCUR 2019, Volume 140 of Leibniz international proceedings in informatics : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August, 2019.
DOI [bibtex] [issue] Christian Dehnert, Joost-Pieter Katoen, Milan Češka, Nils Jansen, Sebastian Junges. Model Repair Revamped, Volume 11500 of LNCS, 107-125, Springer, 2019.
DOI [bibtex] [issue] Joost-Pieter Katoen, Martin R. Neuhäußer, Thomas Noll, Tim Felix Lange. IC3 software model checking, International journal on software tools for technology transfer 22 (2), pages 135–161, Springer, 2019.
DOI [bibtex] [issue] Jip Josephine Spel, Joost-Pieter Katoen, Sebastian Junges. Are Parametric Markov Chains Monotonic?, 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), Volume 11781 of LNCS, 479-496, Springer, 2019.
DOI fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Milan Češka, Nils Jansen, Sebastian Junges. Shepherding Hordes of Markov Chains, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 11428 of LNCS, 172-190, Springer, 2019.
DOI [bibtex] [issue] Hans Christian Hensel, Joost-Pieter Katoen, Milan Češka, Sebastian Junges. Counterexample-Driven Synthesis for Probabilistic Program Sketches, 3rd World Congress on Formal Methods (FM 2019), Volume 11800 of LNCS, 101-120, Springer, 2019.
DOI [bibtex] [issue] Hongfei Fu, Joost-Pieter Katoen, Mingzhang Huang. Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems, Information and computation 268, pages 104431, Elsevier, 2019.
DOI [bibtex] [issue] Joost-Pieter Katoen, Marc Bouissou, Matthias Volk, Shahid Khan. Synergizing Reliability Modeling Languages, 24th Pacific Rim International Symposium on Dependable Computing (PRDC), 266-275, IEEE, 2019.
2018
DOI [bibtex] [issue] Joost-Pieter Katoen, Marielle Stoelinga, Matthias Volk, Sebastian Junges. One Net Fits All, 39th International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2018), Volume 10877 of LNCS, 272-293, Springer, 2018.
DOI [bibtex] [issue] Gaoang Liu, Hao Wu, Huimin Lin, Joost-Pieter Katoen, Xiaoxiao Yang. Branching Bisimulation and Concurrent Object Verification, 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2018), 267-278, IEEE, 2018.
DOI [bibtex] [issue] Joost-Pieter Katoen, Matthias Volk, Sebastian Junges. Fast Dynamic Fault Tree Analysis by Model Checking Techniques, IEEE transactions on industrial informatics 14 (1), pages 370-379, IEEE, 2018.
arXiv:1802.10467 [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen, Kevin Batz, Thomas Noll. Quantitative Separation Logic, 159 Seiten, 2018. https://arxiv.org/abs/1802.10467
DOI fulltext PDF [bibtex] [issue] Arnd Hartmanns, Joost-Pieter Katoen, Sebastian Junges, Tim Quatmann. Multi-cost Bounded Reachability in MDP, 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Volume 10806 of LNCS, 320-339, Springer, 2018.
DOI fulltext PDF [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen, Kevin Batz. How long, O Bayesian network, will I sample thee?, 27th European Symposium on Programming (ESOP 2018), Volume 10801 of LNCS, 186-213, Springer, 2018.
DOI [bibtex] [issue] Annabelle McIver, Benjamin Lucien Kaminski, Carroll Morgan, Joost-Pieter Katoen. A new proof rule for almost-sure termination, Proceedings of the ACM on Programming Languages 2, pages 33:1-33:28, ACM, 2018.
DOI [bibtex] [issue] Annabelle Mciver, Benjamin Lucien Kaminski, Federico Olmedo, Friedrich Gretz, Joost-Pieter Katoen, Nils Jansen. Conditioning in Probabilistic Programming, ACM transactions on programming languages and systems 40 (1), pages 4, Association for Computing Machinery, 2018.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Federico Olmedo, Joost-Pieter Katoen. Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms, Journal of the ACM 65 (5), pages 30:1-30:68, 2018.
DOI [bibtex] [issue] Christina Jansen, Christoph Matheja, Hannah Arndt, Joost-Pieter Katoen, Thomas Noll. Let this Graph Be Your Witness!, 30th International Conference on Computer Aided Verification (CAV 2018), Volume 10982 of LNCS, 3-11, Springer, 2018.
DOI [bibtex] [issue] Ana Sokolova, Ezio Bartocci, Joost-Pieter Katoen, Krishnendu Chatterjee, Sebastian Arming. Parameter-Independent Strategies for pMDPs via POMDPs, 15th International Conference on Quantitative Evaluation of Systems (QEST), Volume 11024 of LNCS, 53-70, Springer, 2018.
DOI fulltext PDF [bibtex] [issue] Bican Xia, Haokun Li, Joost-Pieter Katoen, Naijun Zhan, Yijun Feng. Monitoring CTMCs by Multi-clock Timed Automata, 30th International Conference on Computer Aided Verification (CAV 2018), Volume 10981 of LNCS, 507-526, Springer, 2018.
DOI [bibtex] [issue] Joost-Pieter Katoen, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ufuk Topcu. Synthesis in pMDPs, 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Volume 11138 of LNCS, 160-176, Springer, 2018.
[bibtex] [issue] Bernd Becker, Joost-Pieter Katoen, Leonore Winterer, Nils Jansen, Ralf Wimmer, Sebastian Junges, Tim Quatmann. Finite-State Controllers of POMDPs using Parameter Synthesis, 34th Conference on Uncertainty in Artificial Intelligence (UAI 34), 519-529, Curran Associates, Inc., 2018.
DOI fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Tim Quatmann. Sound Value Iteration, 30th International Conference on Computer Aided Verification (CAV 2018), Volume 10981 of LNCS, 643-661, Springer, 2018.
DOI [bibtex] [issue] Joost-Pieter Katoen, Mary Hayhoe, Nils Jansen, Ruohan Zhang, Sebastian Junges, Ufuk Topcu. Model Checking for Safe Navigation Among Humans, 15th International Conference on Quantitative Evaluation of Systems (QEST), Volume 11024 of LNCS, 207-222, Springer, 2018.
fulltext PDF [bibtex] [issue] Bernd Becker, Joost-Pieter Katoen, Leonore Winterer, Nils Jansen, Ralf Wimmer, Sebastian Junges, Tim Quatmann. Finite-State Controllers of POMDPs using Parameter Synthesis, 34th Conference on Uncertainty in Artificial Intelligence (UAI 34), 519-529, AUAI Press, 2018.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen, Maurice van Keulen. Rule-Based Conditioning of Probabilistic Data, 12th International Conference on Scalable Uncertainty Management (SUM 2018), Volume 11142 of Lecture Notes in Artificial Intelligence, 290-305, Springer, 2018.
DOI [bibtex] [issue] Frederick Prinz, Joost-Pieter Katoen, Martin R. Neuhäußer, Thomas Noll, Tim Lange. Improving Generalization in Software IC3, 23rd International Symposium on Model Checking Software (Spin 2018), LNCS, 85-102, Springer, 2018.
DOI [bibtex] [issue] Erika Ábrahám, Johanna Nellen, Joost-Pieter Katoen, Md Tawhid Bin Waez, Thomas Rambow. Formal Verification of Automotive Simulink Controller Models, 22nd International Symposium on Formal Methods (FM 2018), Volume 10951 of LNCS, Springer, 2018.
DOI [bibtex] [issue] Erika Ábrahám, Joost-Pieter Katoen, Md Tawhid Bin Waez, Philipp Berger, Thomas Rambow. Verifying Auto-generated C Code from Simulink, 22nd International Symposium of Formal Methods (FM 2018), Volume 10951 of LNCS, Springer, 2018.
2017
DOI [bibtex] [issue] Alessandro Abate, Alexandru Mereacre, Ilya Tkachev, Joost-Pieter Katoen. Quantitative model-checking of controlled discrete-time Markov processes, Information and Computation 253 (Part 1), pages 1-35, Elsevier, 2017.
DOI [bibtex] [issue] Arend Rensink, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga, Sebastian Junges. Fault trees on a diet, Formal aspects of computing 29 (4), pages 651-703, Springer, 2017.
DOI [bibtex] [issue] Joost-Pieter Katoen, Sebastian Junges, Tim Quatmann. Markov Automata with Multiple Objectives, 29th International Conference on Computer-Aided Verification (CAV 2017), Volume 10426 of LNCS, 140-159, Springer, 2017.
[bibtex] [issue] Benjamin Lucien Kaminski, Joost-Pieter Katoen. A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations, Symposium on Logic in Computer Science (LICS), 1-12, IEEE, 2017.
arXiv:1702.04311 [bibtex] [issue] Christian Dehnert, Joost-Pieter Katoen, Matthias Volk, Sebastian Junges. A storm is Coming, 14 Seiten : Tabellen, Diagramme, 2017. https://arxiv.org/abs/1702.04311
DOI [bibtex] [issue] Hans Christian Dehnert, Joost-Pieter Katoen, Matthias Volk, Sebastian Junges. A Storm is Coming, 29th International Conference on Computer-Aided Verification (CAV 2017), Volume 10427 of LNCS, 592-600, Springer, 2017.
DOI [bibtex] [issue] Hasan A. Poonawala, Ivan Papusha, Joost-Pieter Katoen, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ufuk Topcu. Sequential Convex Programming for the Efficient Verification of Parametric MDPs, 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Volume 10206 of LNCS, 133-150, Springer, 2017.
fulltext PDF [bibtex] [issue] Harold Yorick Bruintjes, Joost-Pieter Katoen. Missie, Bits en Chips 1, pages 38-39, Techwatch bv, 2017.
fulltext PDF [bibtex] [issue] Alessandro Cimatti, Harold Yorick Bruintjes, Joost-Pieter Katoen, Marco Bozzano, Stefano Tonetta, Thomas Noll. The COMPASS 3.0 Toolset, 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), 2 Seiten, 2017.
DOI [bibtex] [issue] Joost-Pieter Katoen, Marielle Stoelinga. Boosting Fault Tree Analysis by Formal Methods, Volume 10500 of LNCS, 368-389, Springer, 2017.
DOI [bibtex] [issue] Alexander Perucci, Antinisca Di Marco, Javier Ciamara, Joost-Pieter Katoen, Marco Autili, Marta Kwiatkowska, Massimo Tivoli, Nils Jansen, Ole J. Mengshoel, Paola Inverardi, Radu Calinescu, Romina Spalazzese, Simos Gerasimou. Synthesis and Verification of Self-aware Computing Systems, Springer eBook Collection : Computer Science, 337-373, Springer, 2017.
DOI [bibtex] [issue] Arend Rensink, Joost-Pieter Katoen, Rom Langerak. ModelEd, TestEd, TrustEd, Volume 10500 of LNCS, XII, 389 Seiten : Illustrationen, Diagramme, Springer, 2017.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen. Tweaking The Odds, Volume 10580 of LNCS, [XVI]-XVII, Springer, 2017.
DOI [bibtex] [issue] Alessandro Cimatti, Harold Yorick Bruintjes, Joost-Pieter Katoen, Marco Bozzano, Stefano Tonetta, Thomas Noll. Formal Methods for Aerospace Systems, Springer eBook Collection : Computer Science, 133-159, Springer, 2017.
DOI [bibtex] [issue] Falak Sher, Joost-Pieter Katoen. Modal Stochastic Games, KiMfest, Volume 10460 of LNCS, 426-448, Springer, 2017.
DOI [bibtex] [issue] Joost-Pieter Katoen, Majdi Ghadhab, Matthias Kuntz, Matthias Volk, Sebastian Junges. Model-based Safety Analysis for Vehicle Guidance Systems, 36th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2017), Volume 10488 of LNCS, 3-19, Springer, 2017.
DOI [bibtex] [issue] Bernd Becker, Joost-Pieter Katoen, Leonore Winterer, Nils Jansen, Ralf Wimmer, Sebastian Junges, Ufuk Topcu. Motion planning under partial observability using game-based abstraction, IEEE 56th Annual Conference on Decision and Control (CDC), 2201-2208, IEEE, 2017.
DOI [bibtex] [issue] Arne Storjohann, Borzoo Bonakdarpour, Joost-Pieter Katoen, Matthias Volk, Saba Aflaki. Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms, 36th International Symposium on Reliable Distributed Systems (SRDS 2017), 94-103, IEEE, 2017.
2016
DOI fulltext PDF [bibtex] [issue] Christian Dehnert, Erika Ábrahám, Florian Corzilius, Harold Yorick Bruintjes, Joost-Pieter Katoen, Matthias Volk, Nils Jansen, Sebastian Junges. Parameter synthesis for probabilistic systems, 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2016), 72-74, Albert-Ludwigs-Universität, 2016.
DOI fulltext PDF [bibtex] [issue] Anton Wijs, Dragan Bošnački, Joost-Pieter Katoen. Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components, Formal methods in system design 48 (3), pages 274-300, Springer, 2016.
DOI [bibtex] [issue] Joost-Pieter Katoen. The Probabilistic Model Checking Landscape, 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '16), 31-45, ACM Press, 2016.
DOI [bibtex] [issue] Joost-Pieter Katoen, Souymodip Chakraborty. On the Satisfiability of Some Simple Probabilistic Logics, 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '16), 56-65, ACM Press, 2016.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Federico Olmedo Beron, Joost-Pieter Katoen. Reasoning about Recursive Probabilistic Programs, The 31st Annual ACM/IEEE Symposium, 672-681, ACM Press, 2016.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen. Inferring Covariances for Probabilistic Programs, 13th International Conference on Quantitative Evaluation of Systems (QEST 2016), Volume 9826 of LNCS, 191-206, Springer, 2016.
DOI [bibtex] [issue] Hao Wu, Joost-Pieter Katoen, Xiaoxiao Yang. Performance Evaluation of Concurrent Data Structures, International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016), Volume 9984 of LNCS, 38-49, Springer, 2016.
DOI [bibtex] [issue] Hans Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Sebastian Junges, Tim Quatmann. Parameter Synthesis for Markov Models, 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), Volume 9938 of LNCS, 50-67, Springer, 2016.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Hans Christian Dehnert, Joost-Pieter Katoen, Lukas Westhofen, Nils Jansen. Bounded Model Checking for Probabilistic Programs, 14th International Symposium on Automated Technology for Verification and Analysis (ATVA), Volume 9938 of LNCS, 68-85, Springer, 2016.
DOI [bibtex] [issue] Christian Dombrowski, James Gross, Joost-Pieter Katoen, Sebastian Junges. Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks, 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS) (SRDS 2016), 307-316, IEEE, 2016.
DOI [bibtex] [issue] Jaco van de Pol, Joost-Pieter Katoen, Mariëlle Stoelinga, Mark Timmer. Confluence reduction for Markov automata, Theoretical computer science 655, pages 193-219, Elsevier, 2016.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Federico Olmedo Beron, Joost-Pieter Katoen. Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs, Volume 9632 of LNCS, 364-389, Springer, 2016.
DOI [bibtex] [issue] Joost-Pieter Katoen, Matthias Volk, Sebastian Junges. Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates, Volume 9922 of LNCS, 253-265, Springer, 2016.
DOI [bibtex] [issue] Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga, Sebastian Junges. Uncovering Dynamic Fault Trees, 299-310, IEEE, 2016.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Nils Jansen, Sebastian Junges, Ufuk Topcu. Probabilistic Verification for Cognitive Models, Volume FS-16-03 of AAAI Technical Reports, 185-188, AAAI Press, 2016.
DOI [bibtex] [issue] Hans Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Sebastian Junges, Ufuk Topcu. Safety-constrained Reinforcement Learning for MDPs, Volume 9636 of LNCS, 130-146, Springer, 2016.
fulltext PDF [bibtex] [issue] Benjamin Lucien Kaminski, Federico Olmedo Beron, Friedrich Gretz, Joost-Pieter Katoen, Nils Jansen. On the Semantic Intricacies of Conditioning, 2 Seiten, 2016.
DOI [bibtex] [issue] Hao Wu, Joost-Pieter Katoen. Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow, ACM Transactions on Embedded Computing Systems 22 (1), pages 15, ACM Press, 2016.
2015
DOI [bibtex] [issue] David Lesens, Harold Yorick Bruintjes, Joost-Pieter Katoen. A Statistical Approach for Timed Reachability in AADL Models, 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015), 81-88, IEEE, 2015.
DOI [bibtex] [issue] Falak Sher, Joost-Pieter Katoen, Martin Strelec, Souymodip Chakraborty. Modelling and statistical model checking of a microgrid, International journal on software tools for technology transfer 17 (4), pages 537-554, Springer, 2015.
DOI fulltext PDF [bibtex] [issue] Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. High-level Counterexamples for Probabilistic Automata, Logical methods in computer science 11 (1), pages 15, Department of Theoretical Computer Science, Technical University of Braunschweig, 2015.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Hans Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer, Tim Quatmann. Counterexamples for Expected Rewards, Volume 9109 of LNCS, 435-452, Springer, 2015.
DOI [bibtex] [issue] Joost-Pieter Katoen, Souymodip Chakraborty. Model Checking of Open Interval Markov Chains, Volume 9081 of LNCS, 30-42, Springer, 2015.
DOI [bibtex] [issue] Alessandro Abate, Joost-Pieter Katoen, Martin Fränzle, Paul Kröger, Sebastian Gerwinn. Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems, 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015), Volume 9268 of LNCS, 93-107, Springer, 2015.
DOI [bibtex] [issue] Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. Verifying pointer programs using graph grammars, Science of computer programming 97 (1), pages 157-162, Elsevier, 2015.
DOI [bibtex] [issue] Armando Tacchella, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Shashank Pathak. A Greedy Approach for the Efficient Repair of Stochastic Models, 7th NASA Formal Methods Symposium (NFM'15), Volume 9058 of LNCS, 295-309, Springer, 2015.
DOI [bibtex] [issue] Erika Ábrahám, Florian Corzilius, Hans Christian Dehnert, Harold Yorick Bruintjes, Joost-Pieter Katoen, Matthias Volk, Nils Jansen, Sebastian Junges. PROPhESY, International Conference on Computer Aided Verification (CAV'15), Volume 9206 of LNCS, 214-231, Springer, 2015.
DOI [bibtex] [issue] Arend Rensink, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga, Sebastian Junges. Fault Trees on a Diet, First International Symposium on Dependable Software Engineering (SETTA 2015), Volume 9409 of LNCS, 3-18, Springer, 2015.
DOI fulltext PDF [bibtex] [issue] Annabelle McIver, Benjamin Lucien Kaminski, Federico Olmedo, Friedrich Gretz, Joost-Pieter Katoen, Nils Jansen. Conditioning in Probabilistic Programming, Electronic notes in theoretical computer science 319, pages 199-216, Elsevier Science, 2015.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Joost-Pieter Katoen. On the Hardness of Almost–Sure Termination, 40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015), Volume 9234 of LNCS, 308-318, Springer, 2015.
DOI [bibtex] [issue] Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. Juggrnaut, Formal methods in system design 47 (2), pages 159-203, Springer, 2015.
DOI [bibtex] [issue] Benjamin Lucien Kaminski, Federico Olmedo Beron, Friedrich Gretz, Joost-Pieter Katoen, Nils Jansen. Understanding Probabilistic Programs, Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Volume 9360 of LNCS, 15-32, Springer, 2015.
DOI [bibtex] [issue] Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll, Viet Yen Nguyen. Compositional Analysis Using Component-Oriented Interpolation, International Symposium on Formal Aspects of Component Software (FACS 2014), Volume 8997 of LNCS, 69-85, Springer, 2015.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Souymodip Chakraborty. P-Automata for Markov Decision Processes, 3rd International Workshop on Strategic Reasoning (SR2015), 2-18, 2015.
DOI [bibtex] [issue] Joost-Pieter Katoen. Probabilistic Programming, 13rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2015), Volume 9364 of LNCS, 1-3, Springer, 2015.
[bibtex] [issue] Benjamin Lucien Kaminski, Christoph Matheja, Federico Olmedo, Joost-Pieter Katoen, Nils Jansen. Probabilistic Programs - A Natural Model for Approximate Computations, Workshop on Approximate Computing (AC15), 2015.
2014
DOI [bibtex] [issue] Annabelle McIver, Friedrich Gretz, Joost-Pieter Katoen. Operational versus weakest pre-expectation semantics for the probabilistic guarded command language, Performance evaluation 73 Special (SI), pages 110-132, Elsevier, 2014.
DOI [bibtex] [issue] Antonín Kucera, Joost-Pieter Katoen, Petr Novotný, Stefan Kiefer, Tomáš Brázdil. Zero-Reachability in Probabilistic Multi-Counter Automata, Article No. 22, 10 S., ACM, 2014.
DOI [bibtex] [issue] Erika Ábrahám, Hans Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Fast Debugging of PRISM Models, Volume 8837 of LNCS, 146-162, Springer, 2014.
DOI [bibtex] [issue] Barna Zajzon, Bernd Becker, Erika Ábrahám, Johann Schuster, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Symbolic counterexample generation for large discrete-time Markov chains, Science of computer programming 91 (Part A), pages 90-114, Elsevier, 2014.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Minimal counterexamples for linear-time probabilistic verification, Theoretical computer science 549, pages 61-100, Elsevier, 2014.
DOI [bibtex] [issue] Alessandro Cimatti, Bart Postma, Joost-Pieter Katoen, Konstantinos Mokos, Marco Bozzano, Marco Roveri, Panagiotis Katsaros, Thomas Noll, Viet Yen Nguyen. Spacecraft early design validation using formal methods, Reliability engineering & system safety 132, pages 20-35, Elsevier, 2014.
DOI [bibtex] [issue] Dennis Guck, Joost-Pieter Katoen, Judi Romijn, Marielle Stoelinga, Ted Luiten. Smart Railroad Maintenance Engineering with Stochastic Model Checking, Volume 104 of Civil-Comp Proceedings : CCP, Paper 299, 16 S., Civil-Comp Press, 2014.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Hans Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models, Volume 8483 of LNCS, 65-121, Springer, 2014.
DOI [bibtex] [issue] Joost-Pieter Katoen, Souymodip Chakraborty. Parametric LTL on Markov Chains, Volume 8705 of LNCS, 207-222, Springer, 2014.
DOI [bibtex] [issue] Dirk Seifert, Hao Wu, Joost-Pieter Katoen, Thomas Noll, Thomas Santen. Performance Analysis of Computing Servers, Volume 8376 of LNCS, 57-72, Springer, 2014.
DOI [bibtex] [issue] Hao Wu, Joost-Pieter Katoen. Exponentially timed SADF, Article No. 1, 10 S., ACM, 2014.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen. Model Checking Gigantic Markov Models, Volume 8702 of LNCS, XV-XVII, Springer, 2014.
DOI [bibtex] [issue] Joost-Pieter Katoen, Lei Song, Lijun Zhang. Probably Safe or Live, Article No. 55, 10 S., ACM, 2014.
DOI [bibtex] [issue] Arpit Sharma, Joost-Pieter Katoen. Layered Reduction for Abstract Probabilistic Automata, 21-31, IEEE, 2014.
DOI [bibtex] [issue] Falak Sher Vira, Joost-Pieter Katoen. Tight Game Abstractions of Probabilistic Automata, Volume 8704 of LNCS, 576-592, Springer, 2014.
DOI [bibtex] [issue] Arpit Sharma, Joost-Pieter Katoen. Layered Reduction for Modal Specification Theories, Volume 8348 of LNCS, 1-19, Springer, 2014.
DOI [bibtex] [issue] Anton J. Wijs, Dragan Bosnacki, Joost-Pieter Katoen. GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components, Volume 8559 of LNCS, 309-325, Springer, 2014.
DOI [bibtex] [issue] Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Analysis of Timed and Long-Run Objectives in Markov Automata, Logical methods in computer science 10 (3), pages Paper 17, Department of Theoretical Computer Science, Technical University of Braunschweig, 2014.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Florian Corzilius, Joost-Pieter Katoen, Matthias Volk, Nils Jansen, Ralf Wimmer. Accelerating Parametric Probabilistic Verification, 11th International Conference on Quantitative Evaluation of Systems (QEST 2014), Volume 8657 of LNCS, 404-420, Springer, 2014.
2013
DOI [bibtex] [issue] Andrzej Wasowski, Axel Legay, Benoit Delahaye, Falak Sher, Joost-Pieter Katoen, Kim G. Larsen, Mikkel Pedersen. Abstract Probabilistic Automata, Information and computation 232, pages 66-116, Academic Press [u.a.], 2013.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, E. Moritz Hahn, Holger Hermanns, Joost-Pieter Katoen. Model checking for performability, Mathematical structures in computer science 23 (Special Issue 04), pages 751-795, Cambridge Univ. Press, 2013.
DOI [bibtex] [issue] Arnd Hartmanns, Ernst Moritz Hahn, Holger Hermanns, Joost-Pieter Katoen. A compositional modelling and analysis framework for stochastic hybrid systems, Formal methods in system design 43 (2), pages 191-232, Springer, 2013.
arXiv:1312.3979 [bibtex] [issue] Bernd Becker, Erika Ábrahám, Florian Corzilius, Joost-Pieter Katoen, Matthias Volk, Nils Jansen, Ralf Wimmer. Accelerating Parametric Probabilistic Verification, 21 Seiten, 2013. https://arxiv.org/abs/1312.3979
[bibtex] [issue] Dirk Seifert, Hao Wu, Joost-Pieter Katoen, Thomas Noll, Thomas Santen. Model-Based Energy Optimization of Automotive Control Systems, Proceedings of the Conference on Design, Automation and Test in Europe, 761-766, EDA Consortium, 2013.
DOI [bibtex] [issue] Joost-Pieter Katoen. Model Checking Meets Probability, NATO Science for Peace and Security Series - D: Information and Communication Security, 177-205, IOS Press, 2013.
DOI [bibtex] [issue] Alessandro Abate, Alexandru Mereacre, Ilya Tkachev, Joost-Pieter Katoen. Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems, Proceedings of the 16th International Conference on Hybrid Systems, 293-303, ACM, 2013.
DOI [bibtex] [issue] Annabelle McIver, Friedrich Gretz, Joost-Pieter Katoen. PRINSYS, Volume 8054 of LNCS, 172-187, Springer, 2013.
arXiv:1305.5055 [bibtex] [issue] Andreas Vorpahl, Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. High-level Counterexamples for Probabilistic Automata, Cornell University, 2013. https://arxiv.org/abs/1305.5055
DOI [bibtex] [issue] Andreas Vorpahl, Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. High-level Counterexamples for Probabilistic Automata, Volume 8054 of LNCS, 39-54, Springer, 2013.
DOI [bibtex] [issue] Joost-Pieter Katoen. Concurrency meets Probability, Volume 8052 of LNCS, 44-45, Springer, 2013.
DOI [bibtex] [issue] Doron Peled, Joost-Pieter Katoen. Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems, Volume 7792 of LNCS, 411-430, Springer, 2013.
DOI [bibtex] [issue] Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Modelling, Reduction and Analysis of Markov Automata, Volume 8054 of LNCS, 34-50, Springer, 2013.
DOI [bibtex] [issue] David Parker, Hans Christian Dehnert, Joost-Pieter Katoen. SMT-based Bisimulation Minimisation of Markov Models, Volume 7737 of LNCS, 28-47, Springer, 2013.
DOI [bibtex] [issue] Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang. A Semantics for Every GSPN, Volume 7927 of LNCS, 90-109, Springer, 2013.
2012
DOI [bibtex] [issue] Jaco van de Pol, Joost-Pieter Katoen, Marielle Stoelinga, Mark Timmer. Efficient Modelling and Generation of Markov Automata, CONCUR 2012 - concurrency theory (CONCUR 2012), Volume 7454 of LNCS, 364-379, Springer, 2012.
DOI [bibtex] [issue] Ernst-Rüdiger Olderog, Joost-Pieter Katoen, Mani Swaminathan. Layered Reasoning for Randomized Distributed Algorithms, Formal aspects of computing 24 (4/6), pages 477-496, 2012.
DOI [bibtex] [issue] Dennis Guck, Joost-Pieter Katoen, Martin R. Neuhäußer, Tingting Han. Quantitative Timed Analysis of Interactive Markov Chains, NASA formal methods (NFM 2012), Volume 7226 of LNCS, 8-23, Springer, 2012.
DOI [bibtex] [issue] Daniel Klink, Joost-Pieter Katoen, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Probabilistic Systems, The journal of logic and algebraic programming 2012, pages 1-55, North-Holland, 2012.
DOI [bibtex] [issue] Bart Postma, Joost-Pieter Katoen, Marie-Aude Esteve, Viet Yen Nguyen, Yuri Yushtein. Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite, 2012 34th International Conference on Software Engineering (ICSE 2012), ICSE 2012, 1022-1031, IEEE, 2012.
fulltext PDF [bibtex] [issue] Bart Theelen, Hao Wu, Joost-Pieter Katoen. Model checking of scenario-aware dataflow with cadp, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012), 653-658, IEEE, 2012.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Minimal Critical Subsystems for Discrete-Time Markov Models, Tools and algorithms for the construction and analysis of systems (TACAS 2012), Volume 7214 of LNCS, 299-314, Springer, 2012.
DOI [bibtex] [issue] Joost-Pieter Katoen. Model Checking, Fundamentals of software engineering (FSEN 2011), Volume 7141 of LNCS, 1-14, Springer, 2012.
DOI [bibtex] [issue] Alessandro Abate, Alessandro D'Innocenzo, Joost-Pieter Katoen. Robust PCTL Model Checking, Proceedings of the 15th International Conference on Hybrid Systems, 275-286, ACM, 2012.
fulltext PDF [bibtex] [issue] Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes, Volume 88 of Reports of SFB/TR 14 AVACS, 2012.
DOI [bibtex] [issue] Falak Sher, Joost-Pieter Katoen. Compositional Abstraction Techniques for Probabilistic Automata, Theoretical computer science (TCS 2012), Volume 7604 of LNCS, 325-341, Springer, 2012.
DOI [bibtex] [issue] Annabelle McIver, Friedrich Gretz, Joost-Pieter Katoen. Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language, 168-177, IEEE CS Press, 2012.
[bibtex] [issue] Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Minimal Critical Subsystems as Counterexamples for ω-Regular DTMC Properties, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2012), Volume 68 of Schriftenreihe Forschungsergebnisse zur Informatik, 169-180, Kovač, 2012.
DOI [bibtex] [issue] Arpit Sharma, Joost-Pieter Katoen. Weighted Lumpability on Markov Chains, Perspectives of system informatics (PSI 2011), Volume 7162 of LNCS, 322-339, Springer, 2012.
DOI [bibtex] [issue] Joost-Pieter Katoen. GSPNs Revisited, 6-12, IEEE, 2012.
2011
DOI [bibtex] [issue] Alexandru Mereacre, Benoit Barbot, Joost-Pieter Katoen, Taolue Chen, Tingting Han. Efficient CTMC Model Checking of Linear Real-Time Objectives, Tools and algorithms for the construction and analysis of systems (TACAS 2011), Volume 6605 of LNCS, 128-142, Springer, 2011.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Jens Katelaan, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Hierarchical counterexamples for discrete-time markov chains, Automated technolgoy for verification and analysis (ATVA 2011), Volume 6996 of LNCS, 443-452, Springer, 2011.
DOI [bibtex] [issue] Haidi Yue, Henrik Bohnenkamp, Joost-Pieter Katoen, Malte Kampschulte. Analysing and Improving Energy Efficiency of Distributed Slotted Aloha, Smart spaces and next generation wired/wireless networking, Volume 6869 of LNCS, 197-208, Springer, 2011.
DOI [bibtex] [issue] Alessandro Cimatti, Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, Thomas Noll, Viet Yen Nguyen, Xavier Olive, Yuri Yushtein. System-Software Co-Engineering, Proceedings, Fourth IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT 2011), 18-25, IEEE CS Press, 2011.
DOI [bibtex] [issue] Joost-Pieter Katoen. Towards trustworthy aerospace systems, Formal methods for industrial critical systems (FMICS 2011), Volume 6959 of LNCS, 1-4, Springer, 2011.
DOI [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Taolue Chen, Tingting Han. Observing Continuous-Time MDPs by 1-Clock Timed Automata, Reachability problems (RP 2011), Volume 6945 of LNCS, 2-25, Springer, 2011.
DOI [bibtex] [issue] A. Mereacre, Joost-Pieter Katoen, Taolue Chen, Tingting Han. Reachability probabilities in markovian timed automata, 2011 50th IEEE Conference on Decision and Control and European Control Conference, 7075-7080, IEEE, 2011.
DOI [bibtex] [issue] Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. A Local Greibach Normal Form for Hyperedge Replacement Grammars, Language and automata theory and applications (LATA 2011), Volume 6638 of LNCS, 323-335, Springer, 2011.
[bibtex] [issue] Joost-Pieter Katoen, Thomas Noll. Trustworthy Aerospace Systems, Public service review 11, pages 204-205, PS, PublicService.co.uk Ltd, 2011.
DOI [bibtex] [issue] Andrzej Wasowski, Axel Legay, Benoit Delahaye, Falak Sher, Joost-Pieter Katoen, Kim G. Larsen, Mikkel Pedersen. Abstract Probabilistic Automata, Verification, model checking, and abstract interpretation (VMCAI 2011), Volume 6538 of LNCS, 324-339, Springer, 2011.
DOI [bibtex] [issue] Alessandro Abate, Alexandru Mereacre, Joost-Pieter Katoen. Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems, HSCC'11, 83-92, ACM Press, 2011.
DOI [bibtex] [issue] Alessandro Abate, John Lygeros, Joost-Pieter Katoen, Maria Prandini. A two-step scheme for approximate model checking of stochastic hybrid systems, [Proceedings 18th IFAC World Congress 2011, 4519-4524, 2011.
DOI fulltext PDF [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Taolue Chen, Tingting Han. Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, Logical methods in computer science 7 (1/2), pages 12, Department of Theoretical Computer Science, Technical University of Braunschweig, 2011.
DOI [bibtex] [issue] David N. Jansen, Ernst Moritz Hahn, Holger Hermanns, Ivan S. Zapreev, Joost-Pieter Katoen. The Ins and Outs of the Probabilistic Model Checker MRMC, Performance evaluation 68 (2), pages 90-104, Elsevier, 2011.
DOI [bibtex] [issue] Anne Remke, Boudewijn R. Haverkort, Daniel Klink, Joost-Pieter Katoen. Time-bounded reachability in tree-structured QBDs by abstraction, Performance evaluation 68 (2), pages 105-125, Elsevier, 2011.
DOI [bibtex] [issue] Hongfei Fu, Joost-Pieter Katoen. Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011) [Elektronische Ressource] / Indian Association for Research in Computing Science (IARCS). Hrsg., Volume 13 of Leibniz International Proceedings in Informatics, 445-456, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2011.
DOI [bibtex] [issue] Jaco van de Pol, Joost-Pieter Katoen, Mariëlle Stoelinga, Mark Timmer. A linear process-algebraic format with data for probabilistic automata, Theoretical computer science 413 (1), pages 36-57, Elsevier, 2011.
2010
DOI [bibtex] [issue] Holger Hermanns, Joost-Pieter Katoen. The How and Why of Interactive Markov Chains, Formal methods for components and objects (FMCO 2009), Volume 6286 of LNCS, 311-337, Springer, 2010.
DOI [bibtex] [issue] Jaco van de Pol, Joost-Pieter Katoen, Marielle Stoelinga, Mark Timmer. A Linear Process Algebraic Format for Probabilistic Systems with Data, Tenth International Conference on Application of Concurrency to System Design (ACSD 2010), 213-222, IEEE Computer Soc., 2010.
DOI [bibtex] [issue] Joost-Pieter Katoen. Advances in Probabilistic Model Checking, Verification, model checking, and abstract interpretation (VMCAI 2010), Volume 5944 of LNCS, 25, Springer, 2010.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. DTMC Model Checking by SCC Reduction, Proceedings / Seventh International Conference on the Quantitative Evaluation of Systems (QEST 2010), 37-46, IEEE Computer Society, 2010.
DOI [bibtex] [issue] Annabelle McIver, Carroll Morgan, Joost-Pieter Katoen, Larissa Meinicke. Linear-Invariant Generation for Probabilistic Programs, Static analysis (SAS 2010), Volume 6337 : Advanced Research in Computing and Software Science of LNCS, 390-406, Springer, 2010.
DOI [bibtex] [issue] Haidi Yue, Henrik Bohnenkamp, Joost-Pieter Katoen. Analyzing Energy Consumption in a Gossiping MAC Protocol, Measurement, modelling and evaluation of computing systems and dependability in fault tolerance, Volume 5987 of LNCS, 107-119, Springer, 2010.
DOI [bibtex] [issue] Alessandro Cimatti, Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, Ralf Wimmer, Thomas Noll, Viet Yen Nguyen. A Model Checker for AADL, Computer aided verification (CAV 2010), Volume 6174 of LNCS, 562-565, Springer, 2010.
DOI [bibtex] [issue] Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Learning Communicating Automata from MSCs, IEEE transactions on software engineering 36 (3), pages 390-408, IEEE, 2010.
DOI [bibtex] [issue] Haidi Yue, Joost-Pieter Katoen. Leader Election in Anonymous Radio Networks, Analytical and stochastic modeling techniques and applications (ASMTA 2010), Volume 6148 of LNCS, 247-261, Springer, 2010.
DOI [bibtex] [issue] Alessandro Cimatti, Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, Thomas Noll, Viet Yen Nguyen. Safety, Dependability, and Performance Analysis of Extended AADL Models, Computer journal 51, Univ. Press, 2010.
fulltext PDF [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Taolue Chen, Tingting Han. Computing Maximum Reachability Probabilities in Markovian Timed Automata, Volume 2010.06 of Aachener Informatik Berichte, 40 S., RWTH Aachen, Department of Computer Science, 2010.
DOI [bibtex] [issue] Alessandro Abate, John Lygeros, Joost-Pieter Katoen, Maria Prandini. Approximate model checking of stochastic hybrid systems, European journal of control 16 (6), pages 624-641, Hermes [u.a.], 2010.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Lucia Cloth. Performability Assessment by Model Checking of Markov Reward Models, Formal methods in system design 36 (1), pages 1-36, Springer, 2010.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, Holger Hermanns, Joost-Pieter Katoen. Performance Evaluation and Model Checking Join Forces, Communications of the ACM 53 (9), pages 76-85, Association for Computing Machinery, 2010.
DOI [bibtex] [issue] Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen. Model Checking Markov Chains using Krylov Subspace Methods, Computer performance engineering (EPEW 2010), Volume 6342 of LNCS, 115-130, Springer, 2010.
fulltext PDF [bibtex] [issue] Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. SMA, Computing and informatics 29, pages 45-72, VEDA, Slov. Akad. Vied, 2010.
DOI [bibtex] [issue] Alexandru Mereacre, Boudewijn R. Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen, Marijn R. Jongerden. Computing Optimal Schedules for Battery Usage in Embedded Systems, IEEE transactions on industrial informatics 6 (3), pages 276-286, IEEE, 2010.
DOI [bibtex] [issue] Benedikt Bollig, Carsten Kern, Daniel Neider, David R. Piegdon, Joost-Pieter Katoen. libalf, Computer aided verification (CAV 2010), Volume 6174 of LNCS, 360-364, Springer, 2010.
2009
DOI [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Taolue Chen, Tingting Han. LTL model checking of time-inhomogeneous Markov chains, Volume 5799 of LNCS, 104-119, Springer, 2009.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen, Marijn R. Jongerden. Maximizing System Lifetime by Battery Scheduling, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks, 63-72, IEEE, 2009.
DOI [bibtex] [issue] Daniel Klink, Joost-Pieter Katoen, Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems, Volume 5813 of LNCS, 195-211, Springer, 2009.
DOI [bibtex] [issue] Joost-Pieter Katoen, Marielle Stoelinga, Martin R. Neuhäußer. Delayed Nondeterminism in Continuous-Time Markov Decision Processes, Volume 5504 of LNCS, 364-379, Springer, 2009.
DOI [bibtex] [issue] Alessandro Cimatti, Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, Thomas Noll, Viet Yen Nguyen. Codesign of Dependable Systems, Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 121-130, IEEE, 2009.
fulltext PDF [bibtex] [issue] Alessandro Cimatti, Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, Thomas Noll, Viet Yen Nguyen. Model-Based Codesign of Critical Embedded Systems, Workshop Proceedings / ACES-MB 2009, Volume 507 of CEUR Workshop Proceedings, 87-91, RWTH Aachen, 2009.
[bibtex] [issue] Alessandro Cimatti, Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, Thomas Noll, Viet Yen Nguyen. Verification and Performance Evaluation of AADL Models (Tool Demonstration), ESEC-FSE’09, 285-286, ACM, 2009.
DOI [bibtex] [issue] Alessandro Cimatti, Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, Thomas Noll, Viet Yen Nguyen. The COMPASS Approach, Volume 5775 of LNCS, 173-186, Springer, 2009.
DOI [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Taolue Chen, Tingting Han. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, 2009 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009), 309-318, IEEE, 2009.
DOI [bibtex] [issue] Ivan S. Zapreev, Joost-Pieter Katoen. Simulation-based CTMC Model Checking, QUEST 2009, 31-40, IEEE, 2009.
fulltext PDF [bibtex] [issue] Daniel Klink, Joost-Pieter Katoen, Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems, Volume 2009,15 of Aachener Informatik-Berichte, 32 S., RWTH Aachen, Department of Computer Science, 2009.
DOI [bibtex] [issue] Anne Remke, Boudewijn R. Haverkort, Daniel Klink, Joost-Pieter Katoen. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction, Sixth International Conference on the Quantitative Evaluation of Systems, 2009, International Conference on Quantitative Evaluation of Systems-QEST, 133-142, IEEE, 2009.
DOI [bibtex] [issue] David N. Jansen, Ernst Moritz Hahn, Holger Hermanns, Ivan S. Zapreev, Joost-Pieter Katoen. The Ins and Outs of The Probabilistic Model Checker MRMC, Sixth International Conference on the Quantitative Evaluation of Systems, 2009, International Conference on Quantitative Evaluation of Systems-QEST, 167-176, IEEE, 2009.
DOI [bibtex] [issue] Berteun Damman, Joost-Pieter Katoen, Tingting Han. Counterexample Generation in Probabilistic Model Checking, IEEE transactions on software engineering 35 (2), pages 241-257, IEEE, 2009.
fulltext PDF [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Taolue Chen, Tingting Han. Quantitative model checking of continuous-time Markov chains against timed automata specifications, Volume 2009,2 of Aachener Informatik-Berichte, 50 S., RWTH Aachen, Department of Computer Science, 2009.
2008
DOI [bibtex] [issue] Joost-Pieter Katoen, Manuela Bujorianu. Symmetry reduction for stochastic hybrid systems, 2008 47th IEEE Conference on Decision and Control, 233-238, IEEE, 2008.
DOI [bibtex] [issue] Berteun Damman, Joost-Pieter Katoen, Tingting Han. Regular Expressions for PCTL Counterexamples, Quantitative evaluation of systems (QEST 2008), 179-188, IEEE, 2008.
fulltext PDF [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, Holger Hermanns, Joost-Pieter Katoen. Reachability in continuous-time Markov reward decision processes, Volume 2 of Texts in logic and games, 53-72, Amsterdam Univ. Pr., 2008.
DOI [bibtex] [issue] David N. Jansen, Ivan S. Zapreev, Joost-Pieter Katoen, Marcel Oldenkamp, Marielle Stoelinga. How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison, Volume 4899 of LNCS, 69-85, Springer, 2008.
[bibtex] [issue] Christel Baier, Joost-Pieter Katoen. Principles of model checking, Computer science, XVII, 975 S.. : graph. Darst., MIT Press, 2008.
DOI [bibtex] [issue] Daniel Klink, Joost-Pieter Katoen, Martin Leucker, Verena Wolf. Abstraction for Stochastic Systems by Erlang's Method of Stages, CONCUR 2008 - concurrency theory (CONCUR 2008), Volume 5201 of LNCS, 279-294, Springer, 2008.
DOI [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains, Volume 5215 of LNCS, 203-217, Springer, 2008.
DOI [bibtex] [issue] Joost-Pieter Katoen, Taolue Chen, Tingting Han. Time-Abstracting Bisimulation for Probabilistic Timed Automata, Proceedings / Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 177-184, IEEE, 2008.
DOI [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Tingting Han. Approximate parameter synthesis for probabilistic time-bounded reachability, Proceedings / 2008 Real-Time Systems Symposium, RTSS 2008, 173-182, IEEE, 2008.
DOI [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Tingting Han. Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains, Volume 4981 of LNCS, 244-258, Springer, 2008.
DOI [bibtex] [issue] Joost-Pieter Katoen. How to model and analyze gossiping protocols?, SIGMETRICS'08, 3-6, ACM, 2008.
DOI [bibtex] [issue] Joost-Pieter Katoen. Perspectives in Probabilistic Verification, Proceedings / Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 3-10, IEEE, 2008.
DOI [bibtex] [issue] Joost-Pieter Katoen. Quantitative Evaluation in Embedded System Design, Design, automation and test in Europe, 2008, Design Automation and Test in Europe Conference and Expo, 86-87, IEEE Service Center, 2008.
DOI [bibtex] [issue] Joost-Pieter Katoen, Mani Swaminathan, Martin Fränzle. The Surprising Robustness of (Closed) Timed Automata against Clock-Drift, Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 (TC 1), Volume 273 of IFIP, 537-553, Springer, 2008.
fulltext PDF [bibtex] [issue] Daniel Klink, Joost-Pieter Katoen, Martin Leucker, Verena Wolf. Abstraction for stochastic systems by Erlangs method of stages, Volume 2008,12 of Aachener Informatik-Berichte, 27 S., RWTH Aachen, Department of Computer Science, 2008.
[bibtex] [issue] Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. SMA - the Smyle modeling approach, 26 S., TU, 2008.
DOI [bibtex] [issue] Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Smyle, CONCUR 2008 - concurrency theory (CONCUR 2008), Volume 5201 of LNCS, 162-166, Springer, 2008.
2007
[bibtex] [issue] Joost-Pieter Katoen. Stochastic model checking, Volume 24 of Automation and control engineering, CRC, Taylor & Francis, 2007.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Stefan Rieger, Thomas Noll. Verifying concurrent list-manipulating programs by LTL model checking, HAV 2007, 94-113, 2007.
DOI [bibtex] [issue] Diego Latella, Joost-Pieter Katoen, Michele Loreti, Mieke Massink, Rocco de Nicola. Model checking mobile stochastic logic, Theoretical computer science 382.2007 (1), pages 42-70, Elsevier, 2007.
fulltext PDF [bibtex] [issue] Alexandru Mereacre, Joost-Pieter Katoen, Tingting Han. Compositional modeling and minimization of time-inhomogeneous Markov chains, Volume 2007,21 of Aachener Informatik-Berichte, 39 Bl. : graph. Darst., RWTH, Department of Computer Science, 2007.
fulltext PDF [bibtex] [issue] Daniel Klink, Joost-Pieter Katoen, Martin Leucker, Verena Wolf. Three-valued abstraction for probabilistic systems, Volume 2007,20 of Aachener Informatik-Berichte, 49 Bl. : graph. Darst., RWTH Aachen, Department of Computer Science, 2007.
DOI [bibtex] [issue] Joost-Pieter Katoen, Martin R. Neuhäußer. Bisimulation and logical preservation for continuous-time Markov decision processes, Volume 4703 of LNCS, 412-427, Springer, 2007.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Martin R. Neuhäußer. Bisimulation and logical preservation for continuous-time Markov decision processes, Volume 2007,10 of Aachener Informatik-Berichte, 26 S., RWTH, Department of Computer Science, 2007.
DOI [bibtex] [issue] Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen. Motor, Tools and algorithms for the construction and analysis of systems (TACAS 2007), Volume 4424 of LNCS, 500-504, Springer, 2007.
DOI [bibtex] [issue] Joost-Pieter Katoen, Tingting Han. Providing evidence of likely being on time, Volume 4762 of LNCS, 331-346, Springer, 2007.
DOI [bibtex] [issue] Daniel Klink, Joost-Pieter Katoen, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Continuous-Time Markov Chains, Volume 4590 of LNCS, 311-324, Springer, 2007.
DOI [bibtex] [issue] Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Replaying play in and play out, Tools and algorithms for the construction and analysis of systems (TACAS 2007), Volume 4424 of LNCS, 435-450, Springer, 2007.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Stefan Rieger, Thomas Noll. Verifying concurrent list-manipulating programs by LTL model checking, Volume 2007,6 of Aachener Informatik-Berichte, 26 Bl. : graph. Darst., RWTH, Department of Computer Science, 2007.
DOI [bibtex] [issue] Joost-Pieter Katoen, Tingting Han. Counterexamples in probabilistic model checking, Tools and algorithms for the construction and analysis of systems (TACAS 2007), Volume 4424 of LNCS, 72-86, Springer, 2007.
DOI [bibtex] [issue] David N. Jansen, Ivan S. Zapreev, Joost-Pieter Katoen, Tim Kemna. Bisimulation minimisation mostly speeds up probabilistic model checking, Tools and algorithms for the construction and analysis of systems (TACAS 2007), Volume 4424 of LNCS, 87-101, Springer, 2007.
DOI [bibtex] [issue] Joost-Pieter Katoen. Abstraction of probabilistic systems, Volume 4763 of LNCS, 1-3, Springer, 2007.
2006
DOI [bibtex] [issue] 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), IEEE transactions on software engineering 32 (8), pages 529-530, IEEE, 2006.
[bibtex] [issue] Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Replaying play in and play out, Volume 2006,12 of Aachener Informatik-Berichte, 26 Bl. : graph. Darst., 2006.
fulltext PDF [bibtex] [issue] Joost-Pieter Katoen, Tingting Han. Counterexamples in probabilistic model checking, Volume 2006,9 of Aachener Informatik-Berichte, 35 Bl. : graph. Darst., RWTH, Department of Computer Science, 2006.
DOI [bibtex] [issue] Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Pedro R. D'Argenio. MoDeST, IEEE transactions on software engineering 32 (10), pages 812-830, IEEE, 2006.
DOI [bibtex] [issue] Holger Hermanns, Joost-Pieter Katoen, Mario Bravetti. YMCA, Electronic notes in theoretical computer science 162, pages 107-112, Elsevier, 2006.
DOI [bibtex] [issue] Diego Latella, Joost-Pieter Katoen, Mieke Massink, Rocco de Nicola. Towards a logic for performance and mobility, Electronic notes in theoretical computer science 153 (2), pages 161-175, Elsevier, 2006.
DOI [bibtex] [issue] Ivan S. Zapreev, Joost-Pieter Katoen. Safe on-the-fly steady-state detection for time-bounded reachability, IEEE transactions on software engineering 32.2006 (8), pages 301-310, IEEE, 2006.
DOI [bibtex] [issue] David N. Jansen, Jasper Berendsen, Joost-Pieter Katoen. Probably on time and within budget, IEEE transactions on software engineering 32.2006 (8), pages 311-322, IEEE, 2006.
DOI [bibtex] [issue] Arend Rensink, Dino Distefano, Joost-Pieter Katoen. Safety and liveness in concurrent pointer programs, Volume 4111 of LNCS, 280-312, Springer, 2006.
2005
DOI [bibtex] [issue] Joost-Pieter Katoen, Lucia Cloth, Maneesh Khattri, Reza Pulungan. Model checking Markov reward models with impulse rewards, Proceedings / 2005 International Conference on Dependable Systems and Networks, 722-731, IEEE Computer Society, 2005.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, Holger Hermanns, Joost-Pieter Katoen. Model checking meets performance evaluation, Performance evaluation review 32 (4), pages 10-15, Association for Computing Machinery, 2005.
DOI [bibtex] [issue] Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf. Comparative branching-time semantics for Markov chains, Information and computation 200 (2), pages 149-214, Elsevier, 2005.
DOI [bibtex] [issue] Joost-Pieter Katoen, Pedro R. D'Argenio. A theory of stochastic systems. Part I, Information and computation 203 (1), pages 1-38, Elsevier, 2005.
DOI [bibtex] [issue] Henrik Bohnenkamp, Jarno Guidi, Johan Gorter, Joost-Pieter Katoen. Are you still there?, Proceedings / 2005 International Conference on Dependable Systems and Networks, 704-709, IEEE Computer Society, 2005.
DOI [bibtex] [issue] Ivan S. Zapreev, Joost-Pieter Katoen, Maneesh Khattri. A Markov reward model checker, Proceedings / Second International Conference on the Quantitative Evaluation of Systems, 243-244, IEEE Computer Society, 2005.
DOI [bibtex] [issue] Joost-Pieter Katoen, Pedro R. D'Argenio. A theory of stochastic systems. Part II, Information and computation 200 (1), pages 39-74, Elsevier, 2005.
2002
DOI [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, Holger Hermanns, Joost-Pieter Katoen. Automated performance and dependability evaluation using model checking, Performance evaluation of complex systems, Volume 2459 of LNCS, 261-289, Springer, 2002.
DOI [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Lucia Cloth. Model checking performability properties, Proceedings / International Conference on Dependable Systems and Networks, 103-112, IEEE Computer Society, 2002.
2000
DOI [bibtex] [issue] Boudewijn R. Haverkort, Christel Baier, Holger Hermanns, Joost-Pieter Katoen. On the Logical Characterisation of Performability Properties, Automata, languages and programming, Volume 1853 of LNCS, 780-792, Springer, 2000.