Joost-Pieter Katoen

发表

Joost-Pieter Katoen, 2004, Model-Based Testing of Reactive Systems.

Model checking performability properties

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2002, Proceedings International Conference on Dependable Systems and Networks.

A Semi-Markov Model of a Home Network Access Protocol

Joost-Pieter Katoen, J. Katoen, 1993, MASCOTS.

YMCA: - Why Markov Chain Algebra? -

Joost-Pieter Katoen, Mario Bravetti, Holger Hermanns, 2006, Electron. Notes Theor. Comput. Sci..

Comparative Branching-Time Semantics

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2003, CONCUR.

Real-Time and Probabilistic Systems - Foreword

Joost-Pieter Katoen, 2002, Theor. Comput. Sci..

A QoS-Oriented Extension of UML Statecharts

Joost-Pieter Katoen, Holger Hermanns, David N. Jansen, 2003, UML.

General Distributions in Process Algebra

Joost-Pieter Katoen, Pedro R. D'Argenio, P. D’Argenio, 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

A probabilistic extension of UML statecharts: Specification and Verification.

Joost-Pieter Katoen, Holger Hermanns, David N. Jansen, 2002 .

Abstraction of Probabilistic Systems

Joost-Pieter Katoen, 2007, FORMATS.

Branching Bisimulation and Concurrent Object Verification

Joost-Pieter Katoen, Hao Wu, Xiaoxiao Yang, 2018, 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

Pomsets for message sequence charts

Joost-Pieter Katoen, L. Lambert, J. Katoen, 1998 .

CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Joost-Pieter Katoen, Barbara König, 2011, CONCUR.

Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems

Joost-Pieter Katoen, Doron A. Peled, 2013, ESOP.

Model Checking for Safe Navigation Among Humans

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2018, QEST.

Layered Reduction for Abstract Probabilistic Automata

Joost-Pieter Katoen, Arpit Sharma, 2014, 2014 14th International Conference on Application of Concurrency to System Design.

Modelling and statistical model checking of a microgrid

Joost-Pieter Katoen, Souymodip Chakraborty, Falak Sher, 2014, International Journal on Software Tools for Technology Transfer.

Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2018, MBMV.

Probably on Time and within BudgetOn Reachability in Priced Probabilistic Timed Automata

Joost-Pieter Katoen, Jasper Berendsen, David N. Jansen, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

Advances in Probabilistic Model Checking

Joost-Pieter Katoen, 2010, VMCAI.

Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption

Joost-Pieter Katoen, Haidi Yue, 2010, ASMTA.

Conditioning in Probabilistic Programming

Annabelle McIver, Nils Jansen, Joost-Pieter Katoen, 2018, TOPL.

Quantitative Timed Analysis of Interactive Markov Chains

Joost-Pieter Katoen, Tingting Han, Martin R. Neuhäußer, 2012, NASA Formal Methods.

Model-based energy optimization of automotive control systems

Joost-Pieter Katoen, Hao Wu, Thomas Noll, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2005 .

Verifying pointer programs using graph grammars

Joost-Pieter Katoen, Thomas Noll, Jonathan Heinen, 2015, Sci. Comput. Program..

Principles of model checking

Christel Baier, Joost-Pieter Katoen, C. Baier, 2008 .

Part IV. Tools and Case Studies

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.

Automatic Veri cation of a Lip Synchronisation Algorithm using Uppaal

Diego Latella, Mieke Massink, Joost-Pieter Katoen, 1998 .

How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times pdf

Joost-Pieter Katoen, Christoph Matheja, Benjamin Lucien Kaminski, 2018, ESOP.

Counterexample Generation in

Joost-Pieter Katoen, Tingting Han, Berteun Damman, 2009 .

Formal correctness, safety, dependability, and performance analysis of a satellite

Joost-Pieter Katoen, Yuri Yushtein, Marie-Aude Esteve, 2012, 2012 34th International Conference on Software Engineering (ICSE).

A model checker for performance and dependability properties

Joost-Pieter Katoen, Holger Hermanns, Markus Siegle, 2001 .

Aiming Low Is Harder - Inductive Proof Rules for Lower Bounds on Weakest Preexpectations in Probabilistic Program Verification pdf

Joost-Pieter Katoen, Jürgen Giesl, Benjamin Lucien Kaminski, 2019, ArXiv.

Part V. Standardized Test Notation and Execution Architecture

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.

Guest editors’ introduction: Advancements and extensions of verification techniques

Joost-Pieter Katoen, Perdita Stevens, 2004, International Journal on Software Tools for Technology Transfer.

Causal Ambiguity and Partial Orders in Event Structures

Joost-Pieter Katoen, Ed Brinksma, Rom Langerak, 1997, CONCUR.

Approximate Symbolic Model Checking of Continuous-Time Markov Chains

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 1999, CONCUR.

Synthesis in pMDPs: A Tale of 1001 Parameters

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2018, ATVA.

Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report

Joost-Pieter Katoen, Viet Yen Nguyen, Falko Dulat, 2010, EPEW.

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems

Joost-Pieter Katoen, Martin Fränzle, Alessandro Abate, 2015, FORMATS.

Compositional Abstraction for Stochastic Systems

Joost-Pieter Katoen, Martin R. Neuhäußer, Daniel Klink, 2009, FORMATS.

Fast Debugging of PRISM Models

Nils Jansen, Joost-Pieter Katoen, Erika Ábrahám, 2014, ATVA.

Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2005, TACAS.

A compositional modelling and analysis framework for stochastic hybrid systems

Joost-Pieter Katoen, Holger Hermanns, Arnd Hartmanns, 2012, Formal Methods in System Design.

Performance Evaluation of Concurrent Data Structures

Joost-Pieter Katoen, Hao Wu, Xiaoxiao Yang, 2016, SETTA.

Minimal Critical Subsystems for Discrete-Time Markov Models

Nils Jansen, Joost-Pieter Katoen, Bernd Becker, 2012, TACAS.

Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains

Joost-Pieter Katoen, Alexandru Mereacre, J. Katoen, 2008, FORMATS.

Verification and performance evaluation of aadl models

Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, 2009, ESEC/FSE '09.

An industrial-strength formal method -- A Modest survey

Joost-Pieter Katoen, Holger Hermanns, David N. Jansen, 2004, ISoLA.

Symbolic counterexample generation for large discrete-time Markov chains

Nils Jansen, Joost-Pieter Katoen, Bernd Becker, 2014, Sci. Comput. Program..

Shepherding Hordes of Markov Chains

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2019, TACAS.

Efficient Modelling and Generation of Markov Automata

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, 2012, CONCUR.

Discrete-Time Rewards Model-Checked

Joost-Pieter Katoen, Holger Hermanns, Suzana Andova, 2003, FORMATS.

Three-valued abstraction for probabilistic systems

Joost-Pieter Katoen, Martin Leucker, Verena Wolf, 2012, J. Log. Algebraic Methods Program..

On the Satisfiability of Some Simple Probabilistic Logics

Joost-Pieter Katoen, Souymodip Chakraborty, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Model Checking Meets Probability: A Gentle Introduction

Joost-Pieter Katoen, 2013, Engineering Dependable Software Systems.

A Storm is Coming: A Modern Probabilistic Model Checker pdf

Sebastian Junges, Joost-Pieter Katoen, Matthias Volk, 2017, CAV.

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation pdf

Joost-Pieter Katoen, Hao Wu, Xiaoxiao Yang, 2017, ArXiv.

Are you still there? - A lightweight algorithm to monitor node presence in self-configuring networks

Joost-Pieter Katoen, Jarno Guidi, Henrik C. Bohnenkamp, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

Code generation based on formal BURS theory and heuristic search

Joost-Pieter Katoen, Albert Nymeyer, 1997, Acta Informatica.

Quantitative model-checking of controlled discrete-time Markov processes

Joost-Pieter Katoen, Alessandro Abate, Alexandru Mereacre, 2014, Inf. Comput..

Stochastic process algebras: linking process descriptions with performance

Joost-Pieter Katoen, Pedro R. D'Argenio, Ed Brinksma, 2000 .

Counterexample Generation in Probabilistic Model Checking

Joost-Pieter Katoen, Tingting Han, Berteun Damman, 2009, IEEE Transactions on Software Engineering.

Approximate Model Checking of Stochastic Hybrid Systems

Joost-Pieter Katoen, John Lygeros, Maria Prandini, 2010, Eur. J. Control.

Spacecraft early design validation using formal methods

Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, 2014, Reliab. Eng. Syst. Saf..

Time-Abstracting Bisimulation for Probabilistic Timed Automata

Joost-Pieter Katoen, Taolue Chen, Tingting Han, 2008, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.

A Markov reward model checker

Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev, 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

On the use of model checking techniques for dependability evaluation

Joost-Pieter Katoen, Boudewijn R. Haverkort, Holger Hermanns, 2000, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000.

On the Hardness of PCTL Satisfiability pdf

Joost-Pieter Katoen, Souymodip Chakraborty, J. Katoen, 2015, ArXiv.

Modelling, Reduction and Analysis of Markov Automata (extended version) pdf

Joost-Pieter Katoen, Holger Hermanns, Mark Timmer, 2013, ArXiv.

Time-bounded reachability in tree-structured QBDs by abstraction

Joost-Pieter Katoen, Boudewijn R. Haverkort, Anne Remke, 2011, Perform. Evaluation.

Quantitative Aspects of Embedded Systems Dagstuhl Seminar

Joost-Pieter Katoen, Lothar Thiele, Boudewijn R. Haverkort, 2007 .

One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs pdf

Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, 2018, Petri Nets.

Reasoning about Recursive Probabilistic Programs*

Joost-Pieter Katoen, Federico Olmedo, Christoph Matheja, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Quantitative automata model checking of autonomous stochastic hybrid systems

Joost-Pieter Katoen, Alessandro Abate, Alexandru Mereacre, 2011, HSCC '11.

Robust PCTL model checking

Joost-Pieter Katoen, Alessandro Abate, Alessandro D'Innocenzo, 2012, HSCC '12.

Fault trees on a diet: automated reduction by graph rewriting

Sebastian Junges, Joost-Pieter Katoen, Arend Rensink, 2015, Formal Aspects of Computing.

Symbolic Counterexample Generation for Discrete-Time Markov Chains

Nils Jansen, Joost-Pieter Katoen, Bernd Becker, 2012, FACS.

Automated Performance and Dependability Evaluation Using Model Checking

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2002, Performance.

Model checking mobile stochastic logic

Diego Latella, Mieke Massink, Joost-Pieter Katoen, 2007, Theor. Comput. Sci..

Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations

Joost-Pieter Katoen, Erika Ábrahám, Thomas Rambow, 2018, FM.

Process algebra for performance evaluation

Joost-Pieter Katoen, Holger Hermanns, Ulrich Herzog, 2002, Theor. Comput. Sci..

DTMC Model Checking by SCC Reduction

Nils Jansen, Joost-Pieter Katoen, Bernd Becker, 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.

Counterexamples for Expected Rewards

Nils Jansen, Joost-Pieter Katoen, Bernd Becker, 2015, FM.

Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms

Joost-Pieter Katoen, Borzoo Bonakdarpour, Arne Storjohann, 2017, 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS).

A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions

Diego Latella, Joost-Pieter Katoen, Tommaso Bolognesi, 1996, Formal Methods Syst. Des..

Model checking meets performance evaluation

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2005, PERV.

Metric semantics for true concurrent real time

Christel Baier, Diego Latella, Joost-Pieter Katoen, 2001, Theor. Comput. Sci..

Motion planning under partial observability using game-based abstraction

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs

Joost-Pieter Katoen, Thomas Noll, Christoph Matheja, 2018, CAV.

Understanding Probabilistic Programs

Nils Jansen, Joost-Pieter Katoen, Federico Olmedo, 2015, Correct System Design.

Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey

Nils Jansen, Joost-Pieter Katoen, Bernd Becker, 2014, SFM.

