| 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 | 29 | 2018 |
| 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 | 22 | 2015 |
| 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 | 21 | 2018 |
| 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 | 18 | 2018 |
| 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 | 12 | 2019 |
| Optimizing verification of structurally evolving algebraic petri nets YI Khan Software Engineering for Resilient Systems: 5th International Workshop …, 2013 | 12 | 2013 |
| Optimizing algebraic petri net model checking by slicing YI Khan lassy, 2013 | 12 | 2013 |
| 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 | 11 | 2019 |
| Slicing high-level petri nets YI Khan | 10 | 2014 |
| A survey of Petri nets slicing YI Khan, A Konios, N Guelfi ACM Computing Surveys (CSUR) 51 (5), 1-32, 2018 | 9 | 2018 |
| 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 | 4 | 2020 |
| 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 | 4 | 2016 |
| Random cluster sampling on x-machines test cases YI Khan, S Kausar 2013 10th International Conference on Information Technology: New …, 2013 | 4 | 2013 |
| Language enrichment for resilient mde Y Imtiaz Khan, M Risoldi Software Engineering for Resilient Systems: 4th International Workshop …, 2012 | 4 | 2012 |
| A formal approach for engineering resilient car crash management system YI Khan lassy, 2012 | 4 | 2012 |
| 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 | 3 | 2023 |
| Property based model checking of structurally evolving algebraic petri nets YI Khan Unilu-University of Luxembourg, Luxembourg, Luxembourg, 2015 | 3 | 2015 |
| Slapn: A tool for slicing algebraic petri nets YI Khan, N Guelfi APN 2 (3), P1, 2014 | 3 | 2014 |
| Survey of petri nets slicing YI Khan, N Guelfi lassy, 2013 | 3 | 2013 |
| Automotive Cyber Security Challenges A Beginner's Guide YI Khan https://www.amazon.co.uk/dp/B0852SMHLP 1, 82, 2020 | 2* | 2020 |
Nicolas GuelfiProfessor of Computer Science, University of LuxembourgVerified email at uni.lu