Bashar Igried

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 12

Top Topics

Formal Verification

Detecting Malicious

Machine Learning

Cognitive Radio Networks

Top Venues

Multim. Tools Appl.

Future Internet

Publications

Bashar Igried, Ayoub Alsarhan, Ahmad Sawalmeh, Muhammad Anan, Igried Alkhawaldeh
A novel game theoretic approach for market-driven dynamic spectrum access in cognitive radio networks. Wirel. Networks 30 (6) (2024)
Bashar Igried, Mohammad Alauthman, Mohammad Al Khaldy, Ayoub Alsarhan
Efficient Scanning Activity Detection in IoT Networks Using Ensemble Learning. AIMLR (2023)
Ala Mughaid, Shadi AlZu'bi, Asma Alnajjar, Esraa AbuElsoud, Subhieh El Salhi, Bashar Igried, Laith Abualigah
Improved dropping attacks detecting system in 5g networks using machine learning and deep learning approaches. Multim. Tools Appl. 82 (9) (2023)
Ayoub Alsarhan, Bashar Igried, Raad Mohammad Bani Saleem, Mohammad Alauthman, Mohammad Aljaidi
Enhancing Phishing URL Detection: A Comparative Study of Machine Learning Algorithms. AIMLR (2023)
Bashar Igried, Atalla Fahed Al-Serhan, Ayoub Alsarhan, Mohammad Aljaidi, Amjad Aldweesh
Machine Learning Failure-Aware Scheme for Profit Maximization in the Cloud Market. Future Internet 15 (1) (2023)
Ala Mughaid, Shadi AlZu'bi, Asma Alnajjar, Esraa AbuElsoud, Subhieh El Salhi, Bashar Igried, Laith Abualigah
Correction to: Improved dropping attacks detecting system in 5g networks using machine learning and deep learning approaches. Multim. Tools Appl. 82 (9) (2023)
Muhsen Alkhalidy, Atalla Fahed Al-Serhan, Ayoub Alsarhan, Bashar Igried
A New Scheme for Detecting Malicious Nodes in Vehicular Ad Hoc Networks Based on Monitoring Node Behavior. Future Internet 14 (8) (2022)
Bashar Igried, Ayoub Alsarhan, Mohammad Alauthman, Ammar Almomani
Machine learning Scheme for Managing Virtual Computing Resources in Cloud Market. ACIT (2022)
Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov, Anton Setzer
Formal Verification for Feature-Based Composition of Workflows. EDCC (2018)
Bashar Igried, Anton Setzer
Defining Trace Semantics for CSP-Agda. TYPES (2016)
Bashar Igried, Anton Setzer
Trace and Stable Failures Semantics for CSP-Agda. CoALP-Ty (2016)
Bashar Igried, Anton Setzer
Programming with monadic CSP-style processes in dependent type theory. TyDe@ICFP (2016)