Jamal Bentahar

304 papers A* 2A 23B 19C 12Misc 1Journal 158Unranked 84

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Survey on Large Language Models for Communication, Network, and Service Management: Application Insights, Challenges, and Future Directions. IEEE Commun. Surv. Tutorials 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
2026	J	`jnl`	A two-sided client-server matching mechanism for resilient Federated Learning. J. Netw. Comput. Appl. Sani Umar, Ahmed Alagha, Rabeb Mizouni, Shakti Singh, Jamal Bentahar, Hadi Otrok
2026	J	`jnl`	Adaptive agentic meta-controller (AAMC): A deep reinforcement learning framework for intelligent SLM/LLM orchestration. Neurocomputing Gaith Rjoub, Jamal Bentahar, Shahed Bassam Almobydeen, Witold Pedrycz, Ahmad Irjoob
2026	J	`jnl`	AtlasPatch: Efficient Tissue Detection and High-throughput Patch Extraction for Computational Pathology at Scale. CoRR Ahmed Alagha, Christopher Leclerc, Yousef Kotp, Omar Metwally, Calvin Moras, Peter Rentopoulos, Ghodsiyeh Rostami, Bich Ngoc Nguyen, Jumanah Baig, Abdelhakim Khellaf, Vincent Quoc-Huy Trinh, Rabeb Mizouni, Hadi Otrok, Jamal Bentahar, Mahdi S. Hosseini
2026	J	`jnl`	FL-PBM: Pre-Training Backdoor Mitigation for Federated Learning. CoRR Osama Wehbi, Sarhad Arisdakessian, Omar Abdel Wahab, Azzam Mourad, Hadi Otrok, Jamal Bentahar
2026	J	`jnl`	HCGN: A Hierarchical Causal-Graph Network for sustainable communication and coordination in edge-fog systems. Simul. Model. Pract. Theory Shahed Bassam Almobydeen, Gaith Rjoub, Jamal Bentahar, Ahmad Irjoob, Muhammad Younas
2026	J	`jnl`	Predicting short-Term bike-Sharing demand at station level: A multi-Task dynamic graph-based spatiotemporal approach. Knowl. Based Syst. Shayan Nejadshamsi, Jamal Bentahar, Chun Wang, Ursula Eicker
2026	J	`jnl`	Reinforcement learning and the Metaverse: a symbiotic collaboration. Artif. Intell. Rev. Nada Elsokkary, Wasif Khan, Mohammed Shurrab, Rabeb Mizouni, Shakti Singh, Jamal Bentahar, Azzam Mourad, Hadi Otrok
2026	J	`jnl`	Trust verification in information fusion-based autonomous monitoring systems using 9-valued logic. Inf. Fusion Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz
2025	J	`jnl`	A Hybrid Swarm Intelligence Approach for Optimizing Multimodal Large Language Models Deployment in Edge-Cloud-based Federated Learning Environments. CoRR Gaith Rjoub, Hanae Elmekki, Saidul Islam, Jamal Bentahar, Rachida Dssouli
2025	B	`conf`	A RAG-Assisted DRL Framework for Microservices Deployment in 6G Vehicular Networks. WiMob Daniel Ayepah-Mensah, Amine Kidane Ghebreziabiher, Gordon Owusu Boateng, Rabeb Mizouni, Azzam Mourad, Hadi Otrok, Jamal Bentahar, Sami Muhaidat
2025	J	`jnl`	A geographic-semantic context-aware urban commuting flow prediction model using graph neural network. Expert Syst. Appl. Shayan Nejadshamsi, Jamal Bentahar, Ursula Eicker, Chun Wang, Faezeh Jamshidi
2025	J	`jnl`	A hybrid swarm intelligence approach for optimizing Multimodal Large Language Models deployment in edge-cloud-based Federated Learning environments. Comput. Commun. Gaith Rjoub, Hanae Elmekki, Saidul Islam, Jamal Bentahar, Rachida Dssouli
2025	J	`jnl`	A multi-modal unsupervised machine learning approach for biomedical signal processing during cardiopulmonary resuscitation. Inf. Sci. Saidul Islam, Jamal Bentahar, Robin Cohen, Gaith Rjoub
2025	J	`jnl`	AI-Powered Robust Interaction Force Control of a Cardiac Ultrasound Robotic System. IEEE Trans. Ind. Electron. Ehsan Zakeri, Amanda Spilkin, Hanae Elmekki, Antonela Zanuttini, Lyes Kadem, Jamal Bentahar, Wen-Fang Xie, Philippe Pibarot
2025	J	`jnl`	Adaptive Target Localization under Uncertainty using Multi-Agent Deep Reinforcement Learning with Knowledge Transfer. CoRR Ahmed Alagha, Rabeb Mizouni, Shakti Singh, Jamal Bentahar, Hadi Otrok
2025	J	`jnl`	Adaptive target localization under uncertainty using Multi-Agent Deep Reinforcement Learning with knowledge transfer. Internet Things Ahmed Alagha, Rabeb Mizouni, Shakti Singh, Jamal Bentahar, Hadi Otrok
2025	B	`conf`	Anchor Node-Based Trust Management for Reliable Data Fusion in Crowdsensing. IWCMC Sani Umar, Rabeb Mizouni, Shakti Singh, Hadi Otrok, Jamal Bentahar
2025	J	`jnl`	Blockchain-assisted Demonstration Cloning for Multi-Agent Deep Reinforcement Learning. CoRR Ahmed Alagha, Jamal Bentahar, Hadi Otrok, Shakti Singh, Rabeb Mizouni
2025	J	`jnl`	Blockchain-based Crowdsourced Deep Reinforcement Learning as a Service. CoRR Ahmed Alagha, Hadi Otrok, Shakti Singh, Rabeb Mizouni, Jamal Bentahar
2025	J	`jnl`	CACTUS: An Open Dataset and Framework for Automated Cardiac Assessment and Classification of Ultrasound Images Using Deep Transfer Learning. CoRR 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
2025	J	`jnl`	CACTUS: An open dataset and framework for automated Cardiac Assessment and Classification of Ultrasound images using deep transfer learning. Comput. Biol. Medicine 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
2025	J	`jnl`	Comprehensive Review of Reinforcement Learning for Medical Ultrasound Imaging. CoRR 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
2025	J	`jnl`	Comprehensive review of reinforcement learning for medical ultrasound imaging. Artif. Intell. Rev. 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
2025	J	`jnl`	Constrained Black-Box Attacks Against Multi-Agent Reinforcement Learning. CoRR Amine Andam, Jamal Bentahar, Mustapha Hedabou
2025	J	`jnl`	Correlated Topic Modeling for Short Texts in Spherical Embedding Spaces. IEEE Trans. Pattern Anal. Mach. Intell. Hafsa Ennajari, Nizar Bouguila, Jamal Bentahar
2025	J	`jnl`	Dandelion center detection in perennial ryegrass with Heat maps using Convolutional Neural Networks. Appl. Soft Comput. Ibrahim Babiker, Jamal Bentahar, Wen-Fang Xie
2025	J	`jnl`	End-to-End Framework Integrating Generative AI and Deep Reinforcement Learning for Autonomous Ultrasound Scanning. CoRR Hanae Elmekki, Amanda Spilkin, Ehsan Zakeri, Antonela Mariel Zanuttini, Ahmed Alagha, Hani Sami, Jamal Bentahar, Lyes Kadem, Wen-Fang Xie, Philippe Pibarot, Rabeb Mizouni, Hadi Otrok, Azzam Mourad, Sami Muhaidat
2025	J	`jnl`	Enhanced Dynamic Deep Q-Network for Federated Learning scheduling policies on IoT devices using explanation-driven trust. Knowl. Based Syst. Gaith Rjoub, Hanae Elmekki, Jamal Bentahar, Witold Pedrycz, Sofian Kassaymeh, Shahed Bassam Almobydeen, Rachida Dssouli
2025	J	`jnl`	GLo-MAPPO: A Multi-Agent Proximal Policy Optimization for Energy Efficiency in UAV-Assisted LoRa Networks. CoRR Abdullahi Isa Ahmed, Jamal Bentahar, El Mehdi Amhoud
2025	J	`jnl`	Machine learning innovations in CPR: a comprehensive survey on enhanced resuscitation techniques. Artif. Intell. Rev. Saidul Islam, Gaith Rjoub, Hanae Elmekki, Jamal Bentahar, Witold Pedrycz, Robin Cohen
2025	B	`conf`	Multi-Agent Deep Reinforcement Learning for Resource Management in On-Demand Environments. IWCMC Mario Chahoud, Hani Sami, Rabeb Mizouni, Hadi Otrok, Jamal Bentahar, Azzam Mourad, Chamseddine Talhi
2025	—	`conf`	Multivariate Bounded Support Kotz Mixture Model: Addressing Financial Fraud and Network Security Challenges. SNPD-Summer Tsega Weldu Araya, Muhammad Azam, Nizar Bouguila, Jamal Bentahar
2025	J	`jnl`	Multivariate bounded support Kotz mixture model with semi-supervised projected model-based clustering. Inf. Fusion Tsega Weldu Araya, Muhammad Azam, Nizar Bouguila, Jamal Bentahar
2025	J	`jnl`	On-Demand Model and Client Deployment in Federated Learning With Deep Reinforcement Learning. IEEE Internet Things J. Mario Chahoud, Hani Sami, Azzam Mourad, Hadi Otrok, Jamal Bentahar, Mohsen Guizani
2025	J	`jnl`	Poisoning Behavioral-based Worker Selection in Mobile Crowdsensing using Generative Adversarial Networks. CoRR Ruba Nasser, Ahmed Alagha, Shakti Singh, Rabeb Mizouni, Hadi Otrok, Jamal Bentahar
2025	J	`jnl`	Poisoning behavioral-based worker selection in mobile crowdsensing using generative adversarial networks. J. Netw. Comput. Appl. Ruba Nasser, Ahmed Alagha, Shakti Singh, Rabeb Mizouni, Hadi Otrok, Jamal Bentahar
2025	J	`jnl`	Reliable Crowdsourced Last Mile Delivery: Blockchain-Enabled Framework With Feedback. IEEE Trans. Intell. Transp. Syst. Esraa Odeh, Rabeb Mizouni, Shakti Singh, Hadi Otrok, Jamal Bentahar
2025	J	`jnl`	Reward shaping in DRL: A novel framework for adaptive resource management in dynamic environments. Inf. Sci. Mario Chahoud, Hani Sami, Rabeb Mizouni, Jamal Bentahar, Azzam Mourad, Hadi Otrok, Chamseddine Talhi
2025	—	`conf`	Towards On-Demand Metaverse Service Deployment in 6G Vehicular Networks Using Multimodal LLMs. INFOCOM WKSHPS Gordon Owusu Boateng, Amine Kidane Ghebreziabiher, Rabeb Mizouni, Azzam Mourad, Hadi Otrok, Jamal Bentahar, Sami Muhaidat
2025	J	`jnl`	Trust driven On-Demand scheme for client deployment in Federated Learning. Inf. Process. Manag. Mario Chahoud, Azzam Mourad, Hadi Otrok, Jamal Bentahar, Mohsen Guizani
2025	J	`jnl`	UAV-assisted Internet of Vehicles: A Framework Empowered by Reinforcement Learning and Blockchain. CoRR Ahmed Alagha, Maha Kadadha, Rabeb Mizouni, Shakti Singh, Jamal Bentahar, Hadi Otrok
2025	J	`jnl`	UAV-assisted Internet of vehicles: A framework empowered by reinforcement learning and Blockchain. Veh. Commun. Ahmed Alagha, Maha Kadadha, Rabeb Mizouni, Shakti Singh, Jamal Bentahar, Hadi Otrok
2024	J	`jnl`	A Multi-Modal Unsupervised Machine Learning Approach for Biomedical Signal Processing in CPR. CoRR Saidul Islam, Jamal Bentahar, Robin Cohen, Gaith Rjoub
2024	J	`jnl`	A Survey on Large Language Models for Communication, Network, and Service Management: Application Insights, Challenges, and Future Directions. CoRR 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
2024	J	`jnl`	A comprehensive survey on applications of transformers for deep learning tasks. Expert Syst. Appl. Saidul Islam, Hanae Elmekki, Ahmed Elsebai, Jamal Bentahar, Nagat Drawel, Gaith Rjoub, Witold Pedrycz
2024	J	`jnl`	Blockchain-Assisted Demonstration Cloning for Multiagent Deep Reinforcement Learning. IEEE Internet Things J. Ahmed Alagha, Jamal Bentahar, Hadi Otrok, Shakti Singh, Rabeb Mizouni
2024	J	`jnl`	Blockchain-based crowdsourced deep reinforcement learning as a service. Inf. Sci. Ahmed Alagha, Hadi Otrok, Shakti Singh, Rabeb Mizouni, Jamal Bentahar
2024	J	`jnl`	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. Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy
2024	B	`conf`	Enhancing IoT Intelligence: A Transformer-based Reinforcement Learning Methodology. IWCMC Gaith Rjoub, Saidul Islam, Jamal Bentahar, Mohammed Amin Almaiah, Rana Al-Rawashdeh
2024	J	`jnl`	Enhancing IoT Intelligence: A Transformer-based Reinforcement Learning Methodology. CoRR Gaith Rjoub, Saidul Islam, Jamal Bentahar, Mohammed Amin Almaiah, Rana Al-Rawashdeh
2024	J	`jnl`	LearnChain: Transparent and cooperative reinforcement learning on Blockchain. Future Gener. Comput. Syst. Hani Sami, Rabeb Mizouni, Hadi Otrok, Shakti Singh, Jamal Bentahar, Azzam Mourad
2024	J	`jnl`	MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment. Expert Syst. Appl. Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz
2024	J	`jnl`	Machine Learning Innovations in CPR: A Comprehensive Survey on Enhanced Resuscitation Techniques. CoRR Saidul Islam, Gaith Rjoub, Hanae Elmekki, Jamal Bentahar, Witold Pedrycz, Robin Cohen
2024	J	`jnl`	Model checking combined trust and commitments in Multi-Agent Systems. Expert Syst. Appl. Narges Baharloo, Jamal Bentahar, Nagat Drawel, Witold Pedrycz
2024	J	`jnl`	Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments. Inf. Fusion Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz, Nagat Drawel
2024	J	`jnl`	Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings. Inf. Fusion Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz
2024	J	`jnl`	Multimodal Deep Reinforcement Learning for Visual Security of Virtual Reality Applications. IEEE Internet Things J. Amine Andam, Jamal Bentahar, Mustapha Hedabou
2024	C	`conf`	Multivariate Bounded Support Kotz Mixture Model with Minimum Message Length Criterion. ISNCC Tsega Weldu Araya, Muhammad Azam, Nizar Bouguila, Jamal Bentahar
2024	J	`jnl`	On-Demand Model and Client Deployment in Federated Learning with Deep Reinforcement Learning. CoRR Mario Chahoud, Hani Sami, Azzam Mourad, Hadi Otrok, Jamal Bentahar, Mohsen Guizani
2024	J	`jnl`	The Metaverse: Survey, Trends, Novel Pipeline Ecosystem & Future Directions. IEEE Commun. Surv. Tutorials 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
2024	J	`jnl`	Trust Driven On-Demand Scheme for Client Deployment in Federated Learning. CoRR Mario Chahoud, Azzam Mourad, Hadi Otrok, Jamal Bentahar, Mohsen Guizani
2024	J	`jnl`	Trust-Augmented Deep Reinforcement Learning for Federated Learning Client Selection. Inf. Syst. Frontiers Gaith Rjoub, Omar Abdel Wahab, Jamal Bentahar, Robin Cohen, Ahmed Saleh Bataineh
2024	J	`jnl`	Trust-driven reinforcement selection strategy for federated learning on IoT devices. Computing Gaith Rjoub, Omar Abdel Wahab, Jamal Bentahar, Ahmed Saleh Bataineh
2024	J	`jnl`	Verifying trust over IoT-ad hoc network-based applications under uncertainty. Ad Hoc Networks Narges Baharloo, Jamal Bentahar, Ghalya Alwhishi, Nagat Drawel, Witold Pedrycz
2023	J	`jnl`	A Comprehensive Survey on Applications of Transformers for Deep Learning Tasks. CoRR Saidul Islam, Hanae Elmekki, Ahmed Elsebai, Jamal Bentahar, Nagat Drawel, Gaith Rjoub, Witold Pedrycz
2023	J	`jnl`	A Survey on Explainable Artificial Intelligence for Cybersecurity. IEEE Trans. Netw. Serv. Manag. Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Rabeb Mizouni, Alyssa Song, Robin Cohen, Hadi Otrok, Azzam Mourad
2023	J	`jnl`	A Survey on Explainable Artificial Intelligence for Network Cybersecurity. CoRR Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Rabeb Mizouni, Alyssa Song, Robin Cohen, Hadi Otrok, Azzam Mourad
2023	J	`jnl`	A reinforcement learning model for the reliability of blockchain oracles. Expert Syst. Appl. Mona Taghavi, Jamal Bentahar, Hadi Otrok, Kaveh Bakhtiyari
2023	J	`jnl`	Combining Knowledge Graph and Word Embeddings for Spherical Topic Modeling. IEEE Trans. Neural Networks Learn. Syst. Hafsa Ennajari, Nizar Bouguila, Jamal Bentahar
2023	J	`jnl`	Deep reinforcement learning for the computation offloading in MIMO-based Edge Computing. Ad Hoc Networks Abdeladim Sadiki, Jamal Bentahar, Rachida Dssouli, Abdeslam En-Nouaary, Hadi Otrok
2023	B	`conf`	Explainable Trust-aware Selection of Autonomous Vehicles Using LIME for One-Shot Federated Learning. IWCMC Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab
2023	—	`conf`	Granular Traceability Between Requirements and Test Cases for Safety-Critical Software Systems. MobiWIS Mounia Elqortobi, Amine Rahj, Jamal Bentahar
2023	J	`jnl`	Guest Editorial: Special Section on the Latest Developments in Federated Learning for the Management of Networked Systems and Resources. IEEE Trans. Netw. Serv. Manag. Azzam Mourad, Hadi Otrok, Ernesto Damiani, Mérouane Debbah, Nadra Guizani, Shiqiang Wang, Guangjie Han, Rabeb Mizouni, Jamal Bentahar, Chamseddine Talhi
2023	B	`conf`	Multi-valued Model Checking A Smart Glucose Monitoring System with Trust. IWCMC Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi
2023	J	`jnl`	Multiagent Deep Reinforcement Learning With Demonstration Cloning for Target Localization. IEEE Internet Things J. Ahmed Alagha, Rabeb Mizouni, Jamal Bentahar, Hadi Otrok, Shakti Singh
2023	J	`jnl`	On-Demand-FL: A Dynamic and Efficient Multicriteria Federated Learning Client Deployment Scheme. IEEE Internet Things J. Mario Chahoud, Hani Sami, Azzam Mourad, Safa Otoum, Hadi Otrok, Jamal Bentahar, Mohsen Guizani
2023	J	`jnl`	Opportunistic UAV Deployment for Intelligent On-Demand IoV Service Management. IEEE Trans. Netw. Serv. Manag. Hani Sami, Reem Saado, Ahmad El Saoudi, Azzam Mourad, Hadi Otrok, Jamal Bentahar
2023	J	`jnl`	Reinforcement Learning Framework for Server Placement and Workload Allocation in Multiaccess Edge Computing. IEEE Internet Things J. Anahita Mazloomi, Hani Sami, Jamal Bentahar, Hadi Otrok, Azzam Mourad
2023	J	`jnl`	Reward shaping using convolutional neural network. Inf. Sci. Hani Sami, Hadi Otrok, Jamal Bentahar, Azzam Mourad, Ernesto Damiani
2023	—	`ed.`	The International Conference on Deep Learning, Big Data and Blockchain (DBB 2022), Rome, Italy, 22-24 August 2022. DBB Irfan Awan, Muhammad Younas, Jamal Bentahar, Salima Benbernou
2023	J	`jnl`	The Metaverse: Survey, Trends, Novel Pipeline Ecosystem & Future Directions. CoRR 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
2023	B	`conf`	Towards On-Demand Deployment of Multiple Clients and Heterogeneous Models in Federated Learning. IWCMC Mario Chahoud, Hani Sami, Azzam Mourad, Hadi Otrok, Jamal Bentahar, Mohsen Guizani
2022	—	`conf`	Active Federated YOLOR Model for Enhancing Autonomous Vehicles Safety. MobiWIS Gaith Rjoub, Jamal Bentahar, Y A Joarder
2022	J	`jnl`	Cloud Computing as a Platform for Monetizing Data Services: A Two-Sided Game Business Model. IEEE Trans. Netw. Serv. Manag. Ahmed Saleh Bataineh, Jamal Bentahar, Rabeb Mizouni, Omar Abdel Wahab, Gaith Rjoub, May El Barachi
2022	J	`jnl`	Demand-Driven Deep Reinforcement Learning for Scalable Fog and Service Placement. IEEE Trans. Serv. Comput. Hani Sami, Azzam Mourad, Hadi Otrok, Jamal Bentahar
2022	B	`conf`	Embedded Spherical Topic Models for Supervised Learning. ICPR Hafsa Ennajari, Nizar Bouguila, Jamal Bentahar
2022	B	`conf`	Explainable AI-based Federated Deep Reinforcement Learning for Trusted Autonomous Driving. IWCMC Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab
2022	J	`jnl`	Federated against the cold: A trust-based federated learning approach to counter the cold start problem in recommendation systems. Inf. Sci. Omar Abdel Wahab, Gaith Rjoub, Jamal Bentahar, Robin Cohen
2022	J	`jnl`	Formal verification of group and propagated trust in multi-agent systems. Auton. Agents Multi Agent Syst. Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub
2022	J	`jnl`	Graph convolutional recurrent networks for reward shaping in reinforcement learning. Inf. Sci. Hani Sami, Jamal Bentahar, Azzam Mourad, Hadi Otrok, Ernesto Damiani
2022	A	`conf`	Knowledge-enhanced Spherical Representation Learning for Text Classification. SDM Hafsa Ennajari, Nizar Bouguila, Jamal Bentahar
2022	—	`conf`	Model Checking Intelligent Information Systems with 3-Valued Timed Commitments. MobiWIS Ghalya Alwhishi, Nagat Drawel, Jamal Bentahar
2022	J	`jnl`	ON-DEMAND-FL: A Dynamic and Efficient Multi-Criteria Federated Learning Client Deployment Scheme. CoRR Mario Chahoud, Hani Sami, Azzam Mourad, Safa Otoum, Hadi Otrok, Jamal Bentahar, Mohsen Guizani
2022	—	`conf`	One-Shot Federated Learning-based Model-Free Reinforcement Learning. DBB Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Nagat Drawel
2022	A	`conf`	Quantitative Group Trust: A Two-Stage Verification Approach. AAMAS Jamal Bentahar, Nagat Drawel, Abdeladim Sadiki
2022	B	`conf`	Reasoning about Uncertainty over IoT Systems. IWCMC Ghalya Alwhishi, Jamal Bentahar, Nagat Drawel
2022	J	`jnl`	Reinforcement Learning Framework for Server Placement and Workload Allocation in Multi-Access Edge Computing. CoRR Anahita Mazloomi, Hani Sami, Jamal Bentahar, Hadi Otrok, Azzam Mourad
2022	J	`jnl`	Reward Shaping Using Convolutional Neural Network. CoRR Hani Sami, Hadi Otrok, Jamal Bentahar, Azzam Mourad, Ernesto Damiani
2022	J	`jnl`	Target localization using Multi-Agent Deep Reinforcement Learning with Proximal Policy Optimization. Future Gener. Comput. Syst. Ahmed Alagha, Shakti Singh, Rabeb Mizouni, Jamal Bentahar, Hadi Otrok
2022	—	`conf`	Three-Valued Model Checking Smart Contract Systems with Trust Under Uncertainty. DBB Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi
2022	J	`jnl`	Transformation-based model checking temporal trust in multi-agent systems. J. Syst. Softw. Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy
2022	—	`conf`	Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty. FiCloud Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi
2021	J	`jnl`	AI-Based Resource Provisioning of IoE Services in 6G: A Deep Reinforcement Learning Approach. IEEE Trans. Netw. Serv. Manag. Hani Sami, Hadi Otrok, Jamal Bentahar, Azzam Mourad
2021	—	`conf`	Cloud as platform for monetizing complementary data for AI-driven services: A two-sided cooperative game. SCC Ahmed Saleh Bataineh, Jamal Bentahar, Omar Abdel Wahab, Rabeb Mizouni, Gaith Rjoub
2021	J	`jnl`	Cloud computing as a platform for monetizing data services: A two-sided game business model. CoRR Ahmed Saleh Bataineh, Jamal Bentahar, Rabeb Mizouni, Omar Abdel Wahab, Gaith Rjoub, May El Barachi
2021	J	`jnl`	Deep and reinforcement learning for automated task scheduling in large-scale cloud computing systems. Concurr. Comput. Pract. Exp. Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Ahmed Saleh Bataineh
2021	J	`jnl`	Enabling Secure Trustworthiness Assessment and Privacy Protection in Integrating Data for Trading Person-Specific Information. IEEE Trans. Engineering Management Rashid Hussain Khokhar, Farkhund Iqbal, Benjamin C. M. Fung, Jamal Bentahar
2021	—	`conf`	Improving Autonomous Vehicles Safety in Snow Weather Using Federated YOLO CNN Learning. MobiWIS Gaith Rjoub, Omar Abdel Wahab, Jamal Bentahar, Ahmed Saleh Bataineh
2021	—	`ed.`	Mobile Web and Intelligent Information Systems - 17th International Conference, MobiWIS 2021, Virtual Event, August 23-25, 2021, Proceedings MobiWIS Jamal Bentahar, Irfan Awan, Muhammad Younas, Tor-Morten Grønli
2021	J	`jnl`	Model checking agent-based communities against uncertain group commitments and knowledge. Expert Syst. Appl. Khalid Sultan, Jamal Bentahar, Hamdi Yahyaoui, Rabeb Mizouni
2021	J	`jnl`	Multi-dimensional trust for context-aware services computing. Expert Syst. Appl. Afaf Mousa, Jamal Bentahar, Omar Alam
2021	J	`jnl`	Resource-Aware Detection and Defense System against Multi-Type Attacks in the Cloud: Repeated Bayesian Stackelberg Game. IEEE Trans. Dependable Secur. Comput. Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad
2020	J	`jnl`	A Blockchain-Based Model for Cloud Service Quality Monitoring. IEEE Trans. Serv. Comput. Mona Taghavi, Jamal Bentahar, Hadi Otrok, Kaveh Bakhtiyari
2020	J	`jnl`	A Crowd-Sensing Framework for Allocation of Time-Constrained and Location-Based Tasks. IEEE Trans. Serv. Comput. Rebeca Estrada, Rabeb Mizouni, Hadi Otrok, Anis Ouali, Jamal Bentahar
2020	A	`conf`	A Game-Based Secure Trading of Big Data and IoT Services: Blockchain as a Two-Sided Market. ICSOC Ahmed Saleh Bataineh, Jamal Bentahar, Omar Abdel Wahab, Rabeb Mizouni, Gaith Rjoub
2020	A	`conf`	A Trust and Energy-Aware Double Deep Reinforcement Learning Scheduling Strategy for Federated Learning on IoT Devices. ICSOC Gaith Rjoub, Omar Abdel Wahab, Jamal Bentahar, Ahmed Saleh Bataineh
2020	J	`jnl`	A two-level solution to fight against dishonest opinions in recommendation-based trust systems. CoRR Omar Abdel Wahab, Jamal Bentahar, Robin Cohen, Hadi Otrok, Azzam Mourad
2020	J	`jnl`	AI, Blockchain, and Vehicular Edge Computing for Smart and Secure IoV: Challenges and Directions. IEEE Internet Things Mag. Ahmad Hammoud, Hani Sami, Azzam Mourad, Hadi Otrok, Rabeb Mizouni, Jamal Bentahar
2020	J	`jnl`	An endorsement-based trust bootstrapping approach for newcomer cloud services. Inf. Sci. Omar Abdel Wahab, Robin Cohen, Jamal Bentahar, Hadi Otrok, Azzam Mourad, Gaith Rjoub
2020	J	`jnl`	BigTrustScheduling: Trust-aware big data task scheduling approach in cloud computing environments. Future Gener. Comput. Syst. Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab
2020	A	`conf`	Computationally Grounded Quantitative Trust with Time. AAMAS Nagat Drawel, Jamal Bentahar, Hongyang Qu
2020	J	`jnl`	Dynamic formation of service communities in the cloud under distribution and incomplete information settings. Concurr. Comput. Pract. Exp. Ehsan Khosrowshahi Asl, Jamal Bentahar, Rebeca Estrada, Hadi Otrok, Rabeb Mizouni, Babak Khosravifar
2020	B	`conf`	FScaler: Automatic Resource Scaling of Containers in Fog Clusters Using Reinforcement Learning. IWCMC Hani Sami, Azzam Mourad, Hadi Otrok, Jamal Bentahar
2020	A*	`conf`	Formalizing Group and Propagated Trust in Multi-Agent Systems. IJCAI Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub
2020	J	`jnl`	Model checking intelligent avionics systems for test cases generation using multi-agent systems. Expert Syst. Appl. Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Mounia Elqortobi, Amine Laarej, Rachida Dssouli
2020	J	`jnl`	Optimal Load Distribution for the Detection of VM-Based DDoS Attacks in the Cloud. IEEE Trans. Serv. Comput. Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad
2020	J	`jnl`	Specification and automatic verification of trust-based multi-agent systems. Future Gener. Comput. Syst. Nagat Drawel, Hongyang Qu, Jamal Bentahar, Elhadi M. Shakshuki
2020	—	`conf`	Test Generation Tool for Modified Condition/Decision Coverage: Model Based Testing. SITA Mounia Elqortobi, Amine Rahj, Jamal Bentahar, Rachida Dssouli
2020	J	`jnl`	Toward monetizing personal data: A two-sided market analysis. Future Gener. Comput. Syst. Ahmed Saleh Bataineh, Rabeb Mizouni, Jamal Bentahar, May El Barachi
2020	J	`jnl`	Two-stage game theoretical framework for IaaS market share dynamics. Future Gener. Comput. Syst. Mona Taghavi, Jamal Bentahar, Hadi Otrok
2020	J	`jnl`	Verification and testing of safety-critical airborne systems: A model-based methodology. Comput. Sci. Inf. Syst. Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli
2019	J	`jnl`	Context-aware composite SaaS using feature model. Future Gener. Comput. Syst. Afaf Mousa, Jamal Bentahar, Omar Alam
2019	—	`conf`	Deep Smart Scheduling: A Deep Learning Approach for Automated Big Data Scheduling Over the Cloud. FiCloud Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Ahmed Saleh Bataineh
2019	—	`conf`	Dependency Network-based Trust Management for Context-Aware Web Services. ANT/EDI40 Afaf Mousa, Jamal Bentahar, Omar Alam
2019	J	`jnl`	From use case maps to executable test procedures: a scenario-based approach. Softw. Syst. Model. Nader Kesserwan, Rachida Dssouli, Jamal Bentahar, Bernard Stepien, Pierre Labrèche
2019	J	`jnl`	Introduction to the Special Section on Artificial Intelligence for Smart Systems. Comput. Electr. Eng. Imran Sarwar Bajwa, Anna Helena Reali Costa, Jamal Bentahar
2019	J	`jnl`	Introduction to the Special Section on Trust and AI. ACM Trans. Internet Techn. Jie Zhang, Jamal Bentahar, Rino Falcone, Timothy J. Norman, Murat Sensoy
2019	J	`jnl`	On the Detection of Passive Malicious Providers in Cloud Federations. IEEE Commun. Lett. Ahmad Hammoud, Hadi Otrok, Azzam Mourad, Omar Abdel Wahab, Jamal Bentahar
2018	A	`conf`	Cloudchain: A Blockchain-Based Coopetition Differential Game Model for Cloud Computing. ICSOC Mona Taghavi, Jamal Bentahar, Hadi Otrok, Kaveh Bakhtiyari
2018	—	`conf`	Keynote II. FNC/MobiSPC Jamal Bentahar
2018	J	`jnl`	Model checking real-time conditional commitment logic using transformation. J. Syst. Softw. Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Amine Laarej
2018	—	`conf`	Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. MEDI Workshops Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli
2018	—	`conf`	Multi-Objective Self-Adaptive Composite SaaS Using Feature Model. FiCloud Afaf Mousa, Jamal Bentahar, Omar Alam
2018	J	`jnl`	New Insights Towards Developing Recommender Systems. Comput. J. Mona Taghavi, Jamal Bentahar, Kaveh Bakhtiyari, Chihab Hanachi
2018	J	`jnl`	Towards Trustworthy Multi-Cloud Services Communities: A Trust-Based Hedonic Coalitional Game. IEEE Trans. Serv. Comput. Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad
2018	—	`conf`	Verifying Temporal Trust Logic using CTL Model Checking. TRUST@AAMAS Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej
2017	—	`ed.`	5th IEEE International Conference on Future Internet of Things and Cloud, FiCloud 2017, Prague, Czech Republic, August 21-23, 2017 FiCloud Muhammad Younas, Markus Aleksy, Jamal Bentahar
2017	J	`jnl`	Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey. Adv. Comput. Rachida Dssouli, Ahmed Khoumsi, Mounia Elqortobi, Jamal Bentahar
2017	—	`conf`	Cloud Task Scheduling Based on Swarm Intelligence and Machine Learning. FiCloud Gaith Rjoub, Jamal Bentahar
2017	—	`conf`	Framework for Dynamic Web Services Composition Guided by Live Testing. AFRICATEK Mounia Elqortobi, Jamal Bentahar, Rachida Dssouli
2017	A	`conf`	I Know You Are Watching Me: Stackelberg-Based Adaptive Intrusion Detection Strategy for Insider Attacks in the Cloud. ICWS Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad
2017	—	`conf`	Modernization of Legacy Software Tests to Model-Driven Testing. AFRICATEK Nader Kesserwan, Rachida Dssouli, Jamal Bentahar
2017	A	`conf`	On the Effects of User Ratings on the Profitability of Cloud Services. ICWS Mona Taghavi, Jamal Bentahar, Hadi Otrok, Omar Abdel Wahab, Azzam Mourad
2017	—	`conf`	Reasoning about Trust and Time in a System of Agents. ANT/SEIT Nagat Drawel, Jamal Bentahar, Elhadi M. Shakshuki
2017	J	`jnl`	Refined game-theoretic approach to improve authenticity of outsourced databases. J. Ambient Intell. Humaniz. Comput. Faryed Eltayesh, Jamal Bentahar, Rabeb Mizouni, Hadi Otrok, Elhadi M. Shakshuki
2017	J	`jnl`	SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication. Fundam. Informaticae Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
2017	J	`jnl`	Specifying and verifying contract-driven service compositions using commitments and model checking. Expert Syst. Appl. Ahmed Saleh Bataineh, Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli
2017	Misc	`conf`	Verifiable outsourced database in the cloud using game theory. SAC Faryed Eltayesh, Jamal Bentahar
2016	J	`jnl`	A Stackelberg game for distributed formation of business-driven services communities. Expert Syst. Appl. Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad
2016	—	`conf`	An Efficient QoS-aware Web Services Selection Using Social Spider Algorithm. FNC/MobiSPC Afaf Mousa, Jamal Bentahar
2016	J	`jnl`	CEAP: SVM-based intelligent detection model for clustered vehicular ad hoc networks. Expert Syst. Appl. Omar Abdel Wahab, Azzam Mourad, Hadi Otrok, Jamal Bentahar
2016	—	`conf`	How to Distribute the Detection Load among Virtual Machines to Maximize the Detection of Distributed Attacks in the Cloud? SCC Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad
2016	—	`conf`	Monetizing Personal Data: A Two-Sided Market Approach. ANT/SEIT Ahmed Saleh Bataineh, Rabeb Mizouni, May El Barachi, Jamal Bentahar
2016	J	`jnl`	On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems. Expert Syst. Appl. Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan
2016	—	`conf`	Preface. FNC/MobiSPC Ansar-Ul-Haque Yasar, Jamal Bentahar
2016	J	`jnl`	Privacy-preserving data mashup model for trading person-specific information. Electron. Commer. Res. Appl. Rashid Hussain Khokhar, Benjamin C. M. Fung, Farkhund Iqbal, Dima Alhadidi, Jamal Bentahar
2016	J	`jnl`	Trust and Reputation of Web Services Through QoS Correlation Lens. IEEE Trans. Serv. Comput. Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar
2016	J	`jnl`	Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications. Appl. Intell. Wei Wan, Jamal Bentahar, Hamdi Yahyaoui, Abdessamad Ben Hamza
2015	—	`conf`	A Cooperative Detection Model Based on Artificial Neural Network for VANET QoS-OLSR Protocol. ICUWB Amjad El Khatib, Azzam Mourad, Hadi Otrok, Omar Abdel Wahab, Jamal Bentahar
2015	J	`jnl`	A survey on trust and reputation models for Web services: Single, composite, and communities. Decis. Support Syst. Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad
2015	—	`conf`	Automatic Transformation of Cloud Computing Service Composition to Verifiable Models. FiCloud Ana Vazquez, Mohamed El-Menshawy, Jamal Bentahar
2015	J	`jnl`	Computational logics and verification techniques of multi-agent commitments: survey. Knowl. Eng. Rev. Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Pinar Yolum, Rachida Dssouli
2015	J	`jnl`	Decision making under subjective uncertainty in argumentation-based agent negotiation. J. Ambient Intell. Humaniz. Comput. Omar Marey, Jamal Bentahar, Ehsan Khosrowshahi Asl, Khalid Sultan, Rachida Dssouli
2015	J	`jnl`	Efficient Community Formation for Web Services. IEEE Trans. Serv. Comput. Ehsan Khosrowshahi Asl, Jamal Bentahar, Hadi Otrok, Rabeb Mizouni
2015	J	`jnl`	Formal Specification and Automatic Verification of Conditional Commitments. IEEE Intell. Syst. Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
2015	—	`conf`	Misbehavior Detection Framework for Community-Based Cloud Computing. FiCloud Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad
2015	J	`jnl`	Model checking temporal knowledge and commitments in multi-agent systems using reduction. Simul. Model. Pract. Theory Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan, Wei Wan, Ehsan Khosrowshahi Asl
2015	—	`conf`	Modeling and Forecasting Time Series of Compositional Data: A Generalized Dirichlet Power Steady Model. SUM Mohamad Mehdi, Elise Epaillard, Nizar Bouguila, Jamal Bentahar
2015	—	`conf`	Modelling Multi-agent Systems with Category Theory. ANT/SEIT Olga Ormandjieva, Jamal Bentahar, Jinzi Huang, Heng Kuang
2015	B	`conf`	Real-Time Conditional Commitment Logic. PRIMA Warda El Kholy, Mohamed El-Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar, Rachida Dssouli
2014	C	`conf`	A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs. SoMeT Khalid Sultan, Jamal Bentahar, Omar Marey
2014	B	`conf`	Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation. ICTAI Mohamed Mbarki, Omar Marey, Jamal Bentahar, Khalid Sultan
2014	—	`conf`	Agents' Uncertainty in Argumentation-based Negotiation: Classification and Implementation. ANT/SEIT Omar Marey, Jamal Bentahar, Ehsan Khosrowshahi Asl, Mohamed Mbarki, Rachida Dssouli
2014	J	`jnl`	Conditional Commitments: Reasoning and Model Checking. ACM Trans. Softw. Eng. Methodol. Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
2014	B	`conf`	Cooperative cross layer detection for blackhole attack in VANET-OLSR. IWCMC Raghad Baiad, Hadi Otrok, Sami Muhaidat, Jamal Bentahar
2014	A	`conf`	Correlated multi-dimensional qos metrics for trust evaluation within web services. AAMAS Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar
2014	J	`jnl`	Intelligent Consensus Modeling for ProlineCis-Trans Isomerization Prediction. IEEE ACM Trans. Comput. Biol. Bioinform. Paul D. Yoo, Sami Muhaidat, Kamal Taha, Jamal Bentahar, Abdallah Shami
2014	J	`jnl`	Measuring and analyzing agents' uncertainty in argumentation-based negotiation dialogue games. Expert Syst. Appl. Omar Marey, Jamal Bentahar, Rachida Dssouli, Mohamed Mbarki
2014	J	`jnl`	Model checking probabilistic social commitments for intelligent agent communication. Appl. Soft Comput. Khalid Sultan, Jamal Bentahar, Mohamed El-Menshawy
2014	J	`jnl`	Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols. Expert Syst. Appl. Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
2014	J	`jnl`	Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments. Expert Syst. Appl. Khalid Sultan, Jamal Bentahar, Wei Wan, Faisal Al-Saqqar
2014	J	`jnl`	On the interaction between knowledge and social commitments in multi-agent systems. Appl. Intell. Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan, Mohamed El-Menshawy
2014	J	`jnl`	Probabilistic approach for QoS-aware recommender system for trustworthy web service selection. Appl. Intell. Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar
2014	—	`conf`	QoS-Based Reputation Feedback Fusion under Unknown Correlation. ICAIS Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar
2014	—	`conf`	Reputation in Communities of Agent-Based Web Services Through Data Mining. ADMI Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar
2014	—	`conf`	Social Network-Based Framework for Web Services Discovery. FiCloud Hiba Fallatah, Jamal Bentahar, Ehsan Khosrowshahi Asl
2014	J	`jnl`	To compete or cooperate? This is the question in communities of autonomous services. Expert Syst. Appl. Ehsan Khosrowshahi Asl, Jamal Bentahar, Rabeb Mizouni, Babak Khosravifar, Hadi Otrok
2014	A	`conf`	Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. ICWS Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
2013	A	`conf`	A QoS-Based Trust Approach for Service Selection and Composition via Bayesian Networks. ICWS Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar
2013	J	`jnl`	Agent-based game-theoretic model for collaborative web services: Decision making analysis. Expert Syst. Appl. Babak Khosravifar, Jamal Bentahar, Rabeb Mizouni, Hadi Otrok, Mahsa Alishahi, Philippe Thiran
2013	—	`conf`	Efficient Coalition Formation for Web Services. IEEE SCC Ehsan Khosrowshahi Asl, Jamal Bentahar, Hadi Otrok, Rabeb Mizouni
2013	—	`conf`	Fair resource allocation and control in multi-operator GPON access networks. WMNC Hamada Alshaer, Jamal Bentahar, Mohamed Manoufali, Mohamed Alyafei
2013	J	`jnl`	Introduction to the special section on agent communication. ACM Trans. Intell. Syst. Technol. Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Frank Dignum
2013	J	`jnl`	Model checking epistemic-probabilistic logic using probabilistic interpreted systems. Knowl. Based Syst. Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza
2013	A	`conf`	On the analysis of joining communities of agent-basedweb services. AAMAS Jamal Bentahar, Babak Khosravifar, Kathleen Clacens, Christophe Goffart, Philippe Thiran
2013	C	`conf`	Reasoning about social commitments in the presence of uncertainty. SoMeT Khalid Sultan, Mohamed El-Menshawy, Jamal Bentahar
2013	J	`jnl`	Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Auton. Agents Multi Agent Syst. Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli
2013	A	`conf`	Representing and reasoning about communicative conditional commitments. AAMAS Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
2013	J	`jnl`	Research directions in agent communication. ACM Trans. Intell. Syst. Technol. Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Marco Colombetti, Frank Dignum, Nicoletta Fornara, Andrew J. I. Jones, Munindar P. Singh, Pinar Yolum
2013	J	`jnl`	Symbolic model checking composite Web services using operational and control behaviors. Expert Syst. Appl. Jamal Bentahar, Hamdi Yahyaoui, Melissa Kova, Zakaria Maamar
2013	J	`jnl`	Uncertainty-Based Trust estimation in a Multi-Valued Trust Environment. Int. J. Artif. Intell. Tools Sina Honari, Brigitte Jaumard, Jamal Bentahar
2013	J	`jnl`	Verifying conformance of multi-agent commitment-based protocols. Expert Syst. Appl. Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli
2012	—	`conf`	An Approach on Merging Agents' Trust Distributions in a Possibilitic Domain. ICAART (Revised Selected Papers) Sina Honari, Brigitte Jaumard, Jamal Bentahar
2012	A	`conf`	Analyzing Coopetition Strategies of Services within Communities. ICSOC Babak Khosravifar, Mahsa Alishahi, Ehsan Khosrowshahi Asl, Jamal Bentahar, Rabeb Mizouni, Hadi Otrok
2012	J	`jnl`	CRM: An efficient trust and reputation model for agent computing. Knowl. Based Syst. Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi, Rafiul Alam
2012	J	`jnl`	Communicative commitments: Model checking and complexity analysis. Knowl. Based Syst. Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
2012	—	`conf`	Merging Successive Possibility Distributions for Trust Estimation under Uncertainty in Multi-agent Systems. ICAART (1) Sina Honari, Brigitte Jaumard, Jamal Bentahar
2012	—	`conf`	On the Analysis of Satisfaction for Web Services Selection. IEEE SCC Erbin Lim, Philippe Thiran, Zakaria Maamar, Jamal Bentahar
2012	J	`jnl`	On the analysis of reputation for agent-based web services. Expert Syst. Appl. Jamal Bentahar, Babak Khosravifar, Mohamed Adel Serhani, Mahsa Alishahi
2012	C	`conf`	Quantitative Model Checking of Knowledge. SoMeT Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza
2012	J	`jnl`	Scheduling Reputation Maintenance in Agent-based Communities Using Game Theory. J. Softw. Mohamed Amine M'hamdi, Jamal Bentahar
2012	A	`conf`	Trustworthy Web Service Selection Using Probabilistic Models. ICWS Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar
2011	—	`conf`	A Game Theoretic Approach for Analyzing the Efficiency of Web Services in Collaborative Networks. IEEE SCC Babak Khosravifar, Mahsa Alishahi, Jamal Bentahar, Philippe Thiran
2011	—	`conf`	A New Approach for Quality Enforcement in Communities of Web Services. IEEE SCC Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, Jamal Bentahar
2011	—	`conf`	Collusion-Resistant Reputation Mechanism for Multi-Agents Systems. ANT/MobiWIS Babak Khosravifar, Jamal Bentahar, Mahsa Alishahi, Maziar Gomrokchi
2011	A	`conf`	Game-Theoretic Analysis of a Web Services Collaborative Mechanism. ICSOC Babak Khosravifar, Jamal Bentahar, Kathleen Clacens, Christophe Goffart, Philippe Thiran
2011	—	`conf`	Model Checking Commitment Protocols. IEA/AIE (2) Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
2011	—	`conf`	Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems. IEA/AIE (2) Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza
2011	C	`conf`	Model Checking Single Web Services using Markov Chains and MDPs. SoMeT Giti Oghabi, Jamal Bentahar, Abdelghani Benharref
2011	C	`conf`	On the Argumentative Agent Types and Negotiation. SoMeT Mohamed Mbarki, Jamal Bentahar, Bernard Moulin
2011	A	`conf`	On the Verification of Behavioral and Probabilistic Web Services Using Transformation. ICWS Giti Oghabi, Jamal Bentahar, Abdelghani Benharref
2011	A	`conf`	On the verification of social commitments and time. AAMAS Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
2011	—	`conf`	Online monitoring for sustainable communities of Web Services. Integrated Network Management Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, Jamal Bentahar
2011	B	`conf`	Under Uncertainty Trust Estimation through Unknown Agents, in a Multi-valued Trust Environment. ICTAI Sina Honari, Brigitte Jaumard, Jamal Bentahar
2011	—	`conf`	Using 3-Way Satisfaction for Web Service Selection: Preliminary Investigation. IEEE SCC Erbin Lim, Philippe Thiran, Zakaria Maamar, Jamal Bentahar
2010	—	`conf`	A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework. ASAP Heng Kuang, Olga Ormandjieva, Stan Klasa, Jamal Bentahar
2010	—	`conf`	A managerial community of Web Services for management of communities of Web Services. NOTERE Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, Jamal Bentahar
2010	J	`jnl`	A taxonomy of argumentation models used for knowledge representation. Artif. Intell. Rev. Jamal Bentahar, Bernard Moulin, Micheline Bélanger
2010	A	`conf`	An agent communication protocol for resolving conflicts. AAMAS Jamal Bentahar
2010	J	`jnl`	Analyzing Communities of Web Services Using Incentives. Int. J. Web Serv. Res. Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Philippe Thiran
2010	—	`conf`	Analyzing Communities vs. Single Agent-Based Web Services: Trust Perspectives. IEEE SCC Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Zakaria Maamar, Philippe Thiran
2010	A	`conf`	Analyzing the Relationships between some Parameters of Web Services Reputation. ICWS Babak Khosravifar, Jamal Bentahar, Ahmad Moazin
2010	—	`ed.`	Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers DALT Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd
2010	C	`conf`	Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems. SoMeT Heng Kuang, Jamal Bentahar, Olga Ormandjieva, Nassir Shafieidizaji, Stan Klasa
2010	—	`conf`	Modeling and Verifying Agent-Based Communities of Web Services. IEA/AIE (2) Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza
2010	—	`conf`	Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. KES-AMSTA (2) Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
2010	A*	`conf`	On the Reputation of Agent-Based Web Services. AAAI Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Philippe Thiran
2010	J	`jnl`	Separating Operational and Control Behaviors: A New Approach to Web Services Modeling. IEEE Internet Comput. Quan Z. Sheng, Zakaria Maamar, Hamdi Yahyaoui, Jamal Bentahar, Khouloud Boukadi
2010	—	`conf`	Symbolic Model Checking Commitment Protocols Using Reduction. DALT Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
2010	A	`conf`	Symbolic model checking for agent interactions. AAMAS Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli
2010	J	`jnl`	Une approche de communication entre agents logiciels basée sur la pertinence. Rev. d'Intelligence Artif. Mohamed Mbarki, Bernard Moulin, Jamal Bentahar
2010	J	`jnl`	Using argumentation to model and deploy agent-based B2B applications. Knowl. Based Syst. Jamal Bentahar, Rafiul Alam, Zakaria Maamar, Nanjangud C. Narendra
2009	C	`conf`	A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV. SoMeT Melissa Kova, Jamal Bentahar, Zakaria Maamar, Hamdi Yahyaoui
2009	—	`conf`	A Multi-agent-based Approach to Improve Intrusion Detection Systems False Alarm Ratio by Using Honeypot. AINA Workshops Babak Khosravifar, Maziar Gomrokchi, Jamal Bentahar
2009	—	`conf`	A New Approach to Model Web Services' Behaviors Based on Synchronization. AINA Workshops Zakaria Maamar, Quan Z. Sheng, Hamdi Yahyaoui, Jamal Bentahar, Khouloud Boukadi
2009	—	`conf`	A New Semantics of Social Commitments Using Branching Space-Time Logic. Web Intelligence/IAT Workshops Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
2009	J	`jnl`	An Approach to Engineer Communities of Web Services: Concepts, Architecture, Operation, and Deployment. Int. J. E Bus. Res. Zakaria Maamar, Sattanathan Subramanian, Philippe Thiran, Djamal Benslimane, Jamal Bentahar
2009	A	`conf`	An Approach to Incentive-Based Reputation for Communities of Web Services. ICWS Babak Khosravifar, Jamal Bentahar, Philippe Thiran, Ahmad Moazin, Adrien Guiot
2009	—	`conf`	An Integrated Semantics of Social Commitments and Associated Operations. MALLOW Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli
2009	B	`conf`	Combined On-line and Off-line Trust Mechanism for Agent Computing. AINA Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi, Philippe Thiran
2009	—	`conf`	Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks. DALT Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi
2009	—	`conf`	Enhancing Engineering Methodology for Communities of Web Services. MALLOW Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
2009	—	`conf`	Introductory Essay of MALLOW-AWESOME'009. MALLOW Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Viviana Mascardi
2009	—	`conf`	Maintenance-based trust for multi-agent systems. AAMAS (2) Babak Khosravifar, Maziar Gomrokchi, Jamal Bentahar, Philippe Thiran
2009	J	`jnl`	Model checking communicative agent-based systems. Knowl. Based Syst. Jamal Bentahar, John-Jules Ch. Meyer, Wei Wan
2009	—	`conf`	On the Meaning of SysML Activity Diagrams. ECBS Yosr Jarraya, Mourad Debbabi, Jamal Bentahar
2009	C	`conf`	On the Measurement of Negotiation Dialogue Games. SoMeT Omar Marey, Jamal Bentahar, Abdeslam En-Nouaary
2009	—	`ed.`	Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009 MALLOW 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
2009	—	`conf`	Reputation Cascade Model over Social Connections in Online Social Networks. IAT Maziar Gomrokchi, Jamal Bentahar, Babak Khosravifar
2009	—	`conf`	Social Network-Based Trust for Agent-Based Services. AINA Workshops Jamal Bentahar, Babak Khosravifar, Maziar Gomrokchi
2009	—	`conf`	Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study. SERA (selected papers) Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulain Khurshid, Jamal Bentahar
2009	—	`conf`	Verifiable Semantic Model for Agent Interactions Using Social Commitments. LADS Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
2009	—	`conf`	Web Services Synchronization in Composition Scenarios. MALLOW Hamdi Yahyaoui, Zakaria Maamar, Jamal Bentahar, Khouloud Boukadi
2008	C	`conf`	A Formal Framework of Conversational Goals Based on Strategic Reasoning. IEA/AIE Mohamed Mbarki, Jamal Bentahar, Bernard Moulin
2008	J	`jnl`	Agent-based communities of web services: an argumentation-driven approach. Serv. Oriented Comput. Appl. Jamal Bentahar, Zakaria Maamar, Wei Wan, Djamal Benslimane, Philippe Thiran, Sattanathan Subramanian
2008	—	`conf`	An Adaptive Configuration for Agent-Based Supply Network. ITNG Khaled Ghoneim, Jamal Bentahar
2008	B	`conf`	An Experience Improving Intrusion Detection Systems False Alarm Ratio by Using Honeypot. AINA Babak Khosravifar, Jamal Bentahar
2008	B	`conf`	An approach to comprehensive trust management in multi-agent systems with credibility. RCIS Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi, Rafy Alam
2008	J	`jnl`	Computational logic-based agents. Auton. Agents Multi Agent Syst. Francesca Toni, Jamal Bentahar
2008	C	`conf`	Designing and Implementing B2B Applications Using Argumentative Agents. SoMeT Jamal Bentahar, Nanjagud Narenda, Zakaria Maamar, Rafiul Alam, Philippe Thiran
2008	—	`conf`	On the reputation of communities of web services. NOTERE Hamdi Yahyaoui, Zakaria Maamar, Jamal Bentahar, Nabil Sahli, Said Elnaffar, Philippe Thiran
2008	—	`conf`	Reputation of Communities of Web Services - Preliminary Investigation. AINA Workshops Said Elnaffar, Zakaria Maamar, Hamdi Yahyaoui, Jamal Bentahar, Philippe Thiran
2008	—	`conf`	Simulating new markets by introducing new accepting policies for the conventional continuous double auction. SpringSim Sina Honari, Maziar Gomrokchi, Mojtaba Ebadi, Amin Fos-hati, Jamal Bentahar
2008	—	`conf`	Strategic Agent Communication: An Argumentation-Driven Approach. DALT Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin
2008	—	`conf`	Using Trustworthy and Referee Agents to Secure Multi-Agent Systems. ITNG Jamal Bentahar, Babak Khosravifar
2007	J	`jnl`	A New Quantitative Trust Model for Negotiating Agents using Argumentation. Int. J. Comput. Sci. Appl. Jamal Bentahar, John-Jules Ch. Meyer
2007	B	`conf`	A New Quantitative Trust Model for Negotiating Agents. RCIS Jamal Bentahar, John-Jules Ch. Meyer
2007	J	`jnl`	A security framework for agent-based systems. Int. J. Web Inf. Syst. Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban
2007	J	`jnl`	An Argumentation Framework for Communities of Web Services. IEEE Intell. Syst. Jamal Bentahar, Zakaria Maamar, Djamal Benslimane, Philippe Thiran
2007	C	`conf`	Model Checking Communicative Agent-Based Systems. SoMeT Jamal Bentahar, John-Jules Ch. Meyer
2007	—	`conf`	Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach. ITNG Jamal Bentahar, John-Jules Ch. Meyer, Bernard Moulin
2007	—	`conf`	Using Argumentative Agents to Manage Communities of Web Services. AINA Workshops (2) Jamal Bentahar, Zakaria Maamar, Djamal Benslimane, Philippe Thiran
2006	—	`conf`	A Computational Framework for Human/Agent Communication Using Argumentation, Implicit Information, and Social Influence. IAT Workshops Jamal Bentahar, Karim Bouzoubaa, Bernard Moulin
2006	—	`conf`	A New Logical Semantics for Agent Communication. CLIMA Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance
2006	—	`conf`	A New Model Checking Approach for Verifying Agent Communication Protocols. CCECE Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer
2006	—	`conf`	Specification and Complexity of Strategic-Based Reasoning Using Argumentation. ArgMAS Mohamed Mbarki, Jamal Bentahar, Bernard Moulin
2005	—	`conf`	A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. DALT Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer
2004	—	`conf`	A Computational Model for Conversation Policies for Agent Communication. CLIMA Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa
2004	A	`conf`	A Logical Model for Commitment and Argument Network for Agent Communication. AAMAS Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa
2004	—	`conf`	A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. ArgMAS Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa
2004	—	`conf`	Dialogization and Implicit Information in an Agent Communicational Model. AC Karim Bouzoubaa, Jamal Bentahar, Bernard Moulin
2004	—	`conf`	Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments. ArgMAS Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa
2003	—	`conf`	Commitment and Argument Network: A New Formalism for Agent Communication. Workshop on Agent Communication Languages Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa