Author: Joost-Pieter Katoen

Author: Joost-Pieter Katoen

This page shows all presentations of this author published in EasyChair Smart Slide.

Programmatic Synthesis for Infinite MDPs Using Program Refinement

Programmatic Synthesis for Infinite MDPs Using Program Refinement

Joost-Pieter Katoen

Markov Decision Processes with Sure Parity and Multiple Reachability Objectives

Markov Decision Processes with Sure Parity and Multiple Reachability Objectives

Raphaël Berthon, Joost-Pieter Katoen and Tobias Winkler

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

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

Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Abraham and Joost-Pieter Katoen

Verifying Auto-Generated C Code from Simulink

Verifying Auto-Generated C Code from Simulink

Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez and Thomas Rambow

Monitoring CTMCs By Multi-Clock Timed Automata

Monitoring CTMCs By Multi-Clock Timed Automata

Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia and Naijun Zhan

Let this Graph be your Witness! An Attestor for Verifying Java Pointer Programs

Let this Graph be your Witness! An Attestor for Verifying Java Pointer Programs

Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja and Thomas Noll

Sound Value Iteration

Sound Value Iteration

Tim Quatmann and Joost-Pieter Katoen

Presentations in this collection: 7