Zilverling

prof.dr.ir. J.P. Katoen (Joost-Pieter)

Hoogleraar
EEMCS-CS-FMT
Zilverling 3078
j.p.katoen@utwente.nl
+31534893676
Visitekaartje

Expertises

  • Computer Science

    • Model Checking
    • Fault Tree
    • Markov Decision Process
    • Probability
    • Continuous Time
    • model checker
    • Automaton
    • Case Study

Organisaties

Nevenwerkzaamheden

  • RWTH Aachen UniversityHoogleraar

Publicaties

2026

41st Annual Symposium on Logic in Computer Science (LICS 2026) (2026)[Book/Report › Book editing]. Dagstuhl. Faggian, C. & Katoen, J.-P.https://drops.dagstuhl.de/entities/volume/LIPIcs-volume-380Compositional Reasoning for Probabilistic Automata with Uncertainty (2026)[Working paper › Preprint]. ArXiv.org. Mertens, H., Quatmann, T. & Katoen, J.-P.https://doi.org/10.48550/arXiv.2603.29550Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version) (2026)[Working paper › Preprint]. ArXiv.org. Schröer, P. & Katoen, J.-P.https://doi.org/10.48550/arXiv.2603.02405Facing Uncertainty in AI: From Formal Verification To Synthesis (2026)In Theoretical Aspects of Computing – ICTAC 2025: 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings (pp. 27-30) (Lecture Notes in Computer Science; Vol. 16237). Springer. Katoen, J.-P.https://doi.org/10.1007/978-3-032-11176-0_2Let’s Talk AI with Computer Science Expert Joost-Pieter Katoen (2026)In Let’s Talk AI: Interdisciplinarity Is a Must (pp. 205-209) (Lecture Notes in Computer Science; Vol. 15000 LNCS). Springer. Katoen, J. P. & Steffen, B.https://doi.org/10.1007/978-3-032-09008-9_24The Optimal Strategy to Meet the Deadline:: Ask Christel! (2026)In Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday (pp. 1-14) (Lecture Notes in Computer Science; Vol. 15760). Springer. Katoen, J.-P.https://doi.org/10.1007/978-3-031-97439-7_1

2025

Artifact for Paper Foundations for Deductive Verification of Continuous Probabilistic Programs (2025)[Dataset Types › Dataset]. Zenodo. Batz, K., Katoen, J.-P., Randone, F. & Winkler, T.https://doi.org/10.5281/zenodo.14930103

2024

Parameter synthesis for Markov models: covering the parameter space (2024)Formal methods in system design, 62(1-3), 181-259. Junges, S., Ábrahám, E., Hensel, C., Jansen, N., Katoen, J. P., Quatmann, T. & Volk, M.https://doi.org/10.1007/s10703-023-00442-xSAFEST: Fault Tree Analysis Via Probabilistic Model Checking (2024)In RAMS 2024 - Annual Reliability and Maintainability Symposium, Proceedings (Proceedings - Annual Reliability and Maintainability Symposium). IEEE. Volk, M., Sher, F., Katoen, J. P. & Stoelinga, M.https://doi.org/10.1109/RAMS51492.2024.10457719Unknown Biases and Timing Constraints in Timed Automata (2024)[Working paper › Preprint]. ArXiv.org. Haase, D. & Katoen, J.-P.https://doi.org/10.48550/arXiv.2403.02210

Onderzoeksprofielen

QR codeScan de QR-code of
Download vCard