Formal Verification of AADL Models by Event-B. - Abeer Saeed Abdo Hadad; Chunyan Ma; Adeeb Abdulwakeel Obadi Ahmed (IEEE Access, 2020)

Impact of Instruction Methods and Task Size on Human Performance and Physical Workload in Manual Assembly. - Mohammed A. Noman; Fahad M. Alqahtani; Wadea Ameen; Mohammed H. Alhaag; Adeeb Abdulwakeel Obadi Ahmed; Abdelaty Edrees Abdelgawad (IEEE Access, 2025)

Identification of Deletion Attacks in Discrete-Event Systems Through Petri Nets Enhanced With an Observation Structure. - Adeeb A. Ahmed; Yufeng Chen 001; Ding Liu 001; Zhiwu Li 001 (IEEE Trans. Reliab., 2026)