Simple Strategies in Multi-Objective MDPs (Technical Report) pdf

Joost-Pieter Katoen, Mickael Randour, Tim Quatmann, 2019, ArXiv.

Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata

Joost-Pieter Katoen, Falak Sher, J. Katoen, 2017, Models, Algorithms, Logics and Tools.

Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics

Joost-Pieter Katoen, Hao Wu, Thomas Noll, 2014, MMB/DFT.

High-Level counterexamples for probabilistic automata

Nils Jansen, Joost-Pieter Katoen, Bernd Becker, 2013, QEST 2013.

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2005, Theor. Comput. Sci..

Parameter Synthesis for Markov Models pdf

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2019, Formal Methods in System Design.

A linear process-algebraic format with data for probabilistic automata

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, 2012, Theor. Comput. Sci..

How to model and analyze gossiping protocols?

Joost-Pieter Katoen, 2008, PERV.

A Statistical Approach for Timed Reachability in AADL Models

Joost-Pieter Katoen, Harold Bruintjes, David Lesens, 2015, 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.

Alternating Weak Automata from Universal Trees pdf

Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, 2019, CONCUR.

GSPNs Revisited: Simple Semantics and New Analysis Algorithms

Joost-Pieter Katoen, 2012, 2012 12th International Conference on Application of Concurrency to System Design.

Proving Linearizability via Branching Bisimulation pdf

Joost-Pieter Katoen, Hao Wu, Xiaoxiao Yang, 2016, ArXiv.

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Joost-Pieter Katoen, Taolue Chen, Tingting Han, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.

Safety and Liveness in Concurrent Pointer Programs

Joost-Pieter Katoen, Arend Rensink, Dino Distefano, 2005, FMCO.

Uncovering Dynamic Fault Trees

Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, 2016, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain

Joost-Pieter Katoen, Erika Ábrahám, Thomas Rambow, 2018, FM.

Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees

Matthias Kuntz, Sebastian Junges, Joost-Pieter Katoen, 2019, Reliab. Eng. Syst. Saf..

Probabilistic weak simulation is decidable in polynomial time

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2004, Inf. Process. Lett..

Recognizing k-Rotated Segments

Joost-Pieter Katoen, Martin Rem, J. Katoen, 1993, Int. J. High Speed Comput..

Fast Dynamic Fault Tree Analysis by Model Checking Techniques

Sebastian Junges, Joost-Pieter Katoen, Matthias Volk, 2018, IEEE Transactions on Industrial Informatics.

MoDeST - A Modelling and Description Language for Stochastic Timed Systems

Joost-Pieter Katoen, Holger Hermanns, Pedro R. D'Argenio, 2001, PAPM-PROBMIV.

Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability

Joost-Pieter Katoen, Ivan S. Zapreev, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

Prinsys - On a Quest for Probabilistic Loop Invariants

Annabelle McIver, Joost-Pieter Katoen, Friedrich Gretz, 2013, QEST.

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2015, CAV.

Exponentially timed SADF: Compositional semantics, reductions, and analysis

Joost-Pieter Katoen, Hao Wu, 2014, 2014 International Conference on Embedded Software (EMSOFT).

Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties

Nils Jansen, Joost-Pieter Katoen, Bernd Becker, 2012, MBMV.

Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction pdf

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2016, ArXiv.

Abstract Probabilistic Automata

Kim G. Larsen, Joost-Pieter Katoen, Axel Legay, 2011, VMCAI.

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains

Joost-Pieter Katoen, Holger Hermanns, J. Katoen, 2001, CONCUR.

Towards Model Checking OCL

Joost-Pieter Katoen, Arend Rensink, Dino Distefano, 2000 .

The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains pdf

Nils Jansen, Joost-Pieter Katoen, Bernd Becker, 2012, ArXiv.

The Surprising Robustness of (Closed) Timed Automata against Clock-Drift

Joost-Pieter Katoen, Martin Fränzle, Mani Swaminathan, 2008, IFIP TCS.

P-Automata for Markov Decision Processes

Joost-Pieter Katoen, Souymodip Chakraborty, J. Katoen, 2015 .

A Probabilistic Extension of UML Statecharts

Joost-Pieter Katoen, Holger Hermanns, David N. Jansen, 2002, FTRTFT.

Formal Methods for Real-Time and Probabilistic Systems

Joost-Pieter Katoen, J. Katoen, 1999, Lecture Notes in Computer Science.

07101 Executive Summary -- Quantitative Aspects of Embedded Systems

Joost-Pieter Katoen, Lothar Thiele, Boudewijn R. Haverkort, 2007, Quantitative Aspects of Embedded Systems.

Performability assessment by model checking of Markov reward models

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2010, Formal Methods Syst. Des..

Implementing a Model Checker for Performability Behaviour

Joost-Pieter Katoen, Holger Hermanns, J. Meyer-Kayser, 2001 .

Model-Based Safety Analysis for Vehicle Guidance Systems

Matthias Kuntz, Sebastian Junges, Joost-Pieter Katoen, 2017, SAFECOMP.

Reachability probabilities in Markovian Timed Automata

Joost-Pieter Katoen, Taolue Chen, Tingting Han, 2011, IEEE Conference on Decision and Control and European Control Conference.

Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST)

Joost-Pieter Katoen, Giuliana Franceschinis, C. Murray Woodside, 2006, IEEE Trans. Software Eng..

Perspectives in Probabilistic Verification

Joost-Pieter Katoen, J. Katoen, 2008, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.

ModelEd, TestEd, TrustEd

Joost-Pieter Katoen, Arend Rensink, Romanus Langerak, 2017, Lecture Notes in Computer Science.

Comparative branching-time semantics for Markov chains

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2005, Inf. Comput..

Sound Value Iteration

Joost-Pieter Katoen, Tim Quatmann, J. Katoen, 2018, CAV.

Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability

Joost-Pieter Katoen, Tingting Han, Alexandru Mereacre, 2008, 2008 Real-Time Systems Symposium.

libalf: The Automata Learning Framework

Benedikt Bollig, Joost-Pieter Katoen, Martin Leucker, 2010, CAV.

