Shahid Khan

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 15

Top Topics

Formal Verification

Top Venues

Publications

Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
A Compositional Semantics of Boolean-Logic Driven Markov Processes. IEEE Trans. Dependable Secur. Comput. 21 (2) (2024)
Shahid Khan, Waqar Ahmad, Osman Hasan
A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis. SMACD (2022)
Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. NFM (2022)
Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees. CoRR (2022)
Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou
Model Checking the Multi-Formalism Language FIGARO. DSN (2021)
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
Scalable Reliability Analysis by Lazy Verification. NFM (2021)
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Muhammad Ahmad Zafar, Falak Sher
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. LADC (2021)
Muhammad Hannan Khan, Osman Hassan, Shahid Khan
Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs. ICTAC (2021)
Shahid Khan, Joost-Pieter Katoen
Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs. PRDC (2021)
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
Explaining Boolean-Logic Driven Markov Processes using GSPNs. EDCC (2020)
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
A Compositional Semantics for Repairable BDMPs. SAFECOMP (2020)
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcál
Various Ways to Quantify BDMPs. MARS@ETAPS (2020)
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs. PRDC (2019)
Shahid Khan, Osman Hasan, Atif Mashkoor
Formal Verification and Safety Assessment of a Hemodialysis Machine. SOFSEM (2018)
Shahid Khan, Faiq Khalid, Osman Hasan, João M. P. Cardoso
Formal verification of a domain specific language for run-time adaptation. SysCon (2018)