Back
  1. Home
  2. Profile of Yasir Imtiaz KHAN (Unilu)
Profil

KHAN Yasir Imtiaz

Main Referenced Co-authors
GUELFI, Nicolas  (3)
risoldi, matteo (2)
kausar, sadia (1)
Main Referenced Keywords
Slicing (8); Model checking (6); Algebraic Petri nets (3); model checking (2); resilience (2);
Main Referenced Unit & Research Centers
lassy (1)
Main Referenced Disciplines
Computer science (11)

Publications (total 11)

The most downloaded
558 downloads
Khan, Y. I. (2015). Property based model checking of structurally evolving Algebraic Petri nets [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/21148 https://hdl.handle.net/10993/21148

The most cited

6 citations (Scopus®)

Khan, Y. I. (08 September 2013). Optimizing verification of structurally evolving algebraic petri nets. Lecture Notes in Computer Science, 8166. doi:10.1007/978-3-642-40894-6_6 https://hdl.handle.net/10993/11481

Khan, Y. I. (2015). Property based model checking of structurally evolving Algebraic Petri nets [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/21148

Khan, Y. I., & Guelfi, N. (2014). Slicing High-level Petri nets. In International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014 (pp. 20).
Peer reviewed

Khan, Y. I. (2014). Slicing High-level Petri nets.

Khan, Y. I., & Guelfi, N. (2014). SLAPn: A Tool for slicing Algebraic Petri nets [Poster presentation]. International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014.

Khan, Y. I. (08 September 2013). Optimizing verification of structurally evolving algebraic petri nets. Lecture Notes in Computer Science, 8166. doi:10.1007/978-3-642-40894-6_6
Peer reviewed

Khan, Y. I. (2013). Optimizing algebraic petri net model checking by slicing. lassy.

Khan, Y. I., & kausar, S. (2013). Random Cluster Sampling on X-Machines Test Cases. In 11th International Conference on Information Technology : New Generations ITNG 2013. doi:10.1109/ITNG.2013.50
Peer reviewed

Khan, Y. I., & Guelfi, N. (2013). Survey of Petri nets Slicing. lassy.

Khan, Y. I., & risoldi, M. (2013). Optimizing algebraic petri net model checking by slicing. In International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24, 2013 (pp. 20).
Peer reviewed

Khan, Y. I.* , & risoldi, M.*. (27 September 2012). Language Enrichment for Resilient MDE. Lecture Notes in Computer Science, 7527. doi:10.1007/978-3-642-33176-3_6
Peer reviewed
* These authors have contributed equally to this work.

Khan, Y. I. (2012). A formal approach for engineering resilient car crash management system. (TR-LASSY-12-05). lassy.

Contact ORBilu