Computing Optimal Schedules of Battery Usage in Embedded Systems

Joost-Pieter Katoen, Boudewijn R. Haverkort, Alexandru Mereacre, 2010, IEEE Transactions on Industrial Informatics.

On Specifying Real-Time Systems in a Causality-Based Setting

Diego Latella, Joost-Pieter Katoen, Ed Brinksma, 1996, FTRTFT.

Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems

Joost-Pieter Katoen, Hongfei Fu, J. Katoen, 2019, FSTTCS.

Model checking for dynamic allocation and deallocation

Joost-Pieter Katoen, Arend Rensink, Dino Distefano, 2001 .

Monitoring CTMCs by Multi-clock Timed Automata

Joost-Pieter Katoen, Bican Xia, Naijun Zhan, 2018, CAV.

SMA - The Smyle Modeling Approach

Benedikt Bollig, Joost-Pieter Katoen, Martin Leucker, 2008, Comput. Informatics.

Concurrency Meets Probability: Theory and Practice - (Abstract)

Joost-Pieter Katoen, J. Katoen, 2013, CONCUR.

Guest editors’ introduction: quantitative analysis of real-time embedded systems

Joost-Pieter Katoen, Peter Buchholz, Marcel Verhoef, 2006, International Journal on Software Tools for Technology Transfer.

Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007

Joost-Pieter Katoen, Lothar Thiele, Boudewijn R. Haverkort, 2007, Quantitative Aspects of Embedded Systems.

How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison

Joost-Pieter Katoen, Mariëlle Stoelinga, David N. Jansen, 2007, Haifa Verification Conference.

On the hardness of analyzing probabilistic programs

Joost-Pieter Katoen, Christoph Matheja, Benjamin Lucien Kaminski, 2018, Acta Informatica.

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

Joost-Pieter Katoen, Holger Hermanns, Ed Brinksma, 2001, Euro Summer School on Trends in Computer Science.

MoDeST Modelling of Hard an Softly Timed Systems

Joost-Pieter Katoen, Henrik Bohnenkamp, J. Katoen, 2006 .

Towards Model Checking Stochastic Process Algebra

Joost-Pieter Katoen, Holger Hermanns, Joachim Meyer-Kayser, 2000, IFM.

Abstract Probabilistic Automata

Kim G. Larsen, Joost-Pieter Katoen, Axel Legay, 2013, Inf. Comput..

Faster and Symbolic CTMC Model Checking

Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, 2001, PAPM-PROBMIV.

Abstraction for Stochastic Systems by Erlang's Method of Stages

Joost-Pieter Katoen, Martin Leucker, Verena Wolf, 2008, CONCUR.

Weighted Lumpability on Markov Chains

Joost-Pieter Katoen, Arpit Sharma, J. Katoen, 2011, Ershov Memorial Conference.

Guest editors' introduction: Model checking in a nutshell

Joost-Pieter Katoen, Holger Hermanns, J. Katoen, 2002, J. Log. Algebraic Methods Program..

Parameter Synthesis for Probabilistic Systems

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2016, MBMV.

Pattern-matching algorithms based on term rewrite systems

Joost-Pieter Katoen, Albert Nymeyer, 2000, Theor. Comput. Sci..

The How and Why of Interactive Markov Chains

Joost-Pieter Katoen, Holger Hermanns, J. Katoen, 2009, FMCO.

Viewpoints on "Logic activities in Europe", twenty years later

Joost-Pieter Katoen, Thomas A. Henzinger, Luca Aceto, 2016, Bull. EATCS.

Safety, Dependability and Performance Analysis of Extended AADL Models

Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, 2011, Comput. J..

Confluence reduction for Markov automata

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, 2016, Theor. Comput. Sci..

An algebraic approach to the specification of stochastic systems

Joost-Pieter Katoen, Pedro R. D'Argenio, Ed Brinksma, 1998, PROCOMET.

Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow

Joost-Pieter Katoen, Hao Wu, 2016, TODE.

SMT-Based Bisimulation Minimisation of Markov Models

Joost-Pieter Katoen, David Parker, Christian Dehnert, 2013, VMCAI.

Beyond Memoryless Distributions: Model Checking Semi-Markov Chains

Joost-Pieter Katoen, Holger Hermanns, Gabriel G. Infante López, 2001, PAPM-PROBMIV.

Safety-Constrained Reinforcement Learning for MDPs

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2015, TACAS.

Performance evaluation and model checking join forces

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2010, Commun. ACM.

The 10, 000 Facets of MDP Model Checking

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2019, Computing and Software Science.

Rule-Based Conditioning of Probabilistic Data

Joost-Pieter Katoen, Maurice van Keulen, Christoph Matheja, 2018, SUM.

Layered Reduction for Modal Specification Theories

Joost-Pieter Katoen, Arpit Sharma, J. Katoen, 2013, FACS.

Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language

Annabelle McIver, Joost-Pieter Katoen, Friedrich Gretz, 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.

Automated compositional Markov chain generation for a plain-old telephone system

Joost-Pieter Katoen, Holger Hermanns, J. Katoen, 2000, Sci. Comput. Program..

Aiming low is harder: induction for lower bounds in probabilistic program verification

Joost-Pieter Katoen, Benjamin Lucien Kaminski, Jurgen Giesl, 2020, Proc. ACM Program. Lang..

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development pdf

Joost-Pieter Katoen, Erika Ábrahám, Thomas Rambow, 2019, FMICS.

Multi-cost Bounded Reachability in MDP

Sebastian Junges, Joost-Pieter Katoen, Arnd Hartmanns, 2018, TACAS.

Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)

Annabelle McIver, Joost-Pieter Katoen, Gilles Barthe, 2015, Dagstuhl Reports.

Design and analysis of dynamic leader election protocols in broadcast networks

Joost-Pieter Katoen, Jacob Brunekreef, Sjouke Mauw, 1993, Distributed Computing.

Partial Order Models for Quantitative Extensions of LOTOS

Diego Latella, Joost-Pieter Katoen, Ed Brinksma, 1998, Comput. Networks.

Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates

