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.