Joost-Pieter Katoen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
168
Venues
44
Active years
1991–2026
Best venue rank
A*
Where they publish
- ATACAS26 papers
- A*CAV20 papers
- BCONCUR16 papers
- BATVA12 papers
- ADSN11 papers
- BFM8 papers
- AESOP7 papers
- A*LICS6 papers
- BVMCAI5 papers
- BSAFECOMP4 papers
- BFOSSACS3 papers
- A*ICALP3 papers
- AUAI3 papers
- CFMICS3 papers
- BSRDS3 papers
- ADATE3 papers
- CISoLA3 papers
- CPRDC2 papers
- NationalSETTA2 papers
- BCSL2 papers
- ARTSS2 papers
- NationalTASE2 papers
- BFSCD1 paper
- CICTAC1 paper
- A*AAAI1 paper
- A*IJCAI1 paper
- CECSQARU1 paper
- UnrankedEDCC1 paper
- CLOPSTR1 paper
- A*PODS1 paper
- BSEFM1 paper
- BMFCS1 paper
- Journal PublishedEMSOFT1 paper
- A*ICSE1 paper
- CLATA1 paper
- BSAS1 paper
- CMEMOCODE1 paper
- AMODELS1 paper
- Journal PublishedPERFORMANCE1 paper
- BIFM1 paper
- BCC1 paper
- CFORTE1 paper
- BMASCOTS1 paper
- ACCC1 paper
Papers
168 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Caesar: A Deductive Verifier for Probabilistic Programs. | Philipp Schrer, Kevin Batz, Umut Yigit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2026 | ESOP | Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops. | Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler |
| 2026 | ESOP | Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing. | Philipp Schrer, Darion Haase, Joost-Pieter Katoen |
| 2026 | FM | Highly Incremental: A Simple Programmatic Approach for Many Objectives. | Philipp Schrer, Joost-Pieter Katoen |
| 2026 | FM | Probabilistic Model Checking Taken by Storm - A Tutorial on the Probabilistic Model Checker Storm. | Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2026 | FM | Verifying Sampling Algorithms via Distributional Invariants. | Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler |
| 2026 | TACAS | Multiple Long-Run and mega-Regular Objectives in MDPs. | Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann |
| 2025 | ATVA | Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains. | Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges |
| 2025 | CAV | Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains. | Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klppelholz, Jakob Piribauer |
| 2025 | CONCUR | A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games. | Raphal Berthon, Joost-Pieter Katoen, Zihan Zhou |
| 2025 | CONCUR | Compositional Reasoning for Parametric Probabilistic Automata. | Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen |
| 2025 | FOSSACS | Quantifier Elimination and Craig Interpolation: The Quantitative Way. | Kevin Batz, Joost-Pieter Katoen, Nora Orhan |
| 2025 | FSCD | Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems. | Emma Ahrens, Jan-Christoph Kassing, Jrgen Giesl, Joost-Pieter Katoen |
| 2025 | ICALP | Bayesian Inference in Quantum Programs. | Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen |
| 2025 | ICTAC | Facing Uncertainty in AI: From Formal Verification To Synthesis. | Joost-Pieter Katoen |
| 2025 | UAI | Multi-Cost-Bounded Reachability Analysis of POMDPs. | Alexander Bork, Joost-Pieter Katoen, Tim Quatmann, Svenja Stein |
| 2024 | AAAI | Natural Strategic Ability in Stochastic Multi-Agent Systems. | Raphal Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano |
| 2024 | CONCUR | A Spectrum of Approximate Probabilistic Bisimulations. | Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann |
| 2024 | TACAS | Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains. | Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler |
| 2023 | CAV | Search and Explore: Symbiotic Policy Synthesis in POMDPs. | Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Mack |
| 2023 | IJCAI | Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks. | Bahare Salmani, Joost-Pieter Katoen |
| 2023 | LICS | On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. | Tobias Winkler, Joost-Pieter Katoen |
| 2023 | TACAS | Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. | Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2023 | TACAS | Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration. | Tobias Winkler, Joost-Pieter Katoen |
| 2022 | CAV | Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions. | Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler |
| 2022 | CONCUR | Towards Concurrent Quantitative Separation Logic. | Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll |
| 2022 | ESOP | Foundations for Entailment Checking in Quantitative Separation Logic. | Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keler, Christoph Matheja, Thomas Noll |
| 2022 | FOSSACS | Model Checking Temporal Properties of Recursive Probabilistic Programs. | Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen |
| 2022 | UAI | Inductive synthesis of finite-state controllers for POMDPs. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen |
| 2022 | TACAS | Under-Approximating Expected Total Rewards in POMDPs. | Alexander Bork, Joost-Pieter Katoen, Tim Quatmann |
| 2022 | VMCAI | Gradient-Descent for Randomized Controllers Under Partial Observability. | Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen |
| 2022 | VMCAI | Out of Control: Reducing Probabilistic Models by Control-State Elimination. | Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen |
| 2021 | CAV | PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinsk |
| 2021 | CAV | Latticed k-Induction with an Application to Probabilistic Programs. | Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schrer |
| 2021 | CAV | Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. | Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen |
| 2021 | DSN | Model Checking the Multi-Formalism Language FIGARO. | Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou |
| 2021 | ECSQARU | Fine-Tuning the Odds in Bayesian Networks. | Bahare Salmani, Joost-Pieter Katoen |
| 2021 | ESOP | Automated Termination Analysis of Polynomial Probabilistic Programs. | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovcs |
| 2021 | FM | The Probabilistic Termination Tool Amber. | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovcs |
| 2021 | PRDC | Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs. | Shahid Khan, Joost-Pieter Katoen |
| 2021 | TACAS | Inductive Synthesis for Probabilistic Programs Reaches New Horizons. | Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen |
| 2021 | TACAS | Multi-objective Optimization of Long-run Average and Total Rewards. | Tim Quatmann, Joost-Pieter Katoen |
| 2021 | TACAS | Finding Provably Optimal Markov Chains. | Jip Spel, Sebastian Junges, Joost-Pieter Katoen |
| 2020 | ATVA | Verification of Indefinite-Horizon POMDPs. | Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2020 | CAV | PrIC3: Property Directed Reachability for MDPs. | Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schrer |
| 2020 | CAV | Stochastic Games with Lexicographic Reachability-Safety Objectives. | Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler |
| 2020 | EDCC | Explaining Boolean-Logic Driven Markov Processes using GSPNs. | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou |
| 2020 | LOPSTR | Generating Functions for Probabilistic Programs. | Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler |
| 2020 | PODS | Generative Datalog with Continuous Distributions. | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner |
| 2020 | SAFECOMP | A Compositional Semantics for Repairable BDMPs. | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou |
| 2020 | TACAS | Scenario-Based Verification of Uncertain MDPs. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu |
| 2020 | TACAS | Simple Strategies in Multi-Objective MDPs. | Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour |
| 2020 | TACAS | Interpretation-Based Violation Witness Validation for C: NITWIT. | Jan Svejda, Philipp Berger, Joost-Pieter Katoen |
| 2019 | ATVA | Are Parametric Markov Chains Monotonic? | Jip Spel, Sebastian Junges, Joost-Pieter Katoen |
| 2019 | CONCUR | On the Complexity of Reachability in Parametric Markov Decision Processes. | Tobias Winkler, Sebastian Junges, Guillermo A. Prez, Joost-Pieter Katoen |
| 2019 | FM | Counterexample-Driven Synthesis for Probabilistic Program Sketches. | Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen |
| 2019 | FMICS | A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas. | Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nieen |
| 2019 | FMICS | Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. | Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika brahm, Md Tawhid Bin Waez, Thomas Rambow |
| 2019 | PRDC | Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs. | Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou |
| 2019 | SEFM | Formal Verification of Rewriting Rules for Dynamic Fault Trees. | Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofine Tahar |
| 2019 | TACAS | COMPASS 3.0. | Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta |
| 2019 | TACAS | Shepherding Hordes of Markov Chains. | Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen |
| 2018 | ATVA | Synthesis in pMDPs: A Tale of 1001 Parameters. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu |
| 2018 | CAV | Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs. | Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll |
| 2018 | CAV | Monitoring CTMCs by Multi-clock Timed Automata. | Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan |
| 2018 | CAV | Sound Value Iteration. | Tim Quatmann, Joost-Pieter Katoen |
| 2018 | DSN | Branching Bisimulation and Concurrent Object Verification. | Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu |
| 2018 | ESOP | How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times. | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2018 | FM | Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. | Philipp Berger, Joost-Pieter Katoen, Erika brahm, Md Tawhid Bin Waez, Thomas Rambow |
| 2018 | FM | Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. | Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika brahm, Joost-Pieter Katoen |
| 2018 | UAI | Finite-State Controllers of POMDPs using Parameter Synthesis. | Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker |
| 2018 | TACAS | Multi-cost Bounded Reachability in MDP. | Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2017 | CAV | A Storm is Coming: A Modern Probabilistic Model Checker. | Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk |
| 2017 | CAV | Markov Automata with Multiple Objectives. | Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen |
| 2017 | LICS | A weakest pre-expectation semantics for mixed-sign expectations. | Benjamin Lucien Kaminski, Joost-Pieter Katoen |
| 2017 | SAFECOMP | Model-Based Safety Analysis for Vehicle Guidance Systems. | Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk |
| 2017 | SRDS | Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. | Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann |
| 2017 | TACAS | Sequential Convex Programming for the Efficient Verification of Parametric MDPs. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu |
| 2016 | ATVA | Bounded Model Checking for Probabilistic Programs. | Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen |
| 2016 | ATVA | Parameter Synthesis for Markov Models: Faster Than Ever. | Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen |
| 2016 | DSN | Uncovering Dynamic Fault Trees. | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Marille Stoelinga |
| 2016 | ESOP | Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo |
| 2016 | LICS | On the Satisfiability of Some Simple Probabilistic Logics. | Souymodip Chakraborty, Joost-Pieter Katoen |
| 2016 | LICS | The Probabilistic Model Checking Landscape. | Joost-Pieter Katoen |
| 2016 | LICS | Reasoning about Recursive Probabilistic Programs. | Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2016 | SAFECOMP | Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. | Matthias Volk, Sebastian Junges, Joost-Pieter Katoen |
| 2016 | SETTA | Performance Evaluation of Concurrent Data Structures. | Hao Wu, Xiaoxiao Yang, Joost-Pieter Katoen |
| 2016 | SRDS | Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks. | Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross |
| 2016 | TACAS | Safety-Constrained Reinforcement Learning for MDPs. | Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen |
| 2015 | ATVA | Probabilistic Programming: A True Verification Challenge. | Joost-Pieter Katoen |
| 2015 | CAV | PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. | Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika brahm |
| 2015 | DSN | A Statistical Approach for Timed Reachability in AADL Models. | Harold Bruintjes, Joost-Pieter Katoen, David Lesens |
| 2015 | FM | Counterexamples for Expected Rewards. | Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika brahm, Joost-Pieter Katoen, Bernd Becker |
| 2015 | MFCS | On the Hardness of Almost-Sure Termination. | Benjamin Lucien Kaminski, Joost-Pieter Katoen |
| 2015 | SETTA | Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Marille Stoelinga |
| 2014 | ATVA | Fast Debugging of PRISM Models. | Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika brahm, Joost-Pieter Katoen |
| 2014 | CAV | GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. | Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki |
| 2014 | CONCUR | Tight Game Abstractions of Probabilistic Automata. | Falak Sher Vira, Joost-Pieter Katoen |
| 2014 | CSL | Zero-reachability in probabilistic multi-counter automata. | Toms Brzdil, Stefan Kiefer, Antonn Kucera, Petr Novotn, Joost-Pieter Katoen |
| 2014 | CSL | Probably safe or live. | Joost-Pieter Katoen, Lei Song, Lijun Zhang |
| 2014 | EMSOFT | Exponentially timed SADF: Compositional semantics, reductions, and analysis. | Joost-Pieter Katoen, Hao Wu |
| 2013 | CONCUR | Concurrency Meets Probability: Theory and Practice - (Abstract). | Joost-Pieter Katoen |
| 2013 | DATE | Model-based energy optimization of automotive control systems. | Joost-Pieter Katoen, Thomas Noll, Hao Wu, Thomas Santen, Dirk Seifert |
| 2013 | ESOP | Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems. | Joost-Pieter Katoen, Doron A. Peled |
| 2013 | VMCAI | SMT-Based Bisimulation Minimisation of Markov Models. | Christian Dehnert, Joost-Pieter Katoen, David Parker |
| 2012 | ATVA | The COMICS Tool - Computing Minimal Counterexamples for DTMCs. | Nils Jansen, Erika brahm, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
| 2012 | CONCUR | Efficient Modelling and Generation of Markov Automata. | Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Marille Stoelinga |
| 2012 | DATE | Model checking of Scenario-Aware Dataflow with CADP. | Bart D. Theelen, Joost-Pieter Katoen, Hao Wu |
| 2012 | ICSE | Formal correctness, safety, dependability, and performance analysis of a satellite. | Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein |
| 2012 | ISoLA | Quantitative Modelling and Analysis. | Joost-Pieter Katoen, Kim Guldstrand Larsen |
| 2012 | TACAS | Minimal Critical Subsystems for Discrete-Time Markov Models. | Ralf Wimmer, Nils Jansen, Erika brahm, Bernd Becker, Joost-Pieter Katoen |
| 2011 | ATVA | Hierarchical Counterexamples for Discrete-Time Markov Chains. | Nils Jansen, Erika brahm, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
| 2011 | FMICS | Towards Trustworthy Aerospace Systems: An Experience Report. | Joost-Pieter Katoen |
| 2011 | LATA | A Local Greibach Normal Form for Hyperedge Replacement Grammars. | Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll |
| 2011 | TACAS | Efficient CTMC Model Checking of Linear Real-Time Objectives. | Benot Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
| 2011 | VMCAI | Abstract Probabilistic Automata. | Benot Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski |
| 2010 | CAV | libalf: The Automata Learning Framework. | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon |
| 2010 | CAV | A Model Checker for AADL. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer |
| 2010 | ISoLA | Quantitative Verification in Practice. | Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen |
| 2010 | SAS | Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. | Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll C. Morgan |
| 2010 | VMCAI | Advances in Probabilistic Model Checking. | Joost-Pieter Katoen |
| 2009 | ATVA | LTL Model Checking of Time-Inhomogeneous Markov Chains. | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
| 2009 | DSN | Maximizing system lifetime by battery scheduling. | Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen |
| 2009 | FOSSACS | Delayed Nondeterminism in Continuous-Time Markov Decision Processes. | Martin R. Neuhuer, Marille Stoelinga, Joost-Pieter Katoen |
| 2009 | LICS | Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
| 2009 | MEMOCODE | Codesign of dependable systems: A component-based modeling language. | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll |
| 2009 | MODELS | Model-Based Codesign of Critical Embedded Systems. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
| 2009 | SAFECOMP | The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
| 2008 | CONCUR | Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
| 2008 | CONCUR | Abstraction for Stochastic Systems by Erlang's Method of Stages. | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
| 2008 | DATE | Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques. | Joost-Pieter Katoen |
| 2008 | RTSS | Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
| 2008 | TASE | Time-Abstracting Bisimulation for Probabilistic Timed Automata. | Taolue Chen, Tingting Han, Joost-Pieter Katoen |
| 2008 | TASE | Perspectives in Probabilistic Verification. | Joost-Pieter Katoen |
| 2007 | ATVA | Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. | Tingting Han, Joost-Pieter Katoen |
| 2007 | CAV | Three-Valued Abstraction for Continuous-Time Markov Chains. | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
| 2007 | CONCUR | Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. | Martin R. Neuhuer, Joost-Pieter Katoen |
| 2007 | TACAS | motor: The modestTool Environment. | Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen |
| 2007 | TACAS | Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
| 2007 | TACAS | Counterexamples in Probabilistic Model Checking. | Tingting Han, Joost-Pieter Katoen |
| 2007 | TACAS | Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. | Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen |
| 2005 | DSN | Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks. | Henrik C. Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen |
| 2005 | DSN | Model Checking Markov Reward Models with Impulse Rewards. | Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan |
| 2004 | DSN | Model Checking Dependability Attributes of Wireless Group Communication. | Mieke Massink, Joost-Pieter Katoen, Diego Latella |
| 2004 | ISoLA | An industrial-strength formal method -- A Modest survey. | Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko |
| 2004 | TACAS | Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2003 | CONCUR | Comparative Branching-Time Semantics. | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf |
| 2003 | DSN | On Integrating the MBIUS and MODEST Modeling Tools. | Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders |
| 2003 | DSN | ETMCC: Model Checking Performability Properties of Markov Chains. | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
| 2002 | CONCUR | Simulation for Continuous-Time Markov Chains. | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort |
| 2002 | DSN | Model Checking Performability Properties. | Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier |
| 2002 | PERFORMANCE | Automated Performance and Dependability Evaluation Using Model Checking. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2001 | CONCUR | Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. | Holger Hermanns, Joost-Pieter Katoen |
| 2001 | TACAS | First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. | Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink |
| 2000 | CAV | Model Checking Continuous-Time Markov Chains by Transient Analysis. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2000 | ICALP | On the Logical Characterisation of Performability Properties. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2000 | IFM | Towards Model Checking Stochastic Process Algebra. | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
| 2000 | SRDS | On the Use of Model Checking Techniques for Dependability Evaluation. | Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2000 | TACAS | A Markov Chain Model Checker. | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
| 1999 | CONCUR | Approximate Symbolic Model Checking of Continuous-Time Markov Chains. | Christel Baier, Joost-Pieter Katoen, Holger Hermanns |
| 1999 | RTSS | Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. | Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma |
| 1998 | ICALP | Metric Semantics for True Concurrent Real Time. | Christel Baier, Joost-Pieter Katoen, Diego Latella |
| 1997 | CONCUR | Causal Ambiguity and Partial Orders in Event Structures. | Rom Langerak, Ed Brinksma, Joost-Pieter Katoen |
| 1997 | TACAS | The Bounded Retransmission Protocol Must Be on Time! | Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans |
| 1996 | CC | Code Generation = A* + BURS. | Albert Nymeyer, Joost-Pieter Katoen, Ymte Westra, Henk Alblas |
| 1993 | FORTE | Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. | Joost-Pieter Katoen, Rom Langerak, Diego Latella |
| 1993 | MASCOTS | A Semi-Markov Model of a Home Network Access Protocol. | Joost-Pieter Katoen |
| 1991 | CCC | A Parallel program for the recognition of P-Invariant segments. | Joost-Pieter Katoen, Berry Schoenmakers |