( en | de | ru )

 

Disambiguation of "Khan, Yasir Imtiaz"

Author of the publication

copydeleteadd this publication to your clipboard
SLAPN : A Tool for Slicing Algebraic Petri Nets.

, and . PNSE @ Petri Nets, volume 1160 of CEUR Workshop Proceedings, page 343-345. CEUR-WS.org, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Imtiaz Ali Khan

Imtiaz Rabbani

Imtiaz Bashir

Muhammad Yasir

Yasir Diek

 

Other publications of authors with the same name

Interesting patterns using goal programming., , and . EIT, page 68-71. IEEE, (2009)A Modular Framework for Modelling and Verification of Activities in Ambient Intelligent Systems., , , and . HCI (19), volume 14029 of Lecture Notes in Computer Science, page 503-530. Springer, (2023)Slicing High-level Petri Nets., and . PNSE @ Petri Nets, volume 1160 of CEUR Workshop Proceedings, page 201-220. CEUR-WS.org, (2014)Ontology-based automation of security guidelines for smart homes., and . WF-IoT, page 35-40. IEEE, (2018)A Survey of Petri Nets Slicing., , and . ACM Comput. Surv., 51 (5): 109:1-109:32 (2019)Language Enrichment for Resilient MDE., and . SERENE, volume 7527 of Lecture Notes in Computer Science, page 76-90. Springer, (2012)Property based model checking of structurally evolving Algebraic Petri nets.. University of Luxembourg, (2015)base-search.net (ftunivluxembourg:oai:orbilu.uni.lu:10993/21148).Random Cluster Sampling on X-Machines Test Cases., and . ITNG, page 310-316. IEEE Computer Society, (2013)Optimizing Algebraic Petri Net Model Checking by Slicing., and . PNSE+ModPE, volume 989 of CEUR Workshop Proceedings, page 275-294. CEUR-WS.org, (2013)Cyber Resilience-by-Construction: Modeling, Measuring & Verifying., , and . SafeConfig@CCS, page 9-14. ACM, (2015)