Shahid Khan

Alumni

Member until: Oct 2022
Now at: Center of Excellence in Science and Applied Technologies (CESAT) and National University of Sciences and Technology (NUST), Islamabad, Pakistan
Address: Room 4205
Ahornstraße 55
D-52074 Aachen

Research

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.

Publications

Own publications

2024

Journal article
A Compositional Semantics of Boolean-Logic Driven Markov Processes
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
IEEE transactions on dependable and secure computing
RWTH record for A Compositional Semantics of Boolean-Logic Driven Markov Processes BibTeX for A Compositional Semantics of Boolean-Logic Driven Markov Processes

2022

Conference paper
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Marielle Stoelinga
NASA Formal Methods
RWTH record for BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees BibTeX for BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
PhD thesis
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Shahid Khan
RWTH Aachen University
Advisers: Joost-Pieter Katoen, Mariëlle Ida Antoinette Stoelinga
PDF of Boolean-logic driven Markov processes : Explained. Analysed. Verified.RWTH record for Boolean-logic driven Markov processes : Explained. Analysed. Verified.BibTeX for Boolean-logic driven Markov processes : Explained. Analysed. Verified.

2021

Conference paper
Scalable Reliability Analysis by Lazy Verification
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
NASA formal methods
RWTH record for Scalable Reliability Analysis by Lazy Verification BibTeX for Scalable Reliability Analysis by Lazy Verification
Conference paper
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Ahmad Zafar, Falak Sher
2021 10th Latin-American Symposium on Dependable Computing (LADC)
RWTH record for Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees BibTeX for Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
Conference paper
Synergising Reliability Modelling Languages : BDMPs and Repairable DFTs
Shahid Khan, Joost-Pieter Katoen
2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing
RWTH record for Synergising Reliability Modelling Languages : BDMPs and Repairable DFTs BibTeX for Synergising Reliability Modelling Languages : BDMPs and Repairable DFTs
Conference paper
Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs
Muhammad Hannan Khan, Osman Hassan, Shahid Khan
Theoretical aspects of computing - ICTAC 2021
RWTH record for Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs BibTeX for Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs
Conference paper
Model Checking the Multi-Formalism Language FIGARO
Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou
51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks
RWTH record for Model Checking the Multi-Formalism Language FIGARO BibTeX for Model Checking the Multi-Formalism Language FIGARO

2020

Preprint
Various Ways to Quantify BDMPs
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal
PDF of Various Ways to Quantify BDMPs RWTH record for Various Ways to Quantify BDMPs BibTeX for Various Ways to Quantify BDMPs
Conference paper
A Compositional Semantics for Repairable BDMPs
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
Computer safety, reliability, and security
RWTH record for A Compositional Semantics for Repairable BDMPs BibTeX for A Compositional Semantics for Repairable BDMPs
Conference paper
Explaining Boolean-Logic Driven Markov Processes using GSPNs
Shahid Khan, Joost-Pieter Katoen, Marc Bouissou
16th European Dependable Computing Conference
RWTH record for Explaining Boolean-Logic Driven Markov Processes using GSPNs BibTeX for Explaining Boolean-Logic Driven Markov Processes using GSPNs
Conference paper
Various Ways to Quantify BDMPs
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal
[The 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020, Dublin, Ireland]
PDF of Various Ways to Quantify BDMPs RWTH record for Various Ways to Quantify BDMPs BibTeX for Various Ways to Quantify BDMPs

2019

Conference paper
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing
RWTH record for Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs BibTeX for Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs

Supervised theses

2020

Master’s thesis
A petri net semantics for boolean-logic driven markov processes
Lars Beckers
RWTH Aachen University
Advisers: Joost-Pieter Katoen, Thomas Noll
Consultants: Shahid Khan
RWTH record for A petri net semantics for boolean-logic driven markov processes BibTeX for A petri net semantics for boolean-logic driven markov processes
Bachelor’s thesis
Dynamic fault tree analysis using binary decision diagrams
Daniel Basgöze
RWTH Aachen University
Advisers: Joost-Pieter Katoen, Thomas Noll
Consultants: Matthias Volk, Shahid Khan
PDF of Dynamic fault tree analysis using binary decision diagrams RWTH record for Dynamic fault tree analysis using binary decision diagrams BibTeX for Dynamic fault tree analysis using binary decision diagrams

All records on RWTH Publications