Sebastian Junges, Joost-Pieter Katoen, Matthias Volk, 2016, SAFECOMP.

Delayed Nondeterminism in Continuous-Time Markov Decision Processes

Joost-Pieter Katoen, Mariëlle Stoelinga, Martin R. Neuhäußer, 2009, FoSSaCS.

Conditioning in Probabilistic Programming

Annabelle McIver, Nils Jansen, Joost-Pieter Katoen, 2015, MFPS.

Are Parametric Markov Chains Monotonic? pdf

Sebastian Junges, Joost-Pieter Katoen, Jip Spel, 2019, ATVA.

Counterexample-Driven Synthesis for Probabilistic Program Sketches

Sebastian Junges, Joost-Pieter Katoen, Milan Ceska, 2019, FM.

Markov automata with multiple objectives pdf

Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, 2017, Formal Methods in System Design.

Parameter-Independent Strategies for pMDPs via POMDPs pdf

Ana Sokolova, Joost-Pieter Katoen, Krishnendu Chatterjee, 2018, QEST.

Model Checking: One Can Do Much More Than You Think!

Joost-Pieter Katoen, 2011, FSEN.

Performance and verification

Joost-Pieter Katoen, Boudewijn R. Haverkort, 2005, PERV.

Algebraic specification of dynamic leader election protocols in broadcast networks

Joost-Pieter Katoen, Jacob Brunekreef, Sjouke Mauw, 1995 .

Compositional Abstraction Techniques for Probabilistic Automata

Joost-Pieter Katoen, Falak Sher, 2012, IFIP TCS.

Modelling stochastic timed systems

Joost-Pieter Katoen, Holger Hermanns, Pedro R. D'Argenio, 2001 .

Model-Checking Algorithms for

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2003 .

General Purpose Discrete Event Simulation using

Joost-Pieter Katoen, Pedro R. D'Argenio, Ed Brinksma, 1998 .

Model checking dependability attributes of wireless group communication

Diego Latella, Mieke Massink, Joost-Pieter Katoen, 2004, International Conference on Dependable Systems and Networks, 2004.

Quantitative Separation Logic pdf

Joost-Pieter Katoen, Thomas Noll, Christoph Matheja, 2018, ArXiv.

Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods

Annabelle McIver, Joost-Pieter Katoen, Carroll Morgan, 2010, SAS.

A true concurrency semantics for ET-LOTOS

Joost-Pieter Katoen, Howard Bowman, H. Bowman, 1998, Proceedings 1998 International Conference on Application of Concurrency to System Design.

Model Checking Gigantic Markov Models

Joost-Pieter Katoen, 2014, ICSE 2014.

On integrating the MOBIUS and MODEST modeling tools

William H. Sanders, Joost-Pieter Katoen, Tod Courtney, 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..

Pomsets for MSC

Joost-Pieter Katoen, Lennard Lambert, 1998, FBT.

Hierarchical Counterexamples for Discrete-Time Markov Chains

Nils Jansen, Joost-Pieter Katoen, Bernd Becker, 2011, ATVA.

The Ins and Outs of the Probabilistic Model Checker MRMC

Joost-Pieter Katoen, Holger Hermanns, David N. Jansen, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

Probably safe or live

Lijun Zhang, Joost-Pieter Katoen, Lei Song, 2014, CSL-LICS.

Parameter Synthesis for Markov Models: Faster Than Ever pdf

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2016, ATVA.

Juggrnaut: using graph grammars for abstracting unbounded heap structures

Joost-Pieter Katoen, Thomas Noll, Jonathan Heinen, 2015, Formal Methods Syst. Des..

Formal validation methods in model-based spacecraft systems engineering

Joost-Pieter Katoen, Thomas Noll, Viet Yen Nguyen, 2014, Modeling and Simulation-Based Systems Engineering Handbook.

Parametric LTL on Markov Chains

Joost-Pieter Katoen, Souymodip Chakraborty, 2014, IFIP TCS.

Causal Behaviours and Nets

Joost-Pieter Katoen, J. Katoen, 1995, Application and Theory of Petri Nets.

A Linear Process-Algebraic Format for Probabilistic Systems with Data

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, 2010, 2010 10th International Conference on Application of Concurrency to System Design.

Compositional Analysis Using Component-Oriented Interpolation

Joost-Pieter Katoen, Thomas Noll, Benjamin Bittner, 2014, FACS.

Regular Expressions for PCTL Counterexamples

Joost-Pieter Katoen, Tingting Han, Berteun Damman, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains

Joost-Pieter Katoen, Tingting Han, Alexandru Mereacre, 2008, HSCC.

Simulation for Continuous-Time Markov Chains

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2002, CONCUR.

motor :T hemodest Tool Environment

Joost-Pieter Katoen, Holger Hermanns, Henrik C. Bohnenkamp, 2007 .

The COMICS Tool - Computing Minimal Counterexamples for DTMCs

Nils Jansen, Joost-Pieter Katoen, Bernd Becker, 2012, ATVA.

Part VI. Beyond Testing

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.

Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs

Joost-Pieter Katoen, Federico Olmedo, Christoph Matheja, 2016, ESOP.

Principles of Model Checking (Representation and Mind Series)

Christel Baier, Joost-Pieter Katoen, C. Baier, 2008 .

Permissive Finite-State Controllers of POMDPs using Parameter Synthesis pdf

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2017, ArXiv.

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems

Joost-Pieter Katoen, Alessandro Abate, Alexandru Mereacre, 2013, HSCC '13.

Reachability in continuous-time Markov reward decision processes

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2008, Logic and Automata.

Quantitative and Qualitative Extensions of Event Structures

Joost-Pieter Katoen, J. Katoen, 1996 .

Model Repair Revamped - - On the Automated Synthesis of Markov Chains -

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2019, From Reactive Systems to Cyber-Physical Systems.

LTL Model Checking of Time-Inhomogeneous Markov Chains

Joost-Pieter Katoen, Taolue Chen, Tingting Han, 2009, ATVA.

