Synergizing reliability modeling languages: BDMPs without repairs and DFTs S Khan, JP Katoen, M Volk, M Bouissou 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing …, 2019 | 10 | 2019 |
BDDs strike back: efficient analysis of static and dynamic fault trees D Basgöze, M Volk, JP Katoen, S Khan, M Stoelinga NASA Formal Methods Symposium, 713-732, 2022 | 9 | 2022 |
Explaining boolean-logic driven markov processes using GSPNs S Khan, JP Katoen, M Bouissou 2020 16th European Dependable Computing Conference (EDCC), 119-126, 2020 | 9 | 2020 |
Scalable reliability analysis by lazy verification S Khan, JP Katoen, M Volk, M Bouissou NASA Formal Methods Symposium, 180-197, 2021 | 8 | 2021 |
Various ways to quantify BDMPs M Bouissou, S Khan, JP Katoen, P Krcal arXiv preprint arXiv:2004.13283, 2020 | 8 | 2020 |
A compositional semantics for repairable bdmps S Khan, JP Katoen, M Bouissou International Conference on Computer Safety, Reliability, and Security, 82-98, 2020 | 7 | 2020 |
Model checking the multi-formalism language Figaro S Khan, M Volk, JP Katoen, A Braibant, M Bouissou 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021 | 6 | 2021 |
Accelerating SpMV multiplication in probabilistic model checkers using GPUs MH Khan, O Hassan, S Khan Theoretical Aspects of Computing–ICTAC 2021: 18th International Colloquium …, 2021 | 6 | 2021 |
Formal verification and safety assessment of a hemodialysis machine S Khan, O Hasan, A Mashkoor International Conference on Current Trends in Theory and Practice of …, 2017 | 6 | 2017 |
Synergising reliability modelling languages: BDMPs and repairable DFTs S Khan, JP Katoen 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing …, 2021 | 2 | 2021 |
Modelling and analysis of fire sprinklers by verifying dynamic fault trees S Khan, JP Katoen, M Volk, A Zafar, F Sher 2021 10th Latin-American Symposium on Dependable Computing (LADC), 1-10, 2021 | 2 | 2021 |
Bridging the Dependability and Model Checking worlds M Bouissou, S Khan Congrès Lambda Mu 23 «Innovations et maîtrise des risques pour un avenir …, 2022 | 1 | 2022 |
Formal verification of a domain specific language for run-time adaptation S Khan, F Khalid, O Hasan, JMP Cardoso 2018 Annual IEEE International Systems Conference (SysCon), 1-8, 2018 | 1 | 2018 |
A Compositional Semantics of Boolean-Logic Driven Markov Processes S Khan, JP Katoen, M Bouissou IEEE Transactions on Dependable and Secure Computing, 2023 | | 2023 |
A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis S Khan, W Ahmad, O Hasan 2022 18th International Conference on Synthesis, Modeling, Analysis and …, 2022 | | 2022 |
Boolean-logic driven Markov processes: Explained. Analysed. Verified. S Khan Dissertation, RWTH Aachen University, 2022, 2022 | | 2022 |