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: the static and dynamic fault tree analysis tool
Volk, M., Ibne Irshad, M., Katoen, J-P., Sher, F., Stoelinga, M. I. A. & Zafar, A., 2023, Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). Research Publishing, p. 193-200Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile41 Downloads (Pure) -
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
Basgöze, D., Volk, M., Katoen, J-P., Khan, S. & Stoelinga, M., 20 May 2022, NASA Formal Method: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 713-732 20 p. Chapter 38. (Lecture notes in computer science; vol. 13260).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open AccessFile1 Citation (Scopus)20 Downloads (Pure) -
DFT modeling approach for operational risk assessment of railway infrastructure
Weik, N., Volk, M., Katoen, J. P. & Nießen, N., 5 Apr 2022, In: International journal on software tools for technology transfer. 24, 3, p. 331-350 20 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Citations (Scopus)11 Downloads (Pure) -
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
Khan, S., Katoen, J., Volk, M., Zafar, A. & Sher, F., 17 Jan 2022, 2021 10th Latin-American Symposium on Dependable Computing (LADC).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile46 Downloads (Pure) -
Synthesizing optimal bias in randomized self-stabilization
Volk, M., Bonakdarpour, B., Katoen, J-P. & Aflaki, S., 2022, In: Distributed computing.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile1 Citation (Scopus)11 Downloads (Pure)
Prizes
-
Beste paper award
van Keulen, Maurice (Recipient), Kaminski, Benjamin (Recipient), Matheja, Christoph (Recipient) & Katoen, Joost-Pieter (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
Joost P. Katoen (Organiser), Rom Langerak (Organiser) & Arend Rensink (Organiser)
17 Oct 2017Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
Model checking and performance evaluation: a perfect match
Joost P. Katoen (Speaker)
28 Mar 2004Activity: Talk or presentation › Oral presentation
-
MoDeST: From Theory to Industrial Experience
Joost P. Katoen (Speaker)
17 Sept 2004Activity: Talk or presentation › Oral presentation
-
MoDeST: From Theory to Industrial Experience
Joost-Pieter Katoen (Invited speaker)
4 Sept 2004Activity: Talk or presentation › Oral presentation
-
Timed reachability in continuous-time Markov decision processes
Joost P. Katoen (Speaker)
29 Mar 2004Activity: Talk or presentation › Oral presentation