Part II. Testing of Labeled Transition Systems

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.

First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders

Diego Latella, Mieke Massink, Joost-Pieter Katoen, 2001, TACAS.

On the Logical Characterisation of Performability Properties

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2000, ICALP.

Boosting Fault Tree Analysis by Formal Methods

Joost-Pieter Katoen, Mariëlle Stoelinga, J. Katoen, 2017, ModelEd, TestEd, TrustEd.

Efficient CTMC Model Checking of Linear Real-Time Objectives

Joost-Pieter Katoen, Taolue Chen, Tingting Han, 2011, TACAS.

Time-Bounded Reachability in Tree-Structured QBDs by Abstraction

Joost-Pieter Katoen, Boudewijn R. Haverkort, Anne Remke, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

Symmetry reduction for stochastic hybrid systems

Joost-Pieter Katoen, Manuela L. Bujorianu, J. Katoen, 2008, 2008 47th IEEE Conference on Decision and Control.

Hooggespannen verwachtingen model checking

Joost-Pieter Katoen, Ed Brinksma, 2001 .

Fault trees on a diet: automated reduction by graph rewriting

Sebastian Junges, Joost-Pieter Katoen, Arend Rensink, 2016, Formal Aspects of Computing.

Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components

Dragan Bosnacki, Joost-Pieter Katoen, Anton Wijs, 2016, Formal Methods Syst. Des..

Parallel programs for the recognition of P-invariant segments

Joost-Pieter Katoen, Berry Schoenmakers, Berry Schoenmakers, 1991 .

Observing Continuous-Time MDPs by 1-Clock Timed Automata

Joost-Pieter Katoen, Taolue Chen, Tingting Han, 2011, RP.

Compass 3.0

Joost-Pieter Katoen, Marco Bozzano, Alessandro Cimatti, 2019, TACAS.

The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems

Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, 2009, SAFECOMP.

Model Checking Birth and Death

Joost-Pieter Katoen, Arend Rensink, Dino Distefano, 2002, IFIP TCS.

Tight Game Abstractions of Probabilistic Automata

Joost-Pieter Katoen, Falak Sher Vira, J. Katoen, 2014, CONCUR.

Sequential Convex Programming for the Efficient Verification of Parametric MDPs

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2017, TACAS.

A Local Greibach Normal Form for Hyperedge Replacement Grammars

Joost-Pieter Katoen, Thomas Noll, Jonathan Heinen, 2011, LATA.

Validation of Stochastic Systems

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2004, Lecture Notes in Computer Science.

Code Generation = A* + BURS

Joost-Pieter Katoen, Henk Alblas, Albert Nymeyer, 1996, CC.

Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal

Diego Latella, Mieke Massink, Joost-Pieter Katoen, 1998, Formal Aspects of Computing.

New Results on Abstract Probabilistic Automata

Kim G. Larsen, Joost-Pieter Katoen, Axel Legay, 2011, 2011 Eleventh International Conference on Application of Concurrency to System Design.

Model-Checking Algorithms for Continuous-Time Markov Chains

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2002, IEEE Trans. Software Eng..

Formal Methods for Aerospace Systems

Joost-Pieter Katoen, Marco Bozzano, Alessandro Cimatti, 2017 .

Lectures on Formal Methods and PerformanceAnalysis

Joost-Pieter Katoen, Holger Hermanns, Ed Brinksma, 2001, Lecture Notes in Computer Science.

Codesign of dependable systems: A component-based modeling language

Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, 2009, 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.

Systolic Arrays for the Recognition of Permutation-Invariant Segments

Joost-Pieter Katoen, Berry Schoenmakers, Berry Schoenmakers, 1996, Sci. Comput. Program..

Quantitative Verification in Practice

Kim G. Larsen, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2010, ISoLA.

Model-Based Codesign of Critical Embedded Systems

Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, 2009, ACES-MB@MoDELS.

Learning Communicating Automata from MSCs

Benedikt Bollig, Joost-Pieter Katoen, Martin Leucker, 2010, IEEE Transactions on Software Engineering.

Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques

Joost-Pieter Katoen, 2008, 2008 Design, Automation and Test in Europe.

Metric Semantics for True Concurrent Real Time

Christel Baier, Diego Latella, Joost-Pieter Katoen, 1998, ICALP.

Model checking for performability

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2013, Mathematical Structures in Computer Science.

Bottum-up tree acceptors

Joost-Pieter Katoen, Kees Hemerik, J. Katoen, 1988 .

Tweaking The Odds: Parameter Synthesis in Markov Models (Abstract)

Joost-Pieter Katoen, 2017, ICTAC 2017.

motor: The modestTool Environment

Joost-Pieter Katoen, Holger Hermanns, Henrik C. Bohnenkamp, 2007, TACAS.

Analysis of Timed and Long-Run Objectives for Markov Automata

Joost-Pieter Katoen, Holger Hermanns, Mark Timmer, 2014, Log. Methods Comput. Sci..

Maximizing system lifetime by battery scheduling

Joost-Pieter Katoen, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.

Embedded Software Analysis with MOTOR

Joost-Pieter Katoen, Holger Hermanns, Henrik C. Bohnenkamp, 2004, SFM.

Three-Valued Abstraction for Continuous-Time Markov Chains

Joost-Pieter Katoen, Martin Leucker, Verena Wolf, 2007, CAV.

Quantitative separation logic: a logic for reasoning about probabilistic pointer programs

Joost-Pieter Katoen, Thomas Noll, Christoph Matheja, 2018, Proc. ACM Program. Lang..

Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks

Sebastian Junges, Joost-Pieter Katoen, James Gross, 2016, 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS).

Model-Based Testing of Reactive Systems, Advanced Lectures : outcome of a research seminar

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2005 .

Operational versus weakest pre-expectation semantics for the probabilistic guarded command language

Annabelle McIver, Joost-Pieter Katoen, Friedrich Gretz, 2014, Perform. Evaluation.

Part III. Model-Based Test Case Generation

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.

Layered reasoning for randomized distributed algorithms

