Orientation and its Significance on Skill Development: A Case study of AcadoPreneurship Industry Immersion Programme for Students (IIP4S). - Abiodun Musa Aibinu; Hadiza Umar Yusuf; Damilare Emmanuel Olatunji; Muhammad Aliyu; Taliha Abiodun Folorunso; Jibril Abdullahi Bala (ICFNDS, 2021)

Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties. - Hadiza Umar Yusuf (CAIN, 2025)

Navigating the Shift: Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems. - Hadiza Umar Yusuf; Khouloud Gaaloul (CAIN, 2025)