| 2026 | WWW | From Code to Executable Method: Making Your Code Both Methods Hub and MyBinder Ready. | Muhammad Taimoor Khan, Fakhri Momeni, Arnim Bleier |
| 2026 | WWW | The 2nd Workshop on Social Science Meets Web Data: Reproducible and Reusable Computational Approaches (R2CASS). | Fakhri Momeni, Arnim Bleier, Danilo Dess, Muhammad Taimoor Khan |
| 2025 | CCS | Poster: Model-driven Privacy Analysis of Messaging Platforms. | Muqaddas Naz, Muhammad Taimoor Khan, Muhammad Waqas |
| 2025 | EASE | QADL: Prototype of Quantum Architecture Description Language. | Muhammad Waseem, Aakash Ahmad, Tommi Mikkonen, Muhammad Taimoor Khan, Majid Haghparast, Vlad Stirbu, Peng Liang |
| 2025 | ETFA | Towards Privacy Analysis of Internet-based Messaging Applications. | Muqaddas Naz, Muhammad Taimoor Khan |
| 2025 | ETFA | Automatic Recovery of Run-time Threats in Distributed Industrial Control Systems. | George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos |
| 2025 | IECON | Synthesizing Inline Security Monitors for ICS Using Generative AI and FormalBench. | George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos |
| 2025 | KES | Cross-Model Evaluation of LLMs for Generating Formal Specification of Distributed Industrial Control Systems. | George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos |
| 2024 | ETFA | Towards Integration of EPANET and ASM2S To Enhance Security in Water Distribution Systems. | George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos |
| 2024 | ICSA | Towards Integration of Syntactic and Semantic Vulnerability Patterns. | Lal Akhter, Muhammad Taimoor Khan, George Loukas, Georgia Sakellari |
| 2024 | IECON | Applying Inline Monitoring to Detect Run-Time Security Incidents in Water Distribution Systems. | George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos |
| 2023 | ECSA | Towards Behavior-Based Analysis of Android Obfuscated Malware. | Zakaria Sawadogo, Muhammad Taimoor Khan, George Loukas, Jean Marie Dembele, Georgia Sakellari, Gervais Mendy |
| 2023 | ETFA | Towards Run-Time Security Monitoring of Distributed Industrial Control Systems. | George E. Raptis, Muhammad Taimoor Khan, Kyriakos Stefanidis, Christos Koulamas, Dimitrios Serpanos |
| 2022 | ETFA | Towards Practical and Formal Security Risk Analysis of IoT (Internet of Things) Applications. | Muhammad Taimoor Khan |
| 2022 | ETFA | On the Performance and Scalability of Simulators for Improving Security and Safety of Smart Cities. | Ali Mohsin, Sana Aurangzeb, Muhammad Aleem, Muhammad Taimoor Khan |
| 2022 | IDEAL | Effective Prevention of Semantic Drift in Continual Deep Learning. | Khouloud Saadi, Muhammad Taimoor Khan |
| 2021 | ETFA | Towards Scalable Security of Real-time Applications: A Formally Certified Approach. | Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe |
| 2020 | ETFA | Rigorous Machine Learning for Secure and Autonomous Cyber Physical Systems. | Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe, Muhammad Murtaza Yousuf |
| 2018 | ICSE | Modeling time in Java programs for automatic error detection. | Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger |
| 2018 | WiMob | Highly Assured Safety and Security of e-Health Applications. | Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe |
| 2017 | SCAM | Extracting Timed Automata from Java Methods. | Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger |
| 2012 | AISC | Towards the Formal Specification and Verification of Maple Programs. | Muhammad Taimoor Khan, Wolfgang Schreiner |
| 2012 | AISC | On Formal Specification of Maple Programs. | Muhammad Taimoor Khan, Wolfgang Schreiner |
| 2012 | FIT | On the Formal Semantics of MiniMaple and its Specification Language. | Muhammad Taimoor Khan |