Yasir Imtiaz Khan

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 4

Top Topics

High Level Petri Nets

Intelligent Systems

Top Venues

PNSE @ Petri Nets

University of Luxembourg (PHD)

Education History

University of Luxembourg

PHD

Publications

Alexandros Konios, Yasir Imtiaz Khan, Matias Garcia-Constantino, Irvin Hussein López-Nava
A Modular Framework for Modelling and Verification of Activities in Ambient Intelligent Systems. HCI (19) (2023)
Yasir Imtiaz Khan, Alexandros Konios, Nicolas Guelfi
A Survey of Petri Nets Slicing. ACM Comput. Surv. 51 (5) (2019)
Yasir Imtiaz Khan, Maryleen U. Ndubuaku
Ontology-based automation of security guidelines for smart homes. WF-IoT (2018)
Yasir Imtiaz Khan, Ehab Al-Shaer, Usman Rauf
Cyber Resilience-by-Construction: Modeling, Measuring & Verifying. SafeConfig@CCS (2015)
Yasir Imtiaz Khan, Nicolas Guelfi
SLAPN : A Tool for Slicing Algebraic Petri Nets. PNSE @ Petri Nets (2014)
Yasir Imtiaz Khan, Nicolas Guelfi
Slicing High-level Petri Nets. PNSE @ Petri Nets (2014)
Yasir Imtiaz Khan, Sadia Kausar
Random Cluster Sampling on X-Machines Test Cases. ITNG (2013)
Yasir Imtiaz Khan
Optimizing Verification of Structurally Evolving Algebraic Petri Nets. SERENE (2013)
Yasir Imtiaz Khan, Matteo Risoldi
Optimizing Algebraic Petri Net Model Checking by Slicing. PNSE+ModPE (2013)
Yasir Imtiaz Khan, Matteo Risoldi
Language Enrichment for Resilient MDE. SERENE (2012)
Yasir Imtiaz Khan, Asim Raza, Syed Hasnain Haider
Interesting patterns using goal programming. EIT (2009)