Program Generation Using Simulated Annealing and Model Checking. - Idress Husien; Sven Schewe (SEFM, 2016)

PranCS: A Protocol and Discrete Controller Synthesis Tool. - Idress Husien; Sven Schewe; Nicolas Berthier (SETTA, 2017)

A hot method for synthesising cool controllers. - Idress Husien; Nicolas Berthier; Sven Schewe (SPIN, 2017)

Synthesis of protocols and discrete controllers. - Idress Mohammed Husien (2017)

Mitigate the Reverberant Effects on Speaker Recognition via Multi-training. - Duraid Y. Mohammed; Khamis A. Al-Karawi; Idress Mohammed Husien; Marwah Abdullah Ghulam (ACRIT, 2019)

MLIDS22- IDS Design by Applying Hybrid CNN-LSTM model on Mixed-Datasets. - Inam Abdullah Abdulmajeed; Idress Mohammed Husien (Informatica (Slovenia), 2022)

A Deep Transfer Learning Framework for Robust IoT Attack Detection. - Hanan Abbas Mohammed; Idress Mohammed Husien (Informatica (Slovenia), 2024)