S
Zodix
Study
Academic Library
Search
Shelves
Open access
Sign in
Search or jump to…
⌘K
Joost-Pieter Katoen · Study
Home
/
Author
Joost-Pieter Katoen
6 works
· latest 2024
· 1 institutions
cluster: provisional
ORCID 0000-0002-6143-1926
Follow
Suggest an ORCID correction
h-index
5
i10
4
Citations
119
Works here
6
16
17
19
20
22
24
Most cited in this library
Uncovering Dynamic Fault Trees
2016 · 52 citations
Fault trees on a diet: automated reduction by graph rewriting
2017 · 23 citations
DFT modeling approach for operational risk assessment of railway infrastructure
2022 · 21 citations
SAFEST: Fault Tree Analysis Via Probabilistic Model Checking
2024 · 13 citations
Various Ways to Quantify BDMPs
2020 · 5 citations
Works
6 shown
SAFEST: Fault Tree Analysis Via Probabilistic Model Checking
Annual Reliability and Maintainability Symposium (RAMS)
·
2024
·
4 authors
·
other
·
Open access
13
citations
DFT modeling approach for operational risk assessment of railway infrastructure
International Journal on Software Tools for Technology Transfer
·
2022
·
4 authors
·
Open access
21
citations
Various Ways to Quantify BDMPs
Electronic Proceedings in Theoretical Computer Science
·
2020
·
4 authors
·
Open access
5
citations
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs
IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)
·
2019
·
4 authors
·
other
5
citations
Fault trees on a diet: automated reduction by graph rewriting
Formal Aspects of Computing
·
2017
·
5 authors
·
Open access
23
citations
Uncovering Dynamic Fault Trees
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
·
2016
·
4 authors
·
other
·
Open access
52
citations