Hadiza Umar Yusuf

According to our database, Hadiza Umar Yusuf authored at least 5 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Towards Counterfactual Explanation and Assertion Inference for CPS Debugging.

Zaid Ghazal, Hadiza Umar Yusuf, Khouloud Gaaloul

CoRR, April, 2026

2025

Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems.

Hadiza Umar Yusuf, Khouloud Gaaloul

CoRR, October, 2025

Navigating the Shift: Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems.

Hadiza Umar Yusuf, Khouloud Gaaloul

Proceedings of the 4th IEEE/ACM International Conference on AI Engineering, 2025

Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties.

Hadiza Umar Yusuf

Proceedings of the 4th IEEE/ACM International Conference on AI Engineering, 2025

2021

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

Proceedings of the ICFNDS 2021: The 5th International Conference on Future Networks & Distributed Systems, Dubai United Arab Emirates, December 15, 2021