Shahid Khan

17 papers A 1B 2C 3Misc 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Using fixed memory blocks in GPUs to accelerate SpMV multiplication in probabilistic model checkers.
J. Log. Algebraic Methods Program.
Muhammad Hannan Khan, Shahid Khan, Osman Hasan
2024 J jnl
A Compositional Semantics of Boolean-Logic Driven Markov Processes.
IEEE Trans. Dependable Secur. Comput.
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
2022 — conf
A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis.
SMACD
Shahid Khan, Waqar Ahmad, Osman Hasan
2022 — conf
BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees.
NFM
Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
2022 J jnl
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees.
CoRR
Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
2022 — —
Boolean-logic driven Markov processes: Explained. Analysed. Verified.
Shahid Khan
2021 C conf
Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs.
ICTAC
Muhammad Hannan Khan, Osman Hassan, Shahid Khan
2021 A conf
Model Checking the Multi-Formalism Language FIGARO.
DSN
Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou
2021 — conf
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees.
LADC
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Muhammad Ahmad Zafar, Falak Sher
2021 — conf
Scalable Reliability Analysis by Lazy Verification.
NFM
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
2021 C conf
Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs.
PRDC
Shahid Khan, Joost-Pieter Katoen
2020 B conf
A Compositional Semantics for Repairable BDMPs.
SAFECOMP
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
2020 Misc conf
Explaining Boolean-Logic Driven Markov Processes using GSPNs.
EDCC
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
2020 — conf
Various Ways to Quantify BDMPs.
MARS
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcál
2019 C conf
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs.
PRDC
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
2018 B conf
Formal Verification and Safety Assessment of a Hemodialysis Machine.
SOFSEM
Shahid Khan, Osman Hasan, Atif Mashkoor
2018 — conf
Formal verification of a domain specific language for run-time adaptation.
SysCon
Shahid Khan, Faiq Khalid, Osman Hasan, João M. P. Cardoso