Shahid Khan

According to our database, Shahid Khan authored at least 18 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Compositional Semantics of Boolean-Logic Driven Markov Processes.

Shahid Khan, Joost-Pieter Katoen, Marc Bouissou

IEEE Trans. Dependable Secur. Comput., 2024

2022

A Compositional Semantics of Boolean-Logic Driven Markov Processes.

Shahid Khan, Joost-Pieter Katoen, Marc Bouissou

Dataset, August, 2022

A Compositional Semantics of Boolean-Logic Driven Markov Processes.

Shahid Khan, Joost-Pieter Katoen, Marc Bouissou

Dataset, August, 2022

A Compositional Semantics of Boolean-Logic Driven Markov Processes.

Shahid Khan, Joost-Pieter Katoen, Marc Bouissou

Dataset, August, 2022

Boolean-logic driven Markov processes: Explained. Analysed. Verified.

Shahid Khan

PhD thesis, 2022

A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis.

Shahid Khan, Waqar Ahmad, Osman Hasan

Proceedings of the 18th International Conference on Synthesis, 2022

BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees.

Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs.

Shahid Khan, Joost-Pieter Katoen

Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

Scalable Reliability Analysis by Lazy Verification.

Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees.

Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Muhammad Ahmad Zafar, Falak Sher

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs.

Muhammad Hannan Khan, Osman Hassan, Shahid Khan

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

Model Checking the Multi-Formalism Language FIGARO.

Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2020

Various Ways to Quantify BDMPs.

Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcál

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

A Compositional Semantics for Repairable BDMPs.

Shahid Khan, Joost-Pieter Katoen, Marc Bouissou

Proceedings of the Computer Safety, Reliability, and Security, 2020

Explaining Boolean-Logic Driven Markov Processes using GSPNs.

Shahid Khan, Joost-Pieter Katoen, Marc Bouissou

Proceedings of the 16th European Dependable Computing Conference, 2020

2019

Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs.

Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou

Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

2018

Formal verification of a domain specific language for run-time adaptation.

Shahid Khan, Faiq Khalid, Osman Hasan, João M. P. Cardoso

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

Formal Verification and Safety Assessment of a Hemodialysis Machine.

Shahid Khan, Osman Hasan, Atif Mashkoor

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018