Shahid Khan
Shahid Khan
Email confirmado em
Citado por
Citado por
Explaining Boolean-logic driven Markov processes using GSPNs
S Khan, JP Katoen, M Bouissou
2020 16th European Dependable Computing Conference (EDCC), 119-126, 2020
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
A compositional semantics for repairable BDMPs
S Khan, JP Katoen, M Bouissou
International Conference on Computer Safety, Reliability, and Security, 82-98, 2020
Scalable reliability analysis by lazy verification
S Khan, JP Katoen, M Volk, M Bouissou
NASA Formal Methods Symposium, 180-197, 2021
Various ways to quantify BDMPs
M Bouissou, S Khan, JP Katoen, P Krcal
arXiv preprint arXiv:2004.13283, 2020
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 …, 2018
Accelerating spmv multiplication in probabilistic model checkers using gpus
MH Khan, O Hassan, S Khan
International Colloquium on Theoretical Aspects of Computing, 86-104, 2021
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
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
BDDs Strike Back
D Basgöze, M Volk, JP Katoen, S Khan, M Stoelinga
NASA Formal Methods Symposium, 713-732, 2022
Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs
S Khan, JP Katoen
2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing …, 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
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–13