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
DOI fulltext PDF [bibtex] Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal. Various Ways to Quantify BDMPs, The 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), NICTA, 2020.
arXiv:2004.14835 restricted URL PDF [bibtex] Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer. PrIC3: Property Directed Reachability for MDPs, 2020. arXiv:2004.14835
DOI [bibtex] Tobias Winkler, Maximilian Weininger, Krishnendu Chatterjee, Joost-Pieter Katoen. Stochastic Games with Lexicographic Reachability-Safety Objectives, International Conference on Computer Aided Verification (CAV20), Volume 12225 of LNCS, pages 398-420, Springer, 2020.
DOI fulltext PDF [bibtex] Christoph Matheja. Automated reasoning and randomization in separation logic, PhD Thesis, RWTH Aachen University, 504 pages, 2020.
DOI [bibtex] Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen. Aiming low is harder: induction for lower bounds in probabilistic program verification, Proceedings of the ACM on programming languages 4 (POPL), pages 1-28, 2020.
DOI fulltext PDF [bibtex] Sebastian Junges. Parameter synthesis in Markov models, PhD Thesis, RWTH Aachen University, 371 pages, 2020.
DOI fulltext PDF [bibtex] Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour. 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, pages 346-364, Springer, 2020.
DOI [bibtex] Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein. Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination, Information and computation 272, pages 104504, 2020.
DOI [bibtex] Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, 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, pages 287-305, Springer, 2020.
DOI [bibtex] 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, IEEE transactions on automatic control , 2020.
DOI restricted URL PDF [bibtex] Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Generative Datalog with Continuous Distributions, 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2020), pages 347-360, ACM, 2020.
2019
DOI [bibtex] Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow. Multiple Analyses, Requirements Once : Simplifying Testing and Verification in Automotive Model-Based Development, 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), Volume 11687 of LNCS, pages 59-75, Springer, 2019.
DOI fulltext PDF [bibtex] Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative separation logic: a logic for reasoning about probabilistic pointer programs, Proceedings of the ACM on programming languages 3 (POPL), pages 34, 2019.
DOI [bibtex] Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Safety analysis for vehicle guidance systems with dynamic fault trees, Reliability engineering & system safety 186, pages 37-50, 2019.
DOI fulltext PDF [bibtex] Benjamin Lucien Kaminski. Advanced weakest precondition calculi for probabilistic programs, PhD Thesis, RWTH Aachen University, 363 pages, 2019.
DOI fulltext PDF [bibtex] Souymodip Chakraborty. New results on probabilistic verification : automata, logic and satisfiability, PhD Thesis, RWTH Aachen University, 172 pages, 2019.
DOI [bibtex] Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer. 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), pages 6-8, ACM Press, 2019.
DOI [bibtex] Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen. 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, pages 40-58, Springer, 2019.
DOI [bibtex] Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar. Formal Verification of Rewriting Rules for Dynamic Fault Trees, 17th International Conference on Software Engineering and Formal Methods (SEFM), Volume 11724 of LNCS, pages 513-531, Springer, 2019.
DOI fulltext PDF [bibtex] Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen. 44th International Symposium on Mathematical Foundations of Computer Science, Volume 138 of Leibniz international proceedings in informatics, , Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2019.
DOI [bibtex] Christel Baier, Holger Hermanns, Joost-Pieter Katoen. The 10,000 Facets of MDP Model Checking, Computing and software science, Volume 10000 of LNCS, pages 420-451, Springer, 2019.
DOI [bibtex] Jip Josephine Spel, Sebastian Junges, Joost-Pieter Katoen. Are Parametric Markov Chains Monotonic?, 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), Volume 11781 of LNCS, pages 479-496, Springer, 2019.
DOI [bibtex] Milan Češka, Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen. Counterexample-Driven Synthesis for Probabilistic Program Sketches, 3rd World Congress on Formal Methods (FM 2019), Volume 11800 of LNCS, pages 101-120, Springer, 2019.
DOI [bibtex] Nan Guan, Joost-Pieter Katoen, Jun Sun. Dependable software engineering, Volume 11951 of LNCS, pages viii, 138 Seiten : Illustrationen, Springer, 2019.
DOI fulltext PDF [bibtex] Milan Češka, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Shepherding Hordes of Markov Chains, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 11428 of LNCS, pages 172-190, Springer, 2019.
DOI [bibtex] Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou. Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs, 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC), pages 266-275, IEEE, 2019.
DOI fulltext PDF [bibtex] Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen. 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] Tim Felix Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. IC3 software model checking, International journal on software tools for technology transfer , 2019.
DOI [bibtex] Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen. Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems, Information and computation 268, pages 104431, 2019.
DOI restricted URL PDF [bibtex] Milan Češka, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Model Repair Revamped, From Reactive Systems to Cyber-Physical Systems, Volume 11500 of LNCS, pages 107-125, Springer, 2019.
2018
DOI [bibtex] Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle Mciver. Conditioning in Probabilistic Programming, ACM transactions on programming languages and systems : ACM TOPLAS 40 (1), pages 4, 2018.
DOI fulltext PDF [bibtex] Tim Quatmann, Joost-Pieter Katoen. Sound Value Iteration, 30th International Conference on Computer Aided Verification (CAV 2018), Volume 10981 of LNCS, pages 643-661, Springer, 2018.
DOI [bibtex] Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Fast Dynamic Fault Tree Analysis by Model Checking Techniques, IEEE transactions on industrial informatics 14 (1), pages 370-379, 2018.
DOI fulltext PDF [bibtex] Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, 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, pages 320-339, Springer, 2018.
DOI [bibtex] Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen. A new proof rule for almost-sure termination, Proceedings of the ACM on Programming Languages 2, pages 33:1-33:28, 2018.
DOI [bibtex] Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. How long, O Bayesian network, will I sample thee? : A program analysis perspective on expected sampling times, 27th European Symposium on Programming (ESOP 2018), LNCS, pages 186-213, Springer, 2018.
DOI [bibtex] Sebastian Junges, Joost-Pieter Katoen, Marielle Stoelinga, Matthias Volk. One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs, 39th International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2018), Volume 10877 of LNCS, pages 272-293, Springer, 2018.
arXiv:1802.10467 [bibtex] Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative Separation Logic : A Logic for Reasoning about Probabilistic Programs, 2018. arXiv:1802.10467
DOI [bibtex] Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu. Branching Bisimulation and Concurrent Object Verification, 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2018), pages 267-278, IEEE, 2018.
DOI [bibtex] Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Let this Graph Be Your Witness! : An Attestor for Verifying Java Pointer Programs, 30th International Conference on Computer Aided Verification (CAV 2018), Volume 10982 of LNCS, pages 3-11, Springer, 2018.
DOI [bibtex] Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms, Journal of the ACM : JACM 65 (5), pages 30:1-30:68, 2018.
DOI fulltext PDF [bibtex] Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan. Monitoring CTMCs by Multi-clock Timed Automata, 30th International Conference on Computer Aided Verification (CAV 2018), Volume 10981 of LNCS, pages 507-526, Springer, 2018.
DOI fulltext PDF [bibtex] Hans Christian Hensel. The probabilistic model checker Storm : symbolic methods for probabilistic model checking, PhD Thesis, RWTH Aachen University, Volume 2018-06 of Aachener Informatik-Berichte, 331 pages, RWTH Aachen University, Department of Computer Science, 2018.
DOI [bibtex] Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow. Verifying Auto-generated C Code from Simulink : An Experience Report in the Automotive Domain, 22nd International Symposium of Formal Methods (FM 2018), Volume 10951 of LNCS, Springer, 2018.
DOI [bibtex] Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. On the hardness of analyzing probabilistic programs, Acta informatica , 2018.
DOI [bibtex] Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. Improving Generalization in Software IC3, 23rd International Symposium on Model Checking Software (Spin 2018), LNCS, pages 85-102, Springer, 2018.
DOI [bibtex] Maurice van Keulen, Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen. Rule-Based Conditioning of Probabilistic Data, 12th International Conference on Scalable Uncertainty Management (SUM 2018), Volume 11142 of Lecture Notes in Artificial Intelligence, pages 290-305, Springer, 2018.
DOI [bibtex] Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Synthesis in pMDPs : A Tale of 1001 Parameters, 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Volume 11138 of LNCS, pages 160-176, Springer, 2018.
DOI [bibtex] Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary Hayhoe. Model Checking for Safe Navigation Among Humans, 15th International Conference on Quantitative Evaluation of Systems (QEST), Volume 11024 of LNCS, pages 207-222, Springer, 2018.
fulltext PDF [bibtex] Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-State Controllers of POMDPs using Parameter Synthesis, 34th Conference on Uncertainty in Artificial Intelligence (UAI 34), pages 519-529, AUAI Press, 2018.
DOI [bibtex] Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova. Parameter-Independent Strategies for pMDPs via POMDPs, 15th International Conference on Quantitative Evaluation of Systems (QEST), Volume 11024 of LNCS, pages 53-70, Springer, 2018.
[bibtex] Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-State Controllers of POMDPs using Parameter Synthesis, 34th Conference on Uncertainty in Artificial Intelligence (UAI 34), pages 519-529, Curran Associates, Inc., 2018.
DOI [bibtex] Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen. Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations, 22nd International Symposium on Formal Methods (FM 2018), Volume 10951 of LNCS, Springer, 2018.
DOI fulltext PDF [bibtex] Tim Felix Lange. IC3 software model checking, PhD Thesis, RWTH Aachen University, Volume 2019-02 of Aachener Informatik-Berichte, 187 pages, 2018.
DOI fulltext PDF [bibtex] Harold Yorick Bruintjes. Model-based reliability analysis of aerospace systems, PhD Thesis, RWTH Aachen University, 244 pages, 2018.
2017
[bibtex] Benjamin Lucien Kaminski, Joost-Pieter Katoen. A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations, Symposium on Logic in Computer Science (LICS), pages 1-12, IEEE, 2017.
fulltext PDF [bibtex] Harold Yorick Bruintjes, Joost-Pieter Katoen. Missie: foutvrije software in de ruimte, Bits en Chips 1, pages 38-39, 2017.
arXiv:1702.04311 [bibtex] Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A storm is Coming: A Modern Probabilistic Model Checker, 2017. arXiv:1702.04311
DOI [bibtex] 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, 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Volume 10206 of LNCS, pages 133-150, Springer, 2017.
DOI fulltext PDF [bibtex] Christina Jansen. Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic, PhD Thesis, RWTH Aachen University, 286 pages, 2017.
DOI [bibtex] Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga. Fault trees on a diet: automated reduction by graph rewriting, Formal aspects of computing 29 (4), pages 651-703, 2017.
DOI fulltext PDF [bibtex] Tim Cramer. Analyzing memory accesses for performance and correctness of parallel programs, PhD Thesis, RWTH Aachen University, 151 pages, 2017.
DOI [bibtex] Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. Quantitative model-checking of controlled discrete-time Markov processes, Information and Computation 253 (Part 1), pages 1-35, 2017.
DOI [bibtex] Hans Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A Storm is Coming: A Modern Probabilistic Model Checker, 29th International Conference on Computer-Aided Verification (CAV 2017), Volume 10427 of LNCS, pages 592-600, Springer, 2017.
DOI fulltext PDF [bibtex] Hao Wu. Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -, PhD Thesis, RWTH Aachen University, 174 pages, 2017.
DOI [bibtex] Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov Automata with Multiple Objectives, 29th International Conference on Computer-Aided Verification (CAV 2017), Volume 10426 of LNCS, pages 140-159, Springer, 2017.
DOI [bibtex] 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, Self-Aware Computing Systems / Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, editors, Springer eBook Collection : Computer Science, pages 337-373, Springer, 2017.
DOI [bibtex] Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. Formal Methods for Aerospace Systems : Achievements and Challenges, Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer eBook Collection : Computer Science, pages 133-159, Springer, 2017.
DOI [bibtex] Joost-Pieter Katoen, Rom Langerak, Arend Rensink. ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occassion of his 60th birthday, Volume 10500 of LNCS, pages XII, 389 Seiten : Illustrationen, Diagramme, Springer, 2017.
fulltext PDF [bibtex] Joost-Pieter Katoen. Tweaking The Odds: Parameter Synthesis in Markov Models (Abstract), 14th International Colloquium on Theoretical Aspects of Computing (ICTAC 2017), Volume 10580 of LNCS, pages XVI-XVII, Springer, 2017.
fulltext PDF [bibtex] Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. The COMPASS 3.0 Toolset, 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), 2 pages, 2017.
DOI [bibtex] Joost-Pieter Katoen, Marielle Stoelinga. Boosting Fault Tree Analysis by Formal Methods, ModelEd, TestEd, TrustEd, Volume 10500 of LNCS, pages 368-389, Springer, 2017.
DOI [bibtex] Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker. Motion planning under partial observability using game-based abstraction, IEEE 56th Annual Conference on Decision and Control (CDC), pages 2201-2208, IEEE, 2017.
DOI [bibtex] Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann. Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms, 36th International Symposium on Reliable Distributed Systems (SRDS 2017), pages 94-103, IEEE, 2017.
DOI [bibtex] Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Model-based Safety Analysis for Vehicle Guidance Systems, 36th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2017), Volume 10488 of LNCS, pages 3-19, Springer, 2017.
DOI [bibtex] Joost-Pieter Katoen, Falak Sher. Modal Stochastic Games : Abstraction-Refinement of Probabilistic Automata, KiMfest, Volume 10460 of LNCS, pages 426-448, Springer, 2017.
2016
DOI [bibtex] Nils Jansen, Hans Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen. Bounded Model Checking for Probabilistic Programs, 14th International Symposium on Automated Technology for Verification and Analysis (ATVA), Volume 9938 of LNCS, pages 68-85, Springer, 2016.
fulltext PDF [bibtex] Friedrich Gretz. Semantics and loop invariant synthesis for probabilistic programs, PhD Thesis, Aachen, Techn. Hochsch., Publikationsserver der RWTH Aachen University, 2016.
DOI fulltext PDF [bibtex] Anton Wijs, Joost-Pieter Katoen, Dragan Bošnački. 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, 2016.
DOI [bibtex] Joost-Pieter Katoen. The Probabilistic Model Checking Landscape, 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '16), pages 31-45, ACM Press, 2016.
DOI [bibtex] Souymodip Chakraborty, Joost-Pieter Katoen. On the Satisfiability of Some Simple Probabilistic Logics, 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '16), pages 56-65, ACM Press, 2016.
DOI [bibtex] Federico Olmedo Beron, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Reasoning about Recursive Probabilistic Programs, The 31st Annual ACM/IEEE Symposium, pages 672-681, ACM Press, 2016.
DOI [bibtex] Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Inferring Covariances for Probabilistic Programs, 13th International Conference on Quantitative Evaluation of Systems (QEST 2016), Volume 9826 of LNCS, pages 191-206, Springer, 2016.
DOI [bibtex] Tim Quatmann, Hans Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis for Markov Models: Faster Than Ever, 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), Volume 9938 of LNCS, pages 50-67, Springer, 2016.
DOI [bibtex] Hao Wu, Xiaoxiao Yang, Joost-Pieter Katoen. Performance Evaluation of Concurrent Data Structures, International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016), Volume 9984 of LNCS, pages 38-49, Springer, 2016.
DOI fulltext PDF [bibtex] Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám. Parameter synthesis for probabilistic systems, 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2016), pages 72-74, Albert-Ludwigs-Universität, 2016.
DOI [bibtex] Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross. Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks, 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS) (SRDS 2016), pages 307-316, IEEE, 2016.
DOI [bibtex] Joost-Pieter Katoen, Hao Wu. Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow, ACM Transactions on Embedded Computing Systems : TECS 22 (1), pages 15, 2016.
fulltext PDF [bibtex] Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo Beron. On the Semantic Intricacies of Conditioning, 1st Workshop on Probabilistic Programming Semantics (PPS 2016), 2 pages, 2016.
DOI [bibtex] Sebastian Junges, Nils Jansen, Hans Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen. Safety-constrained Reinforcement Learning for MDPs, 22nd international conference, held as part of the European Joint Conferences on Theory and Practice of Software (TACAS 2016), Volume 9636 of LNCS, pages 130-146, Springer, 2016.
DOI [bibtex] Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo Beron. Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs, 25th European Symposium on Programming (ESOP 2016), Volume 9632 of LNCS, pages 364-389, Springer, 2016.
DOI [bibtex] Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga. Uncovering Dynamic Fault Trees, 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), pages 299-310, IEEE, 2016.
DOI [bibtex] Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates, 35th International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Volume 9922 of LNCS, pages 253-265, Springer, 2016.
fulltext PDF [bibtex] Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu. Probabilistic Verification for Cognitive Models, AAAI 2016 Fall Symposium, Volume FS-16-03 of AAAI Technical Reports, pages 185-188, AAAI Press, 2016.
DOI [bibtex] Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga. Confluence reduction for Markov automata, Theoretical computer science 655, pages 193-219, 2016.
2015
[bibtex] Jonathan Heinen. Verifying Java programs : a graph grammar approach, PhD Thesis, RWTH Aachen University, pages 219 S. : graph. Darst., Verl. Dr. Hut, 2015.
DOI [bibtex] Souymodip Chakraborty, Joost-Pieter Katoen. Model Checking of Open Interval Markov Chains, 22nd International Conference on Analytical Stochastic Modelling Techniques Applications (ASMTA 2015), Volume 9081 of LNCS, pages 30-42, Springer, 2015.
DOI [bibtex] Tim Quatmann, Nils Jansen, Hans Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Counterexamples for Expected Rewards, 20th international symposium Formal Methods (FM 2015), Volume 9109 of LNCS, pages 435-452, Springer, 2015.
DOI fulltext PDF [bibtex] Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen. High-level Counterexamples for Probabilistic Automata, Logical methods in computer science 11 (1), pages 15, 2015.
DOI [bibtex] Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen. 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, pages 93-107, Springer, 2015.
fulltext PDF [bibtex] Nils Jansen. Counterexamples in probabilistic verification, PhD Thesis, Aachen, Techn. Hochsch., pages XI, 224 S.S. . graph. Darst., Publikationsserver der RWTH Aachen University, 2015.
fulltext PDF [bibtex] Falak Sher. Abstraction and refinement of probabilistic automata using modal stochastic games, PhD Thesis, RWTH Aachen University, Volume 2015,10 of Aachener Informatik-Berichte, pages VIII, 105 S. : graph. Darst., Fachgruppe Informatik, RWTH Aachen University, 2015.
DOI [bibtex] Souymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec. Modelling and statistical model checking of a microgrid, International journal on software tools for technology transfer : STTT 17 (4), pages 537-554, 2015.
fulltext PDF [bibtex] Arpit Sharma. Reduction Techniques for Nondeterministic and Probabilistic Systems, PhD Thesis, RWTH Aachen University, Volume 2015,3 of Aachener Informatik-Berichte, pages XIV, 175 S., Fachgruppe Informatik, RWTH Aachen University, 2015.
DOI [bibtex] Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Verifying pointer programs using graph grammars, Science of computer programming 97 (1), pages 157-162, 2015.
DOI [bibtex] Harold Yorick Bruintjes, Joost-Pieter Katoen, David Lesens. A Statistical Approach for Timed Reachability in AADL Models, 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015), pages 81-88, IEEE, 2015.
DOI [bibtex] Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen. A Greedy Approach for the Efficient Repair of Stochastic Models, 7th NASA Formal Methods Symposium (NFM'15), Volume 9058 of LNCS, pages 295-309, Springer, 2015.
DOI [bibtex] Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Juggrnaut: using graph grammars for abstracting unbounded heap structures, Formal methods in system design 47 (2), pages 159-203, 2015.
fulltext PDF [bibtex] Souymodip Chakraborty, Joost-Pieter Katoen. P-Automata for Markov Decision Processes, 3rd International Workshop on Strategic Reasoning (SR2015), pages 2-18, 2015.
DOI [bibtex] Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll. Compositional Analysis Using Component-Oriented Interpolation, International Symposium on Formal Aspects of Component Software (FACS 2014), Volume 8997 of LNCS, pages 69-85, Springer, 2015.
DOI [bibtex] Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo Beron. Understanding Probabilistic Programs, Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Volume 9360 of LNCS, pages 15-32, Springer, 2015.
[bibtex] Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Probabilistic Programs - A Natural Model for Approximate Computations, Workshop on Approximate Computing (AC15), 2015.
DOI [bibtex] Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga. Fault Trees on a Diet, First International Symposium on Dependable Software Engineering (SETTA 2015), Volume 9409 of LNCS, pages 3-18, Springer, 2015.
DOI [bibtex] 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, pages 308-318, Springer, 2015.
DOI [bibtex] Joost-Pieter Katoen. Probabilistic Programming: A True Verification Challenge, 13rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2015), Volume 9364 of LNCS, pages 1-3, Springer, 2015.
DOI fulltext PDF [bibtex] Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver. Conditioning in Probabilistic Programming, Electronic notes in theoretical computer science 319, pages 199-216, 2015.
DOI [bibtex] Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám. PROPhESY : A PRObabilistic ParamEter SYnthesis Tool, International Conference on Computer Aided Verification (CAV'15), Volume 9206 of LNCS, pages 214-231, Springer, 2015.
2014
DOI [bibtex] Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga, Ted Luiten, Judi Romijn. Smart Railroad Maintenance Engineering with Stochastic Model Checking, Second International Conference on Railway Technology: Research, Development and Maintenance, Volume 104 of Civil-Comp Proceedings : CCP, pages Paper 299, 16 S., Civil-Comp Press, 2014.
DOI [bibtex] Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. Operational versus weakest pre-expectation semantics for the probabilistic guarded command language, Performance evaluation 73 Special (SI), pages 110-132, 2014.
DOI [bibtex] Erika Ábrahám, Bernd Becker, Hans Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models : An Introductory Survey, Formal methods for executable software models (SFM 2014), Volume 8483 of LNCS, pages 65-121, Springer, 2014.
DOI [bibtex] 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, Science of computer programming 91 (Part A), pages 90-114, 2014.
DOI [bibtex] 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, Reliability engineering & system safety 132, pages 20-35, 2014.
DOI [bibtex] Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal counterexamples for linear-time probabilistic verification, Theoretical computer science 549, pages 61-100, 2014.
DOI [bibtex] Hans Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen. Fast Debugging of PRISM Models, Automated technology for verification and analysis (ATVA 2014), Volume 8837 of LNCS, pages 146-162, Springer, 2014.
DOI [bibtex] Tomáš Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen. Zero-Reachability in Probabilistic Multi-Counter Automata, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pages Article No. 22, 10 S., ACM, 2014.
DOI [bibtex] Souymodip Chakraborty, Joost-Pieter Katoen. Parametric LTL on Markov Chains, 8th IFIP TC 1/WG 2.2 international conference (TCS 2014), Volume 8705 of LNCS, pages 207-222, Springer, 2014.
fulltext PDF [bibtex] Joost-Pieter Katoen. Model Checking Gigantic Markov Models, Software engineering and formal methods (SEFM 2014), Volume 8702 of LNCS, pages XV-XVII, Springer, 2014.
DOI [bibtex] Joost-Pieter Katoen, Hao Wu. Exponentially timed SADF : Compositional Semantics, Reduction, and Analysis, International Conference on Embedded Software (EMSOFT), pages Article No. 1, 10 S., ACM, 2014.
DOI [bibtex] Anton J. Wijs, Joost-Pieter Katoen, Dragan Bosnacki. GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components, Computer aided verification : 26th international conference (CAV 2014), Volume 8559 of LNCS, pages 309-325, Springer, 2014.
DOI [bibtex] Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Performance Analysis of Computing Servers : a case study exploiting a new GSPN semantics, Measurement, modelling, and evaluation of computing systems and dependability and fault-tolerance (MMB DFT 2014), Volume 8376 of LNCS, pages 57-72, Springer, 2014.
DOI [bibtex] 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 : LMCS 10 (3), pages Paper 17, 2014.
DOI [bibtex] Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification, 11th International Conference on Quantitative Evaluation of Systems (QEST 2014), Volume 8657 of LNCS, pages 404-420, Springer, 2014.
DOI [bibtex] Arpit Sharma, Joost-Pieter Katoen. Layered Reduction for Modal Specification Theories, Formal aspects of component software : 10th international symposium (FACS 2013), Volume 8348 of LNCS, pages 1-19, Springer, 2014.
DOI [bibtex] Falak Sher Vira, Joost-Pieter Katoen. Tight Game Abstractions of Probabilistic Automata, CONCUR 2014 - concurrency theory (CONCUR 2014), Volume 8704 of LNCS, pages 576-592, Springer, 2014.
DOI [bibtex] Arpit Sharma, Joost-Pieter Katoen. Layered Reduction for Abstract Probabilistic Automata, 2014 14th International Conference on Application of Concurrency to System Design (ACSD 2014), pages 21-31, IEEE, 2014.
DOI [bibtex] Joost-Pieter Katoen, Lei Song, Lijun Zhang. Probably Safe or Live, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (CSL-LICS '14), pages Article No. 55, 10 S., ACM, 2014.
2013
arXiv:1305.5055 [bibtex] Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. High-level Counterexamples for Probabilistic Automata, Cornell University, 2013. arXiv:1305.5055
fulltext PDF [bibtex] Haidi Yue. Analyzing energy consumption of wireless networks : a model-based approach, PhD Thesis, RWTH Aachen University, pages 169 S. : Ill., graph. Darst., Publikationsserver der RWTH Aachen University, 2013.
DOI [bibtex] Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Modelling, Reduction and Analysis of Markov Automata, Quantitative evaluation of systems (QEST 2013), Volume 8054 of LNCS, pages 34-50, Springer, 2013.
DOI [bibtex] Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang. A Semantics for Every GSPN, Application and theory of Petri nets and concurrency, Volume 7927 of LNCS, pages 90-109, Springer, 2013.
DOI [bibtex] Hans Christian Dehnert, David Parker, Joost-Pieter Katoen. SMT-based Bisimulation Minimisation of Markov Models, Verification, Model Checking, and Abstract Interpretation [Elektronische Ressource] (VMCAI 2013), Volume 7737 of LNCS, pages 28-47, Springer, 2013.
[bibtex] Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Model-Based Energy Optimization of Automotive Control Systems, Proceedings of the Conference on Design, Automation and Test in Europe, pages 761-766, EDA Consortium, 2013.
DOI [bibtex] Joost-Pieter Katoen. Concurrency meets Probability: Theory and Practice, CONCUR 2013 - concurrency theory (CONCUR 2013), Volume 8052 of LNCS, pages 44-45, Springer, 2013.
DOI [bibtex] Joost-Pieter Katoen, Doron Peled. Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems, Programming languages and systems (ESOP 2013), Volume 7792 of LNCS, pages 411-430, Springer, 2013.
DOI [bibtex] Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems, Proceedings of the 16th International Conference on Hybrid Systems, pages 293-303, ACM, 2013.
DOI [bibtex] Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. High-level Counterexamples for Probabilistic Automata, Quantitative evaluation of systems (QEST 2013), Volume 8054 of LNCS, pages 39-54, Springer, 2013.
DOI [bibtex] Joost-Pieter Katoen. Model Checking Meets Probability : A Gentle Introduction, Engineering Dependable Software Systems. - 34, NATO Science for Peace and Security Series - D: Information and Communication Security, pages 177-205, IOS Press, 2013.
fulltext PDF [bibtex] Viet Yen Nguyen. Trustworthy spacecraft design using formal methods, PhD Thesis, RWTH Aachen University, Volume 2012,17 of Aachener Informatik-Berichte, pages 187 S. : graph. Darst., Dep. of Computer Science, RWTH Aachen, 2013.
arXiv:1312.3979 [bibtex] Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification, 2013. arXiv:1312.3979
DOI [bibtex] Ernst Moritz Hahn, Arnd Hartmanns, 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, 2013.
DOI [bibtex] Christel Baier, E. Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model checking for performability, Mathematical structures in computer science : MSCS 23 (Special Issue 04), pages 751-795, 2013.
DOI [bibtex] Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata, Information and computation 232, pages 66-116, 2013.
DOI [bibtex] Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. PRINSYS : - on a Quest for Probabilistic Loop Invariants, Quantitative evaluation of systems (QEST 2013), Volume 8054 of LNCS, pages 172-187, Springer, 2013.
2012
DOI [bibtex] Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer. Quantitative Timed Analysis of Interactive Markov Chains, NASA formal methods (NFM 2012), Volume 7226 of LNCS, pages 8-23, Springer, 2012.
DOI [bibtex] Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog. Layered Reasoning for Randomized Distributed Algorithms, Formal aspects of computing 24 (4/6), pages 477-496, 2012.
DOI [bibtex] Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Probabilistic Systems, The journal of logic and algebraic programming 2012, pages 1-55, 2012.
fulltext PDF [bibtex] Alexandru Mereacre. Verification of continuous space stochastic systems, PhD Thesis, RWTH Aachen University, pages X, 125 S. : graph. Darst., Publikationsserver der RWTH Aachen University, 2012.
DOI [bibtex] Joost-Pieter Katoen. Model Checking: One Can Do Much More Than You Think!, Fundamentals of software engineering (FSEN 2011), Volume 7141 of LNCS, pages 1-14, Springer, 2012.
DOI [bibtex] Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen. Minimal Critical Subsystems for Discrete-Time Markov Models, Tools and algorithms for the construction and analysis of systems (TACAS 2012), Volume 7214 of LNCS, pages 299-314, Springer, 2012.
fulltext PDF [bibtex] Bart Theelen, Joost-Pieter Katoen, Hao Wu. Model checking of scenario-aware dataflow with cadp, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012), pages 653-658, IEEE, 2012.
DOI [bibtex] Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga. Efficient Modelling and Generation of Markov Automata, CONCUR 2012 - concurrency theory (CONCUR 2012), Volume 7454 of LNCS, pages 364-379, Springer, 2012.
fulltext PDF [bibtex] 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 [bibtex] Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen. Robust PCTL Model Checking, Proceedings of the 15th International Conference on Hybrid Systems, pages 275-286, ACM, 2012.
DOI [bibtex] Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. The COMICS Tool : Computing Minimal Counterexamples for DTMCs, Automated technology for verification and analysis (ATVA 2012), Volume 7561 of LNCS, pages 349-353, Springer, 2012.
DOI [bibtex] Falak Sher, Joost-Pieter Katoen. Compositional Abstraction Techniques for Probabilistic Automata, Theoretical computer science (TCS 2012), Volume 7604 of LNCS, pages 325-341, Springer, 2012.
DOI [bibtex] Joost-Pieter Katoen. GSPNs Revisited: Simple Semantics and New Analysis Algorithms, 12th International Conference on Application of Concurrency to System Design - ACSD 2012, Hamburg, June 25-29, 2012, pages 6-12, IEEE, 2012.
DOI [bibtex] Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language, 2012 Ninth International Conference on Quantitative Evaluation of Systems (QEST), London, UK 17-20 September 2012,, pages 168-177, IEEE CS Press, 2012.
[bibtex] Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. 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, pages 169-180, Kovač, 2012.
arXiv:1206.0603v1 [bibtex] Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. The COMICS Tool : Computing Minimal Counterexamples for Discrete-time Markov Chains, Cornell Univ., 2012. arXiv:1206.0603v1
DOI [bibtex] Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker. Symbolic Counterexample Generation for Discrete-time Markov Chains, Formal aspects of component software (FACS 2012), Springer eBook collection : Computer science, pages 134-151, Springer, 2012.
DOI [bibtex] Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein. Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite, 2012 34th International Conference on Software Engineering (ICSE 2012), ICSE 2012, pages 1022-1031, IEEE, 2012.
DOI [bibtex] Arpit Sharma, Joost-Pieter Katoen. Weighted Lumpability on Markov Chains, Perspectives of system informatics (PSI 2011), Volume 7162 of LNCS, pages 322-339, Springer, 2012.
2011
DOI [bibtex] Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems, HSCC'11, pages 83-92, ACM Press, 2011.
DOI [bibtex] Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata, Verification, model checking, and abstract interpretation (VMCAI 2011), Volume 6538 of LNCS, pages 324-339, Springer, 2011.
DOI [bibtex] Benoit Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. 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, pages 128-142, Springer, 2011.
DOI [bibtex] Taolue Chen, Tingting Han, Joost-Pieter Katoen, A. Mereacre. Reachability probabilities in markovian timed automata, 2011 50th IEEE Conference on Decision and Control and European Control Conference, pages 7075-7080, IEEE, 2011.
DOI [bibtex] Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Observing Continuous-Time MDPs by 1-Clock Timed Automata, Reachability problems (RP 2011), Volume 6945 of LNCS, pages 2-25, Springer, 2011.
DOI [bibtex] Joost-Pieter Katoen. Towards trustworthy aerospace systems: an experience report, Formal methods for industrial critical systems (FMICS 2011), Volume 6959 of LNCS, pages 1-4, Springer, 2011.
DOI [bibtex] Joost-Pieter Katoen, B. Koenig. CONCUR 2011 - concurrency theory, Volume 6901 of LNCS, pages XIV, 560 S. : graph. Darst., Springer, 2011.
DOI [bibtex] 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, pages 323-335, Springer, 2011.
DOI [bibtex] Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. Hierarchical counterexamples for discrete-time markov chains, Automated technolgoy for verification and analysis (ATVA 2011), Volume 6996 of LNCS, pages 443-452, Springer, 2011.
[bibtex] Joost-Pieter Katoen, Thomas Noll. Trustworthy Aerospace Systems, Public service review 11, pages 204-205, 2011.
DOI [bibtex] Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini. A two-step scheme for approximate model checking of stochastic hybrid systems, [Proceedings 18th IFAC World Congress 2011, pages 4519-4524, 2011.
DOI [bibtex] Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer. A linear process-algebraic format with data for probabilistic automata, Theoretical computer science 413 (1), pages 36-57, 2011.
DOI [bibtex] Haidi Yue, Henrik Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen. Analysing and Improving Energy Efficiency of Distributed Slotted Aloha, Smart spaces and next generation wired/wireless networking, Volume 6869 of LNCS, pages 197-208, Springer, 2011.
DOI [bibtex] Yuri Yushtein, Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive, Marco Roveri. System-Software Co-Engineering: Dependability and Safety Perspective, Proceedings, Fourth IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT 2011), pages 18-25, IEEE CS Press, 2011.
DOI [bibtex] Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. New Results on Abstract Probabilistic Automata, 2011 Eleventh International Conference on Application of Concurrency to System Design (ACSD 2011), pages 118-127, IEEE, 2011.
DOI [bibtex] 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, pages 445-456, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2011.
DOI [bibtex] Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. Time-bounded reachability in tree-structured QBDs by abstraction, Performance evaluation 68 (2), pages 105-125, 2011.
DOI [bibtex] Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen. The Ins and Outs of the Probabilistic Model Checker MRMC, Performance evaluation 68 (2), pages 90-104, 2011.
DOI fulltext PDF [bibtex] Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, Logical methods in computer science : LMCS 7 (1/2), pages 12, 2011.
2010
DOI [bibtex] Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll Morgan. Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods, Static analysis (SAS 2010), Volume 6337 : Advanced Research in Computing and Software Science of LNCS, pages 390-406, Springer, 2010.
fulltext PDF [bibtex] 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.
fulltext PDF [bibtex] Martin R. Neuhäußer. Model checking nondeterministic and randomly timed systems, PhD Thesis, RWTH Aachen University, Volume 2010-02 of IPA dissertation series, Univ. Twente, 2010.
fulltext PDF [bibtex] Daniel Klink. Three-valued abstraction for stochastic systems, PhD Thesis, RWTH Aachen University, pages VIII, 223 S. : graph. Darst., Hut, 2010.
DOI [bibtex] Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Daniel Neider, David R. Piegdon. libalf: The Automata Learning Framework, Computer aided verification (CAV 2010), Volume 6174 of LNCS, pages 360-364, Springer, 2010.
DOI [bibtex] Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. DTMC Model Checking by SCC Reduction, Proceedings / Seventh International Conference on the Quantitative Evaluation of Systems (QEST 2010), pages 37-46, IEEE Computer Society, 2010.
DOI [bibtex] Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen. Model Checking Markov Chains using Krylov Subspace Methods: An Experience Report, Computer performance engineering (EPEW 2010), Volume 6342 of LNCS, pages 115-130, Springer, 2010.
DOI [bibtex] Haidi Yue, Joost-Pieter Katoen. Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption, Analytical and stochastic modeling techniques and applications (ASMTA 2010), Volume 6148 of LNCS, pages 247-261, Springer, 2010.
DOI [bibtex] 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, pages 107-119, Springer, 2010.
DOI [bibtex] Joost-Pieter Katoen, Jaco van de Pol, 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), pages 213-222, IEEE Computer Soc., 2010.
DOI [bibtex] Joost-Pieter Katoen. Advances in Probabilistic Model Checking, Verification, model checking, and abstract interpretation (VMCAI 2010), Volume 5944 of LNCS, pages 25, Springer, 2010.
fulltext PDF [bibtex] Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA: The Smyle Modeling Approach, Computing and informatics 29, pages 45-72, 2010.
DOI [bibtex] Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini. Approximate model checking of stochastic hybrid systems, European journal of control 16 (6), pages 624-641, 2010.
DOI [bibtex] Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Performance Evaluation and Model Checking Join Forces, Communications of the ACM 53 (9), pages 76-85, 2010.
DOI [bibtex] Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Learning Communicating Automata from MSCs, IEEE transactions on software engineering : TSE 36 (3), pages 390-408, 2010.
DOI [bibtex] Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Performability Assessment by Model Checking of Markov Reward Models, Formal methods in system design 36 (1), pages 1-36, 2010.
DOI [bibtex] Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Safety, Dependability, and Performance Analysis of Extended AADL Models, Computer journal 51, 2010.
DOI [bibtex] Marijn R. Jongerden, Alexandru Mereacre, Henrik Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen. Computing Optimal Schedules for Battery Usage in Embedded Systems, IEEE transactions on industrial informatics 6 (3), pages 276-286, 2010.
DOI [bibtex] Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer. A Model Checker for AADL, Computer aided verification (CAV 2010), Volume 6174 of LNCS, pages 562-565, Springer, 2010.
DOI [bibtex] 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, pages 311-337, Springer, 2010.
2009
DOI [bibtex] Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems, Formal modeling and analysis of timed systems (FORMATS 2009), Volume 5813 of LNCS, pages 195-211, Springer, 2009.
fulltext PDF [bibtex] 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.
fulltext PDF [bibtex] 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.
fulltext PDF [bibtex] Carsten Kern. Learning communicating and nondeterministic automata, PhD Thesis, RWTH Aachen University, Volume 2009,17 of Aachener Informatik-Berichte, pages 230 S. : graph. Darst., RWTH Aachen, Department of Computer Science, 2009.
fulltext PDF [bibtex] Stefan Rieger. Verification of pointer programs, PhD Thesis, RWTH Aachen University, pages 170 S. : graph. Darst., Publikationsserver der RWTH Aachen University, 2009.
fulltext PDF [bibtex] Tingting Han. Diagnosis, synthesis and analysis of probabilistic models, PhD Thesis, RWTH Aachen University, Volume 2009-21 of IPA dissertation series, pages XII, 191 S. : graph. Darst., Univ. Twente, 2009.
DOI [bibtex] Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems, Computer safety, reliability, and security (SAFECOMP 2009), Volume 5775 of LNCS, pages 173-186, Springer, 2009.
DOI [bibtex] Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. LTL model checking of time-inhomogeneous Markov chains, Automated technology for verification and analysis (ATVA 2009), Volume 5799 of LNCS, pages 104-119, Springer, 2009.
DOI [bibtex] Joost-Pieter Katoen, Ivan S. Zapreev. Simulation-based CTMC Model Checking: An Empirical Evaluation, QUEST 2009, pages 31-40, IEEE, 2009.
DOI [bibtex] Martin R. Neuhäußer, Marielle Stoelinga, Joost-Pieter Katoen. Delayed Nondeterminism in Continuous-Time Markov Decision Processes, Foundations of software science and computational structures (FOSSACS 2009), Volume 5504 of LNCS, pages 364-379, Springer, 2009.
DOI [bibtex] Daniel Klink, Anne Remke, Boudewijn R. Haverkort, 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, pages 133-142, IEEE, 2009.
DOI [bibtex] Tingting Han, Joost-Pieter Katoen, Berteun Damman. Counterexample Generation in Probabilistic Model Checking, IEEE transactions on software engineering : TSE 35 (2), pages 241-257, 2009.
DOI [bibtex] Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen. 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, pages 167-176, IEEE, 2009.
DOI [bibtex] Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language, Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), pages 121-130, IEEE, 2009.
DOI [bibtex] Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen. Maximizing System Lifetime by Battery Scheduling, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks, pages 63-72, IEEE, 2009.
[bibtex] Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration), ESEC-FSE’09, pages 285-286, ACM, 2009.
[bibtex] Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Model-Based Codesign of Critical Embedded Systems, Workshop Proceedings / ACES-MB 2009, Volume 507 of CEUR Workshop Proceedings, pages 87-91, RWTH Aachen, 2009.
DOI [bibtex] Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications, 2009 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009), pages 309-318, IEEE, 2009.
2008
DOI [bibtex] Joost-Pieter Katoen, Alexandru Mereacre. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains, Formal modeling and analysis of timed systems (FORMATS 2008), Volume 5215 of LNCS, pages 203-217, Springer, 2008.
[bibtex] Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA - the Smyle modeling approach, pages 26 S., TU, 2008.
fulltext PDF [bibtex] 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.
fulltext PDF [bibtex] Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Reachability in continuous-time Markov reward decision processes, Logic and automata, Volume 2 of Texts in logic and games, pages 53-72, Amsterdam Univ. Pr., 2008.
DOI [bibtex] Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning, CONCUR 2008 - concurrency theory (CONCUR 2008), Volume 5201 of LNCS, pages 162-166, Springer, 2008.
DOI [bibtex] Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains, Hybrid systems, Volume 4981 of LNCS, pages 244-258, Springer, 2008.
DOI [bibtex] 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, Hardware and software, Volume 4899 of LNCS, pages 69-85, Springer, 2008.
DOI [bibtex] Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Abstraction for Stochastic Systems by Erlang's Method of Stages, CONCUR 2008 - concurrency theory (CONCUR 2008), Volume 5201 of LNCS, pages 279-294, Springer, 2008.
[bibtex] Christel Baier, Joost-Pieter Katoen. Principles of model checking, Computer science, pages XVII, 975 S.. : graph. Darst., MIT Press, 2008.
DOI [bibtex] Taolue Chen, Tingting Han, Joost-Pieter Katoen. Time-Abstracting Bisimulation for Probabilistic Timed Automata, Proceedings / Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, pages 177-184, IEEE, 2008.
DOI [bibtex] Berteun Damman, Tingting Han, Joost-Pieter Katoen. Regular Expressions for PCTL Counterexamples, Quantitative evaluation of systems (QEST 2008), pages 179-188, IEEE, 2008.
DOI [bibtex] Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Approximate parameter synthesis for probabilistic time-bounded reachability, Proceedings / 2008 Real-Time Systems Symposium, RTSS 2008, pages 173-182, IEEE, 2008.
DOI [bibtex] Joost-Pieter Katoen. How to model and analyze gossiping protocols?, SIGMETRICS'08, pages 3-6, ACM, 2008.
DOI [bibtex] Joost-Pieter Katoen. Perspectives in Probabilistic Verification, Proceedings / Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, pages 3-10, IEEE, 2008.
DOI [bibtex] Joost-Pieter Katoen. Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques, Design, automation and test in Europe, 2008, Design Automation and Test in Europe Conference and Expo, pages 86-87, IEEE Service Center, 2008.
DOI [bibtex] Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen. 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, pages 537-553, Springer, 2008.
DOI [bibtex] Manuela Bujorianu, Joost-Pieter Katoen. Symmetry reduction for stochastic hybrid systems, 2008 47th IEEE Conference on Decision and Control, pages 233-238, IEEE, 2008.
2007
DOI [bibtex] Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Continuous-Time Markov Chains, Computer aided verification (CAV 2007), Volume 4590 of LNCS, pages 311-324, Springer, 2007.
fulltext PDF [bibtex] 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.
fulltext PDF [bibtex] 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.
fulltext PDF [bibtex] 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.
[bibtex] Joost-Pieter Katoen. Stochastic model checking, Stochastic Hybrid Systems, Volume 24 of Automation and control engineering, CRC, Taylor & Francis, 2007.
DOI [bibtex] Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen. Motor : the MoDeST tool environment, Tools and algorithms for the construction and analysis of systems (TACAS 2007), Volume 4424 of LNCS, pages 500-504, Springer, 2007.
DOI [bibtex] Martin R. Neuhäußer, Joost-Pieter Katoen. Bisimulation and logical preservation for continuous-time Markov decision processes, CONCUR 2007 - concurrency theory (CONCUR 2007), Volume 4703 of LNCS, pages 412-427, Springer, 2007.
DOI [bibtex] Joost-Pieter Katoen. Abstraction of probabilistic systems, Formal modeling and analysis of timed systems (FORMATS 2007), Volume 4763 of LNCS, pages 1-3, Springer, 2007.
DOI [bibtex] Tingting Han, Joost-Pieter Katoen. Providing evidence of likely being on time : counterexample generation for CTMC model checking, Automated technology for verification and analysis (ATVA 2007), Volume 4762 of LNCS, pages 331-346, Springer, 2007.
DOI [bibtex] Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying play in and play out : synthesis of design models from scenarios by learning, Tools and algorithms for the construction and analysis of systems (TACAS 2007), Volume 4424 of LNCS, pages 435-450, Springer, 2007.
fulltext PDF [bibtex] 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.
fulltext PDF [bibtex] Joost-Pieter Katoen, Thomas Noll, Stefan Rieger. Verifying concurrent list-manipulating programs by LTL model checking, HAV 2007, pages 94-113, 2007.
DOI [bibtex] Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen. Bisimulation minimisation mostly speeds up probabilistic model checking, Tools and algorithms for the construction and analysis of systems (TACAS 2007), Volume 4424 of LNCS, pages 87-101, Springer, 2007.
DOI [bibtex] Rocco de Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink. Model checking mobile stochastic logic, Theoretical computer science 382.2007 (1), pages 42-70, 2007.
DOI [bibtex] Tingting Han, Joost-Pieter Katoen. Counterexamples in probabilistic model checking, Tools and algorithms for the construction and analysis of systems (TACAS 2007), Volume 4424 of LNCS, pages 72-86, Springer, 2007.
2006
DOI [bibtex] Henrik Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen. MoDeST : a compositional modeling formalism for real-time and stochastic systems, IEEE transactions on software engineering : TSE 32 (10), pages 812-830, 2006.
fulltext PDF [bibtex] 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 [bibtex] Dino Distefano, Joost-Pieter Katoen, Arend Rensink. Safety and liveness in concurrent pointer programs, Formal methods for components and objects, Volume 4111 of LNCS, pages 280-312, Springer, 2006.
[bibtex] Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying play in and play out : synthesis of design models from scenarios by learning, Volume 2006,12 of Aachener Informatik-Berichte, pages 26 Bl. : graph. Darst., 2006.
DOI [bibtex] Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen. YMCA : why Markov chain algebra?, Electronic notes in theoretical computer science : ENTCS 162, pages 107-112, 2006.
DOI [bibtex] Rocco de Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink. Towards a logic for performance and mobility, Electronic notes in theoretical computer science : ENTCS 153 (2), pages 161-175, 2006.
DOI [bibtex] Joost-Pieter Katoen, Ivan S. Zapreev. Safe on-the-fly steady-state detection for time-bounded reachability, IEEE transactions on software engineering : TSE 32.2006 (8), pages 301-310, 2006.
DOI [bibtex] Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen. Probably on time and within budget : on reachability in priced probabilistic timed automata, IEEE transactions on software engineering : TSE 32.2006 (8), pages 311-322, 2006.
DOI [bibtex] 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 : TSE 32 (8), pages 529-530, 2006.
2005
DOI [bibtex] Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner. Model-based testing of reactive systems : advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004], Volume 3472 of LNCS, pages VIII, 659 S.. : graph. Darst., Springer, 2005.
DOI [bibtex] Henrik Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen. Are you still there? : a lightweight algorithm to monitor node presence in self-configuring networks, Proceedings / 2005 International Conference on Dependable Systems and Networks, pages 704-709, IEEE Computer Society, 2005.
DOI [bibtex] Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev. A Markov reward model checker, Proceedings / Second International Conference on the Quantitative Evaluation of Systems, pages 243-244, IEEE Computer Society, 2005.
DOI [bibtex] Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan. Model checking Markov reward models with impulse rewards, Proceedings / 2005 International Conference on Dependable Systems and Networks, pages 722-731, IEEE Computer Society, 2005.
DOI [bibtex] Pedro R. D'Argenio, Joost-Pieter Katoen. A theory of stochastic systems. Part I: Stochastic automata, Information and computation 203 (1), pages 1-38, 2005.
DOI [bibtex] Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf. Comparative branching-time semantics for Markov chains, Information and computation 200 (2), pages 149-214, 2005.
DOI [bibtex] Pedro R. D'Argenio, Joost-Pieter Katoen. A theory of stochastic systems. Part II: Process algebra, Information and computation 200 (1), pages 39-74, 2005.
DOI [bibtex] Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort. Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes, Theoretical computer science 345 (1), pages 2-26, 2005.
DOI [bibtex] Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model checking meets performance evaluation, Performance evaluation review : PER 32 (4), pages 10-15, 2005.
2002
DOI [bibtex] Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Automated performance and dependability evaluation using model checking, Performance evaluation of complex systems, Volume 2459 of LNCS, pages 261-289, Springer, 2002.
DOI [bibtex] Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier. Model checking performability properties, Proceedings / International Conference on Dependable Systems and Networks, pages 103-112, IEEE Computer Society, 2002.
2000
DOI [bibtex] Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. On the Logical Characterisation of Performability Properties, Automata, languages and programming, Volume 1853 of LNCS, pages 780-792, Springer, 2000.
DOI [bibtex] Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. On the use of model checking techniques for dependability evaluation, Proceedings / 19. IEEE Symposium on Reliable Distributed Systems, pages 228-237, IEEE Computer Society, 2000.
[bibtex] C. Baier, Boudewijn R. Haverkort, H. Hermanns, Joost-Pieter Katoen. Model checking continuous-time Markov chains by transient analysis, Computer aided verification (CAV 2000), Volume 1855 of LNCS, pages 358-372, Springer, 2000.