A Freehand 3D Ultrasound Imaging System using Open-Source Software Tools with Improved Edge-Preserving Interpolation. - Mohammad I. Daoud; Abdel-Latif Alshalalfah; Falah R. Awwad; Mahasen Al-Najar (Int. J. Open Source Softw. Process., 2014)

A hybrid camera- and ultrasound-based approach for needle localization and tracking using a 3D motorized curvilinear ultrasound probe. - Mohammad I. Daoud; Abdel-Latif Alshalalfah; Otmane Aït Mohamed; Rami Alazrai (Medical Image Anal., 2018)

Towards System Level Security Analysis of Artificial Pancreas Via UPPAAL-SMC. - Abdel-Latif Alshalalfah; Ghaith Bany Hamad; Otmane Aït Mohamed (ISCAS, 2019)

System-Level Analysis of Closed-Loop Anesthesia Control Under Temporal Sensor Faults via UPPAAL-SMC. - Abdel-Latif Alshalalfah; Ghaith Bany Hamad; Otmane Aït Mohamed (EMBC, 2020)

System-Level Modeling and Safety Analysis of Vehicular Coordinated Emergency Braking Under Degraded Wireless Connectivity Using Priced Timed Automata. - Abdel-Latif Alshalalfah; Otmane Aït Mohamed (ICECS, 2020)

Towards Safe and Robust Closed-Loop Artificial Pancreas Using Adaptive Weighted PID Control Strategy. - Abdel-Latif Alshalalfah; Ghaith Bany Hamad; Otmane Aït Mohamed (NEWCAS, 2020)

Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved PID-Based Control Strategies. - Abdel-Latif Alshalalfah; Ghaith Bany Hamad; Otmane Aït Mohamed (IEEE Trans. Circuits Syst. I Regul. Pap., 2021)

A framework for modeling and analyzing cyber-physical systems using statistical model checking. - Abdel-Latif Alshalalfah; Otmane Aït Mohamed; Samir Ouchani (Internet Things, 2023)