Joost-Pieter Katoen

521 papers A* 18A 37B 60C 11Misc 8Journal 228Unranked 144

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Compositional Reasoning for Probabilistic Automata with Uncertainty. CoRR Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen
2026	—	`conf`	Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing. ESOP (2) Philipp Schröer, Darion Haase, Joost-Pieter Katoen
2026	J	`jnl`	Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version). CoRR Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
2026	—	`conf`	Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops. ESOP (1) Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
2026	J	`jnl`	Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version). CoRR Philipp Schröer, Joost-Pieter Katoen
2026	—	`ch.`	Let's Talk AI with Computer Science Expert Joost-Pieter Katoen. Let's Talk AI Joost-Pieter Katoen, Barbara Steffen
2026	—	`conf`	Multiple Long-Run and ømega-Regular Objectives in MDPs. TACAS (1) Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann
2026	J	`jnl`	Probabilistic Model Checking Taken by Storm. CoRR Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2026	J	`jnl`	Search and explore: symbiotic policy synthesis in POMDPs. Formal Methods Syst. Des. Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2026	J	`jnl`	Verification of Robust Multi-Agent Systems. CoRR Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2025	B	`conf`	A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games. CONCUR Raphaël Berthon, Joost-Pieter Katoen, Zihan Zhou
2025	J	`jnl`	A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games. CoRR Raphaël Berthon, Joost-Pieter Katoen, Zihan Zhou
2025	J	`jnl`	An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty. J. Artif. Intell. Res. Roman Andriushchenko, Milan Ceska, Filip Macák, Sebastian Junges, Joost-Pieter Katoen
2025	—	`conf`	Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains. CAV (2) Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
2025	J	`jnl`	Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains. CoRR Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
2025	A*	`conf`	Bayesian Inference in Quantum Programs. ICALP Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen
2025	J	`jnl`	Bayesian Inference in Quantum Programs. CoRR Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen
2025	B	`conf`	Compositional Reasoning for Parametric Probabilistic Automata. CONCUR Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen
2025	J	`jnl`	Compositional Reasoning for Parametric Probabilistic Automata. CoRR Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen
2025	J	`jnl`	Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate. J. Autom. Reason. Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler
2025	J	`jnl`	Conference Reports. ACM SIGLOG News Joost-Pieter Katoen
2025	J	`jnl`	Conference Reports. ACM SIGLOG News Joost-Pieter Katoen
2025	J	`jnl`	Conference Reports. ACM SIGLOG News Joost-Pieter Katoen
2025	J	`jnl`	Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version). CoRR Philipp Schröer, Darion Haase, Joost-Pieter Katoen
2025	C	`conf`	Facing Uncertainty in AI: From Formal Verification To Synthesis. ICTAC Joost-Pieter Katoen
2025	J	`jnl`	Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back. CoRR Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2025	J	`jnl`	Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back. Proc. ACM Program. Lang. Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2025	B	`conf`	Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains. ATVA Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges
2025	J	`jnl`	Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains. CoRR Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges
2025	J	`jnl`	Introduction to the Special Collection from FM 2023. Formal Aspects Comput. Marsha Chechik, Joost-Pieter Katoen
2025	A	`conf`	Multi-Cost-Bounded Reachability Analysis of POMDPs. UAI Alexander Bork, Joost-Pieter Katoen, Tim Quatmann, Svenja Stein
2025	J	`jnl`	Quantifier Elimination and Craig Interpolation: The Quantitative Way (Technical Report). CoRR Kevin Batz, Joost-Pieter Katoen, Nora Orhan
2025	B	`conf`	Quantifier Elimination and Craig Interpolation: The Quantitative Way. FoSSaCS Kevin Batz, Joost-Pieter Katoen, Nora Orhan
2025	A	`conf`	Robust Strategies for Stochastic Multi-Agent Systems. AAMAS Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2025	—	`conf`	The Optimal Strategy to Meet the Deadline: Ask Christel! Principles of Formal Quantitative Analysis Joost-Pieter Katoen
2025	J	`jnl`	Verifying Sampling Algorithms via Distributional Invariants. CoRR Kevin Batz, Joost-Pieter Katoen, Tobias Winkler, Daniel Zilken
2025	B	`conf`	Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems. FSCD Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen
2025	J	`jnl`	Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems. CoRR Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen
2024	J	`jnl`	A Compositional Semantics of Boolean-Logic Driven Markov Processes. IEEE Trans. Dependable Secur. Comput. Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
2024	B	`conf`	A Spectrum of Approximate Probabilistic Bisimulations. CONCUR Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
2024	J	`jnl`	A Spectrum of Approximate Probabilistic Bisimulations. CoRR Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
2024	—	`conf`	Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains. TACAS (2) Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler
2024	J	`jnl`	Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains. CoRR Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler
2024	J	`jnl`	Conference Reports. ACM SIGLOG News Joost-Pieter Katoen
2024	J	`jnl`	Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions. Proc. ACM Program. Lang. Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen
2024	—	`conf`	Markov Decision Processes with Sure Parity and Multiple Reachability Objectives. RP Raphaël Berthon, Joost-Pieter Katoen, Tobias Winkler
2024	J	`jnl`	Markov Decision Processes with Sure Parity and Multiple Reachability Objectives. CoRR Raphaël Berthon, Joost-Pieter Katoen, Tobias Winkler
2024	A*	`conf`	Natural Strategic Ability in Stochastic Multi-Agent Systems. AAAI Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2024	J	`jnl`	Natural Strategic Ability in Stochastic Multi-Agent Systems. CoRR Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2024	J	`jnl`	Parameter synthesis for Markov models: covering the parameter space. Formal Methods Syst. Des. Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2024	J	`jnl`	Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs. Proc. ACM Program. Lang. Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler
2024	J	`jnl`	Stochastic games with lexicographic objectives. Formal Methods Syst. Des. Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler
2024	J	`jnl`	Unknown Biases and Timing Constraints in Timed Automata. CoRR Darion Haase, Joost-Pieter Katoen
2023	J	`jnl`	A Calculus for Amortized Expected Runtimes. Proc. ACM Program. Lang. Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht
2023	J	`jnl`	A Deductive Verification Infrastructure for Probabilistic Programs. CoRR Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2023	J	`jnl`	A Deductive Verification Infrastructure for Probabilistic Programs. Proc. ACM Program. Lang. Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2023	J	`jnl`	Automatically Finding the Right Probabilities in Bayesian Networks. J. Artif. Intell. Res. Bahare Salmani, Joost-Pieter Katoen
2023	—	`conf`	Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration. TACAS (2) Tobias Winkler, Joost-Pieter Katoen
2023	J	`jnl`	Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration. CoRR Tobias Winkler, Joost-Pieter Katoen
2023	J	`jnl`	Conference Reports. ACM SIGLOG News Joost-Pieter Katoen
2023	J	`jnl`	Exact Bayesian Inference for Loopy Probabilistic Programs. CoRR Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Joost-Pieter Katoen
2023	J	`jnl`	Exact Probabilistic Inference Using Generating Functions. CoRR Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen
2023	J	`jnl`	Finding an ε-close Variation of Parameters in Bayesian Networks. CoRR Bahare Salmani, Joost-Pieter Katoen
2023	A*	`conf`	Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks. IJCAI Bahare Salmani, Joost-Pieter Katoen
2023	B	`ed.`	Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings FM Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
2023	J	`jnl`	Lower Bounds for Possibly Divergent Probabilistic Programs. CoRR Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
2023	J	`jnl`	Lower Bounds for Possibly Divergent Probabilistic Programs. Proc. ACM Program. Lang. Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
2023	J	`jnl`	Model Checking Temporal Properties of Recursive Probabilistic Programs. Log. Methods Comput. Sci. Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
2023	A*	`conf`	On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. LICS Tobias Winkler, Joost-Pieter Katoen
2023	J	`jnl`	On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. CoRR Tobias Winkler, Joost-Pieter Katoen
2023	—	`conf`	Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. TACAS (2) Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2023	J	`jnl`	Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs. CoRR Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler
2023	J	`jnl`	Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241). Dagstuhl Reports Sebastian Junges, Joost-Pieter Katoen, Scott Sanner, Guy Van den Broeck, Bahare Salmani
2023	—	`conf`	Search and Explore: Symbiotic Policy Synthesis in POMDPs. CAV (3) Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2023	J	`jnl`	Search and Explore: Symbiotic Policy Synthesis in POMDPs. CoRR Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2022	—	`book`	50 Jahre Studiengang Informatik an der RWTH Helen Bolke-Hermanns, Joost-Pieter Katoen, Klaus Indermark, Stefan Kowalewski, Thomas Noll, Wolfgang Thomas
2022	J	`jnl`	A Calculus for Amortized Expected Runtimes. CoRR Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht
2022	—	`conf`	BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. NFM Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
2022	J	`jnl`	BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees. CoRR Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
2022	—	`conf`	Configurable Benchmarks for C Model Checkers. NFM Xaver Fink, Philipp Berger, Joost-Pieter Katoen
2022	J	`jnl`	Convex Optimization for Parameter Synthesis in MDPs. IEEE Trans. Autom. Control. Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2022	J	`jnl`	DFT modeling approach for operational risk assessment of railway infrastructure. Int. J. Softw. Tools Technol. Transf. Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen
2022	—	`conf`	Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions. CAV (1) Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
2022	J	`jnl`	Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions. CoRR Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
2022	J	`jnl`	Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming. Inf. Comput. Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2022	J	`jnl`	Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming. CoRR Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2022	J	`jnl`	Foundations for Entailment Checking in Quantitative Separation Logic (extended version). CoRR Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
2022	A	`conf`	Foundations for Entailment Checking in Quantitative Separation Logic. ESOP Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
2022	J	`jnl`	Generative Datalog with Continuous Distributions. J. ACM Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
2022	B	`conf`	Gradient-Descent for Randomized Controllers Under Partial Observability. VMCAI Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
2022	J	`jnl`	Inductive Synthesis of Finite-State Controllers for POMDPs. CoRR Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2022	A	`conf`	Inductive synthesis of finite-state controllers for POMDPs. UAI Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2022	J	`jnl`	Markov automata with multiple objectives. Formal Methods Syst. Des. Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
2022	B	`conf`	Model Checking Temporal Properties of Recursive Probabilistic Programs. FoSSaCS Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
2022	B	`conf`	Out of Control: Reducing Probabilistic Models by Control-State Elimination. VMCAI Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen
2022	—	`conf`	POMDP Controllers with Optimal Budget. QEST Jip Spel, Svenja Stein, Joost-Pieter Katoen
2022	—	`conf`	Parameter Synthesis in Markov Models: A Gentle Survey. Principles of Systems Design Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2022	J	`jnl`	Parameter Synthesis in Markov Models: A Gentle Survey. CoRR Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2022	J	`jnl`	Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. CoRR Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2022	J	`jnl`	Reasoning about distributed reconfigurable systems. Proc. ACM Program. Lang. Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen
2022	J	`jnl`	Scenario-based verification of uncertain parametric MDPs. Int. J. Softw. Tools Technol. Transf. Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2022	J	`jnl`	Synthesizing optimal bias in randomized self-stabilization. Distributed Comput. Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki
2022	J	`jnl`	The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transf. Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2022	J	`jnl`	The probabilistic termination tool amber. Formal Methods Syst. Des. Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
2022	B	`conf`	Towards Concurrent Quantitative Separation Logic. CONCUR Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll
2022	J	`jnl`	Towards Concurrent Quantitative Separation Logic. CoRR Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll
2022	—	`conf`	Under-Approximating Expected Total Rewards in POMDPs. TACAS (2) Alexander Bork, Joost-Pieter Katoen, Tim Quatmann
2022	J	`jnl`	Under-Approximating Expected Total Rewards in POMDPs. CoRR Alexander Bork, Joost-Pieter Katoen, Tim Quatmann
2022	J	`jnl`	Weighted Programming. CoRR Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
2022	J	`jnl`	Weighted programming: a programming paradigm for specifying mathematical models. Proc. ACM Program. Lang. Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
2021	J	`jnl`	A pre-expectation calculus for probabilistic sensitivity. Proc. ACM Program. Lang. Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2021	A	`conf`	Automated Termination Analysis of Polynomial Probabilistic Programs. ESOP Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
2021	J	`jnl`	Convex Optimization for Parameter Synthesis in MDPs. CoRR Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2021	J	`jnl`	Counterexample-guided inductive synthesis for probabilistic systems. Formal Aspects Comput. Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
2021	—	`conf`	Finding Provably Optimal Markov Chains. TACAS (1) Jip Spel, Sebastian Junges, Joost-Pieter Katoen
2021	C	`conf`	Fine-Tuning the Odds in Bayesian Networks. ECSQARU Bahare Salmani, Joost-Pieter Katoen
2021	J	`jnl`	Fine-Tuning the Odds in Bayesian Networks. CoRR Bahare Salmani, Joost-Pieter Katoen
2021	J	`jnl`	Gradient-Descent for Randomized Controllers under Partial Observability. CoRR Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
2021	—	`conf`	Inductive Synthesis for Probabilistic Programs Reaches New Horizons. TACAS (1) Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2021	J	`jnl`	Inductive Synthesis for Probabilistic Programs Reaches New Horizons. CoRR Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2021	—	`conf`	Latticed k-Induction with an Application to Probabilistic Programs. CAV (2) Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2021	J	`jnl`	Latticed k-Induction with an Application to Probabilistic Programs. CoRR Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2021	J	`jnl`	Local Reasoning about Parameterized Reconfigurable Distributed Systems. CoRR Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen
2021	J	`jnl`	Model Checking Temporal Properties of Recursive Probabilistic Programs. CoRR Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
2021	A	`conf`	Model Checking the Multi-Formalism Language FIGARO. DSN Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou
2021	J	`jnl`	Model Repair Revamped: On the Automated Synthesis of Markov Chains. CoRR Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2021	—	`conf`	Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. LADC Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Muhammad Ahmad Zafar, Falak Sher
2021	—	`conf`	Multi-objective Optimization of Long-run Average and Total Rewards. TACAS (1) Tim Quatmann, Joost-Pieter Katoen
2021	—	`conf`	PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. CAV (1) Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinský
2021	J	`jnl`	Probabilistic Data with Continuous Distributions. CoRR Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
2021	J	`jnl`	Probabilistic Data with Continuous Distributions. SIGMOD Rec. Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
2021	J	`jnl`	Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning. Proc. ACM Program. Lang. Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2021	—	`conf`	Scalable Reliability Analysis by Lazy Verification. NFM Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
2021	J	`jnl`	Scenario-Based Verification of Uncertain Parametric MDPs. CoRR Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2021	J	`jnl`	Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. IEEE Trans. Autom. Control. Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2021	C	`conf`	Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs. PRDC Shahid Khan, Joost-Pieter Katoen
2021	—	`conf`	Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. CAV (1) Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2021	J	`jnl`	Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. CoRR Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2021	B	`conf`	The Probabilistic Termination Tool Amber. FM Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
2021	J	`jnl`	The Probabilistic Termination Tool Amber. CoRR Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
2021	J	`jnl`	The complexity of reachability in parametric Markov decision processes. J. Comput. Syst. Sci. Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
2021	—	`conf`	Tweaking the Odds in Probabilistic Timed Automata. QEST Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel
2020	B	`conf`	A Compositional Semantics for Repairable BDMPs. SAFECOMP Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
2020	J	`jnl`	Aiming low is harder: induction for lower bounds in probabilistic program verification. Proc. ACM Program. Lang. Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen
2020	J	`jnl`	Automated Termination Analysis of Polynomial Probabilistic Programs. CoRR Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
2020	—	`conf`	Bayesian Inference by Symbolic Model Checking. QEST Bahare Salmani, Joost-Pieter Katoen
2020	J	`jnl`	Bayesian Inference by Symbolic Model Checking. CoRR Bahare Salmani, Joost-Pieter Katoen
2020	—	`conf`	Benchmarking Software Model Checkers on Automotive Code. NFM Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen
2020	J	`jnl`	Benchmarking Software Model Checkers on Automotive Code. CoRR Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen
2020	—	`ch.`	Expected Runtime Analyis by Program Verification. Foundations of Probabilistic Programming Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2020	Misc	`conf`	Explaining Boolean-Logic Driven Markov Processes using GSPNs. EDCC Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
2020	—	`book`	Foundations of Probabilistic Programming Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
2020	C	`conf`	Generating Functions for Probabilistic Programs. LOPSTR Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
2020	J	`jnl`	Generating Functions for Probabilistic Programs. CoRR Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
2020	A*	`conf`	Generative Datalog with Continuous Distributions. PODS Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
2020	J	`jnl`	Generative Datalog with Continuous Distributions. CoRR Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
2020	J	`jnl`	IC3 software model checking. Int. J. Softw. Tools Technol. Transf. Tim Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen
2020	—	`conf`	Interpretation-Based Violation Witness Validation for C: NITWIT. TACAS (1) Jan Svejda, Philipp Berger, Joost-Pieter Katoen
2020	J	`jnl`	Multi-cost Bounded Tradeoff Analysis in MDP. J. Autom. Reason. Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2020	J	`jnl`	Multi-objective Optimization of Long-run Average and Total Rewards. CoRR Tim Quatmann, Joost-Pieter Katoen
2020	J	`jnl`	Out of Control: Reducing Probabilistic Models by Control-State Elimination. CoRR Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen
2020	J	`jnl`	Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Inf. Comput. Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein
2020	—	`conf`	PrIC3: Property Directed Reachability for MDPs. CAV (2) Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2020	J	`jnl`	PrIC3: Property Directed Reachability for MDPs. CoRR Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2020	—	`conf`	Probabilistic Model Checking of AODV. QEST Mojgan Kamali, Joost-Pieter Katoen
2020	J	`jnl`	Relatively Complete Verification of Probabilistic Programs. CoRR Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2020	—	`conf`	Scenario-Based Verification of Uncertain MDPs. TACAS (1) Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2020	—	`conf`	Simple Strategies in Multi-Objective MDPs. TACAS (1) Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour
2020	—	`conf`	Stochastic Games with Lexicographic Reachability-Safety Objectives. CAV (2) Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
2020	J	`jnl`	Stochastic Games with Lexicographic Reachability-Safety Objectives. CoRR Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
2020	J	`jnl`	The Complexity of Reachability in Parametric Markov Decision Processes. CoRR Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
2020	J	`jnl`	The Probabilistic Model Checker Storm. CoRR Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2020	—	`conf`	Various Ways to Quantify BDMPs. MARS Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcál
2020	B	`conf`	Verification of Indefinite-Horizon POMDPs. ATVA Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2020	J	`jnl`	Verification of indefinite-horizon POMDPs. CoRR Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2020	J	`jnl`	Weakest Preexpectation Semantics for Bayesian Inference. CoRR Marcin Szymczak, Joost-Pieter Katoen
2019	B	`ed.`	44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, Aachen, Germany, August 26-30, 2019 MFCS Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen
2019	C	`conf`	A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas. FMICS Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen
2019	J	`jnl`	Aiming Low Is Harder - Inductive Proof Rules for Lower Bounds on Weakest Preexpectations in Probabilistic Program Verification. CoRR Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen
2019	B	`conf`	Are Parametric Markov Chains Monotonic? ATVA Jip Spel, Sebastian Junges, Joost-Pieter Katoen
2019	J	`jnl`	Are Parametric Markov Chains Monotonic? CoRR Jip Spel, Sebastian Junges, Joost-Pieter Katoen
2019	—	`conf`	COMPASS 3.0. TACAS (1) Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta
2019	—	`conf`	Correct-by-construction policies for POMDPs. SNR Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer
2019	B	`conf`	Counterexample-Driven Synthesis for Probabilistic Program Sketches. FM Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
2019	J	`jnl`	Counterexample-Driven Synthesis for Probabilistic Program Sketches. CoRR Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
2019	J	`jnl`	Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Inf. Comput. Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen
2019	Misc	`ed.`	Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings SETTA Nan Guan, Joost-Pieter Katoen, Jun Sun
2019	B	`conf`	Formal Verification of Rewriting Rules for Dynamic Fault Trees. SEFM Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar
2019	J	`jnl`	Kantorovich Continuity of Probabilistic Programs. CoRR Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2019	—	`conf`	Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. From Reactive Systems to Cyber-Physical Systems Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2019	C	`conf`	Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. FMICS Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
2019	J	`jnl`	Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development. CoRR Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
2019	B	`conf`	On the Complexity of Reachability in Parametric Markov Decision Processes. CONCUR Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen
2019	J	`jnl`	On the Complexity of Reachability in Parametric Markov Decision Processes. CoRR Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen
2019	J	`jnl`	On the hardness of analyzing probabilistic programs. Acta Informatica Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2019	J	`jnl`	Parameter Synthesis for Markov Models. CoRR Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2019	J	`jnl`	Quantitative separation logic: a logic for reasoning about probabilistic pointer programs. Proc. ACM Program. Lang. Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
2019	J	`jnl`	Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees. CoRR Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
2019	J	`jnl`	Safety analysis for vehicle guidance systems with dynamic fault trees. Reliab. Eng. Syst. Saf. Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
2019	J	`jnl`	Scenario-Based Verification of Uncertain MDPs. CoRR Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2019	—	`conf`	Shepherding Hordes of Markov Chains. TACAS (2) Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2019	J	`jnl`	Shepherding Hordes of Markov Chains. CoRR Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2019	J	`jnl`	Simple Strategies in Multi-Objective MDPs (Technical Report). CoRR Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour
2019	C	`conf`	Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs. PRDC Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
2019	—	`ch.`	The 10, 000 Facets of MDP Model Checking. Computing and Software Science Christel Baier, Holger Hermanns, Joost-Pieter Katoen
2019	—	`conf`	Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence. SETSS Marcin Szymczak, Joost-Pieter Katoen
2018	J	`jnl`	A new proof rule for almost-sure termination. Proc. ACM Program. Lang. Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen
2018	—	`conf`	Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. MBMV Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2018	A	`conf`	Branching Bisimulation and Concurrent Object Verification. DSN Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu
2018	J	`jnl`	Conditioning in Probabilistic Programming. ACM Trans. Program. Lang. Syst. Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver
2018	J	`jnl`	Fast Dynamic Fault Tree Analysis by Model Checking Techniques. IEEE Trans. Ind. Informatics Matthias Volk, Sebastian Junges, Joost-Pieter Katoen
2018	A	`conf`	Finite-State Controllers of POMDPs using Parameter Synthesis. UAI Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
2018	B	`conf`	Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. FM Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen
2018	A	`conf`	How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times. ESOP Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2018	J	`jnl`	How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times. CoRR Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2018	—	`conf`	Improving Generalization in Software IC3. SPIN Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen
2018	—	`conf`	Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs. CAV (2) Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
2018	J	`jnl`	Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121). Dagstuhl Reports Nils Jansen, Joost-Pieter Katoen, Pushmeet Kohli, Jan Kretínský
2018	—	`conf`	Model Checking for Safe Navigation Among Humans. QEST Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe
2018	—	`conf`	Monitoring CTMCs by Multi-clock Timed Automata. CAV (1) Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan
2018	—	`conf`	Multi-cost Bounded Reachability in MDP. TACAS (2) Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2018	B	`conf`	One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Petri Nets Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk
2018	J	`jnl`	One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs. CoRR Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk
2018	—	`conf`	Parameter-Independent Strategies for pMDPs via POMDPs. QEST Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
2018	J	`jnl`	Parameter-Independent Strategies for pMDPs via POMDPs. CoRR Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
2018	J	`jnl`	Quantitative Separation Logic. CoRR Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
2018	—	`conf`	Rule-Based Conditioning of Probabilistic Data. SUM Maurice van Keulen, Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen
2018	—	`conf`	Sound Value Iteration. CAV (1) Tim Quatmann, Joost-Pieter Katoen
2018	J	`jnl`	Sound Value Iteration. CoRR Tim Quatmann, Joost-Pieter Katoen
2018	B	`conf`	Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2018	J	`jnl`	The Partially Observable Games We Play for Cyber Deception. CoRR Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2018	B	`conf`	Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. FM Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
2018	J	`jnl`	Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms. J. ACM Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo
2017	J	`jnl`	A New Proof Rule for Almost-Sure Termination. CoRR Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen
2017	—	`conf`	A Storm is Coming: A Modern Probabilistic Model Checker. CAV (2) Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2017	J	`jnl`	A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations. CoRR Benjamin Lucien Kaminski, Joost-Pieter Katoen
2017	J	`jnl`	A storm is Coming: A Modern Probabilistic Model Checker. CoRR Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2017	A*	`conf`	A weakest pre-expectation semantics for mixed-sign expectations. LICS Benjamin Lucien Kaminski, Joost-Pieter Katoen
2017	B	`conf`	Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. SRDS Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann
2017	—	`conf`	Boosting Fault Tree Analysis by Formal Methods. ModelEd, TestEd, TrustEd Joost-Pieter Katoen, Mariëlle Stoelinga
2017	J	`jnl`	Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects Comput. Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
2017	—	`conf`	Markov Automata with Multiple Objectives. CAV (1) Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
2017	J	`jnl`	Markov Automata with Multiple Objectives. CoRR Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
2017	—	`conf`	Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata. Models, Algorithms, Logics and Tools Joost-Pieter Katoen, Falak Sher
2017	B	`conf`	Model-Based Safety Analysis for Vehicle Guidance Systems. SAFECOMP Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
2017	—	`ed.`	ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday ModelEd, TestEd, TrustEd Joost-Pieter Katoen, Rom Langerak, Arend Rensink
2017	J	`jnl`	Motion Planning under Partial Observability using Game-Based Abstraction. CoRR Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2017	—	`conf`	Motion planning under partial observability using game-based abstraction. CDC Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2017	J	`jnl`	Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. CoRR Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
2017	J	`jnl`	Quantitative model-checking of controlled discrete-time Markov processes. Inf. Comput. Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
2017	—	`conf`	Sequential Convex Programming for the Efficient Verification of Parametric MDPs. TACAS (2) Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
2017	J	`jnl`	Sequential Convex Programming for the Efficient Verification of Parametric MDPs. CoRR Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
2017	—	`ch.`	Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli
2017	J	`jnl`	Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation. CoRR Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu
2016	B	`conf`	Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. SAFECOMP Matthias Volk, Sebastian Junges, Joost-Pieter Katoen
2016	J	`jnl`	Advancing Dynamic Fault Tree Analysis. CoRR Matthias Volk, Sebastian Junges, Joost-Pieter Katoen
2016	B	`conf`	Bounded Model Checking for Probabilistic Programs. ATVA Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
2016	J	`jnl`	Bounded Model Checking for Probabilistic Programs. CoRR Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
2016	J	`jnl`	Confluence reduction for Markov automata. Theor. Comput. Sci. Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga
2016	J	`jnl`	Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Formal Methods Syst. Des. Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki
2016	—	`conf`	Inferring Covariances for Probabilistic Programs. QEST Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2016	J	`jnl`	Inferring Covariances for Probabilistic Programs. CoRR Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2016	B	`conf`	Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks. SRDS Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross
2016	A*	`conf`	On the Satisfiability of Some Simple Probabilistic Logics. LICS Souymodip Chakraborty, Joost-Pieter Katoen
2016	B	`conf`	Parameter Synthesis for Markov Models: Faster Than Ever. ATVA Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2016	J	`jnl`	Parameter Synthesis for Markov Models: Faster Than Ever. CoRR Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2016	—	`conf`	Parameter Synthesis for Probabilistic Systems. MBMV Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes
2016	Misc	`conf`	Performance Evaluation of Concurrent Data Structures. SETTA Hao Wu, Xiaoxiao Yang, Joost-Pieter Katoen
2016	J	`jnl`	Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction. CoRR Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu
2016	J	`jnl`	Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow. ACM Trans. Design Autom. Electr. Syst. Joost-Pieter Katoen, Hao Wu
2016	—	`conf`	Probabilistic Verification for Cognitive Models. AAAI Fall Symposia Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu
2016	J	`jnl`	Proving Linearizability via Branching Bisimulation. CoRR Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu
2016	A*	`conf`	Reasoning about Recursive Probabilistic Programs. LICS Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2016	J	`jnl`	Reasoning about Recursive Probabilistic Programs. CoRR Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2016	A	`conf`	Safety-Constrained Reinforcement Learning for MDPs. TACAS Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
2016	J	`jnl`	The Probabilistic Model Checker Storm (Extended Abstract). CoRR Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2016	A*	`conf`	The Probabilistic Model Checking Landscape. LICS Joost-Pieter Katoen
2016	A	`conf`	Uncovering Dynamic Fault Trees. DSN Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga
2016	J	`jnl`	Viewpoints on "Logic activities in Europe", twenty years later. Bull. EATCS Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi
2016	A	`conf`	Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. ESOP Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo
2016	J	`jnl`	Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. CoRR Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo
2015	—	`conf`	A Greedy Approach for the Efficient Repair of Stochastic Models. NFM Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen
2015	A	`conf`	A Statistical Approach for Timed Reachability in AADL Models. DSN Harold Bruintjes, Joost-Pieter Katoen, David Lesens
2015	J	`jnl`	Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181). Dagstuhl Reports Gilles Barthe, Andrew D. Gordon, Joost-Pieter Katoen, Annabelle McIver
2015	J	`jnl`	Conditioning in Probabilistic Programming. CoRR Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver, Federico Olmedo
2015	B	`conf`	Conditioning in Probabilistic Programming. MFPS Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver
2015	B	`conf`	Counterexamples for Expected Rewards. FM Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2015	Misc	`conf`	Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. SETTA Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
2015	J	`jnl`	High-level Counterexamples for Probabilistic Automata Log. Methods Comput. Sci. Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2015	J	`jnl`	Juggrnaut: using graph grammars for abstracting unbounded heap structures. Formal Methods Syst. Des. Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll
2015	—	`conf`	Model Checking of Open Interval Markov Chains. ASMTA Souymodip Chakraborty, Joost-Pieter Katoen
2015	J	`jnl`	Modelling and statistical model checking of a microgrid. Int. J. Softw. Tools Technol. Transf. Souymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec
2015	—	`conf`	Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. FORMATS Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen
2015	—	`conf`	On the Hardness of Almost-Sure Termination. MFCS (1) Benjamin Lucien Kaminski, Joost-Pieter Katoen
2015	J	`jnl`	On the Hardness of Almost-Sure Termination. CoRR Benjamin Lucien Kaminski, Joost-Pieter Katoen
2015	—	`conf`	PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. CAV (1) Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
2015	B	`conf`	Probabilistic Programming: A True Verification Challenge. ATVA Joost-Pieter Katoen
2015	J	`jnl`	Safety-Constrained Reinforcement Learning for MDPs. CoRR Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
2015	—	`conf`	Understanding Probabilistic Programs. Correct System Design Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo
2015	J	`jnl`	Verifying pointer programs using graph grammars. Sci. Comput. Program. Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll
2014	—	`conf`	Accelerating Parametric Probabilistic Verification. QEST Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2014	J	`jnl`	Analysis of Timed and Long-Run Objectives for Markov Automata. Log. Methods Comput. Sci. Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
2014	J	`jnl`	Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard. CoRR Benjamin Lucien Kaminski, Joost-Pieter Katoen
2014	—	`conf`	Compositional Analysis Using Component-Oriented Interpolation. FACS Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll
2014	—	`conf`	Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. SFM Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
2014	Misc	`conf`	Exponentially timed SADF: Compositional semantics, reductions, and analysis. EMSOFT Joost-Pieter Katoen, Hao Wu
2014	B	`conf`	Fast Debugging of PRISM Models. ATVA Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
2014	—	`ch.`	Formal validation methods in model-based spacecraft systems engineering. Modeling and Simulation-Based Systems Engineering Handbook Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
2014	A*	`conf`	GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. CAV Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki
2014	—	`conf`	Layered Reduction for Abstract Probabilistic Automata. ACSD Arpit Sharma, Joost-Pieter Katoen
2014	J	`jnl`	Minimal counterexamples for linear-time probabilistic verification. Theor. Comput. Sci. Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2014	J	`jnl`	Operational versus weakest pre-expectation semantics for the probabilistic guarded command language. Perform. Evaluation Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
2014	—	`conf`	Parametric LTL on Markov Chains. IFIP TCS Souymodip Chakraborty, Joost-Pieter Katoen
2014	J	`jnl`	Parametric LTL on Markov Chains. CoRR Souymodip Chakraborty, Joost-Pieter Katoen
2014	—	`conf`	Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics. MMB/DFT Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu
2014	J	`jnl`	Probably Safe or Live. CoRR Joost-Pieter Katoen, Lei Song, Lijun Zhang
2014	—	`conf`	Probably safe or live. CSL-LICS Joost-Pieter Katoen, Lei Song, Lijun Zhang
2014	J	`jnl`	Quantitative model-checking of controlled discrete-time Markov processes. CoRR Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
2014	J	`jnl`	Spacecraft early design validation using formal methods. Reliab. Eng. Syst. Saf. Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri
2014	J	`jnl`	Symbolic counterexample generation for large discrete-time Markov chains. Sci. Comput. Program. Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster
2014	B	`conf`	Tight Game Abstractions of Probabilistic Automata. CONCUR Falak Sher Vira, Joost-Pieter Katoen
2014	J	`jnl`	Zero-Reachability in Probabilistic Multi-Counter Automata. CoRR Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen
2014	—	`conf`	Zero-reachability in probabilistic multi-counter automata. CSL-LICS Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen
2013	B	`conf`	A Semantics for Every GSPN. Petri Nets Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang
2013	J	`jnl`	A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods Syst. Des. Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen
2013	J	`jnl`	Abstract Probabilistic Automata. Inf. Comput. Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2013	J	`jnl`	Accelerating Parametric Probabilistic Verification. CoRR Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2013	B	`conf`	Concurrency Meets Probability: Theory and Practice - (Abstract). CONCUR Joost-Pieter Katoen
2013	J	`jnl`	Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). Dagstuhl Reports Albert Cohen, Alastair F. Donaldson, Marieke Huisman, Joost-Pieter Katoen
2013	—	`conf`	High-Level Counterexamples for Probabilistic Automata. QEST Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2013	—	`conf`	Layered Reduction for Modal Specification Theories. FACS Arpit Sharma, Joost-Pieter Katoen
2013	—	`ch.`	Model Checking Meets Probability: A Gentle Introduction. Engineering Dependable Software Systems Joost-Pieter Katoen
2013	J	`jnl`	Model checking for performability. Math. Struct. Comput. Sci. Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2013	A	`conf`	Model-based energy optimization of automotive control systems. DATE Joost-Pieter Katoen, Thomas Noll, Hao Wu, Thomas Santen, Dirk Seifert
2013	J	`jnl`	Modelling, Reduction and Analysis of Markov Automata (extended version) CoRR Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
2013	—	`conf`	Modelling, Reduction and Analysis of Markov Automata. QEST Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
2013	—	`conf`	Prinsys - On a Quest for Probabilistic Loop Invariants. QEST Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
2013	—	`conf`	Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. HSCC Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
2013	B	`conf`	SMT-Based Bisimulation Minimisation of Markov Models. VMCAI Christian Dehnert, Joost-Pieter Katoen, David Parker
2013	A	`conf`	Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems. ESOP Joost-Pieter Katoen, Doron A. Peled
2012	J	`jnl`	A linear process-algebraic format with data for probabilistic automata. Theor. Comput. Sci. Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer
2012	—	`conf`	Compositional Abstraction Techniques for Probabilistic Automata. IFIP TCS Falak Sher, Joost-Pieter Katoen
2012	B	`conf`	Efficient Modelling and Generation of Markov Automata. CONCUR Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga
2012	A*	`conf`	Formal correctness, safety, dependability, and performance analysis of a satellite. ICSE Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein
2012	—	`conf`	GSPNs Revisited: Simple Semantics and New Analysis Algorithms. ACSD Joost-Pieter Katoen
2012	J	`jnl`	Layered reasoning for randomized distributed algorithms. Formal Aspects Comput. Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog
2012	—	`conf`	Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. MBMV Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
2012	A	`conf`	Minimal Critical Subsystems for Discrete-Time Markov Models. TACAS Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen
2012	A	`conf`	Model checking of Scenario-Aware Dataflow with CADP. DATE Bart D. Theelen, Joost-Pieter Katoen, Hao Wu
2012	—	`conf`	Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language. QEST Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
2012	—	`conf`	Quantitative Modelling and Analysis. ISoLA (2) Joost-Pieter Katoen, Kim Guldstrand Larsen
2012	—	`conf`	Quantitative Timed Analysis of Interactive Markov Chains. NASA Formal Methods Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer
2012	—	`conf`	Robust PCTL model checking. HSCC Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen
2012	—	`conf`	Symbolic Counterexample Generation for Discrete-Time Markov Chains. FACS Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker
2012	B	`conf`	The COMICS Tool - Computing Minimal Counterexamples for DTMCs. ATVA Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2012	J	`jnl`	The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains CoRR Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2012	J	`jnl`	Three-valued abstraction for probabilistic systems. J. Log. Algebraic Methods Program. Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
2011	C	`conf`	A Local Greibach Normal Form for Hyperedge Replacement Grammars. LATA Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll
2011	B	`conf`	Abstract Probabilistic Automata. VMCAI Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2011	—	`conf`	Analysing and Improving Energy Efficiency of Distributed Slotted Aloha. NEW2AN Haidi Yue, Henrik C. Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen
2011	B	`ed.`	CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings CONCUR Joost-Pieter Katoen, Barbara König
2011	—	`conf`	Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems. FSTTCS Hongfei Fu, Joost-Pieter Katoen
2011	A	`conf`	Efficient CTMC Model Checking of Linear Real-Time Objectives. TACAS Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2011	B	`conf`	Hierarchical Counterexamples for Discrete-Time Markov Chains. ATVA Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2011	J	`jnl`	Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications Log. Methods Comput. Sci. Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2011	—	`conf`	Model Checking: One Can Do Much More Than You Think! FSEN Joost-Pieter Katoen
2011	—	`conf`	New Results on Abstract Probabilistic Automata. ACSD Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2011	—	`conf`	Observing Continuous-Time MDPs by 1-Clock Timed Automata. RP Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2011	—	`conf`	Quantitative automata model checking of autonomous stochastic hybrid systems. HSCC Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre
2011	—	`conf`	Reachability probabilities in Markovian Timed Automata. CDC/ECC Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2011	J	`jnl`	Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J. Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
2011	J	`jnl`	The ins and outs of the probabilistic model checker MRMC. Perform. Evaluation Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
2011	J	`jnl`	Time-bounded reachability in tree-structured QBDs by abstraction. Perform. Evaluation Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen
2011	C	`conf`	Towards Trustworthy Aerospace Systems: An Experience Report. FMICS Joost-Pieter Katoen
2011	—	`conf`	Weighted Lumpability on Markov Chains. Ershov Memorial Conference Arpit Sharma, Joost-Pieter Katoen
2010	—	`conf`	A Linear Process-Algebraic Format for Probabilistic Systems with Data. ACSD Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer
2010	A*	`conf`	A Model Checker for AADL. CAV Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer
2010	B	`conf`	Advances in Probabilistic Model Checking. VMCAI Joost-Pieter Katoen
2010	—	`conf`	Analyzing Energy Consumption in a Gossiping MAC Protocol. MMB/DFT Haidi Yue, Henrik C. Bohnenkamp, Joost-Pieter Katoen
2010	J	`jnl`	Approximate Model Checking of Stochastic Hybrid Systems. Eur. J. Control Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini
2010	J	`jnl`	Computing Optimal Schedules for battery Usage in Embedded Systems. IEEE Trans. Ind. Informatics Marijn R. Jongerden, Alexandru Mereacre, Henrik C. Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen
2010	—	`conf`	DTMC Model Checking by SCC Reduction. QEST Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2010	—	`conf`	Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption. ASMTA Haidi Yue, Joost-Pieter Katoen
2010	J	`jnl`	Learning Communicating Automata from MSCs. IEEE Trans. Software Eng. Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
2010	B	`conf`	Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. SAS Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll C. Morgan
2010	—	`conf`	Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report. EPEW Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen
2010	J	`jnl`	Performability assessment by model checking of Markov reward models. Formal Methods Syst. Des. Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2010	J	`jnl`	Performance evaluation and model checking join forces. Commun. ACM Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2010	—	`conf`	Quantitative Verification in Practice. ISoLA (2) Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen
2010	J	`jnl`	SMA - The Smyle Modeling Approach. Comput. Informatics Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
2010	A*	`conf`	libalf: The Automata Learning Framework. CAV Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon
2009	C	`conf`	Codesign of dependable systems: A component-based modeling language. MEMOCODE Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
2009	—	`conf`	Compositional Abstraction for Stochastic Systems. FORMATS Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer
2009	J	`jnl`	Counterexample Generation in Probabilistic Model Checking. IEEE Trans. Software Eng. Tingting Han, Joost-Pieter Katoen, Berteun Damman
2009	B	`conf`	Delayed Nondeterminism in Continuous-Time Markov Decision Processes. FoSSaCS Martin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen
2009	B	`conf`	LTL Model Checking of Time-Inhomogeneous Markov Chains. ATVA Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2009	A	`conf`	Maximizing system lifetime by battery scheduling. DSN Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen
2009	—	`conf`	Model-Based Codesign of Critical Embedded Systems. ACES-MB@MoDELS Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
2009	A*	`conf`	Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. LICS Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2009	—	`conf`	Simulation-Based CTMC Model Checking: An Empirical Evaluation. QEST Joost-Pieter Katoen, Ivan S. Zapreev
2009	B	`conf`	The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. SAFECOMP Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
2009	—	`conf`	The How and Why of Interactive Markov Chains. FMCO Holger Hermanns, Joost-Pieter Katoen
2009	—	`conf`	The Ins and Outs of the Probabilistic Model Checker MRMC. QEST Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
2009	—	`conf`	Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. QEST Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen
2009	—	`conf`	Verification and performance evaluation of aadl models. ESEC/SIGSOFT FSE Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
2008	B	`conf`	Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
2008	A	`conf`	Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. RTSS Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2008	—	`conf`	Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. HSCC Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2008	J	`jnl`	How to model and analyze gossiping protocols? SIGMETRICS Perform. Evaluation Rev. Joost-Pieter Katoen
2008	—	`conf`	Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains. FORMATS Joost-Pieter Katoen, Alexandru Mereacre
2008	Misc	`conf`	Perspectives in Probabilistic Verification. TASE Joost-Pieter Katoen
2008	—	`book`	Principles of model checking. Christel Baier, Joost-Pieter Katoen
2008	A	`conf`	Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques. DATE Joost-Pieter Katoen
2008	—	`conf`	Reachability in continuous-time Markov reward decision processes. Logic and Automata Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2008	—	`conf`	Regular Expressions for PCTL Counterexamples. QEST Berteun Damman, Tingting Han, Joost-Pieter Katoen
2008	—	`conf`	SMA - The Smyle Modeling Approach. CEE-SET Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
2008	B	`conf`	Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. CONCUR Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
2008	—	`conf`	Symmetry reduction for stochastic hybrid systems. CDC Manuela-Luminita Bujorianu, Joost-Pieter Katoen
2008	—	`conf`	The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. IFIP TCS Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen
2008	Misc	`conf`	Time-Abstracting Bisimulation for Probabilistic Timed Automata. TASE Taolue Chen, Tingting Han, Joost-Pieter Katoen
2007	—	`conf`	07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele
2007	—	`conf`	07101 Executive Summary -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele
2007	—	`conf`	Abstraction of Probabilistic Systems. FORMATS Joost-Pieter Katoen
2007	A	`conf`	Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. TACAS Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen
2007	B	`conf`	Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. CONCUR Martin R. Neuhäußer, Joost-Pieter Katoen
2007	A	`conf`	Counterexamples in Probabilistic Model Checking. TACAS Tingting Han, Joost-Pieter Katoen
2007	—	`conf`	How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. Haifa Verification Conference David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev
2007	J	`jnl`	Model checking mobile stochastic logic. Theor. Comput. Sci. Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
2007	B	`conf`	Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. ATVA Tingting Han, Joost-Pieter Katoen
2007	—	`ed.`	Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007 Quantitative Aspects of Embedded Systems Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele
2007	A	`conf`	Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. TACAS Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
2007	A*	`conf`	Three-Valued Abstraction for Continuous-Time Markov Chains. CAV Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
2007	A	`conf`	motor: The modestTool Environment. TACAS Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen
2006	J	`jnl`	Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST). IEEE Trans. Software Eng. Giuliana Franceschinis, Joost-Pieter Katoen, C. Murray Woodside
2006	J	`jnl`	Guest editors' introduction: quantitative analysis of real-time embedded systems. Int. J. Softw. Tools Technol. Transf. Peter Buchholz, Joost-Pieter Katoen, Marcel Verhoef
2006	J	`jnl`	MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. IEEE Trans. Software Eng. Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
2006	—	`conf`	Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. QEST Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen
2006	—	`conf`	Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. QEST Joost-Pieter Katoen, Ivan S. Zapreev
2005	—	`conf`	A Markov Reward Model Checker. QEST Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev
2005	J	`jnl`	A theory of Stochastic systems. Part II: Process algebra. Inf. Comput. Pedro R. D'Argenio, Joost-Pieter Katoen
2005	J	`jnl`	A theory of stochastic systems part I: Stochastic automata. Inf. Comput. Pedro R. D'Argenio, Joost-Pieter Katoen
2005	A	`conf`	Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks. DSN Henrik C. Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen
2005	—	`conf`	Bisimulation and Simulation Relations for Markov Chains. APC 25 Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
2005	J	`jnl`	Comparative branching-time semantics for Markov chains. Inf. Comput. Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf
2005	J	`jnl`	Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theor. Comput. Sci. Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort
2005	A	`conf`	Model Checking Markov Reward Models with Impulse Rewards. DSN Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan
2005	J	`jnl`	Model checking meets performance evaluation. SIGMETRICS Perform. Evaluation Rev. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2005	—	`ed.`	Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] Model-Based Testing of Reactive Systems Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
2005	J	`jnl`	Performance and verification. SIGMETRICS Perform. Evaluation Rev. Boudewijn R. Haverkort, Joost-Pieter Katoen
2005	—	`conf`	Safety and Liveness in Concurrent Pointer Programs. FMCO Dino Distefano, Joost-Pieter Katoen, Arend Rensink
2005	—	`conf`	Towards a Logic for Performance and Mobility. QAPL Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink
2005	—	`conf`	YMCA: - Why Markov Chain Algebra? - . APC 25 Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen
2004	—	`conf`	An industrial-strength formal method -- A Modest survey. ISoLA (Preliminary proceedings) Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko
2004	A	`conf`	Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. TACAS Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2004	—	`conf`	Embedded Software Analysis with MOTOR. SFM Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns
2004	J	`jnl`	Guest editors' introduction: Advancements and extensions of verification techniques. Int. J. Softw. Tools Technol. Transf. Joost-Pieter Katoen, Perdita Stevens
2004	—	`conf`	Labelled Transition Systems. Model-Based Testing of Reactive Systems Joost-Pieter Katoen
2004	A	`conf`	Model Checking Dependability Attributes of Wireless Group Communication. DSN Mieke Massink, Joost-Pieter Katoen, Diego Latella
2004	J	`jnl`	Probabilistic weak simulation is decidable in polynomial time. Inf. Process. Lett. Christel Baier, Holger Hermanns, Joost-Pieter Katoen
2004	—	`ed.`	Validation of Stochastic Systems - A Guide to Current Research Validation of Stochastic Systems Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
2004	—	`conf`	Who is Pointing When to Whom? FSTTCS Dino Distefano, Joost-Pieter Katoen, Arend Rensink
2003	—	`conf`	A QoS-Oriented Extension of UML Statecharts. UML David N. Jansen, Holger Hermanns, Joost-Pieter Katoen
2003	J	`jnl`	A tool for model-checking Markov chains. Int. J. Softw. Tools Technol. Transf. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
2003	B	`conf`	Comparative Branching-Time Semantics. CONCUR Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
2003	—	`conf`	Discrete-Time Rewards Model-Checked. FORMATS Suzana Andova, Holger Hermanns, Joost-Pieter Katoen
2003	A	`conf`	ETMCC: Model Checking Performability Properties of Markov Chains. DSN Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
2003	J	`jnl`	Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Trans. Software Eng. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2003	J	`jnl`	Model-checking large structured Markov chains. J. Log. Algebraic Methods Program. Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper
2003	A	`conf`	On Integrating the MÖBIUS and MODEST Modeling Tools. DSN Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders
2003	—	`conf`	The Modest Modeling Tool and Its Implementation. Computer Performance Evaluation / TOOLS Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
2002	—	`conf`	A Probabilistic Extension of UML Statecharts. FTRTFT David N. Jansen, Holger Hermanns, Joost-Pieter Katoen
2002	Misc	`conf`	Automated Performance and Dependability Evaluation Using Model Checking. Performance Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2002	J	`jnl`	Guest editors' introduction: Model checking in a nutshell. J. Log. Algebraic Methods Program. Holger Hermanns, Joost-Pieter Katoen
2002	—	`conf`	Model Checking Birth and Death. IFIP TCS Dino Distefano, Arend Rensink, Joost-Pieter Katoen
2002	A	`conf`	Model Checking Performability Properties. DSN Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier
2002	J	`jnl`	Process algebra for performance evaluation. Theor. Comput. Sci. Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen
2002	J	`jnl`	Real-Time and Probabilistic Systems - Foreword. Theor. Comput. Sci. Joost-Pieter Katoen
2002	B	`conf`	Simulation for Continuous-Time Markov Chains. CONCUR Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort
2002	A	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings TACAS Joost-Pieter Katoen, Perdita Stevens
2001	—	`conf`	Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. PAPM-PROBMIV Gabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen
2001	—	`conf`	Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2001	A	`conf`	First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. TACAS Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink
2001	—	`ed.`	Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures Euro Summer School on Trends in Computer Science Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
2001	J	`jnl`	Metric semantics for true concurrent real time. Theor. Comput. Sci. Joost-Pieter Katoen, Christel Baier, Diego Latella
2001	—	`conf`	MoDeST - A Modelling and Description Language for Stochastic Timed Systems. PAPM-PROBMIV Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
2001	B	`conf`	Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. CONCUR Holger Hermanns, Joost-Pieter Katoen
2000	A	`conf`	A Markov Chain Model Checker. TACAS Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
2000	J	`jnl`	Automated compositional Markov chain generation for a plain-old telephone system. Sci. Comput. Program. Holger Hermanns, Joost-Pieter Katoen
2000	—	`conf`	General Distributions in Process Algebra. European Educational Forum: School on Formal Methods and Performance Analysis Joost-Pieter Katoen, Pedro R. D'Argenio
2000	A*	`conf`	Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2000	—	`conf`	On a Temporal Logic for Object-Based Systems. FMOODS Dino Distefano, Joost-Pieter Katoen, Arend Rensink
2000	A*	`conf`	On the Logical Characterisation of Performability Properties. ICALP Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2000	B	`conf`	On the Use of Model Checking Techniques for Dependability Evaluation. SRDS Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2000	J	`jnl`	Pattern-matching algorithms based on term rewrite systems. Theor. Comput. Sci. Joost-Pieter Katoen, Albert Nymeyer
2000	B	`conf`	Towards Model Checking Stochastic Process Algebra. IFM Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
1999	B	`conf`	Approximate Symbolic Model Checking of Continuous-Time Markov Chains. CONCUR Christel Baier, Joost-Pieter Katoen, Holger Hermanns
1999	—	`ed.`	Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings ARTS Joost-Pieter Katoen
1999	A	`conf`	Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. RTSS Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
1998	J	`jnl`	A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. Formal Methods Syst. Des. Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi
1998	—	`conf`	A True Concurrency Semantics for ET-LOTOS. ACSD Howard Bowman, Joost-Pieter Katoen
1998	—	`conf`	An algebraic approach to the specification of stochastic systems. PROCOMET Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
1998	J	`jnl`	Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Formal Aspects Comput. Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink
1998	A*	`conf`	Metric Semantics for True Concurrent Real Time. ICALP Christel Baier, Joost-Pieter Katoen, Diego Latella
1998	—	`conf`	On Generative Parallel Composition. PROBMIV Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
1998	J	`jnl`	Partial Order Models for Quantitative Extensions of LOTOS. Comput. Networks Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
1998	—	`conf`	Pomsets for MSC. FBT Joost-Pieter Katoen, Lennard Lambert
1997	B	`conf`	Causal Ambiguity and Partial Orders in Event Structures. CONCUR Rom Langerak, Ed Brinksma, Joost-Pieter Katoen
1997	J	`jnl`	Code Generation Based on Formal BURS Therory and Heuristic Search. Acta Informatica Albert Nymeyer, Joost-Pieter Katoen
1997	A	`conf`	The Bounded Retransmission Protocol Must Be on Time! TACAS Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans
1996	B	`conf`	Code Generation = A* + BURS. CC Albert Nymeyer, Joost-Pieter Katoen, Ymte Westra, Henk Alblas
1996	J	`jnl`	Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. Distributed Comput. Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw
1996	—	`conf`	On Specifying Real-Time Systems in a Causality-Based Setting. FTRTFT Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma
1996	J	`jnl`	Systolic Arrays for the Recognition of Permutation-Invariant Segments. Sci. Comput. Program. Joost-Pieter Katoen, Berry Schoenmakers
1995	J	`jnl`	A Design Model for Open Distributed Processing Systems. Comput. Networks ISDN Syst. Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers, Joost-Pieter Katoen
1995	J	`jnl`	A Stochastic Causality-Based Process Algebra. Comput. J. Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
1995	—	`conf`	Causal Behaviours and Nets. Application and Theory of Petri Nets Joost-Pieter Katoen
1993	B	`conf`	A Semi-Markov Model of a Home Network Access Protocol. MASCOTS Joost-Pieter Katoen
1993	C	`conf`	Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. FORTE Joost-Pieter Katoen, Rom Langerak, Diego Latella
1993	J	`jnl`	Recognizing k-Rotated Segments. Int. J. High Speed Comput. Joost-Pieter Katoen, Martin Rem
1991	—	`conf`	A Parallel program for the recognition of P-Invariant segments. Algorithms and Parallel VLSI Architectures Joost-Pieter Katoen, Berry Schoenmakers
1989	J	`jnl`	Bottom-Up Tree Acceptors. Sci. Comput. Program. C. Hemerik, Joost-Pieter Katoen