Bashar Igried

According to our database, Bashar Igried authored at least 11 papers between 2016 and 2023.

Collaborative distances:

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

2023

Correction to: Improved dropping attacks detecting system in 5g networks using machine learning and deep learning approaches.

Ala Mughaid, Shadi AlZu'bi, Asma Alnajjar, Esraa AbuElsoud, Subhieh El Salhi, Bashar Igried, Laith Abualigah

Multim. Tools Appl., April, 2023

Improved dropping attacks detecting system in 5g networks using machine learning and deep learning approaches.

Ala Mughaid, Shadi AlZu'bi, Asma Alnajjar, Esraa AbuElsoud, Subhieh El Salhi, Bashar Igried, Laith Abualigah

Multim. Tools Appl., April, 2023

Machine Learning Failure-Aware Scheme for Profit Maximization in the Cloud Market.

Bashar Igried, Atalla Fahed Al-Serhan, Ayoub Alsarhan, Mohammad Aljaidi, Amjad Aldweesh

Future Internet, 2023

Efficient Scanning Activity Detection in IoT Networks Using Ensemble Learning.

Bashar Igried, Mohammad Alauthman, Mohammad Al Khaldy, Ayoub Alsarhan

Proceedings of the Asia Conference on Artificial Intelligence, 2023

Enhancing Phishing URL Detection: A Comparative Study of Machine Learning Algorithms.

Ayoub Alsarhan, Bashar Igried, Raad Mohammad Bani Saleem, Mohammad Alauthman, Mohammad Aljaidi

Proceedings of the Asia Conference on Artificial Intelligence, 2023

2022

A New Scheme for Detecting Malicious Nodes in Vehicular Ad Hoc Networks Based on Monitoring Node Behavior.

Muhsen Alkhalidy, Atalla Fahed Al-Serhan, Ayoub Alsarhan, Bashar Igried

Future Internet, 2022

Machine learning Scheme for Managing Virtual Computing Resources in Cloud Market.

Bashar Igried, Ayoub Alsarhan, Mohammad Alauthman, Ammar Almomani

Proceedings of the International Arab Conference on Information Technology, 2022

2018

Formal Verification for Feature-Based Composition of Workflows.

Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov, Anton Setzer

Proceedings of the 14th European Dependable Computing Conference, 2018

2016

Trace and Stable Failures Semantics for CSP-Agda.

Bashar Igried, Anton Setzer

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, 2016

Defining Trace Semantics for CSP-Agda.

Bashar Igried, Anton Setzer

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

Programming with monadic CSP-style processes in dependent type theory.

Bashar Igried, Anton Setzer

Proceedings of the 1st International Workshop on Type-Driven Development, 2016