default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJamal Bentahar
Person information
- affiliation: Concordia University, Montreal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j122]Saidul Islam, Gaith Rjoub, Hanae Elmekki, Jamal Bentahar
, Witold Pedrycz, Robin Cohen:
Machine learning innovations in CPR: a comprehensive survey on enhanced resuscitation techniques. Artif. Intell. Rev. 58(8): 233 (2025)- [j121]Hanae Elmekki, Saidul Islam, Ahmed Alagha, Hani Sami, Amanda Spilkin, Ehsan Zakeri, Antonela Mariel Zanuttini, Jamal Bentahar, Lyes Kadem, Wen-Fang Xie, Philippe Pibarot, Rabeb Mizouni, Hadi Otrok, Shakti Singh, Azzam Mourad:
Comprehensive review of reinforcement learning for medical ultrasound imaging. Artif. Intell. Rev. 58(9): 284 (2025) - [j120]Ibrahim Babiker, Jamal Bentahar, Wen-Fang Xie:
Dandelion center detection in perennial ryegrass with Heat maps using Convolutional Neural Networks. Appl. Soft Comput. 169: 112576 (2025) - [j119]Hanae Elmekki, Ahmed Alagha, Hani Sami, Amanda Spilkin, Antonela Zanuttini, Ehsan Zakeri, Jamal Bentahar, Lyes Kadem, Wen-Fang Xie, Philippe Pibarot, Rabeb Mizouni, Hadi Otrok, Shakti Singh, Azzam Mourad:
CACTUS: An open dataset and framework for automated Cardiac Assessment and Classification of Ultrasound images using deep transfer learning. Comput. Biol. Medicine 190: 110003 (2025) - [j118]Shayan Nejadshamsi, Jamal Bentahar, Ursula Eicker, Chun Wang, Faezeh Jamshidi:
A geographic-semantic context-aware urban commuting flow prediction model using graph neural network. Expert Syst. Appl. 261: 125534 (2025) - [j117]Tsega Weldu Araya, Muhammad Azam, Nizar Bouguila, Jamal Bentahar:
Multivariate bounded support Kotz mixture model with semi-supervised projected model-based clustering. Inf. Fusion 124: 103330 (2025) - [j116]Ahmed Alagha, Rabeb Mizouni, Shakti Singh, Jamal Bentahar, Hadi Otrok:
Adaptive target localization under uncertainty using Multi-Agent Deep Reinforcement Learning with knowledge transfer. Internet Things 29: 101447 (2025) - [j115]Mario Chahoud, Hani Sami, Azzam Mourad, Hadi Otrok, Jamal Bentahar, Mohsen Guizani:
On-Demand Model and Client Deployment in Federated Learning With Deep Reinforcement Learning. IEEE Internet Things J. 12(14): 26685-26698 (2025) - [j114]Mario Chahoud, Azzam Mourad, Hadi Otrok, Jamal Bentahar, Mohsen Guizani:
Trust driven On-Demand scheme for client deployment in Federated Learning. Inf. Process. Manag. 62(3): 103991 (2025) - [j113]Saidul Islam, Jamal Bentahar, Robin Cohen, Gaith Rjoub:
A multi-modal unsupervised machine learning approach for biomedical signal processing during cardiopulmonary resuscitation. Inf. Sci. 712: 122114 (2025) - [j112]Mario Chahoud, Hani Sami, Rabeb Mizouni, Jamal Bentahar, Azzam Mourad, Hadi Otrok, Chamseddine Talhi:
Reward shaping in DRL: A novel framework for adaptive resource management in dynamic environments. Inf. Sci. 715: 122238 (2025) - [j111]Ruba Nasser, Ahmed Alagha, Shakti Singh, Rabeb Mizouni, Hadi Otrok, Jamal Bentahar:
Poisoning behavioral-based worker selection in mobile crowdsensing using generative adversarial networks. J. Netw. Comput. Appl. 242: 104236 (2025) - [j110]Gaith Rjoub, Hanae Elmekki, Jamal Bentahar, Witold Pedrycz, Sofian Kassaymeh, Shahed Bassam Almobydeen, Rachida Dssouli:
Enhanced Dynamic Deep Q-Network for Federated Learning scheduling policies on IoT devices using explanation-driven trust. Knowl. Based Syst. 318: 113574 (2025) - [j109]Hafsa Ennajari, Nizar Bouguila, Jamal Bentahar:
Correlated Topic Modeling for Short Texts in Spherical Embedding Spaces. IEEE Trans. Pattern Anal. Mach. Intell. 47(6): 4567-4578 (2025) - [j108]Ehsan Zakeri, Amanda Spilkin, Hanae Elmekki, Antonela Zanuttini, Lyes Kadem, Jamal Bentahar, Wen-Fang Xie, Philippe Pibarot:
AI-Powered Robust Interaction Force Control of a Cardiac Ultrasound Robotic System. IEEE Trans. Ind. Electron. 72(4): 3972-3983 (2025) - [j107]Ahmed Alagha, Maha Kadadha, Rabeb Mizouni, Shakti Singh, Jamal Bentahar, Hadi Otrok:
UAV-assisted Internet of vehicles: A framework empowered by reinforcement learning and Blockchain. Veh. Commun. 52: 100874 (2025) - [c138]Mario Chahoud, Hani Sami, Rabeb Mizouni, Hadi Otrok, Jamal Bentahar, Azzam Mourad, Chamseddine Talhi:
Multi-Agent Deep Reinforcement Learning for Resource Management in On-Demand Environments. IWCMC 2025: 1264-1269 - [c137]Sani Umar, Rabeb Mizouni, Shakti Singh, Hadi Otrok, Jamal Bentahar:
Anchor Node-Based Trust Management for Reliable Data Fusion in Crowdsensing. IWCMC 2025: 1519-1524 - [i22]Ahmed Alagha, Rabeb Mizouni, Shakti Singh, Jamal Bentahar, Hadi Otrok:
Adaptive Target Localization under Uncertainty using Multi-Agent Deep Reinforcement Learning with Knowledge Transfer. CoRR abs/2501.10924 (2025) - [i21]Ahmed Alagha, Jamal Bentahar, Hadi Otrok, Shakti Singh, Rabeb Mizouni:
Blockchain-assisted Demonstration Cloning for Multi-Agent Deep Reinforcement Learning. CoRR abs/2501.10938 (2025) - [i20]Ahmed Alagha, Hadi Otrok, Shakti Singh, Rabeb Mizouni, Jamal Bentahar:
Blockchain-based Crowdsourced Deep Reinforcement Learning as a Service. CoRR abs/2501.16369 (2025) - [i19]Gaith Rjoub, Hanae Elmekki, Saidul Islam, Jamal Bentahar, Rachida Dssouli:
A Hybrid Swarm Intelligence Approach for Optimizing Multimodal Large Language Models Deployment in Edge-Cloud-based Federated Learning Environments. CoRR abs/2502.10419 (2025) - [i18]Ahmed Alagha, Maha Kadadha, Rabeb Mizouni, Shakti Singh, Jamal Bentahar, Hadi Otrok:
UAV-assisted Internet of Vehicles: A Framework Empowered by Reinforcement Learning and Blockchain. CoRR abs/2502.15713 (2025) - [i17]Hanae Elmekki, Ahmed Alagha, Hani Sami, Amanda Spilkin, Antonela Zanuttini, Ehsan Zakeri, Jamal Bentahar, Lyes Kadem, Wen-Fang Xie, Philippe Pibarot, Rabeb Mizouni, Hadi Otrok, Shakti Singh, Azzam Mourad:
CACTUS: An Open Dataset and Framework for Automated Cardiac Assessment and Classification of Ultrasound Images Using Deep Transfer Learning. CoRR abs/2503.05604 (2025) - [i16]Hanae Elmekki, Saidul Islam, Ahmed Alagha, Hani Sami, Amanda Spilkin, Ehsan Zakeri, Antonela Zanuttini, Jamal Bentahar, Lyes Kadem, Wen-Fang Xie, Philippe Pibarot, Rabeb Mizouni, Hadi Otrok, Shakti Singh, Azzam Mourad:
Comprehensive Review of Reinforcement Learning for Medical Ultrasound Imaging. CoRR abs/2503.16543 (2025) - [i15]Ruba Nasser, Ahmed Alagha, Shakti Singh, Rabeb Mizouni, Hadi Otrok, Jamal Bentahar:
Poisoning Behavioral-based Worker Selection in Mobile Crowdsensing using Generative Adversarial Networks. CoRR abs/2506.05403 (2025) - 2024
- [j106]Narges Baharloo, Jamal Bentahar, Ghalya Alwhishi, Nagat Drawel, Witold Pedrycz:
Verifying trust over IoT-ad hoc network-based applications under uncertainty. Ad Hoc Networks 154: 103380 (2024) - [j105]Gaith Rjoub, Omar Abdel Wahab, Jamal Bentahar, Ahmed Saleh Bataineh:
Trust-driven reinforcement selection strategy for federated learning on IoT devices. Computing 106(4): 1273-1295 (2024) - [j104]Hani Sami, Ahmad Hammoud, Mohamad Arafeh, Mohamad Wazzeh, Sarhad Arisdakessian, Mario Chahoud, Osama Wehbi, Mohamad Ajaj, Azzam Mourad, Hadi Otrok, Omar Abdel Wahab, Rabeb Mizouni, Jamal Bentahar, Chamseddine Talhi, Zbigniew Dziong, Ernesto Damiani, Mohsen Guizani:
The Metaverse: Survey, Trends, Novel Pipeline Ecosystem & Future Directions. IEEE Commun. Surv. Tutorials 26(4): 2914-2960 (2024) - [j103]Saidul Islam, Hanae Elmekki, Ahmed Elsebai, Jamal Bentahar, Nagat Drawel, Gaith Rjoub, Witold Pedrycz:
A comprehensive survey on applications of transformers for deep learning tasks. Expert Syst. Appl. 241: 122666 (2024) - [j102]Narges Baharloo, Jamal Bentahar, Nagat Drawel, Witold Pedrycz:
Model checking combined trust and commitments in Multi-Agent Systems. Expert Syst. Appl. 243: 122856 (2024) - [j101]Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz:
MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment. Expert Syst. Appl. 245: 123113 (2024) - [j100]Hani Sami, Rabeb Mizouni, Hadi Otrok, Shakti Singh, Jamal Bentahar, Azzam Mourad:
LearnChain: Transparent and cooperative reinforcement learning on Blockchain. Future Gener. Comput. Syst. 150: 255-271 (2024) - [j99]Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz, Nagat Drawel:
Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments. Inf. Fusion 102: 102048 (2024) - [j98]Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz:
Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings. Inf. Fusion 111: 102502 (2024) - [j97]Ahmed Alagha, Jamal Bentahar, Hadi Otrok, Shakti Singh, Rabeb Mizouni:
Blockchain-Assisted Demonstration Cloning for Multiagent Deep Reinforcement Learning. IEEE Internet Things J. 11(5): 7710-7723 (2024) - [j96]Amine Andam, Jamal Bentahar, Mustapha Hedabou:
Multimodal Deep Reinforcement Learning for Visual Security of Virtual Reality Applications. IEEE Internet Things J. 11(24): 39890-39900 (2024) - [j95]Ahmed Alagha, Hadi Otrok, Shakti Singh, Rabeb Mizouni, Jamal Bentahar:
Blockchain-based crowdsourced deep reinforcement learning as a service. Inf. Sci. 679: 121107 (2024) - [j94]Gaith Rjoub, Omar Abdel Wahab, Jamal Bentahar, Robin Cohen, Ahmed Saleh Bataineh:
Trust-Augmented Deep Reinforcement Learning for Federated Learning Client Selection. Inf. Syst. Frontiers 26(4): 1261-1278 (2024) - [j93]Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy:
Corrigendum to "Transformation-based model checking temporal trust in multi-agent systems" [Journal of Systems and Software Volume 192, October 2022, 111383]. J. Syst. Softw. 213: 112052 (2024) - [c136]Tsega Weldu Araya, Muhammad Azam, Nizar Bouguila, Jamal Bentahar:
Multivariate Bounded Support Kotz Mixture Model with Minimum Message Length Criterion. ISNCC 2024: 1-6 - [c135]Gaith Rjoub, Saidul Islam, Jamal Bentahar, Mohammed Amin Almaiah, Rana Al-Rawashdeh:
Enhancing IoT Intelligence: A Transformer-based Reinforcement Learning Methodology. IWCMC 2024: 1418-1423 - [i14]Gaith Rjoub, Saidul Islam, Jamal Bentahar, Mohammed Amin Almaiah, Rana Al-Rawashdeh:
Enhancing IoT Intelligence: A Transformer-based Reinforcement Learning Methodology. CoRR abs/2404.04205 (2024) - [i13]Mario Chahoud, Azzam Mourad, Hadi Otrok, Jamal Bentahar, Mohsen Guizani:
Trust Driven On-Demand Scheme for Client Deployment in Federated Learning. CoRR abs/2405.00395 (2024) - [i12]Mario Chahoud, Hani Sami, Azzam Mourad, Hadi Otrok, Jamal Bentahar, Mohsen Guizani:
On-Demand Model and Client Deployment in Federated Learning with Deep Reinforcement Learning. CoRR abs/2405.07175 (2024) - [i11]Saidul Islam, Gaith Rjoub, Hanae Elmekki, Jamal Bentahar, Witold Pedrycz, Robin Cohen:
Machine Learning Innovations in CPR: A Comprehensive Survey on Enhanced Resuscitation Techniques. CoRR abs/2411.03131 (2024) - [i10]Saidul Islam, Jamal Bentahar, Robin Cohen, Gaith Rjoub:
A Multi-Modal Unsupervised Machine Learning Approach for Biomedical Signal Processing in CPR. CoRR abs/2411.11869 (2024) - [i9]Gordon Owusu Boateng, Hani Sami, Ahmed Alagha, Hanae Elmekki, Ahmad Hammoud, Rabeb Mizouni, Azzam Mourad, Hadi Otrok, Jamal Bentahar, Sami Muhaidat, Chamseddine Talhi, Zbigniew Dziong, Mohsen Guizani:
A Survey on Large Language Models for Communication, Network, and Service Management: Application Insights, Challenges, and Future Directions. CoRR abs/2412.19823 (2024) - 2023
- [j92]Abdeladim Sadiki, Jamal Bentahar, Rachida Dssouli, Abdeslam En-Nouaary, Hadi Otrok:
Deep reinforcement learning for the computation offloading in MIMO-based Edge Computing. Ad Hoc Networks 141: 103080 (2023) - [j91]Mona Taghavi, Jamal Bentahar, Hadi Otrok, Kaveh Bakhtiyari:
A reinforcement learning model for the reliability of blockchain oracles. Expert Syst. Appl. 214: 119160 (2023) - [j90]Anahita Mazloomi, Hani Sami, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
Reinforcement Learning Framework for Server Placement and Workload Allocation in Multiaccess Edge Computing. IEEE Internet Things J. 10(2): 1376-1390 (2023) - [j89]Ahmed Alagha, Rabeb Mizouni, Jamal Bentahar, Hadi Otrok, Shakti Singh:
Multiagent Deep Reinforcement Learning With Demonstration Cloning for Target Localization. IEEE Internet Things J. 10(15): 13556-13570 (2023) - [j88]Mario Chahoud, Hani Sami, Azzam Mourad, Safa Otoum, Hadi Otrok, Jamal Bentahar, Mohsen Guizani:
On-Demand-FL: A Dynamic and Efficient Multicriteria Federated Learning Client Deployment Scheme. IEEE Internet Things J. 10(18): 15822-15834 (2023) - [j87]Hani Sami, Hadi Otrok, Jamal Bentahar, Azzam Mourad, Ernesto Damiani:
Reward shaping using convolutional neural network. Inf. Sci. 648: 119481 (2023) - [j86]Hafsa Ennajari, Nizar Bouguila, Jamal Bentahar:
Combining Knowledge Graph and Word Embeddings for Spherical Topic Modeling. IEEE Trans. Neural Networks Learn. Syst. 34(7): 3609-3623 (2023) - [j85]Azzam Mourad, Hadi Otrok, Ernesto Damiani, Mérouane Debbah, Nadra Guizani, Shiqiang Wang, Guangjie Han, Rabeb Mizouni, Jamal Bentahar, Chamseddine Talhi:
Guest Editorial: Special Section on the Latest Developments in Federated Learning for the Management of Networked Systems and Resources. IEEE Trans. Netw. Serv. Manag. 20(2): 1441-1445 (2023) - [j84]Hani Sami, Reem Saado, Ahmad El Saoudi, Azzam Mourad, Hadi Otrok, Jamal Bentahar:
Opportunistic UAV Deployment for Intelligent On-Demand IoV Service Management. IEEE Trans. Netw. Serv. Manag. 20(3): 3428-3442 (2023) - [j83]Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Rabeb Mizouni, Alyssa Song, Robin Cohen, Hadi Otrok, Azzam Mourad:
A Survey on Explainable Artificial Intelligence for Cybersecurity. IEEE Trans. Netw. Serv. Manag. 20(4): 5115-5140 (2023) - [c134]Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab:
Explainable Trust-aware Selection of Autonomous Vehicles Using LIME for One-Shot Federated Learning. IWCMC 2023: 524-529 - [c133]Mario Chahoud, Hani Sami, Azzam Mourad, Hadi Otrok, Jamal Bentahar, Mohsen Guizani:
Towards On-Demand Deployment of Multiple Clients and Heterogeneous Models in Federated Learning. IWCMC 2023: 1556-1561 - [c132]Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi:
Multi-valued Model Checking A Smart Glucose Monitoring System with Trust. IWCMC 2023: 1697-1702 - [c131]Mounia Elqortobi, Amine Rahj, Jamal Bentahar:
Granular Traceability Between Requirements and Test Cases for Safety-Critical Software Systems. MobiWIS 2023: 202-220 - [e5]Irfan Awan, Muhammad Younas, Jamal Bentahar, Salima Benbernou:
The International Conference on Deep Learning, Big Data and Blockchain (DBB 2022), Rome, Italy, 22-24 August 2022. Lecture Notes in Networks and Systems 541, Springer 2023, ISBN 978-3-031-16034-9 [contents] - [i8]Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Rabeb Mizouni, Alyssa Song, Robin Cohen, Hadi Otrok, Azzam Mourad:
A Survey on Explainable Artificial Intelligence for Network Cybersecurity. CoRR abs/2303.12942 (2023) - [i7]Hani Sami, Ahmad Hammoud, Mohamad Arafeh, Mohamad Wazzeh, Sarhad Arisdakessian, Mario Chahoud, Osama Wehbi, Mohamad Ajaj, Azzam Mourad, Hadi Otrok, Omar Abdel Wahab, Rabeb Mizouni, Jamal Bentahar, Chamseddine Talhi, Zbigniew Dziong, Ernesto Damiani, Mohsen Guizani:
The Metaverse: Survey, Trends, Novel Pipeline Ecosystem & Future Directions. CoRR abs/2304.09240 (2023) - [i6]Saidul Islam, Hanae Elmekki, Ahmed Elsebai, Jamal Bentahar, Nagat Drawel, Gaith Rjoub, Witold Pedrycz:
A Comprehensive Survey on Applications of Transformers for Deep Learning Tasks. CoRR abs/2306.07303 (2023) - 2022
- [j82]Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub:
Formal verification of group and propagated trust in multi-agent systems. Auton. Agents Multi Agent Syst. 36(1): 19 (2022) - [j81]Ahmed Alagha, Shakti Singh, Rabeb Mizouni, Jamal Bentahar, Hadi Otrok:
Target localization using Multi-Agent Deep Reinforcement Learning with Proximal Policy Optimization. Future Gener. Comput. Syst. 136: 342-357 (2022) - [j80]Omar Abdel Wahab, Gaith Rjoub, Jamal Bentahar, Robin Cohen:
Federated against the cold: A trust-based federated learning approach to counter the cold start problem in recommendation systems. Inf. Sci. 601: 189-206 (2022) - [j79]Hani Sami, Jamal Bentahar, Azzam Mourad, Hadi Otrok, Ernesto Damiani:
Graph convolutional recurrent networks for reward shaping in reinforcement learning. Inf. Sci. 608: 63-80 (2022) - [j78]Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy:
Transformation-based model checking temporal trust in multi-agent systems. J. Syst. Softw. 192: 111383 (2022) - [j77]Ahmed Saleh Bataineh, Jamal Bentahar, Rabeb Mizouni, Omar Abdel Wahab, Gaith Rjoub, May El Barachi:
Cloud Computing as a Platform for Monetizing Data Services: A Two-Sided Game Business Model. IEEE Trans. Netw. Serv. Manag. 19(2): 1336-1350 (2022) - [j76]Hani Sami, Azzam Mourad, Hadi Otrok, Jamal Bentahar:
Demand-Driven Deep Reinforcement Learning for Scalable Fog and Service Placement. IEEE Trans. Serv. Comput. 15(5): 2671-2684 (2022) - [c130]Jamal Bentahar, Nagat Drawel, Abdeladim Sadiki:
Quantitative Group Trust: A Two-Stage Verification Approach. AAMAS 2022: 100-108 - [c129]Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Nagat Drawel:
One-Shot Federated Learning-based Model-Free Reinforcement Learning. DBB 2022: 39-52 - [c128]Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi:
Three-Valued Model Checking Smart Contract Systems with Trust Under Uncertainty. DBB 2022: 119-133 - [c127]Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi:
Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty. FiCloud 2022: 173-180 - [c126]Hafsa Ennajari, Nizar Bouguila, Jamal Bentahar:
Embedded Spherical Topic Models for Supervised Learning. ICPR 2022: 1650-1656 - [c125]Ghalya Alwhishi, Jamal Bentahar, Nagat Drawel:
Reasoning about Uncertainty over IoT Systems. IWCMC 2022: 306-311 - [c124]Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab:
Explainable AI-based Federated Deep Reinforcement Learning for Trusted Autonomous Driving. IWCMC 2022: 318-323 - [c123]Gaith Rjoub, Jamal Bentahar, Y A Joarder:
Active Federated YOLOR Model for Enhancing Autonomous Vehicles Safety. MobiWIS 2022: 49-64 - [c122]Ghalya Alwhishi, Nagat Drawel, Jamal Bentahar:
Model Checking Intelligent Information Systems with 3-Valued Timed Commitments. MobiWIS 2022: 237-251 - [c121]Hafsa Ennajari, Nizar Bouguila, Jamal Bentahar:
Knowledge-enhanced Spherical Representation Learning for Text Classification. SDM 2022: 639-647 - [i5]Anahita Mazloomi, Hani Sami, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
Reinforcement Learning Framework for Server Placement and Workload Allocation in Multi-Access Edge Computing. CoRR abs/2203.07998 (2022) - [i4]Hani Sami, Hadi Otrok, Jamal Bentahar, Azzam Mourad, Ernesto Damiani:
Reward Shaping Using Convolutional Neural Network. CoRR abs/2210.16956 (2022) - [i3]Mario Chahoud, Hani Sami, Azzam Mourad, Safa Otoum, Hadi Otrok, Jamal Bentahar, Mohsen Guizani:
ON-DEMAND-FL: A Dynamic and Efficient Multi-Criteria Federated Learning Client Deployment Scheme. CoRR abs/2211.02906 (2022) - 2021
- [j75]Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Ahmed Saleh Bataineh:
Deep and reinforcement learning for automated task scheduling in large-scale cloud computing systems. Concurr. Comput. Pract. Exp. 33(23) (2021) - [j74]Afaf Mousa, Jamal Bentahar, Omar Alam:
Multi-dimensional trust for context-aware services computing. Expert Syst. Appl. 172: 114592 (2021) - [j73]Khalid Sultan, Jamal Bentahar, Hamdi Yahyaoui, Rabeb Mizouni:
Model checking agent-based communities against uncertain group commitments and knowledge. Expert Syst. Appl. 177: 114792 (2021) - [j72]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
Resource-Aware Detection and Defense System against Multi-Type Attacks in the Cloud: Repeated Bayesian Stackelberg Game. IEEE Trans. Dependable Secur. Comput. 18(2): 605-622 (2021) - [j71]Rashid Hussain Khokhar, Farkhund Iqbal, Benjamin C. M. Fung, Jamal Bentahar:
Enabling Secure Trustworthiness Assessment and Privacy Protection in Integrating Data for Trading Person-Specific Information. IEEE Trans. Engineering Management 68(1): 149-169 (2021) - [j70]Hani Sami, Hadi Otrok, Jamal Bentahar, Azzam Mourad:
AI-Based Resource Provisioning of IoE Services in 6G: A Deep Reinforcement Learning Approach. IEEE Trans. Netw. Serv. Manag. 18(3): 3527-3540 (2021) - [c120]Ahmed Saleh Bataineh, Jamal Bentahar, Omar Abdel Wahab, Rabeb Mizouni, Gaith Rjoub:
Cloud as platform for monetizing complementary data for AI-driven services: A two-sided cooperative game. SCC 2021: 443-449 - [c119]Gaith Rjoub, Omar Abdel Wahab, Jamal Bentahar, Ahmed Saleh Bataineh:
Improving Autonomous Vehicles Safety in Snow Weather Using Federated YOLO CNN Learning. MobiWIS 2021: 121-134 - [e4]Jamal Bentahar, Irfan Awan, Muhammad Younas, Tor-Morten Grønli:
Mobile Web and Intelligent Information Systems - 17th International Conference, MobiWIS 2021, Virtual Event, August 23-25, 2021, Proceedings. Lecture Notes in Computer Science 12814, Springer 2021, ISBN 978-3-030-83163-9 [contents] - [i2]Ahmed Saleh Bataineh, Jamal Bentahar, Rabeb Mizouni, Omar Abdel Wahab, Gaith Rjoub, May El Barachi:
Cloud computing as a platform for monetizing data services: A two-sided game business model. CoRR abs/2104.12762 (2021) - 2020
- [j69]Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli:
Verification and testing of safety-critical airborne systems: A model-based methodology. Comput. Sci. Inf. Syst. 17(1): 271-292 (2020) - [j68]Ehsan Khosrowshahi Asl, Jamal Bentahar, Rebeca Estrada, Hadi Otrok, Rabeb Mizouni, Babak Khosravifar:
Dynamic formation of service communities in the cloud under distribution and incomplete information settings. Concurr. Comput. Pract. Exp. 32(1) (2020) - [j67]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Mounia Elqortobi, Amine Laarej, Rachida Dssouli:
Model checking intelligent avionics systems for test cases generation using multi-agent systems. Expert Syst. Appl. 156: 113458 (2020) - [j66]Mona Taghavi, Jamal Bentahar, Hadi Otrok:
Two-stage game theoretical framework for IaaS market share dynamics. Future Gener. Comput. Syst. 102: 173-189 (2020) - [j65]Nagat Drawel, Hongyang Qu, Jamal Bentahar, Elhadi M. Shakshuki:
Specification and automatic verification of trust-based multi-agent systems. Future Gener. Comput. Syst. 107: 1047-1060 (2020) - [j64]Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab:
BigTrustScheduling: Trust-aware big data task scheduling approach in cloud computing environments. Future Gener. Comput. Syst. 110: 1079-1097 (2020) - [j63]Ahmed Saleh Bataineh, Rabeb Mizouni, Jamal Bentahar, May El Barachi:
Toward monetizing personal data: A two-sided market analysis. Future Gener. Comput. Syst. 111: 435-459 (2020) - [j62]Ahmad Hammoud, Hani Sami, Azzam Mourad, Hadi Otrok, Rabeb Mizouni, Jamal Bentahar:
AI, Blockchain, and Vehicular Edge Computing for Smart and Secure IoV: Challenges and Directions. IEEE Internet Things Mag. 3(2): 68-73 (2020) - [j61]Omar Abdel Wahab, Robin Cohen, Jamal Bentahar, Hadi Otrok, Azzam Mourad, Gaith Rjoub:
An endorsement-based trust bootstrapping approach for newcomer cloud services. Inf. Sci. 527: 159-175 (2020) - [j60]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
Optimal Load Distribution for the Detection of VM-Based DDoS Attacks in the Cloud. IEEE Trans. Serv. Comput. 13(1): 114-129 (2020) - [j59]Mona Taghavi, Jamal Bentahar, Hadi Otrok, Kaveh Bakhtiyari:
A Blockchain-Based Model for Cloud Service Quality Monitoring. IEEE Trans. Serv. Comput. 13(2): 276-288 (2020) - [j58]Rebeca Estrada, Rabeb Mizouni, Hadi Otrok, Anis Ouali, Jamal Bentahar:
A Crowd-Sensing Framework for Allocation of Time-Constrained and Location-Based Tasks. IEEE Trans. Serv. Comput. 13(5): 769-785 (2020) - [c118]Nagat Drawel, Jamal Bentahar, Hongyang Qu:
Computationally Grounded Quantitative Trust with Time. AAMAS 2020: 1837-1839 - [c117]Ahmed Saleh Bataineh, Jamal Bentahar, Omar Abdel Wahab, Rabeb Mizouni, Gaith Rjoub:
A Game-Based Secure Trading of Big Data and IoT Services: Blockchain as a Two-Sided Market. ICSOC 2020: 85-100 - [c116]Gaith Rjoub, Omar Abdel Wahab, Jamal Bentahar, Ahmed Saleh Bataineh:
A Trust and Energy-Aware Double Deep Reinforcement Learning Scheduling Strategy for Federated Learning on IoT Devices. ICSOC 2020: 319-333 - [c115]Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub:
Formalizing Group and Propagated Trust in Multi-Agent Systems. IJCAI 2020: 60-66 - [c114]Hani Sami, Azzam Mourad, Hadi Otrok, Jamal Bentahar:
FScaler: Automatic Resource Scaling of Containers in Fog Clusters Using Reinforcement Learning. IWCMC 2020: 1824-1829 - [c113]Mounia Elqortobi, Amine Rahj, Jamal Bentahar, Rachida Dssouli:
Test Generation Tool for Modified Condition/Decision Coverage: Model Based Testing. SITA 2020: 38:1-38:6 - [i1]Omar Abdel Wahab, Jamal Bentahar, Robin Cohen, Hadi Otrok, Azzam Mourad:
A two-level solution to fight against dishonest opinions in recommendation-based trust systems. CoRR abs/2006.04803 (2020)
2010 – 2019
- 2019
- [j57]Imran Sarwar Bajwa, Anna Helena Reali Costa, Jamal Bentahar:
Introduction to the Special Section on Artificial Intelligence for Smart Systems. Comput. Electr. Eng. 79 (2019) - [j56]Afaf Mousa, Jamal Bentahar, Omar Alam:
Context-aware composite SaaS using feature model. Future Gener. Comput. Syst. 99: 376-390 (2019) - [j55]Ahmad Hammoud, Hadi Otrok, Azzam Mourad, Omar Abdel Wahab, Jamal Bentahar:
On the Detection of Passive Malicious Providers in Cloud Federations. IEEE Commun. Lett. 23(1): 64-67 (2019) - [j54]Nader Kesserwan, Rachida Dssouli, Jamal Bentahar, Bernard Stepien, Pierre Labrèche:
From use case maps to executable test procedures: a scenario-based approach. Softw. Syst. Model. 18(2): 1543-1570 (2019) - [j53]Jie Zhang, Jamal Bentahar, Rino Falcone, Timothy J. Norman, Murat Sensoy:
Introduction to the Special Section on Trust and AI. ACM Trans. Internet Techn. 19(4) (2019) - [c112]Afaf Mousa, Jamal Bentahar, Omar Alam:
Dependency Network-based Trust Management for Context-Aware Web Services. ANT/EDI40 2019: 583-590 - [c111]Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Ahmed Saleh Bataineh:
Deep Smart Scheduling: A Deep Learning Approach for Automated Big Data Scheduling Over the Cloud. FiCloud 2019: 189-196 - 2018
- [j52]Mona Taghavi, Jamal Bentahar, Kaveh Bakhtiyari, Chihab Hanachi:
New Insights Towards Developing Recommender Systems. Comput. J. 61(3): 319-348 (2018) - [j51]Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Amine Laarej:
Model checking real-time conditional commitment logic using transformation. J. Syst. Softw. 138: 189-205 (2018) - [j50]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
Towards Trustworthy Multi-Cloud Services Communities: A Trust-Based Hedonic Coalitional Game. IEEE Trans. Serv. Comput. 11(1): 184-201 (2018) - [c110]Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej:
Verifying Temporal Trust Logic using CTL Model Checking. TRUST@AAMAS 2018: 62-74 - [c109]Afaf Mousa, Jamal Bentahar, Omar Alam:
Multi-Objective Self-Adaptive Composite SaaS Using Feature Model. FiCloud 2018: 77-84 - [c108]Jamal Bentahar:
Keynote II. FNC/MobiSPC 2018: 7-8 - [c107]Mona Taghavi, Jamal Bentahar, Hadi Otrok, Kaveh Bakhtiyari:
Cloudchain: A Blockchain-Based Coopetition Differential Game Model for Cloud Computing. ICSOC 2018: 146-161 - [c106]Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli:
Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. MEDI Workshops 2018: 63-74 - 2017
- [j49]Rachida Dssouli, Ahmed Khoumsi, Mounia Elqortobi, Jamal Bentahar:
Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey. Adv. Comput. 107: 95-155 (2017) - [j48]Ahmed Saleh Bataineh, Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli:
Specifying and verifying contract-driven service compositions using commitments and model checking. Expert Syst. Appl. 74: 151-184 (2017) - [j47]Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli:
SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication. Fundam. Informaticae 152(3): 223-271 (2017) - [j46]Faryed Eltayesh, Jamal Bentahar, Rabeb Mizouni, Hadi Otrok, Elhadi M. Shakshuki:
Refined game-theoretic approach to improve authenticity of outsourced databases. J. Ambient Intell. Humaniz. Comput. 8(3): 329-344 (2017) - [c105]Mounia Elqortobi, Jamal Bentahar, Rachida Dssouli:
Framework for Dynamic Web Services Composition Guided by Live Testing. AFRICATEK 2017: 129-139 - [c104]Nader Kesserwan, Rachida Dssouli, Jamal Bentahar:
Modernization of Legacy Software Tests to Model-Driven Testing. AFRICATEK 2017: 140-156 - [c103]Nagat Drawel, Jamal Bentahar, Elhadi M. Shakshuki:
Reasoning about Trust and Time in a System of Agents. ANT/SEIT 2017: 632-639 - [c102]Gaith Rjoub, Jamal Bentahar:
Cloud Task Scheduling Based on Swarm Intelligence and Machine Learning. FiCloud 2017: 272-279 - [c101]Mona Taghavi, Jamal Bentahar, Hadi Otrok, Omar Abdel Wahab, Azzam Mourad:
On the Effects of User Ratings on the Profitability of Cloud Services. ICWS 2017: 1-8 - [c100]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
I Know You Are Watching Me: Stackelberg-Based Adaptive Intrusion Detection Strategy for Insider Attacks in the Cloud. ICWS 2017: 728-735 - [c99]Faryed Eltayesh, Jamal Bentahar:
Verifiable outsourced database in the cloud using game theory. SAC 2017: 370-377 - [e3]Muhammad Younas, Markus Aleksy, Jamal Bentahar:
5th IEEE International Conference on Future Internet of Things and Cloud, FiCloud 2017, Prague, Czech Republic, August 21-23, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-2074-8 [contents] - 2016
- [j45]Wei Wan, Jamal Bentahar, Hamdi Yahyaoui, Abdessamad Ben Hamza:
Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications. Appl. Intell. 45(3): 747-776 (2016) - [j44]Rashid Hussain Khokhar, Benjamin C. M. Fung, Farkhund Iqbal, Dima Alhadidi, Jamal Bentahar:
Privacy-preserving data mashup model for trading person-specific information. Electron. Commer. Res. Appl. 17: 19-37 (2016) - [j43]Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan:
On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems. Expert Syst. Appl. 43: 223-236 (2016) - [j42]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
A Stackelberg game for distributed formation of business-driven services communities. Expert Syst. Appl. 45: 359-372 (2016) - [j41]Omar Abdel Wahab, Azzam Mourad, Hadi Otrok, Jamal Bentahar:
CEAP: SVM-based intelligent detection model for clustered vehicular ad hoc networks. Expert Syst. Appl. 50: 40-54 (2016) - [j40]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
Trust and Reputation of Web Services Through QoS Correlation Lens. IEEE Trans. Serv. Comput. 9(6): 968-981 (2016) - [c98]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
How to Distribute the Detection Load among Virtual Machines to Maximize the Detection of Distributed Attacks in the Cloud? SCC 2016: 316-323 - [c97]Ahmed Saleh Bataineh, Rabeb Mizouni, May El Barachi, Jamal Bentahar:
Monetizing Personal Data: A Two-Sided Market Approach. ANT/SEIT 2016: 472-479 - [c96]Ansar-Ul-Haque Yasar, Jamal Bentahar:
Preface. FNC/MobiSPC 2016: 1-3 - [c95]Afaf Mousa, Jamal Bentahar:
An Efficient QoS-aware Web Services Selection Using Social Spider Algorithm. FNC/MobiSPC 2016: 176-182 - 2015
- [j39]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
A survey on trust and reputation models for Web services: Single, composite, and communities. Decis. Support Syst. 74: 121-134 (2015) - [j38]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
Formal Specification and Automatic Verification of Conditional Commitments. IEEE Intell. Syst. 30(2): 36-44 (2015) - [j37]Omar Marey, Jamal Bentahar, Ehsan Khosrowshahi Asl, Khalid Sultan, Rachida Dssouli:
Decision making under subjective uncertainty in argumentation-based agent negotiation. J. Ambient Intell. Humaniz. Comput. 6(3): 307-323 (2015) - [j36]Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Pinar Yolum, Rachida Dssouli:
Computational logics and verification techniques of multi-agent commitments: survey. Knowl. Eng. Rev. 30(5): 564-606 (2015) - [j35]Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan, Wei Wan, Ehsan Khosrowshahi Asl:
Model checking temporal knowledge and commitments in multi-agent systems using reduction. Simul. Model. Pract. Theory 51: 45-68 (2015) - [j34]Ehsan Khosrowshahi Asl, Jamal Bentahar, Hadi Otrok, Rabeb Mizouni:
Efficient Community Formation for Web Services. IEEE Trans. Serv. Comput. 8(4): 586-600 (2015) - [c94]Olga Ormandjieva, Jamal Bentahar, Jinzi Huang, Heng Kuang:
Modelling Multi-agent Systems with Category Theory. ANT/SEIT 2015: 538-545 - [c93]Ana Vazquez, Mohamed El-Menshawy, Jamal Bentahar:
Automatic Transformation of Cloud Computing Service Composition to Verifiable Models. FiCloud 2015: 173-180 - [c92]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
Misbehavior Detection Framework for Community-Based Cloud Computing. FiCloud 2015: 181-188 - [c91]Amjad El Khatib, Azzam Mourad, Hadi Otrok, Omar Abdel Wahab, Jamal Bentahar:
A Cooperative Detection Model Based on Artificial Neural Network for VANET QoS-OLSR Protocol. ICUWB 2015: 1-5 - [c90]Warda El Kholy, Mohamed El-Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar, Rachida Dssouli:
Real-Time Conditional Commitment Logic. PRIMA 2015: 547-556 - [c89]Mohamad Mehdi, Elise Epaillard, Nizar Bouguila, Jamal Bentahar:
Modeling and Forecasting Time Series of Compositional Data: A Generalized Dirichlet Power Steady Model. SUM 2015: 170-185 - 2014
- [j33]Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan, Mohamed El-Menshawy:
On the interaction between knowledge and social commitments in multi-agent systems. Appl. Intell. 41(1): 235-259 (2014) - [j32]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
Probabilistic approach for QoS-aware recommender system for trustworthy web service selection. Appl. Intell. 41(2): 503-524 (2014) - [j31]Khalid Sultan, Jamal Bentahar, Mohamed El-Menshawy:
Model checking probabilistic social commitments for intelligent agent communication. Appl. Soft Comput. 22: 397-409 (2014) - [j30]Omar Marey, Jamal Bentahar, Rachida Dssouli, Mohamed Mbarki:
Measuring and analyzing agents' uncertainty in argumentation-based negotiation dialogue games. Expert Syst. Appl. 41(2): 306-320 (2014) - [j29]Ehsan Khosrowshahi Asl, Jamal Bentahar, Rabeb Mizouni, Babak Khosravifar, Hadi Otrok:
To compete or cooperate? This is the question in communities of autonomous services. Expert Syst. Appl. 41(10): 4878-4890 (2014) - [j28]Khalid Sultan, Jamal Bentahar, Wei Wan, Faisal Al-Saqqar:
Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments. Expert Syst. Appl. 41(14): 6291-6304 (2014) - [j27]Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli:
Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols. Expert Syst. Appl. 41(16): 7478-7494 (2014) - [j26]Paul D. Yoo, Sami Muhaidat, Kamal Taha, Jamal Bentahar, Abdallah Shami:
Intelligent Consensus Modeling for ProlineCis-Trans Isomerization Prediction. IEEE ACM Trans. Comput. Biol. Bioinform. 11(1): 26-32 (2014) - [j25]Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli:
Conditional Commitments: Reasoning and Model Checking. ACM Trans. Softw. Eng. Methodol. 24(2): 9:1-9:49 (2014) - [c88]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
Reputation in Communities of Agent-Based Web Services Through Data Mining. ADMI 2014: 79-92 - [c87]Omar Marey, Jamal Bentahar, Ehsan Khosrowshahi Asl, Mohamed Mbarki, Rachida Dssouli:
Agents' Uncertainty in Argumentation-based Negotiation: Classification and Implementation. ANT/SEIT 2014: 61-68 - [c86]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
Correlated multi-dimensional qos metrics for trust evaluation within web services. AAMAS 2014: 1605-1606 - [c85]Hiba Fallatah, Jamal Bentahar, Ehsan Khosrowshahi Asl:
Social Network-Based Framework for Web Services Discovery. FiCloud 2014: 159-166 - [c84]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
QoS-Based Reputation Feedback Fusion under Unknown Correlation. ICAIS 2014: 172-181 - [c83]Mohamed Mbarki, Omar Marey, Jamal Bentahar, Khalid Sultan:
Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation. ICTAI 2014: 485-492 - [c82]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. ICWS 2014: 49-56 - [c81]Raghad Baiad, Hadi Otrok, Sami Muhaidat, Jamal Bentahar:
Cooperative cross layer detection for blackhole attack in VANET-OLSR. IWCMC 2014: 863-868 - [c80]Khalid Sultan, Jamal Bentahar, Omar Marey:
A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs. SoMeT 2014: 132-147 - 2013
- [j24]Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli:
Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Auton. Agents Multi Agent Syst. 27(3): 375-418 (2013) - [j23]Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli:
Verifying conformance of multi-agent commitment-based protocols. Expert Syst. Appl. 40(1): 122-138 (2013) - [j22]Jamal Bentahar, Hamdi Yahyaoui, Melissa Kova, Zakaria Maamar:
Symbolic model checking composite Web services using operational and control behaviors. Expert Syst. Appl. 40(2): 508-522 (2013) - [j21]Babak Khosravifar, Jamal Bentahar, Rabeb Mizouni, Hadi Otrok, Mahsa Alishahi, Philippe Thiran:
Agent-based game-theoretic model for collaborative web services: Decision making analysis. Expert Syst. Appl. 40(8): 3207-3219 (2013) - [j20]Sina Honari, Brigitte Jaumard, Jamal Bentahar:
Uncertainty-Based Trust estimation in a Multi-Valued Trust Environment. Int. J. Artif. Intell. Tools 22(5) (2013) - [j19]Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza:
Model checking epistemic-probabilistic logic using probabilistic interpreted systems. Knowl. Based Syst. 50: 279-295 (2013) - [j18]Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Frank Dignum:
Introduction to the special section on agent communication. ACM Trans. Intell. Syst. Technol. 4(2): 19:1 (2013) - [j17]Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Marco Colombetti, Frank Dignum, Nicoletta Fornara, Andrew J. I. Jones, Munindar P. Singh, Pinar Yolum:
Research directions in agent communication. ACM Trans. Intell. Syst. Technol. 4(2): 20:1-20:23 (2013) - [c79]Ehsan Khosrowshahi Asl, Jamal Bentahar, Hadi Otrok, Rabeb Mizouni:
Efficient Coalition Formation for Web Services. IEEE SCC 2013: 737-744 - [c78]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
Representing and reasoning about communicative conditional commitments. AAMAS 2013: 1169-1170 - [c77]Jamal Bentahar, Babak Khosravifar, Kathleen Clacens, Christophe Goffart, Philippe Thiran:
On the analysis of joining communities of agent-basedweb services. AAMAS 2013: 1339-1340 - [c76]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
A QoS-Based Trust Approach for Service Selection and Composition via Bayesian Networks. ICWS 2013: 211-218 - [c75]Hamada Alshaer, Jamal Bentahar, Mohamed Manoufali, Mohamed Alyafei:
Fair resource allocation and control in multi-operator GPON access networks. WMNC 2013: 1-4 - [c74]Khalid Sultan, Mohamed El-Menshawy, Jamal Bentahar:
Reasoning about social commitments in the presence of uncertainty. SoMeT 2013: 29-35 - 2012
- [j16]Jamal Bentahar, Babak Khosravifar, Mohamed Adel Serhani, Mahsa Alishahi:
On the analysis of reputation for agent-based web services. Expert Syst. Appl. 39(16): 12438-12450 (2012) - [j15]Mohamed Amine M'hamdi, Jamal Bentahar:
Scheduling Reputation Maintenance in Agent-based Communities Using Game Theory. J. Softw. 7(7): 1514-1523 (2012) - [j14]Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi, Rafiul Alam:
CRM: An efficient trust and reputation model for agent computing. Knowl. Based Syst. 30: 1-16 (2012) - [j13]Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli:
Communicative commitments: Model checking and complexity analysis. Knowl. Based Syst. 35: 21-34 (2012) - [c73]Erbin Lim, Philippe Thiran, Zakaria Maamar, Jamal Bentahar:
On the Analysis of Satisfaction for Web Services Selection. IEEE SCC 2012: 122-129 - [c72]Sina Honari, Brigitte Jaumard, Jamal Bentahar:
Merging Successive Possibility Distributions for Trust Estimation under Uncertainty in Multi-agent Systems. ICAART (1) 2012: 180-189 - [c71]Sina Honari, Brigitte Jaumard, Jamal Bentahar:
An Approach on Merging Agents' Trust Distributions in a Possibilitic Domain. ICAART (Revised Selected Papers) 2012: 283-299 - [c70]Babak Khosravifar, Mahsa Alishahi, Ehsan Khosrowshahi Asl, Jamal Bentahar, Rabeb Mizouni, Hadi Otrok:
Analyzing Coopetition Strategies of Services within Communities. ICSOC 2012: 656-663 - [c69]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
Trustworthy Web Service Selection Using Probabilistic Models. ICWS 2012: 17-24 - [c68]Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza:
Quantitative Model Checking of Knowledge. SoMeT 2012: 91-107 - 2011
- [c67]Babak Khosravifar, Mahsa Alishahi, Jamal Bentahar, Philippe Thiran:
A Game Theoretic Approach for Analyzing the Efficiency of Web Services in Collaborative Networks. IEEE SCC 2011: 168-175 - [c66]Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, Jamal Bentahar:
A New Approach for Quality Enforcement in Communities of Web Services. IEEE SCC 2011: 472-479 - [c65]Erbin Lim, Philippe Thiran, Zakaria Maamar, Jamal Bentahar:
Using 3-Way Satisfaction for Web Service Selection: Preliminary Investigation. IEEE SCC 2011: 731-732 - [c64]Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
On the verification of social commitments and time. AAMAS 2011: 483-490 - [c63]Babak Khosravifar, Jamal Bentahar, Kathleen Clacens, Christophe Goffart, Philippe Thiran:
Game-Theoretic Analysis of a Web Services Collaborative Mechanism. ICSOC 2011: 549-556 - [c62]Sina Honari, Brigitte Jaumard, Jamal Bentahar:
Under Uncertainty Trust Estimation through Unknown Agents, in a Multi-valued Trust Environment. ICTAI 2011: 336-343 - [c61]Giti Oghabi, Jamal Bentahar, Abdelghani Benharref:
On the Verification of Behavioral and Probabilistic Web Services Using Transformation. ICWS 2011: 548-555 - [c60]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Model Checking Commitment Protocols. IEA/AIE (2) 2011: 37-47 - [c59]Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza:
Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems. IEA/AIE (2) 2011: 68-78 - [c58]Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, Jamal Bentahar:
Online monitoring for sustainable communities of Web Services. Integrated Network Management 2011: 702-705 - [c57]Giti Oghabi, Jamal Bentahar, Abdelghani Benharref:
Model Checking Single Web Services using Markov Chains and MDPs. SoMeT 2011: 20-37 - [c56]Mohamed Mbarki, Jamal Bentahar, Bernard Moulin:
On the Argumentative Agent Types and Negotiation. SoMeT 2011: 169-182 - [c55]Babak Khosravifar, Jamal Bentahar, Mahsa Alishahi, Maziar Gomrokchi:
Collusion-Resistant Reputation Mechanism for Multi-Agents Systems. ANT/MobiWIS 2011: 181-189 - 2010
- [j12]Jamal Bentahar, Bernard Moulin, Micheline Bélanger:
A taxonomy of argumentation models used for knowledge representation. Artif. Intell. Rev. 33(3): 211-259 (2010) - [j11]Quan Z. Sheng, Zakaria Maamar, Hamdi Yahyaoui, Jamal Bentahar, Khouloud Boukadi:
Separating Operational and Control Behaviors: A New Approach to Web Services Modeling. IEEE Internet Comput. 14(3): 68-76 (2010) - [j10]Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Philippe Thiran:
Analyzing Communities of Web Services Using Incentives. Int. J. Web Serv. Res. 7(3): 30-51 (2010) - [j9]Jamal Bentahar, Rafiul Alam, Zakaria Maamar, Nanjangud C. Narendra:
Using argumentation to model and deploy agent-based B2B applications. Knowl. Based Syst. 23(7): 677-692 (2010) - [j8]Mohamed Mbarki, Bernard Moulin, Jamal Bentahar:
Une approche de communication entre agents logiciels basée sur la pertinence. Rev. d'Intelligence Artif. 24(1): 27-66 (2010) - [c54]Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Zakaria Maamar, Philippe Thiran:
Analyzing Communities vs. Single Agent-Based Web Services: Trust Perspectives. IEEE SCC 2010: 194-201 - [c53]Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Philippe Thiran:
On the Reputation of Agent-Based Web Services. AAAI 2010: 1352-1357 - [c52]Heng Kuang, Olga Ormandjieva, Stan Klasa, Jamal Bentahar:
A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework. ASAP 2010: 99-106 - [c51]Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli:
Symbolic model checking for agent interactions. AAMAS 2010: 1555-1556 - [c50]Jamal Bentahar:
An agent communication protocol for resolving conflicts. AAMAS 2010: 1557-1558 - [c49]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Symbolic Model Checking Commitment Protocols Using Reduction. DALT 2010: 185-203 - [c48]Babak Khosravifar, Jamal Bentahar, Ahmad Moazin:
Analyzing the Relationships between some Parameters of Web Services Reputation. ICWS 2010: 329-336 - [c47]Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza:
Modeling and Verifying Agent-Based Communities of Web Services. IEA/AIE (2) 2010: 418-427 - [c46]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. KES-AMSTA (2) 2010: 11-21 - [c45]Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, Jamal Bentahar:
A managerial community of Web Services for management of communities of Web Services. NOTERE 2010: 97-104 - [c44]Heng Kuang, Jamal Bentahar, Olga Ormandjieva, Nassir Shafieidizaji, Stan Klasa:
Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems. SoMeT 2010: 357-380 - [e2]Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd:
Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5948, Springer 2010, ISBN 978-3-642-11354-3 [contents]
2000 – 2009
- 2009
- [j7]Zakaria Maamar, Sattanathan Subramanian, Philippe Thiran, Djamal Benslimane, Jamal Bentahar:
An Approach to Engineer Communities of Web Services: Concepts, Architecture, Operation, and Deployment. Int. J. E Bus. Res. 5(4): 1-21 (2009) - [j6]Jamal Bentahar, John-Jules Ch. Meyer, Wei Wan:
Model checking communicative agent-based systems. Knowl. Based Syst. 22(3): 142-159 (2009) - [c43]Zakaria Maamar, Quan Z. Sheng, Hamdi Yahyaoui, Jamal Bentahar, Khouloud Boukadi:
A New Approach to Model Web Services' Behaviors Based on Synchronization. AINA Workshops 2009: 43-49 - [c42]Babak Khosravifar, Maziar Gomrokchi, Jamal Bentahar:
A Multi-agent-based Approach to Improve Intrusion Detection Systems False Alarm Ratio by Using Honeypot. AINA Workshops 2009: 97-102 - [c41]Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi, Philippe Thiran:
Combined On-line and Off-line Trust Mechanism for Agent Computing. AINA 2009: 146-153 - [c40]Jamal Bentahar, Babak Khosravifar, Maziar Gomrokchi:
Social Network-Based Trust for Agent-Based Services. AINA Workshops 2009: 298-303 - [c39]Babak Khosravifar, Maziar Gomrokchi, Jamal Bentahar, Philippe Thiran:
Maintenance-based trust for multi-agent systems. AAMAS (2) 2009: 1017-1024 - [c38]Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi:
Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks. DALT 2009: 137-157 - [c37]Yosr Jarraya, Mourad Debbabi, Jamal Bentahar:
On the Meaning of SysML Activity Diagrams. ECBS 2009: 95-105 - [c36]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
A New Semantics of Social Commitments Using Branching Space-Time Logic. Web Intelligence/IAT Workshops 2009: 492-496 - [c35]Maziar Gomrokchi, Jamal Bentahar, Babak Khosravifar:
Reputation Cascade Model over Social Connections in Online Social Networks. IAT 2009: 523-526 - [c34]Babak Khosravifar, Jamal Bentahar, Philippe Thiran, Ahmad Moazin, Adrien Guiot:
An Approach to Incentive-Based Reputation for Communities of Web Services. ICWS 2009: 303-310 - [c33]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Verifiable Semantic Model for Agent Interactions Using Social Commitments. LADS 2009: 128-152 - [c32]Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Viviana Mascardi:
Introductory Essay of MALLOW-AWESOME'009. MALLOW 2009 - [c31]Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli:
An Integrated Semantics of Social Commitments and Associated Operations. MALLOW 2009 - [c30]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Enhancing Engineering Methodology for Communities of Web Services. MALLOW 2009 - [c29]Hamdi Yahyaoui, Zakaria Maamar, Jamal Bentahar, Khouloud Boukadi:
Web Services Synchronization in Composition Scenarios. MALLOW 2009 - [c28]Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulain Khurshid, Jamal Bentahar:
Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study. SERA (selected papers) 2009: 119-134 - [c27]Omar Marey, Jamal Bentahar, Abdeslam En-Nouaary:
On the Measurement of Negotiation Dialogue Games. SoMeT 2009: 223-244 - [c26]Melissa Kova, Jamal Bentahar, Zakaria Maamar, Hamdi Yahyaoui:
A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV. SoMeT 2009: 245-261 - [e1]Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie-Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah Seghrouchni, Paolo Torroni, Rineke Verbrugge:
Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009. CEUR Workshop Proceedings 494, CEUR-WS.org 2009 [contents] - 2008
- [j5]Francesca Toni, Jamal Bentahar:
Computational logic-based agents. Auton. Agents Multi Agent Syst. 16(3): 211-213 (2008) - [j4]Jamal Bentahar, Zakaria Maamar, Wei Wan, Djamal Benslimane, Philippe Thiran, Sattanathan Subramanian:
Agent-based communities of web services: an argumentation-driven approach. Serv. Oriented Comput. Appl. 2(4): 219-238 (2008) - [c25]Babak Khosravifar, Jamal Bentahar:
An Experience Improving Intrusion Detection Systems False Alarm Ratio by Using Honeypot. AINA 2008: 997-1004 - [c24]Said Elnaffar, Zakaria Maamar, Hamdi Yahyaoui, Jamal Bentahar, Philippe Thiran:
Reputation of Communities of Web Services - Preliminary Investigation. AINA Workshops 2008: 1603-1608 - [c23]Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin:
Strategic Agent Communication: An Argumentation-Driven Approach. DALT 2008: 233-250 - [c22]Mohamed Mbarki, Jamal Bentahar, Bernard Moulin:
A Formal Framework of Conversational Goals Based on Strategic Reasoning. IEA/AIE 2008: 835-844 - [c21]Jamal Bentahar, Babak Khosravifar:
Using Trustworthy and Referee Agents to Secure Multi-Agent Systems. ITNG 2008: 477-482 - [c20]Khaled Ghoneim, Jamal Bentahar:
An Adaptive Configuration for Agent-Based Supply Network. ITNG 2008: 1268-1271 - [c19]Hamdi Yahyaoui, Zakaria Maamar, Jamal Bentahar, Nabil Sahli, Said Elnaffar, Philippe Thiran:
On the reputation of communities of web services. NOTERE 2008: 4:1-4:8 - [c18]Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi, Rafy Alam:
An approach to comprehensive trust management in multi-agent systems with credibility. RCIS 2008: 53-64 - [c17]Jamal Bentahar, Nanjagud Narenda, Zakaria Maamar, Rafiul Alam, Philippe Thiran:
Designing and Implementing B2B Applications Using Argumentative Agents. SoMeT 2008: 165-189 - [c16]Sina Honari, Maziar Gomrokchi, Mojtaba Ebadi, Amin Fos-hati, Jamal Bentahar:
Simulating new markets by introducing new accepting policies for the conventional continuous double auction. SpringSim 2008: 89-97 - 2007
- [j3]Jamal Bentahar, Zakaria Maamar, Djamal Benslimane, Philippe Thiran:
An Argumentation Framework for Communities of Web Services. IEEE Intell. Syst. 22(6): 75-83 (2007) - [j2]Jamal Bentahar, John-Jules Ch. Meyer:
A New Quantitative Trust Model for Negotiating Agents using Argumentation. Int. J. Comput. Sci. Appl. 4(2): 1-21 (2007) - [j1]Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban:
A security framework for agent-based systems. Int. J. Web Inf. Syst. 3(4): 341-362 (2007) - [c15]Jamal Bentahar, Zakaria Maamar, Djamal Benslimane, Philippe Thiran:
Using Argumentative Agents to Manage Communities of Web Services. AINA Workshops (2) 2007: 588-593 - [c14]Jamal Bentahar, John-Jules Ch. Meyer, Bernard Moulin:
Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach. ITNG 2007: 507-515 - [c13]Jamal Bentahar, John-Jules Ch. Meyer:
A New Quantitative Trust Model for Negotiating Agents. RCIS 2007: 39-50 - [c12]Jamal Bentahar, John-Jules Ch. Meyer:
Model Checking Communicative Agent-Based Systems. SoMeT 2007: 239-265 - 2006
- [c11]Mohamed Mbarki, Jamal Bentahar, Bernard Moulin:
Specification and Complexity of Strategic-Based Reasoning Using Argumentation. ArgMAS 2006: 142-160 - [c10]Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer:
A New Model Checking Approach for Verifying Agent Communication Protocols. CCECE 2006: 1586-1590 - [c9]Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance:
A New Logical Semantics for Agent Communication. CLIMA 2006: 151-170 - [c8]Jamal Bentahar, Karim Bouzoubaa, Bernard Moulin:
A Computational Framework for Human/Agent Communication Using Argumentation, Implicit Information, and Social Influence. IAT Workshops 2006: 372-377 - 2005
- [c7]Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer:
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. DALT 2005: 223-244 - 2004
- [c6]Karim Bouzoubaa, Jamal Bentahar, Bernard Moulin:
Dialogization and Implicit Information in an Agent Communicational Model. AC 2004: 193-208 - [c5]Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa:
A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. ArgMAS 2004: 44-63 - [c4]Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa:
Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments. ArgMAS 2004: 130-148 - [c3]Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa:
A Logical Model for Commitment and Argument Network for Agent Communication. AAMAS 2004: 792-799 - [c2]Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa:
A Computational Model for Conversation Policies for Agent Communication. CLIMA 2004: 178-195 - 2003
- [c1]Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa:
Commitment and Argument Network: A New Formalism for Agent Communication. Workshop on Agent Communication Languages 2003: 146-165
Coauthor Index
[j121] [j119] [j116] [j115] [j114] [j112] [j111] [j107] [c138] [c137] [i22] [i21] [i20] [i18] [i17] [i16] [i15] [j104] [j100] [j97] [j95] [i13] [i12] [i9] [j92] [j91] [j90] [j89] [j88] [j87] [j85] [j84] [j83] [c133] [i8] [i7] [j81] [j79] [j76] [i5] [i4] [i3] [j72] [j70] [j68] [j66] [j62] [j61] [j60] [j59] [j58] [c114] [i1] [j55] [j50] [c107] [j46] [c101] [c100] [j42] [j41] [c98] [j39] [j34] [c92] [c91] [j29] [c81] [j21] [c79] [c70]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-07-19 03:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
