Yasir Imtiaz Khan

According to our database, Yasir Imtiaz Khan authored at least 12 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, 2023

2019

A Survey of Petri Nets Slicing.

Yasir Imtiaz Khan, Alexandros Konios, Nicolas Guelfi

ACM Comput. Surv., 2019

2018

Ontology-based automation of security guidelines for smart homes.

Yasir Imtiaz Khan, Maryleen U. Ndubuaku

Proceedings of the 4th IEEE World Forum on Internet of Things, 2018

2015

Property based model checking of structurally evolving Algebraic Petri nets.

Yasir Imtiaz Khan

PhD thesis, 2015

Cyber Resilience-by-Construction: Modeling, Measuring & Verifying.

Yasir Imtiaz Khan, Ehab Al-Shaer, Usman Rauf

Proceedings of the 2015 Workshop on Automated Decision Making for Active Cyber Defense, 2015

2014

SLAPN : A Tool for Slicing Algebraic Petri Nets.

Yasir Imtiaz Khan, Nicolas Guelfi

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

Slicing High-level Petri Nets.

Yasir Imtiaz Khan, Nicolas Guelfi

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

Optimizing Verification of Structurally Evolving Algebraic Petri Nets.

Yasir Imtiaz Khan

Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

Random Cluster Sampling on X-Machines Test Cases.

Yasir Imtiaz Khan, Sadia Kausar

Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

Optimizing Algebraic Petri Net Model Checking by Slicing.

Yasir Imtiaz Khan, Matteo Risoldi

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012

Language Enrichment for Resilient MDE.

Yasir Imtiaz Khan, Matteo Risoldi

Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

2009

Interesting patterns using goal programming.

Yasir Imtiaz Khan, Asim Raza, Syed Hasnain Haider

Proceedings of the 2009 IEEE International Conference on Electro/Information Technology, 2009