Follow
Yasir Imtiaz Khan
Yasir Imtiaz Khan
Coventry University
Verified email at uni.lu
Title
Cited by
Cited by
Year
Transdisciplinary engineering design education: Ontology for a generic product design process
M Butt, A Sharunova, M Storga, YI Khan, AJ Qureshi
Procedia CIRP 70, 338-343, 2018
202018
Optimizing algebraic petri net model checking by slicing
YI Khan
lassy, 2013
122013
Design automation of control panels for automated modular construction machines
EC Tamayo, YI Khan, AJ Qureshi, M Al-Hussein
Procedia CIRP 70, 404-409, 2018
112018
Cyber resilience-by-construction: Modeling, measuring & verifying
YI Khan, E Al-Shaer, U Rauf
Proceedings of the 2015 Workshop on Automated Decision Making for Active …, 2015
102015
Optimizing verification of structurally evolving algebraic petri nets
YI Khan
International Workshop on Software Engineering for Resilient Systems, 64-78, 2013
102013
Ontology-based automation of security guidelines for smart homes
YI Khan, MU Ndubuaku
2018 IEEE 4th World Forum on Internet of Things (WF-IoT), 35-40, 2018
92018
Slicing high-level petri nets
YI Khan
92014
Numerical and experimental study of cellular structures as a heat dissipation media
HA Tariq, A Israr, YI Khan, M Anwar
Heat and Mass Transfer 55 (2), 501-511, 2019
82019
Conceptual design of an automated steel wall framing assembly using axiomatic design and integrated function model
EC Tamayo, YI Khan, AJ Qureshi, M Al-Hussein
Construction Robotics 3 (1), 83-101, 2019
62019
Random cluster sampling on x-machines test cases
YI Khan, S Kausar
2013 10th International Conference on Information Technology: New …, 2013
42013
Survey of Petri Nets Slicing
YI Khan, N Guelfi
lassy, 2013
42013
Language enrichment for resilient mde
Y Imtiaz Khan, M Risoldi
International Workshop on Software Engineering for Resilient Systems, 76-90, 2012
42012
A formal approach for engineering resilient car crash management system
YI Khan
lassy, 2012
42012
Experimental Investigation on Strength and Durability properties of Steel and Glass fiber reinforced concrete composite
Y Khan, MA Ansari, M Saroj, S Haider, S Kulkarni, GV Nandi
International Journal of Advanced Research in Science, Engineering and …, 2016
32016
Integrated product modelling through IFM-CPM/PDD
B Eisenbart, YI Khan, AJ Qureshi
DS 84: Proceedings of the DESIGN 2016 14th international design conference …, 2016
32016
Property based model checking of structurally evolving Algebraic Petri nets
YI Khan
University of Luxembourg, Luxembourg, Luxembourg, 2015
32015
Slapn: A tool for slicing algebraic petri nets
YI Khan, N Guelfi
APN 2 (3), P1, 2014
32014
A survey of petri nets slicing
YI Khan, A Konios, N Guelfi
ACM Computing Surveys (CSUR) 51 (5), 1-32, 2018
22018
Integrating machine learning with QFD for selecting functional requirements in construction automation
E Tamayo, Y Khan, M Al-Hussein, A Qureshi
International Journal of Industrialized Construction 1 (1), 76-88, 2020
12020
Automotive Cyber Security Challenges A Beginner's Guide
YI Khan
https://www.amazon.co.uk/dp/B0852SMHLP 1, 82, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20