Author

Hammam R. Yusuf

Observed names: H. Yusuf, Hadiza Umar Yusuf, Hadiza Yusuf, Yusuf, Hadiza Umar

Institution: University of Michigan–Dearborn

Observed institutions: University of Kentucky, University of Michigan–Dearborn

ORCID: 0009-0009-9247-9584

Observed ORCID: 0009-0009-9247-9584

OpenAlex ID: A5031420487

DWAM ? A WAM model extension for disjunctive logic programming

1995 · A. Rajasekar, H. Yusuf · Annals of Mathematics and Artificial Intelligence · 4

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

2025 · Yusuf, Hadiza Umar, Gaaloul, Khouloud · arXiv (Cornell University) · 2

PDF

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

2025 · Hadiza Umar Yusuf, Khouloud Gaaloul · IEEE/ACM International Conference on AI Engineering – Software Engineering for AI (CAIN) · 2

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

2025 · Hadiza Umar Yusuf · IEEE/ACM International Conference on AI Engineering – Software Engineering for AI (CAIN) · 2

Towards Counterfactual Explanation and Assertion Inference for CPS Debugging

2026 · Zaid Ghazal, Hadiza Yusuf, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 1

SiRL: Signal-Level Reinforcement Learning for Falsifying Cyber-Physical Systems

2026 · Hadiza Yusuf, Khouloud Gaaloul, et al. · ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH)

An Empirical Study of Architectural Shift from Traditional to AI-Enabled Simulink Controllers

2026 · Yusuf, Hadiza Umar, Gaaloul, Khouloud · arXiv (Cornell University)

PDF

Performance Assessment of Two Predesigned Programmable Integrated Circuits for Efficient Bioelectricity Harvesting from Soil Electroactive Microbes

2025 · Meshack Imologie Simeon, Agbotiname Lucky Imoize, et al. · IEEE Connecting the Unconnected Europe, Middle East, and Africa Regional Summit (CTUS-EMEA)

Works count: 8

Citation count: 11

H-index: 2

I10-index: