Automated Validation and Repair Framework for Converting Operational Distribution System Into Digital-Twin-Ready Simulation Models. - Hasan Iqbal; Jawad Mohammed; Arif I. Sarwat (IEEE Access, 2026)

Analyzing Healthcare Interoperability Vulnerabilities: Formal Modeling and Graph-Theoretic Approach. - Jawad Mohammed; Gahangir Hossain (CoRR, 2026)