Idress Husien

According to our database, Idress Husien authored at least 6 papers between 2016 and 2022.

Collaborative distances:

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

2022

MLIDS22- IDS Design by Applying Hybrid CNN-LSTM model on Mixed-Datasets.

Inam Abdullah Abdulmajeed, Idress Mohammed Husien

Informatica (Slovenia), 2022

2019

Mitigate the Reverberant Effects on Speaker Recognition via Multi-training.

Duraid Y. Mohammed, Khamis A. Al-Karawi, Idress Mohammed Husien, Marwah Abdullah Ghulam

Proceedings of the Applied Computing to Support Industry: Innovation and Technology, 2019

2017

Synthesis of protocols and discrete controllers.

Idress Mohammed Husien

PhD thesis, 2017

A hot method for synthesising cool controllers.

Idress Husien, Nicolas Berthier, Sven Schewe

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

PranCS: A Protocol and Discrete Controller Synthesis Tool.

Idress Husien, Sven Schewe, Nicolas Berthier

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

2016

Program Generation Using Simulated Annealing and Model Checking.

Idress Husien, Sven Schewe

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016