Interesting patterns using goal programming. - Yasir Imtiaz Khan; Asim Raza; Syed Hasnain Haider (EIT, 2009)

Language Enrichment for Resilient MDE. - Yasir Imtiaz Khan; Matteo Risoldi (SERENE, 2012)

Optimizing Algebraic Petri Net Model Checking by Slicing. - Yasir Imtiaz Khan; Matteo Risoldi (PNSE+ModPE, 2013)

Random Cluster Sampling on X-Machines Test Cases. - Yasir Imtiaz Khan; Sadia Kausar (ITNG, 2013)

Optimizing Verification of Structurally Evolving Algebraic Petri Nets. - Yasir Imtiaz Khan (SERENE, 2013)

Slicing High-level Petri Nets. - Yasir Imtiaz Khan; Nicolas Guelfi (PNSE @ Petri Nets, 2014)

SLAPN : A Tool for Slicing Algebraic Petri Nets. - Yasir Imtiaz Khan; Nicolas Guelfi (PNSE @ Petri Nets, 2014)

Cyber Resilience-by-Construction: Modeling, Measuring & Verifying. - Yasir Imtiaz Khan; Ehab Al-Shaer; Usman Rauf (SafeConfig@CCS, 2015)

Property based model checking of structurally evolving Algebraic Petri nets. - Yasir Imtiaz Khan (2015)

Ontology-based automation of security guidelines for smart homes. - Yasir Imtiaz Khan; Maryleen U. Ndubuaku (WF-IoT, 2018)

A Survey of Petri Nets Slicing. - Yasir Imtiaz Khan; Alexandros Konios; Nicolas Guelfi (ACM Comput. Surv., 2019)

A Modular Framework for Modelling and Verification of Activities in Ambient Intelligent Systems. - Alexandros Konios; Yasir Imtiaz Khan; Matias Garcia-Constantino; Irvin Hussein López-Nava (HCI (19), 2023)