Shahid Khan

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

2024
DOIShahid Khan, Joost-Pieter Katoen, Marc Bouissou. A Compositional Semantics of Boolean-Logic Driven Markov Processes, 701-716, IEEE, 2024.
2022
DOIShahid Khan. Boolean-logic driven Markov processes : Explained. Analysed. Verified., 1 Online-Ressource : Illustrationen, Diagramme, RWTH Aachen University, 2022.
DOIDaniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Marielle Stoelinga. BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees, NASA formal methods : 14th international symposium, NFM 2022, pasadena, CA, USA, may 24–27, 2022, proceedings / edited by jyotirmoy V. Deshmukh, klaus havelund, ivan perez, 713-732, Springer International Publishing, 2022.
2021
DOIShahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou. Model Checking the Multi-Formalism Language FIGARO, 51st annual IEEE/IFIP international conference on dependable systems and networks : DSN 2021 : proceedings : 21-24 june 2021, virtual event / general chairs: Sy-yen kuo (national taiwan university, taiwan), yennun huang (academia sinica, taiwan) ; publication chairs: Chi-yi lin (tamkang university, taiwan), yao-hsin chou (national chi nan university, taiwan) ; publisher: IEEE, 463-470, IEEE, 2021.
DOIMuhammad Hannan Khan, Osman Hassan, Shahid Khan. Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs, Theoretical aspects of computing - ICTAC 2021 : 18th international colloquium, virtual event, nur-sultan, kazakhstan, september 8-10, 2021 : proceedings / antonio cerone, peter csaba ölveczky (eds.), 86-104, Springer, 2021.
DOIShahid Khan, Joost-Pieter Katoen. Synergising Reliability Modelling Languages : BDMPs and Repairable DFTs, 2021 IEEE 26th pacific rim international symposium on dependable computing : PRDC 2021 : proceedings : 1-4 december 2021, perth, australia / publisher: IEEE, 113-122, IEEE, 2021.
DOIShahid Khan, Joost-Pieter Katoen, Matthias Volk, Ahmad Zafar, Falak Sher. Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees, 2021 10th latin-american symposium on dependable computing (LADC) : proceedings : virtual conference, 22-26 november 2021 / publisher: IEEE ; general chair: Antônio augusto fröhlich (UFSC), publication chair: Augusto josé venâncio neto (UFRN), IEEE, 2021.
DOIShahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou. Scalable Reliability Analysis by Lazy Verification, NASA formal methods : 13th international symposium, NFM 2021, virtual event, may 24–28, 2021 : proceedings / aaron dutle, mariano M. Moscato, laura titolo, césar a. Muñoz, ivan perez (eds.), 180-197, Springer, 2021.
2020
DOIMarc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal. Various Ways to Quantify BDMPs, [The 4th workshop on models for formal analysis of real systems, MARS 2020, dublin, ireland], 1-14, NICTA, 2020.
DOIShahid Khan, Joost-Pieter Katoen, Marc Bouissou. Explaining Boolean-Logic Driven Markov Processes using GSPNs, 16th european dependable computing conference : EDCC 2020 : virtual conference, 7-10 september 2020 : proceedings / general chairs: Michael paulitsch (intel, germany), mario trapp (fraunhofer IKS, germany) ; publisher: IEEE, 119-126, IEEE, 2020.
DOIShahid Khan, Joost-Pieter Katoen, Marc Bouissou. A Compositional Semantics for Repairable BDMPs, Computer safety, reliability, and security : 39th international conference, SAFECOMP 2020, lisbon, portugal, september 16-18, 2020 : proceedings / antónio casimiro, frank ortmeier, friedemann bitsch, pedro ferreira (eds.), 82-98, Springer, 2020.
DOIMarc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal. Various Ways to Quantify BDMPs, 2020.
2019
DOIShahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou. Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs, 2019 IEEE 24th pacific rim international symposium on dependable computing : PRDC 2019 : Kyoto, japan, 1-3 december 2019 : proceedings / sponsors PRDC 2019: IEEE computer society, tokyo metropolitan university, hiroshima university, kyoto sangyo university, nihon university, 266-275, IEEE, 2019.