Formal Verification and Safety Assessment of a Hemodialysis Machine. - Shahid Khan 002; Osman Hasan; Atif Mashkoor (SOFSEM, 2018)

Formal verification of a domain specific language for run-time adaptation. - Shahid Khan 002; Faiq Khalid; Osman Hasan; João M. P. Cardoso (SysCon, 2018)

Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs. - Shahid Khan 002; Joost-Pieter Katoen; Matthias Volk 001; Marc Bouissou (PRDC, 2019)

Explaining Boolean-Logic Driven Markov Processes using GSPNs. - Shahid Khan 002; Joost-Pieter Katoen; Marc Bouissou (EDCC, 2020)

A Compositional Semantics for Repairable BDMPs. - Shahid Khan 002; Joost-Pieter Katoen; Marc Bouissou (SAFECOMP, 2020)

Various Ways to Quantify BDMPs. - Marc Bouissou; Shahid Khan 002; Joost-Pieter Katoen; Pavel Krcál (MARS@ETAPS, 2020)

Model Checking the Multi-Formalism Language FIGARO. - Shahid Khan 002; Matthias Volk 001; Joost-Pieter Katoen; Alexis Braibant; Marc Bouissou (DSN, 2021)

Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs. - Muhammad Hannan Khan; Osman Hassan; Shahid Khan 002 (ICTAC, 2021)

Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. - Shahid Khan 002; Joost-Pieter Katoen; Matthias Volk 001; Muhammad Ahmad Zafar; Falak Sher (LADC, 2021)

Scalable Reliability Analysis by Lazy Verification. - Shahid Khan 002; Joost-Pieter Katoen; Matthias Volk 001; Marc Bouissou (NFM, 2021)

Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs. - Shahid Khan 002; Joost-Pieter Katoen (PRDC, 2021)

BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. - Daniel Basgöze; Matthias Volk 001; Joost-Pieter Katoen; Shahid Khan 002; Mariëlle Stoelinga (NFM, 2022)

A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis. - Shahid Khan 002; Waqar Ahmad; Osman Hasan (SMACD, 2022)

Boolean-logic driven Markov processes: Explained. Analysed. Verified. - Shahid Khan 002 (2022)

A Compositional Semantics of Boolean-Logic Driven Markov Processes. - Shahid Khan 002; Joost-Pieter Katoen; Marc Bouissou (Zenodo, 2022)

A Compositional Semantics of Boolean-Logic Driven Markov Processes. - Shahid Khan 002; Joost-Pieter Katoen; Marc Bouissou (Zenodo, 2022)

A Compositional Semantics of Boolean-Logic Driven Markov Processes. - Shahid Khan 002; Joost-Pieter Katoen; Marc Bouissou (Zenodo, 2022)

A Compositional Semantics of Boolean-Logic Driven Markov Processes. - Shahid Khan 002; Joost-Pieter Katoen; Marc Bouissou (IEEE Trans. Dependable Secur. Comput., 2024)

Using fixed memory blocks in GPUs to accelerate SpMV multiplication in probabilistic model checkers. - Muhammad Hannan Khan; Shahid Khan 002; Osman Hasan (J. Log. Algebraic Methods Program., 2025)