Joost-Pieter Katoen, Ernst-Rüdiger Olderog, Mani Swaminathan, 2012, Formal Aspects of Computing.

Analysing and Improving Energy Efficiency of Distributed Slotted Aloha

Joost-Pieter Katoen, Henrik C. Bohnenkamp, Haidi Yue, 2011, NEW2AN.

Who is Pointing When to Whom? On the Automated Verification of Linked List Structures

Joost-Pieter Katoen, Arend Rensink, Dino Distefano, 2004 .

Analyzing Energy Consumption in a Gossiping MAC Protocol

Joost-Pieter Katoen, Henrik C. Bohnenkamp, Haidi Yue, 2010, MMB/DFT.

On Generative Parallel Composition

Joost-Pieter Katoen, Holger Hermanns, Pedro R. D'Argenio, 1998, PROBMIV.

Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning

Benedikt Bollig, Joost-Pieter Katoen, Martin Leucker, 2008, CONCUR.

Model-checking large structured Markov chains

Joost-Pieter Katoen, Peter Buchholz, Peter Kemper, 2003, J. Log. Algebraic Methods Program..

Correct and efficient accelerator programming

Joost-Pieter Katoen, Albert Cohen, Marieke Huisman, 2013 .

Model Checking of Open Interval Markov Chains

Joost-Pieter Katoen, Souymodip Chakraborty, 2015, ASMTA.

Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking

Joost-Pieter Katoen, David N. Jansen, Ivan S. Zapreev, 2007, TACAS.

Improving Generalization in Software IC3

Joost-Pieter Katoen, Thomas Noll, Martin R. Neuhäußer, 2018, SPIN.

The Probabilistic Model Checking Landscape*

Joost-Pieter Katoen, J. Katoen, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Foundations of Multi-Core Memory Models Introductory Meeting to this Seminar

Joost-Pieter Katoen, Thomas Noll, 2012 .

07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems

Joost-Pieter Katoen, Lothar Thiele, Boudewijn R. Haverkort, 2007, Quantitative Aspects of Embedded Systems.

On the Hardness of Almost-Sure Termination pdf

Joost-Pieter Katoen, Benjamin Lucien Kaminski, J. Katoen, 2015, MFCS.

Quantitative Modelling and Analysis

Kim G. Larsen, Joost-Pieter Katoen, K. Larsen, 2012, ISoLA.

Synthesis and Verification of Self-aware Computing Systems

Nils Jansen, Joost-Pieter Katoen, Javier Cámara, 2017, Self-Aware Computing Systems.

Bisimulation and Simulation Relations for Markov Chains

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2006, APC 25.

Towards a Logic for Performance and Mobility

Diego Latella, Mieke Massink, Joost-Pieter Katoen, 2006, QAPL.

Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach

Diego Latella, Joost-Pieter Katoen, Rom Langerak, 1993, FORTE.

Accelerating Parametric Probabilistic Verification

Nils Jansen, Joost-Pieter Katoen, Bernd Becker, 2014, QEST.

Verification and performance evaluation of aadl models

Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, 2009, ESEC/SIGSOFT FSE.

Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)

Joost-Pieter Katoen, Albert Cohen, Marieke Huisman, 2013, Dagstuhl Reports.

Model checking of Scenario-Aware Dataflow with CADP

Joost-Pieter Katoen, Hao Wu, Bart D. Theelen, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

A Semantics for Every GSPN

Lijun Zhang, Joost-Pieter Katoen, Holger Hermanns, 2013, Petri Nets.

Towards Trustworthy Aerospace Systems: An Experience Report

Joost-Pieter Katoen, 2011, FMICS.

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Joost-Pieter Katoen, Taolue Chen, Tingting Han, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.

Zero-reachability in probabilistic multi-counter automata

Joost-Pieter Katoen, Petr Novotný, Tomás Brázdil, 2014, CSL-LICS.

Concurrency, Interaction, Abstraction and Randomness (extended abstract): Invited Presentation at the Third Interaction and Concurrency Experience: Guaranteed Interaction

Joost-Pieter Katoen, 2010 .

The Probabilistic Model Checker Storm (Extended Abstract) pdf

Sebastian Junges, Joost-Pieter Katoen, Matthias Volk, 2016, ArXiv.

Counterexamples in Probabilistic Model Checking

Joost-Pieter Katoen, Tingting Han, J. Katoen, 2007, TACAS.

Model Checking Continuous-Time Markov Chains by Transient Analysis

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2000, CAV.

Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)

Nils Jansen, Joost-Pieter Katoen, Pushmeet Kohli, 2018, Dagstuhl Reports.

A Stochastic Causality-Based Process Algebra

Diego Latella, Joost-Pieter Katoen, Ed Brinksma, 1995, Comput. J..

Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning

Benedikt Bollig, Joost-Pieter Katoen, Martin Leucker, 2007, TACAS.

A Design Model for Open Distributed Processing Systems

Luís Ferreira Pires, Marten van Sinderen, Joost-Pieter Katoen, 1995, Comput. Networks ISDN Syst..

A weakest pre-expectation semantics for mixed-sign expectations

Joost-Pieter Katoen, Benjamin Lucien Kaminski, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

The Partially Observable Games We Play for Cyber Deception pdf

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2018, ArXiv.

Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard pdf

Joost-Pieter Katoen, Benjamin Lucien Kaminski, 2014, ArXiv.

Proceedings of the 22nd international conference on Concurrency theory

Joost-Pieter Katoen, Barbara König, 2011 .

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]

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2005, Model-Based Testing of Reactive Systems.

GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components

Dragan Bosnacki, Joost-Pieter Katoen, Anton Wijs, 2014, CAV.

Advancing Dynamic Fault Tree Analysis pdf

Sebastian Junges, Joost-Pieter Katoen, Matthias Volk, 2016, ArXiv.

Correct-by-construction policies for POMDPs

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2019, SNR.

A Model Checker for AADL

Joost-Pieter Katoen, Marco Bozzano, Marco Roveri, 2010, CAV.

Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking

Joost-Pieter Katoen, Tingting Han, 2007, ATVA.

A Greedy Approach for the Efficient Repair of Stochastic Models

