Research output per year
Research output per year
Personal profile
Fingerprint
Dive into the research topics where Joost-Pieter Katoen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Parameter synthesis for Markov models: covering the parameter space
Junges, S., Ábrahám, E., Hensel, C., Jansen, N., Katoen, J. P., Quatmann, T. & Volk, M., Jun 2024, In: Formal methods in system design. 62, 1-3, p. 181-259 79 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile6 Citations (Scopus)4 Downloads (Pure) -
SAFEST: Fault Tree Analysis Via Probabilistic Model Checking
Volk, M., Sher, F., Katoen, J. P. & Stoelinga, M., 18 Mar 2024, RAMS 2024 - Annual Reliability and Maintainability Symposium, Proceedings. IEEE, (Proceedings - Annual Reliability and Maintainability Symposium).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile3 Citations (Scopus)150 Downloads (Pure) -
A Deductive Verification Infrastructure for Probabilistic Programs
Schröer, P., Batz, K., Kaminski, B. L., Katoen, J. P. & Matheja, C., 16 Oct 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 294.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile14 Citations (Scopus)13 Downloads (Pure) -
Automatically Finding the Right Probabilities in Bayesian Networks
Salmani, B. & Katoen, J. P., 2023, In: Journal of Artificial Intelligence Research. 77, p. 1637-1696 60 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile3 Citations (Scopus)32 Downloads (Pure) -
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Chechik, M. (Editor), Katoen, J.-P. (Editor) & Leucker, M. (Editor), 1 Mar 2023, 1 ed. Cham: Springer. 259 p. (Lecture Notes in Computer Science; vol. 14000)Research output: Book/Report › Book editing › Academic
Datasets
-
Parameter Synthesis for Markov Models: Prophesy and model files
Junges, S. (Creator), Ábrahám, E. (Creator), Hensel, C. (Creator), Jansen, N. (Creator), Katoen, J.-P. (Creator), Quatmann, T. (Creator) & Volk, M. (Creator), Zenodo, 3 Mar 2023
DOI: 10.5281/zenodo.7697153, https://doi.org/10.5281/zenodo.7697154
Dataset
-
Artifact for Paper Foundations for Deductive Verification of Continuous Probabilistic Programs
Batz, K. (Creator), Katoen, J.-P. (Creator), Randone, F. (Creator) & Winkler, T. (Creator), Zenodo, 8 Apr 2025
DOI: 10.5281/zenodo.14930103, https://zenodo.org/records/14930103 and 4 more links, https://zenodo.org/records/14930104, https://doi.org/10.5281/zenodo.14930104, https://zenodo.org/records/15175355, https://doi.org/10.5281/zenodo.15175355 (show fewer)
Dataset
-
Artifact for "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"
Basgöze, D. (Creator), Volk, M. (Creator), Katoen, J.-P. (Creator), Khan, S. (Creator) & Stoelinga, M. (Creator), Zenodo, 28 Mar 2022
DOI: 10.5281/zenodo.5834212, https://zenodo.org/records/5834212 and 4 more links, https://zenodo.org/records/5834213, https://doi.org/10.5281/zenodo.5834213, https://zenodo.org/records/6390998, https://doi.org/10.5281/zenodo.6390998 (show fewer)
Dataset
-
Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact
Hartmanns, A. (Creator), Junges, S. (Creator), Katoen, J.-P. (Creator) & Quatmann, T. (Creator), Zenodo, 15 Jun 2020
DOI: 10.5281/zenodo.3894716, https://zenodo.org/record/3894716 and 4 more links, https://doi.org/10.5281/zenodo.3894717, https://zenodo.org/record/3894717, https://doi.org/10.5281/zenodo.3894735, https://zenodo.org/record/3894735 (show fewer)
Dataset
Prizes
-
Beste paper award
van Keulen, M. (Recipient), Kaminski, B. (Recipient), Matheja, C. (Recipient) & Katoen, J. P. (Recipient), 4 Oct 2018
Prize
-
Symposium on Model-Ed, Test-Ed, Trust-Ed in honour of Ed Brinksma on the occasion of his 60th birthday, 2017
Katoen, J. P. (Organiser), Langerak, R. (Organiser) & Rensink, A. (Organiser)
17 Oct 2017Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
Timed reachability in continuous-time Markov decision processes
Katoen, J. P. (Speaker)
29 Mar 2004Activity: Talk or presentation › Oral presentation
-
MoDeST: From Theory to Industrial Experience
Katoen, J. P. (Speaker)
14 Oct 2004Activity: Talk or presentation › Oral presentation
-
Model checking and performance evaluation: a perfect match
Katoen, J. P. (Speaker)
28 Mar 2004Activity: Talk or presentation › Oral presentation
-
MoDeST: From Theory to Industrial Experience
Katoen, J. P. (Speaker)
17 Sept 2004Activity: Talk or presentation › Oral presentation