Folgen
Yasir Imtiaz Khan
Yasir Imtiaz Khan
Coventry University
Bestätigte E-Mail-Adresse bei uni.lu
Titel
Zitiert von
Zitiert von
Jahr
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
272018
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
202018
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
182018
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
182015
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, 501-511, 2019
122019
Optimizing verification of structurally evolving algebraic petri nets
YI Khan
Software Engineering for Resilient Systems: 5th International Workshop …, 2013
122013
Optimizing algebraic petri net model checking by slicing
YI Khan
lassy, 2013
122013
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, 83-101, 2019
112019
Slicing high-level petri nets
YI Khan
112014
A survey of petri nets slicing
YI Khan, A Konios, N Guelfi
ACM Computing Surveys (CSUR) 51 (5), 1-32, 2018
92018
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
42020
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
42016
Random cluster sampling on x-machines test cases
YI Khan, S Kausar
2013 10th International Conference on Information Technology: New …, 2013
42013
Language enrichment for resilient mde
Y Imtiaz Khan, M Risoldi
Software Engineering for Resilient Systems: 4th International Workshop …, 2012
42012
A formal approach for engineering resilient car crash management system
YI Khan
lassy, 2012
42012
Property based model checking of structurally evolving algebraic petri nets
YI Khan
Unilu-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
Survey of Petri Nets Slicing
YI Khan, N Guelfi
lassy, 2013
32013
A Modular Framework for Modelling and Verification of Activities in Ambient Intelligent Systems
A Konios, YI Khan, M Garcia-Constantino, IH Lopez-Nava
International Conference on Human-Computer Interaction, 503-530, 2023
12023
Automotive Cyber Security Challenges A Beginner's Guide
YI Khan
https://www.amazon.co.uk/dp/B0852SMHLP 1, 82, 2020
1*2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20