Research output per year
Research output per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
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
-
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 AccessFile40 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 AccessFile6 Citations (Scopus)12 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 AccessFile28 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
-
Model Checking Temporal Properties of Recursive Probabilistic Programs
Winkler, T., Gehnen, C. & Katoen, J. P., 2023, In: Logical methods in computer science. 19, 4, 30 p., 24.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile13 Downloads (Pure)
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
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
-
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
-
MoDeST: From Theory to Industrial Experience
Katoen, J.-P. (Invited speaker)
4 Sept 2004Activity: Talk or presentation › Oral presentation