Yasir Imtiaz Khan

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