Nils Jansen, Joost-Pieter Katoen, Armando Tacchella, 2015, NFM.

Functional integration of UMTS and B-ISDN

Joost-Pieter Katoen, 1995, 1995 IEEE 45th Vehicular Technology Conference. Countdown to the Wireless Twenty-First Century.

Bounded Model Checking for Probabilistic Programs pdf

Nils Jansen, Joost-Pieter Katoen, Benjamin Lucien Kaminski, 2016, ATVA.

On a Temporal Logic for Object-Based Systems

Joost-Pieter Katoen, Arend Rensink, Dino Distefano, 2000, FMOODS.

Inferring Covariances for Probabilistic Programs

Joost-Pieter Katoen, Christoph Matheja, Benjamin Lucien Kaminski, 2016, QEST.

Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes

Joost-Pieter Katoen, Martin R. Neuhäußer, J. Katoen, 2007, CONCUR.

Minimal counterexamples for linear-time probabilistic verification

Nils Jansen, Joost-Pieter Katoen, Bernd Becker, 2014, Theor. Comput. Sci..

Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms

Joost-Pieter Katoen, Federico Olmedo, Christoph Matheja, 2018, JACM.

Simulation-Based CTMC Model Checking: An Empirical Evaluation

Joost-Pieter Katoen, Ivan S. Zapreev, J. Katoen, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

Who is Pointing When to Whom?

Joost-Pieter Katoen, Arend Rensink, Dino Distefano, 2004, FSTTCS.

Probabilistic Programming: A True Verification Challenge

Joost-Pieter Katoen, 2015, ATVA.

The Modest Modeling Tool and Its Implementation

Joost-Pieter Katoen, Holger Hermanns, Henrik C. Bohnenkamp, 2003, Computer Performance Evaluation / TOOLS.

Modelling, Reduction and Analysis of Markov Automata (extended version)

Joost-Pieter Katoen, Holger Hermanns, Mark Timmer, 2013, QEST.

Model checking Markov reward models with impulse rewards

Joost-Pieter Katoen, Reza Pulungan, Lucia Cloth, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

A new proof rule for almost-sure termination

Annabelle McIver, Joost-Pieter Katoen, Carroll Morgan, 2017, Proc. ACM Program. Lang..

Kantorovich Continuity of Probabilistic Programs pdf

Joost-Pieter Katoen, Gilles Barthe, Justin Hsu, 2019, ArXiv.

The Ins and Outs of the Probabilistic Model Checker MRMC

Joost-Pieter Katoen, Holger Hermanns, David N. Jansen, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

A theory of Stochastic systems. Part II: Process algebra

Joost-Pieter Katoen, Pedro R. D'Argenio, P. D’Argenio, 2005, Inf. Comput..

Tweaking the Odds in Probabilistic Timed Automata

Joost-Pieter Katoen, Arnd Hartmanns, Jip Spel, 2021, QEST.

Learning probabilistic automata with SMT solving

Joost-Pieter Katoen, Thomas Noll, Joshua Moerman, 2021 .

Probabilistic Data with Continuous Distributions

Joost-Pieter Katoen, Martin Grohe, Benjamin Lucien Kaminski, 2021, SIGMOD Rec..

Fine-Tuning the Odds in Bayesian Networks pdf

Joost-Pieter Katoen, Bahare Salmani, 2021, ECSQARU.

Counterexample-guided inductive synthesis for probabilistic systems

Sebastian Junges, Joost-Pieter Katoen, Christian Hensel, 2021, Formal Aspects of Computing.

Out of Control: Reducing Probabilistic Models by Control-State Elimination

Joost-Pieter Katoen, Johannes Lehman, Tobias Winkler, 2020, VMCAI.

Markov automata with multiple objectives

Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, 2021 .

Gradient-Descent for Randomized Controllers under Partial Observability

Sebastian Junges, Joost-Pieter Katoen, Jip Spel, 2021, VMCAI.

Inductive Synthesis for Probabilistic Programs Reaches New Horizons

Sebastian Junges, Joost-Pieter Katoen, Milan Ceska, 2021, TACAS.

Foundations for Entailment Checking in Quantitative Separation Logic (extended version)

Joost-Pieter Katoen, Thomas Noll, Christoph Matheja, 2022, ESOP.

PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs

Sebastian Junges, Joost-Pieter Katoen, Milan Ceska, 2021, CAV.

Latticed k-Induction with an Application to Probabilistic Programs

Joost-Pieter Katoen, Christoph Matheja, Benjamin Lucien Kaminski, 2021, CAV.

Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees

Joost-Pieter Katoen, Matthias Volk, Shahid Khan, 2021, 2021 10th Latin-American Symposium on Dependable Computing (LADC).

Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs

Joost-Pieter Katoen, Shahid Khan, 2021, 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC).

Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning

Joost-Pieter Katoen, Christoph Matheja, Benjamin Lucien Kaminski, 2020, Proc. ACM Program. Lang..

Scalable Reliability Analysis by Lazy Verification

Joost-Pieter Katoen, Marc Bouissou, Matthias Volk, 2021, NFM.

Model Checking the Multi-Formalism Language FIGARO

Joost-Pieter Katoen, Marc Bouissou, Matthias Volk, 2021, 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming

Joost-Pieter Katoen, Bai Xue, Naijun Zhan, 2021, CAV.

Scenario-Based Verification of Uncertain Parametric MDPs pdf

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2021, ArXiv.

Model Repair Revamped: On the Automated Synthesis of Markov Chains

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2021, 2105.13411.

Automated Termination Analysis of Polynomial Probabilistic Programs

Joost-Pieter Katoen, Ezio Bartocci, Laura Kovács, 2021, ESOP.

The Probabilistic Model Checker Storm pdf

Sebastian Junges, Joost-Pieter Katoen, Christian Hensel, 2021, International Journal on Software Tools for Technology Transfer.

Local Reasoning about Parameterized Reconfigurable Distributed Systems pdf

Joost-Pieter Katoen, Marius Bozga, Radu Iosif, 2021, ArXiv.