Commitment and Argument Network: A New Formalism for Agent Communication. - Jamal Bentahar; Bernard Moulin; Brahim Chaib-draa (Workshop on Agent Communication Languages, 2003)

Dialogization and Implicit Information in an Agent Communicational Model. - Karim Bouzoubaa; Jamal Bentahar; Bernard Moulin (AC, 2004)

Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments. - Jamal Bentahar; Bernard Moulin; Brahim Chaib-draa (ArgMAS, 2004)

A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. - Jamal Bentahar; Bernard Moulin; John-Jules Ch. Meyer; Brahim Chaib-draa (ArgMAS, 2004)

A Logical Model for Commitment and Argument Network for Agent Communication. - Jamal Bentahar; Bernard Moulin; John-Jules Ch. Meyer; Brahim Chaib-draa (AAMAS, 2004)

A Computational Model for Conversation Policies for Agent Communication. - Jamal Bentahar; Bernard Moulin; John-Jules Ch. Meyer; Brahim Chaib-draa (CLIMA, 2004)

A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. - Jamal Bentahar; Bernard Moulin; John-Jules Ch. Meyer (DALT, 2005)

Specification and Complexity of Strategic-Based Reasoning Using Argumentation. - Mohamed Mbarki; Jamal Bentahar; Bernard Moulin (ArgMAS, 2006)

A New Model Checking Approach for Verifying Agent Communication Protocols. - Jamal Bentahar; Bernard Moulin; John-Jules Ch. Meyer (CCECE, 2006)

A New Logical Semantics for Agent Communication. - Jamal Bentahar; Bernard Moulin; John-Jules Ch. Meyer; Yves Lespérance (CLIMA, 2006)

A Computational Framework for Human/Agent Communication Using Argumentation, Implicit Information, and Social Influence. - Jamal Bentahar; Karim Bouzoubaa; Bernard Moulin (IAT Workshops, 2006)

Using Argumentative Agents to Manage Communities of Web Services. - Jamal Bentahar; Zakaria Maamar; Djamal Benslimane; Philippe Thiran (AINA Workshops (2), 2007)

Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach. - Jamal Bentahar; John-Jules Ch. Meyer; Bernard Moulin (ITNG, 2007)

A New Quantitative Trust Model for Negotiating Agents. - Jamal Bentahar; John-Jules Ch. Meyer (RCIS, 2007)

Model Checking Communicative Agent-Based Systems. - Jamal Bentahar; John-Jules Ch. Meyer (SoMeT, 2007)

An Argumentation Framework for Communities of Web Services. - Jamal Bentahar; Zakaria Maamar; Djamal Benslimane; Philippe Thiran (IEEE Intell. Syst., 2007)

A New Quantitative Trust Model for Negotiating Agents using Argumentation. - Jamal Bentahar; John-Jules Ch. Meyer (Int. J. Comput. Sci. Appl., 2007)

A security framework for agent-based systems. - Jamal Bentahar; Francesca Toni; John-Jules Ch. Meyer; Jihad Labban (Int. J. Web Inf. Syst., 2007)

Reputation of Communities of Web Services - Preliminary Investigation. - Said Elnaffar; Zakaria Maamar; Hamdi Yahyaoui; Jamal Bentahar; Philippe Thiran (AINA Workshops, 2008)

An Experience Improving Intrusion Detection Systems False Alarm Ratio by Using Honeypot. - Babak Khosravifar; Jamal Bentahar (AINA, 2008)

Strategic Agent Communication: An Argumentation-Driven Approach. - Jamal Bentahar; Mohamed Mbarki; John-Jules Ch. Meyer; Bernard Moulin (DALT, 2008)

A Formal Framework of Conversational Goals Based on Strategic Reasoning. - Mohamed Mbarki; Jamal Bentahar; Bernard Moulin (IEA/AIE, 2008)

Using Trustworthy and Referee Agents to Secure Multi-Agent Systems. - Jamal Bentahar; Babak Khosravifar (ITNG, 2008)

An Adaptive Configuration for Agent-Based Supply Network. - Khaled Ghoneim; Jamal Bentahar (ITNG, 2008)

On the reputation of communities of web services. - Hamdi Yahyaoui; Zakaria Maamar; Jamal Bentahar; Nabil Sahli; Said Elnaffar; Philippe Thiran (NOTERE, 2008)

An approach to comprehensive trust management in multi-agent systems with credibility. - Babak Khosravifar; Jamal Bentahar; Maziar Gomrokchi; Rafy Alam (RCIS, 2008)

Designing and Implementing B2B Applications Using Argumentative Agents. - Jamal Bentahar; Nanjagud Narenda; Zakaria Maamar; Rafiul Alam; Philippe Thiran (SoMeT, 2008)

Simulating new markets by introducing new accepting policies for the conventional continuous double auction. - Sina Honari; Maziar Gomrokchi; Mojtaba Ebadi; Amin Fos-hati; Jamal Bentahar (SpringSim, 2008)

Computational logic-based agents. - Francesca Toni; Jamal Bentahar (Auton. Agents Multi Agent Syst., 2008)

Agent-based communities of web services: an argumentation-driven approach. - Jamal Bentahar; Zakaria Maamar; Wei Wan; Djamal Benslimane; Philippe Thiran; Sattanathan Subramanian (Serv. Oriented Comput. Appl., 2008)

Social Network-Based Trust for Agent-Based Services. - Jamal Bentahar; Babak Khosravifar; Maziar Gomrokchi (AINA Workshops, 2009)

Combined On-line and Off-line Trust Mechanism for Agent Computing. - Babak Khosravifar; Jamal Bentahar; Maziar Gomrokchi; Philippe Thiran (AINA, 2009)

A Multi-agent-based Approach to Improve Intrusion Detection Systems False Alarm Ratio by Using Honeypot. - Babak Khosravifar; Maziar Gomrokchi; Jamal Bentahar (AINA Workshops, 2009)

A New Approach to Model Web Services' Behaviors Based on Synchronization. - Zakaria Maamar; Quan Z. Sheng; Hamdi Yahyaoui; Jamal Bentahar; Khouloud Boukadi (AINA Workshops, 2009)

Maintenance-based trust for multi-agent systems. - Babak Khosravifar; Maziar Gomrokchi; Jamal Bentahar; Philippe Thiran (AAMAS (2), 2009)

Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks. - Babak Khosravifar; Jamal Bentahar; Maziar Gomrokchi (DALT, 2009)

On the Meaning of SysML Activity Diagrams. - Yosr Jarraya; Mourad Debbabi; Jamal Bentahar (ECBS, 2009)

A New Semantics of Social Commitments Using Branching Space-Time Logic. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (Web Intelligence/IAT Workshops, 2009)

Reputation Cascade Model over Social Connections in Online Social Networks. - Maziar Gomrokchi; Jamal Bentahar; Babak Khosravifar (IAT, 2009)

An Approach to Incentive-Based Reputation for Communities of Web Services. - Babak Khosravifar; Jamal Bentahar; Philippe Thiran; Ahmad Moazin; Adrien Guiot (ICWS, 2009)

Verifiable Semantic Model for Agent Interactions Using Social Commitments. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (LADS, 2009)

Introductory Essay of MALLOW-AWESOME'009. - Matteo Baldoni; Cristina Baroglio; Jamal Bentahar; Viviana Mascardi (MALLOW, 2009)

An Integrated Semantics of Social Commitments and Associated Operations. - Jamal Bentahar; Mohamed El-Menshawy; Rachida Dssouli (MALLOW, 2009)

Enhancing Engineering Methodology for Communities of Web Services. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (MALLOW, 2009)

Web Services Synchronization in Composition Scenarios. - Hamdi Yahyaoui; Zakaria Maamar; Jamal Bentahar; Khouloud Boukadi (MALLOW, 2009)

Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study. - Heng Kuang; Olga Ormandjieva; Stan Klasa; Noorulain Khurshid; Jamal Bentahar (SERA (selected papers), 2009)

A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV. - Melissa Kova; Jamal Bentahar; Zakaria Maamar; Hamdi Yahyaoui (SoMeT, 2009)

On the Measurement of Negotiation Dialogue Games. - Omar Marey; Jamal Bentahar; Abdeslam En-Nouaary (SoMeT, 2009)

An Approach to Engineer Communities of Web Services: Concepts, Architecture, Operation, and Deployment. - Zakaria Maamar; Sattanathan Subramanian; Philippe Thiran; Djamal Benslimane; Jamal Bentahar (Int. J. E Bus. Res., 2009)

Model checking communicative agent-based systems. - Jamal Bentahar; John-Jules Ch. Meyer; Wei Wan (Knowl. Based Syst., 2009)

Analyzing Communities vs. Single Agent-Based Web Services: Trust Perspectives. - Babak Khosravifar; Jamal Bentahar; Ahmad Moazin; Zakaria Maamar; Philippe Thiran (IEEE SCC, 2010)

On the Reputation of Agent-Based Web Services. - Babak Khosravifar; Jamal Bentahar; Ahmad Moazin; Philippe Thiran (AAAI, 2010)

A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework. - Heng Kuang; Olga Ormandjieva; Stan Klasa; Jamal Bentahar (ASAP, 2010)

An agent communication protocol for resolving conflicts. - Jamal Bentahar (AAMAS, 2010)

Symbolic model checking for agent interactions. - Mohamed El-Menshawy; Wei Wan; Jamal Bentahar; Rachida Dssouli (AAMAS, 2010)

Symbolic Model Checking Commitment Protocols Using Reduction. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (DALT, 2010)

Analyzing the Relationships between some Parameters of Web Services Reputation. - Babak Khosravifar; Jamal Bentahar; Ahmad Moazin (ICWS, 2010)

Modeling and Verifying Agent-Based Communities of Web Services. - Wei Wan; Jamal Bentahar; Abdessamad Ben Hamza (IEA/AIE (2), 2010)

Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (KES-AMSTA (2), 2010)

A managerial community of Web Services for management of communities of Web Services. - Abdelghani Benharref; Mohamed Adel Serhani; Salah Bouktif; Jamal Bentahar (NOTERE, 2010)

Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems. - Heng Kuang; Jamal Bentahar; Olga Ormandjieva; Nassir Shafieidizaji; Stan Klasa (SoMeT, 2010)

A taxonomy of argumentation models used for knowledge representation. - Jamal Bentahar; Bernard Moulin; Micheline Bélanger (Artif. Intell. Rev., 2010)

Separating Operational and Control Behaviors: A New Approach to Web Services Modeling. - Quan Z. Sheng; Zakaria Maamar; Hamdi Yahyaoui; Jamal Bentahar; Khouloud Boukadi (IEEE Internet Comput., 2010)

Analyzing Communities of Web Services Using Incentives. - Babak Khosravifar; Jamal Bentahar; Ahmad Moazin; Philippe Thiran (Int. J. Web Serv. Res., 2010)

Using argumentation to model and deploy agent-based B2B applications. - Jamal Bentahar; Rafiul Alam; Zakaria Maamar; Nanjangud C. Narendra (Knowl. Based Syst., 2010)

Une approche de communication entre agents logiciels basée sur la pertinence. - Mohamed Mbarki; Bernard Moulin; Jamal Bentahar (Rev. d'Intelligence Artif., 2010)

A New Approach for Quality Enforcement in Communities of Web Services. - Abdelghani Benharref; Mohamed Adel Serhani; Salah Bouktif; Jamal Bentahar (IEEE SCC, 2011)

A Game Theoretic Approach for Analyzing the Efficiency of Web Services in Collaborative Networks. - Babak Khosravifar; Mahsa Alishahi; Jamal Bentahar; Philippe Thiran (IEEE SCC, 2011)

Using 3-Way Satisfaction for Web Service Selection: Preliminary Investigation. - Erbin Lim; Philippe Thiran; Zakaria Maamar; Jamal Bentahar (IEEE SCC, 2011)

On the verification of social commitments and time. - Mohamed El-Menshawy; Jamal Bentahar; Hongyang Qu 001; Rachida Dssouli (AAMAS, 2011)

Game-Theoretic Analysis of a Web Services Collaborative Mechanism. - Babak Khosravifar; Jamal Bentahar; Kathleen Clacens; Christophe Goffart; Philippe Thiran (ICSOC, 2011)

Under Uncertainty Trust Estimation through Unknown Agents, in a Multi-valued Trust Environment. - Sina Honari; Brigitte Jaumard; Jamal Bentahar (ICTAI, 2011)

On the Verification of Behavioral and Probabilistic Web Services Using Transformation. - Giti Oghabi; Jamal Bentahar; Abdelghani Benharref (ICWS, 2011)

Model Checking Commitment Protocols. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (IEA/AIE (2), 2011)

Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems. - Wei Wan; Jamal Bentahar; Abdessamad Ben Hamza (IEA/AIE (2), 2011)

Online monitoring for sustainable communities of Web Services. - Abdelghani Benharref; Mohamed Adel Serhani; Salah Bouktif; Jamal Bentahar (Integrated Network Management, 2011)

On the Argumentative Agent Types and Negotiation. - Mohamed Mbarki; Jamal Bentahar; Bernard Moulin (SoMeT, 2011)

Model Checking Single Web Services using Markov Chains and MDPs. - Giti Oghabi; Jamal Bentahar; Abdelghani Benharref (SoMeT, 2011)

Collusion-Resistant Reputation Mechanism for Multi-Agents Systems. - Babak Khosravifar; Jamal Bentahar; Mahsa Alishahi; Maziar Gomrokchi (ANT/MobiWIS, 2011)

On the Analysis of Satisfaction for Web Services Selection. - Erbin Lim; Philippe Thiran; Zakaria Maamar; Jamal Bentahar (IEEE SCC, 2012)

Merging Successive Possibility Distributions for Trust Estimation under Uncertainty in Multi-agent Systems. - Sina Honari; Brigitte Jaumard; Jamal Bentahar (ICAART (1), 2012)

An Approach on Merging Agents' Trust Distributions in a Possibilitic Domain. - Sina Honari; Brigitte Jaumard; Jamal Bentahar (ICAART (Revised Selected Papers), 2012)

Analyzing Coopetition Strategies of Services within Communities. - Babak Khosravifar; Mahsa Alishahi; Ehsan Khosrowshahi Asl; Jamal Bentahar; Rabeb Mizouni; Hadi Otrok (ICSOC, 2012)

Trustworthy Web Service Selection Using Probabilistic Models. - Mohamad Mehdi; Nizar Bouguila; Jamal Bentahar (ICWS, 2012)

Quantitative Model Checking of Knowledge. - Wei Wan; Jamal Bentahar; Abdessamad Ben Hamza (SoMeT, 2012)

On the analysis of reputation for agent-based web services. - Jamal Bentahar; Babak Khosravifar; Mohamed Adel Serhani; Mahsa Alishahi (Expert Syst. Appl., 2012)

Scheduling Reputation Maintenance in Agent-based Communities Using Game Theory. - Mohamed Amine M'hamdi; Jamal Bentahar (J. Softw., 2012)

Communicative commitments: Model checking and complexity analysis. - Jamal Bentahar; Mohamed El-Menshawy; Hongyang Qu 001; Rachida Dssouli (Knowl. Based Syst., 2012)

CRM: An efficient trust and reputation model for agent computing. - Babak Khosravifar; Jamal Bentahar; Maziar Gomrokchi; Rafiul Alam (Knowl. Based Syst., 2012)

Efficient Coalition Formation for Web Services. - Ehsan Khosrowshahi Asl; Jamal Bentahar; Hadi Otrok; Rabeb Mizouni (IEEE SCC, 2013)

On the analysis of joining communities of agent-basedweb services. - Jamal Bentahar; Babak Khosravifar; Kathleen Clacens; Christophe Goffart; Philippe Thiran (AAMAS, 2013)

Representing and reasoning about communicative conditional commitments. - Warda El Kholy; Mohamed El-Menshawy; Jamal Bentahar; Hongyang Qu 001; Rachida Dssouli (AAMAS, 2013)

A QoS-Based Trust Approach for Service Selection and Composition via Bayesian Networks. - Mohamad Mehdi; Nizar Bouguila; Jamal Bentahar (ICWS, 2013)

Fair resource allocation and control in multi-operator GPON access networks. - Hamada Alshaer; Jamal Bentahar; Mohamed Manoufali; Mohamed Alyafei (WMNC, 2013)

Reasoning about social commitments in the presence of uncertainty. - Khalid Sultan; Mohamed El-Menshawy; Jamal Bentahar (SoMeT, 2013)

Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. - Mohamed El-Menshawy; Jamal Bentahar; Warda El Kholy; Rachida Dssouli (Auton. Agents Multi Agent Syst., 2013)

Symbolic model checking composite Web services using operational and control behaviors. - Jamal Bentahar; Hamdi Yahyaoui; Melissa Kova; Zakaria Maamar (Expert Syst. Appl., 2013)

Verifying conformance of multi-agent commitment-based protocols. - Mohamed El-Menshawy; Jamal Bentahar; Warda El Kholy; Rachida Dssouli (Expert Syst. Appl., 2013)

Agent-based game-theoretic model for collaborative web services: Decision making analysis. - Babak Khosravifar; Jamal Bentahar; Rabeb Mizouni; Hadi Otrok; Mahsa Alishahi; Philippe Thiran (Expert Syst. Appl., 2013)

Uncertainty-Based Trust estimation in a Multi-Valued Trust Environment. - Sina Honari; Brigitte Jaumard; Jamal Bentahar (Int. J. Artif. Intell. Tools, 2013)

Model checking epistemic-probabilistic logic using probabilistic interpreted systems. - Wei Wan; Jamal Bentahar; Abdessamad Ben Hamza (Knowl. Based Syst., 2013)

Research directions in agent communication. - Amit K. Chopra; Alexander Artikis; Jamal Bentahar; Marco Colombetti; Frank Dignum; Nicoletta Fornara; Andrew J. I. Jones; Munindar P. Singh; Pinar Yolum (ACM Trans. Intell. Syst. Technol., 2013)

Introduction to the special section on agent communication. - Amit K. Chopra; Alexander Artikis; Jamal Bentahar; Frank Dignum (ACM Trans. Intell. Syst. Technol., 2013)

Reputation in Communities of Agent-Based Web Services Through Data Mining. - Mohamad Mehdi; Nizar Bouguila; Jamal Bentahar (ADMI, 2014)

Agents' Uncertainty in Argumentation-based Negotiation: Classification and Implementation. - Omar Marey; Jamal Bentahar; Ehsan Khosrowshahi Asl; Mohamed Mbarki; Rachida Dssouli (ANT/SEIT, 2014)

Correlated multi-dimensional qos metrics for trust evaluation within web services. - Mohamad Mehdi; Nizar Bouguila; Jamal Bentahar (AAMAS, 2014)

Social Network-Based Framework for Web Services Discovery. - Hiba Fallatah; Jamal Bentahar; Ehsan Khosrowshahi Asl (FiCloud, 2014)

QoS-Based Reputation Feedback Fusion under Unknown Correlation. - Mohamad Mehdi; Nizar Bouguila; Jamal Bentahar (ICAIS, 2014)

Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation. - Mohamed Mbarki; Omar Marey; Jamal Bentahar; Khalid Sultan (ICTAI, 2014)

Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. - Warda El Kholy; Mohamed El-Menshawy; Jamal Bentahar; Hongyang Qu 001; Rachida Dssouli (ICWS, 2014)

Cooperative cross layer detection for blackhole attack in VANET-OLSR. - Raghad Baiad; Hadi Otrok; Sami Muhaidat; Jamal Bentahar (IWCMC, 2014)

A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs. - Khalid Sultan; Jamal Bentahar; Omar Marey (SoMeT, 2014)

On the interaction between knowledge and social commitments in multi-agent systems. - Faisal Al-Saqqar; Jamal Bentahar; Khalid Sultan; Mohamed El-Menshawy (Appl. Intell., 2014)

Probabilistic approach for QoS-aware recommender system for trustworthy web service selection. - Mohamad Mehdi; Nizar Bouguila; Jamal Bentahar (Appl. Intell., 2014)

Model checking probabilistic social commitments for intelligent agent communication. - Khalid Sultan; Jamal Bentahar; Mohamed El-Menshawy (Appl. Soft Comput., 2014)

To compete or cooperate? This is the question in communities of autonomous services. - Ehsan Khosrowshahi Asl; Jamal Bentahar; Rabeb Mizouni; Babak Khosravifar; Hadi Otrok (Expert Syst. Appl., 2014)

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols. - Warda El Kholy; Jamal Bentahar; Mohamed El-Menshawy; Hongyang Qu 001; Rachida Dssouli (Expert Syst. Appl., 2014)

Measuring and analyzing agents' uncertainty in argumentation-based negotiation dialogue games. - Omar Marey; Jamal Bentahar; Rachida Dssouli; Mohamed Mbarki (Expert Syst. Appl., 2014)

Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments. - Khalid Sultan; Jamal Bentahar; Wei Wan; Faisal Al-Saqqar (Expert Syst. Appl., 2014)

Intelligent Consensus Modeling for ProlineCis-Trans Isomerization Prediction. - Paul D. Yoo; Sami Muhaidat; Kamal Taha; Jamal Bentahar; Abdallah Shami (IEEE ACM Trans. Comput. Biol. Bioinform., 2014)

Conditional Commitments: Reasoning and Model Checking. - Warda El Kholy; Jamal Bentahar; Mohamed El-Menshawy; Hongyang Qu 001; Rachida Dssouli (ACM Trans. Softw. Eng. Methodol., 2014)

Modelling Multi-agent Systems with Category Theory. - Olga Ormandjieva; Jamal Bentahar; Jinzi Huang; Heng Kuang (ANT/SEIT, 2015)

Automatic Transformation of Cloud Computing Service Composition to Verifiable Models. - Ana Vazquez; Mohamed El-Menshawy; Jamal Bentahar (FiCloud, 2015)

Misbehavior Detection Framework for Community-Based Cloud Computing. - Omar Abdel Wahab 001; Jamal Bentahar; Hadi Otrok; Azzam Mourad (FiCloud, 2015)

A Cooperative Detection Model Based on Artificial Neural Network for VANET QoS-OLSR Protocol. - Amjad El Khatib; Azzam Mourad; Hadi Otrok; Omar Abdel Wahab 001; Jamal Bentahar (ICUWB, 2015)

Real-Time Conditional Commitment Logic. - Warda El Kholy; Mohamed El-Menshawy; Amine Laarej; Jamal Bentahar; Faisal Al-Saqqar; Rachida Dssouli (PRIMA, 2015)

Modeling and Forecasting Time Series of Compositional Data: A Generalized Dirichlet Power Steady Model. - Mohamad Mehdi; Elise Epaillard; Nizar Bouguila; Jamal Bentahar (SUM, 2015)

A survey on trust and reputation models for Web services: Single, composite, and communities. - Omar Abdel Wahab 001; Jamal Bentahar; Hadi Otrok; Azzam Mourad (Decis. Support Syst., 2015)

Formal Specification and Automatic Verification of Conditional Commitments. - Warda El Kholy; Mohamed El-Menshawy; Jamal Bentahar; Hongyang Qu 001; Rachida Dssouli (IEEE Intell. Syst., 2015)

Decision making under subjective uncertainty in argumentation-based agent negotiation. - Omar Marey; Jamal Bentahar; Ehsan Khosrowshahi Asl; Khalid Sultan; Rachida Dssouli (J. Ambient Intell. Humaniz. Comput., 2015)

Computational logics and verification techniques of multi-agent commitments: survey. - Mohamed El-Menshawy; Jamal Bentahar; Warda El Kholy; Pinar Yolum; Rachida Dssouli (Knowl. Eng. Rev., 2015)

Model checking temporal knowledge and commitments in multi-agent systems using reduction. - Faisal Al-Saqqar; Jamal Bentahar; Khalid Sultan; Wei Wan; Ehsan Khosrowshahi Asl (Simul. Model. Pract. Theory, 2015)

Efficient Community Formation for Web Services. - Ehsan Khosrowshahi Asl; Jamal Bentahar; Hadi Otrok; Rabeb Mizouni (IEEE Trans. Serv. Comput., 2015)

How to Distribute the Detection Load among Virtual Machines to Maximize the Detection of Distributed Attacks in the Cloud? - Omar Abdel Wahab 001; Jamal Bentahar; Hadi Otrok; Azzam Mourad (SCC, 2016)

Monetizing Personal Data: A Two-Sided Market Approach. - Ahmed Saleh Bataineh; Rabeb Mizouni; May El Barachi; Jamal Bentahar (ANT/SEIT, 2016)

An Efficient QoS-aware Web Services Selection Using Social Spider Algorithm. - Afaf Mousa; Jamal Bentahar (FNC/MobiSPC, 2016)

Preface. - Ansar-Ul-Haque Yasar; Jamal Bentahar (FNC/MobiSPC, 2016)

Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications. - Wei Wan; Jamal Bentahar; Hamdi Yahyaoui; Abdessamad Ben Hamza (Appl. Intell., 2016)

Privacy-preserving data mashup model for trading person-specific information. - Rashid Hussain Khokhar; Benjamin C. M. Fung; Farkhund Iqbal; Dima Alhadidi; Jamal Bentahar (Electron. Commer. Res. Appl., 2016)

On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems. - Faisal Al-Saqqar; Jamal Bentahar; Khalid Sultan (Expert Syst. Appl., 2016)

A Stackelberg game for distributed formation of business-driven services communities. - Omar Abdel Wahab 001; Jamal Bentahar; Hadi Otrok; Azzam Mourad (Expert Syst. Appl., 2016)

CEAP: SVM-based intelligent detection model for clustered vehicular ad hoc networks. - Omar Abdel Wahab 001; Azzam Mourad; Hadi Otrok; Jamal Bentahar (Expert Syst. Appl., 2016)

Trust and Reputation of Web Services Through QoS Correlation Lens. - Mohamad Mehdi; Nizar Bouguila; Jamal Bentahar (IEEE Trans. Serv. Comput., 2016)

Framework for Dynamic Web Services Composition Guided by Live Testing. - Mounia Elqortobi; Jamal Bentahar; Rachida Dssouli (AFRICATEK, 2017)

Modernization of Legacy Software Tests to Model-Driven Testing. - Nader Kesserwan; Rachida Dssouli; Jamal Bentahar (AFRICATEK, 2017)

Reasoning about Trust and Time in a System of Agents. - Nagat Drawel; Jamal Bentahar; Elhadi M. Shakshuki (ANT/SEIT, 2017)

Cloud Task Scheduling Based on Swarm Intelligence and Machine Learning. - Gaith Rjoub; Jamal Bentahar (FiCloud, 2017)

On the Effects of User Ratings on the Profitability of Cloud Services. - Mona Taghavi; Jamal Bentahar; Hadi Otrok; Omar Abdel Wahab 001; Azzam Mourad (ICWS, 2017)

I Know You Are Watching Me: Stackelberg-Based Adaptive Intrusion Detection Strategy for Insider Attacks in the Cloud. - Omar Abdel Wahab 001; Jamal Bentahar; Hadi Otrok; Azzam Mourad (ICWS, 2017)

Verifiable outsourced database in the cloud using game theory. - Faryed Eltayesh; Jamal Bentahar (SAC, 2017)

Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey. - Rachida Dssouli; Ahmed Khoumsi; Mounia Elqortobi; Jamal Bentahar (Adv. Comput., 2017)

Specifying and verifying contract-driven service compositions using commitments and model checking. - Ahmed Saleh Bataineh; Jamal Bentahar; Mohamed El-Menshawy; Rachida Dssouli (Expert Syst. Appl., 2017)

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication. - Warda El Kholy; Jamal Bentahar; Mohamed El-Menshawy; Hongyang Qu 001; Rachida Dssouli (Fundam. Informaticae, 2017)

Refined game-theoretic approach to improve authenticity of outsourced databases. - Faryed Eltayesh; Jamal Bentahar; Rabeb Mizouni; Hadi Otrok; Elhadi M. Shakshuki (J. Ambient Intell. Humaniz. Comput., 2017)

Verifying Temporal Trust Logic using CTL Model Checking. - Nagat Drawel; Jamal Bentahar; Mohamed El-Menshawy; Amine Laarej (TRUST@AAMAS, 2018)

Multi-Objective Self-Adaptive Composite SaaS Using Feature Model. - Afaf Mousa; Jamal Bentahar; Omar Alam (FiCloud, 2018)

Keynote II. - Jamal Bentahar (FNC/MobiSPC, 2018)

Cloudchain: A Blockchain-Based Coopetition Differential Game Model for Cloud Computing. - Mona Taghavi; Jamal Bentahar; Hadi Otrok; Kaveh Bakhtiyari (ICSOC, 2018)

Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. - Mounia Elqortobi; Warda El-Khouly; Amine Rahj; Jamal Bentahar; Rachida Dssouli (MEDI Workshops, 2018)

New Insights Towards Developing Recommender Systems. - Mona Taghavi; Jamal Bentahar; Kaveh Bakhtiyari; Chihab Hanachi (Comput. J., 2018)

Model checking real-time conditional commitment logic using transformation. - Mohamed El-Menshawy; Jamal Bentahar; Warda El Kholy; Amine Laarej (J. Syst. Softw., 2018)

Towards Trustworthy Multi-Cloud Services Communities: A Trust-Based Hedonic Coalitional Game. - Omar Abdel Wahab 001; Jamal Bentahar; Hadi Otrok; Azzam Mourad (IEEE Trans. Serv. Comput., 2018)

Dependency Network-based Trust Management for Context-Aware Web Services. - Afaf Mousa; Jamal Bentahar; Omar Alam (ANT/EDI40, 2019)

Deep Smart Scheduling: A Deep Learning Approach for Automated Big Data Scheduling Over the Cloud. - Gaith Rjoub; Jamal Bentahar; Omar Abdel Wahab 001; Ahmed Saleh Bataineh (FiCloud, 2019)

Introduction to the Special Section on Artificial Intelligence for Smart Systems. - Imran Sarwar Bajwa; Anna Helena Reali Costa; Jamal Bentahar (Comput. Electr. Eng., 2019)

Context-aware composite SaaS using feature model. - Afaf Mousa; Jamal Bentahar; Omar Alam (Future Gener. Comput. Syst., 2019)

On the Detection of Passive Malicious Providers in Cloud Federations. - Ahmad Hammoud; Hadi Otrok; Azzam Mourad; Omar Abdel Wahab 001; Jamal Bentahar (IEEE Commun. Lett., 2019)

From use case maps to executable test procedures: a scenario-based approach. - Nader Kesserwan; Rachida Dssouli; Jamal Bentahar; Bernard Stepien; Pierre Labrèche (Softw. Syst. Model., 2019)

Introduction to the Special Section on Trust and AI. - Jie Zhang 002; Jamal Bentahar; Rino Falcone; Timothy J. Norman; Murat Sensoy (ACM Trans. Internet Techn., 2019)

Computationally Grounded Quantitative Trust with Time. - Nagat Drawel; Jamal Bentahar; Hongyang Qu 001 (AAMAS, 2020)

A Game-Based Secure Trading of Big Data and IoT Services: Blockchain as a Two-Sided Market. - Ahmed Saleh Bataineh; Jamal Bentahar; Omar Abdel Wahab 001; Rabeb Mizouni; Gaith Rjoub (ICSOC, 2020)

A Trust and Energy-Aware Double Deep Reinforcement Learning Scheduling Strategy for Federated Learning on IoT Devices. - Gaith Rjoub; Omar Abdel Wahab 001; Jamal Bentahar; Ahmed Saleh Bataineh (ICSOC, 2020)

Formalizing Group and Propagated Trust in Multi-Agent Systems. - Nagat Drawel; Jamal Bentahar; Amine Laarej; Gaith Rjoub (IJCAI, 2020)

FScaler: Automatic Resource Scaling of Containers in Fog Clusters Using Reinforcement Learning. - Hani Sami; Azzam Mourad; Hadi Otrok; Jamal Bentahar (IWCMC, 2020)

Test Generation Tool for Modified Condition/Decision Coverage: Model Based Testing. - Mounia Elqortobi; Amine Rahj; Jamal Bentahar; Rachida Dssouli (SITA, 2020)

Verification and testing of safety-critical airborne systems: A model-based methodology. - Mounia Elqortobi; Warda El-Khouly; Amine Rahj; Jamal Bentahar; Rachida Dssouli (Comput. Sci. Inf. Syst., 2020)

Dynamic formation of service communities in the cloud under distribution and incomplete information settings. - Ehsan Khosrowshahi Asl; Jamal Bentahar; Rebeca Estrada; Hadi Otrok; Rabeb Mizouni; Babak Khosravifar (Concurr. Comput. Pract. Exp., 2020)

A two-level solution to fight against dishonest opinions in recommendation-based trust systems. - Omar Abdel Wahab 001; Jamal Bentahar; Robin Cohen; Hadi Otrok; Azzam Mourad (CoRR, 2020)

Model checking intelligent avionics systems for test cases generation using multi-agent systems. - Warda El Kholy; Mohamed El-Menshawy; Jamal Bentahar; Mounia Elqortobi; Amine Laarej; Rachida Dssouli (Expert Syst. Appl., 2020)

Toward monetizing personal data: A two-sided market analysis. - Ahmed Saleh Bataineh; Rabeb Mizouni; Jamal Bentahar; May El Barachi (Future Gener. Comput. Syst., 2020)

Specification and automatic verification of trust-based multi-agent systems. - Nagat Drawel; Hongyang Qu 001; Jamal Bentahar; Elhadi M. Shakshuki (Future Gener. Comput. Syst., 2020)

BigTrustScheduling: Trust-aware big data task scheduling approach in cloud computing environments. - Gaith Rjoub; Jamal Bentahar; Omar Abdel Wahab 001 (Future Gener. Comput. Syst., 2020)

Two-stage game theoretical framework for IaaS market share dynamics. - Mona Taghavi; Jamal Bentahar; Hadi Otrok (Future Gener. Comput. Syst., 2020)

AI, Blockchain, and Vehicular Edge Computing for Smart and Secure IoV: Challenges and Directions. - Ahmad Hammoud; Hani Sami; Azzam Mourad; Hadi Otrok; Rabeb Mizouni; Jamal Bentahar (IEEE Internet Things Mag., 2020)

An endorsement-based trust bootstrapping approach for newcomer cloud services. - Omar Abdel Wahab 001; Robin Cohen; Jamal Bentahar; Hadi Otrok; Azzam Mourad; Gaith Rjoub (Inf. Sci., 2020)

A Crowd-Sensing Framework for Allocation of Time-Constrained and Location-Based Tasks. - Rebeca Estrada; Rabeb Mizouni; Hadi Otrok; Anis Ouali; Jamal Bentahar (IEEE Trans. Serv. Comput., 2020)

A Blockchain-Based Model for Cloud Service Quality Monitoring. - Mona Taghavi; Jamal Bentahar; Hadi Otrok; Kaveh Bakhtiyari (IEEE Trans. Serv. Comput., 2020)

Optimal Load Distribution for the Detection of VM-Based DDoS Attacks in the Cloud. - Omar Abdel Wahab 001; Jamal Bentahar; Hadi Otrok; Azzam Mourad (IEEE Trans. Serv. Comput., 2020)

Cloud as platform for monetizing complementary data for AI-driven services: A two-sided cooperative game. - Ahmed Saleh Bataineh; Jamal Bentahar; Omar Abdel Wahab 001; Rabeb Mizouni; Gaith Rjoub (SCC, 2021)

Improving Autonomous Vehicles Safety in Snow Weather Using Federated YOLO CNN Learning. - Gaith Rjoub; Omar Abdel Wahab 001; Jamal Bentahar; Ahmed Saleh Bataineh (MobiWIS, 2021)

Deep and reinforcement learning for automated task scheduling in large-scale cloud computing systems. - Gaith Rjoub; Jamal Bentahar; Omar Abdel Wahab 001; Ahmed Saleh Bataineh (Concurr. Comput. Pract. Exp., 2021)

Multi-dimensional trust for context-aware services computing. - Afaf Mousa; Jamal Bentahar; Omar Alam (Expert Syst. Appl., 2021)

Model checking agent-based communities against uncertain group commitments and knowledge. - Khalid Sultan; Jamal Bentahar; Hamdi Yahyaoui; Rabeb Mizouni (Expert Syst. Appl., 2021)

Resource-Aware Detection and Defense System against Multi-Type Attacks in the Cloud: Repeated Bayesian Stackelberg Game. - Omar Abdel Wahab 001; Jamal Bentahar; Hadi Otrok; Azzam Mourad (IEEE Trans. Dependable Secur. Comput., 2021)

Enabling Secure Trustworthiness Assessment and Privacy Protection in Integrating Data for Trading Person-Specific Information. - Rashid Hussain Khokhar; Farkhund Iqbal; Benjamin C. M. Fung; Jamal Bentahar (IEEE Trans. Engineering Management, 2021)

AI-Based Resource Provisioning of IoE Services in 6G: A Deep Reinforcement Learning Approach. - Hani Sami; Hadi Otrok; Jamal Bentahar; Azzam Mourad (IEEE Trans. Netw. Serv. Manag., 2021)

Quantitative Group Trust: A Two-Stage Verification Approach. - Jamal Bentahar; Nagat Drawel; Abdeladim Sadiki (AAMAS, 2022)

Three-Valued Model Checking Smart Contract Systems with Trust Under Uncertainty. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi (DBB, 2022)

One-Shot Federated Learning-based Model-Free Reinforcement Learning. - Gaith Rjoub; Jamal Bentahar; Omar Abdel Wahab 001; Nagat Drawel (DBB, 2022)

Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi (FiCloud, 2022)

Embedded Spherical Topic Models for Supervised Learning. - Hafsa Ennajari; Nizar Bouguila; Jamal Bentahar (ICPR, 2022)

Reasoning about Uncertainty over IoT Systems. - Ghalya Alwhishi; Jamal Bentahar; Nagat Drawel (IWCMC, 2022)

Explainable AI-based Federated Deep Reinforcement Learning for Trusted Autonomous Driving. - Gaith Rjoub; Jamal Bentahar; Omar Abdel Wahab 001 (IWCMC, 2022)

Model Checking Intelligent Information Systems with 3-Valued Timed Commitments. - Ghalya Alwhishi; Nagat Drawel; Jamal Bentahar (MobiWIS, 2022)

Active Federated YOLOR Model for Enhancing Autonomous Vehicles Safety. - Gaith Rjoub; Jamal Bentahar; Y A Joarder (MobiWIS, 2022)

Knowledge-enhanced Spherical Representation Learning for Text Classification. - Hafsa Ennajari; Nizar Bouguila; Jamal Bentahar (SDM, 2022)

Formal verification of group and propagated trust in multi-agent systems. - Nagat Drawel; Jamal Bentahar; Amine Laarej; Gaith Rjoub (Auton. Agents Multi Agent Syst., 2022)

Reinforcement Learning Framework for Server Placement and Workload Allocation in Multi-Access Edge Computing. - Anahita Mazloomi; Hani Sami; Jamal Bentahar; Hadi Otrok; Azzam Mourad (CoRR, 2022)

ON-DEMAND-FL: A Dynamic and Efficient Multi-Criteria Federated Learning Client Deployment Scheme. - Mario Chahoud; Hani Sami; Azzam Mourad; Safa Otoum; Hadi Otrok; Jamal Bentahar; Mohsen Guizani (CoRR, 2022)

Target localization using Multi-Agent Deep Reinforcement Learning with Proximal Policy Optimization. - Ahmed Alagha; Shakti Singh; Rabeb Mizouni; Jamal Bentahar; Hadi Otrok (Future Gener. Comput. Syst., 2022)

Graph convolutional recurrent networks for reward shaping in reinforcement learning. - Hani Sami; Jamal Bentahar; Azzam Mourad; Hadi Otrok; Ernesto Damiani (Inf. Sci., 2022)

Federated against the cold: A trust-based federated learning approach to counter the cold start problem in recommendation systems. - Omar Abdel Wahab 001; Gaith Rjoub; Jamal Bentahar; Robin Cohen (Inf. Sci., 2022)

Transformation-based model checking temporal trust in multi-agent systems. - Nagat Drawel; Amine Laarej; Jamal Bentahar; Mohamed El-Menshawy (J. Syst. Softw., 2022)

Cloud Computing as a Platform for Monetizing Data Services: A Two-Sided Game Business Model. - Ahmed Saleh Bataineh; Jamal Bentahar; Rabeb Mizouni; Omar Abdel Wahab 001; Gaith Rjoub; May El Barachi (IEEE Trans. Netw. Serv. Manag., 2022)

Demand-Driven Deep Reinforcement Learning for Scalable Fog and Service Placement. - Hani Sami; Azzam Mourad; Hadi Otrok; Jamal Bentahar (IEEE Trans. Serv. Comput., 2022)

Multi-valued Model Checking A Smart Glucose Monitoring System with Trust. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi (IWCMC, 2023)

Towards On-Demand Deployment of Multiple Clients and Heterogeneous Models in Federated Learning. - Mario Chahoud; Hani Sami; Azzam Mourad; Hadi Otrok; Jamal Bentahar; Mohsen Guizani (IWCMC, 2023)

Explainable Trust-aware Selection of Autonomous Vehicles Using LIME for One-Shot Federated Learning. - Gaith Rjoub; Jamal Bentahar; Omar Abdel Wahab 001 (IWCMC, 2023)

Granular Traceability Between Requirements and Test Cases for Safety-Critical Software Systems. - Mounia Elqortobi; Amine Rahj; Jamal Bentahar (MobiWIS, 2023)

A Survey on Explainable Artificial Intelligence for Network Cybersecurity. - Gaith Rjoub; Jamal Bentahar; Omar Abdel Wahab 001; Rabeb Mizouni; Alyssa Song; Robin Cohen; Hadi Otrok; Azzam Mourad (CoRR, 2023)

A reinforcement learning model for the reliability of blockchain oracles. - Mona Taghavi; Jamal Bentahar; Hadi Otrok; Kaveh Bakhtiyari (Expert Syst. Appl., 2023)

Reinforcement Learning Framework for Server Placement and Workload Allocation in Multiaccess Edge Computing. - Anahita Mazloomi; Hani Sami; Jamal Bentahar; Hadi Otrok; Azzam Mourad (IEEE Internet Things J., 2023)

Deep reinforcement learning for the computation offloading in MIMO-based Edge Computing. - Abdeladim Sadiki; Jamal Bentahar; Rachida Dssouli; Abdeslam En-Nouaary; Hadi Otrok (Ad Hoc Networks, 2023)

Guest Editorial: Special Section on the Latest Developments in Federated Learning for the Management of Networked Systems and Resources. - Azzam Mourad; Hadi Otrok; Ernesto Damiani; Mérouane Debbah; Nadra Guizani; Shiqiang Wang; Guangjie Han; Rabeb Mizouni; Jamal Bentahar; Chamseddine Talhi (IEEE Trans. Netw. Serv. Manag., 2023)

Combining Knowledge Graph and Word Embeddings for Spherical Topic Modeling. - Hafsa Ennajari; Nizar Bouguila; Jamal Bentahar (IEEE Trans. Neural Networks Learn. Syst., 2023)

Multiagent Deep Reinforcement Learning With Demonstration Cloning for Target Localization. - Ahmed Alagha; Rabeb Mizouni; Jamal Bentahar; Hadi Otrok; Shakti Singh (IEEE Internet Things J., 2023)

On-Demand-FL: A Dynamic and Efficient Multicriteria Federated Learning Client Deployment Scheme. - Mario Chahoud; Hani Sami; Azzam Mourad; Safa Otoum; Hadi Otrok; Jamal Bentahar; Mohsen Guizani (IEEE Internet Things J., 2023)

Opportunistic UAV Deployment for Intelligent On-Demand IoV Service Management. - Hani Sami; Reem Saado; Ahmad El Saoudi; Azzam Mourad; Hadi Otrok; Jamal Bentahar (IEEE Trans. Netw. Serv. Manag., 2023)

Reward shaping using convolutional neural network. - Hani Sami; Hadi Otrok; Jamal Bentahar; Azzam Mourad; Ernesto Damiani (Inf. Sci., 2023)

A Survey on Explainable Artificial Intelligence for Cybersecurity. - Gaith Rjoub; Jamal Bentahar; Omar Abdel Wahab 001; Rabeb Mizouni; Alyssa Song; Robin Cohen; Hadi Otrok; Azzam Mourad (IEEE Trans. Netw. Serv. Manag., 2023)

Multivariate Bounded Support Kotz Mixture Model with Minimum Message Length Criterion. - Tsega Weldu Araya; Muhammad Azam 002; Nizar Bouguila; Jamal Bentahar (ISNCC, 2024)

Enhancing IoT Intelligence: A Transformer-based Reinforcement Learning Methodology. - Gaith Rjoub; Saidul Islam; Jamal Bentahar; Mohammed Amin Almaiah; Rana Al-Rawashdeh (IWCMC, 2024)

The Metaverse: Survey, Trends, Novel Pipeline Ecosystem & Future Directions. - Hani Sami; Ahmad Hammoud; Mohamad Arafeh; Mohamad Wazzeh; Sarhad Arisdakessian; Mario Chahoud; Osama Wehbi; Mohamad Ajaj; Azzam Mourad; Hadi Otrok; Omar Abdel Wahab 001; Rabeb Mizouni; et al. (IEEE Commun. Surv. Tutorials, 2024)

A Multi-Modal Unsupervised Machine Learning Approach for Biomedical Signal Processing in CPR. - Saidul Islam; Jamal Bentahar; Robin Cohen; Gaith Rjoub (CoRR, 2024)

A Survey on Large Language Models for Communication, Network, and Service Management: Application Insights, Challenges, and Future Directions. - 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; et al. (CoRR, 2024)

MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi; Witold Pedrycz (Expert Syst. Appl., 2024)

Model checking combined trust and commitments in Multi-Agent Systems. - Narges Baharloo; Jamal Bentahar; Nagat Drawel; Witold Pedrycz (Expert Syst. Appl., 2024)

A comprehensive survey on applications of transformers for deep learning tasks. - Saidul Islam; Hanae Elmekki; Ahmed Elsebai; Jamal Bentahar; Nagat Drawel; Gaith Rjoub; Witold Pedrycz (Expert Syst. Appl., 2024)

Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi; Witold Pedrycz (Inf. Fusion, 2024)

Blockchain-Assisted Demonstration Cloning for Multiagent Deep Reinforcement Learning. - Ahmed Alagha; Jamal Bentahar; Hadi Otrok; Shakti Singh; Rabeb Mizouni (IEEE Internet Things J., 2024)

Blockchain-based crowdsourced deep reinforcement learning as a service. - Ahmed Alagha; Hadi Otrok; Shakti Singh; Rabeb Mizouni; Jamal Bentahar (Inf. Sci., 2024)

Corrigendum to "Transformation-based model checking temporal trust in multi-agent systems" [Journal of Systems and Software Volume 192, October 2022, 111383]. - Nagat Drawel; Amine Laarej; Jamal Bentahar; Mohamed El-Menshawy (J. Syst. Softw., 2024)

LearnChain: Transparent and cooperative reinforcement learning on Blockchain. - Hani Sami; Rabeb Mizouni; Hadi Otrok; Shakti Singh; Jamal Bentahar; Azzam Mourad (Future Gener. Comput. Syst., 2024)

Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi; Witold Pedrycz; Nagat Drawel (Inf. Fusion, 2024)

Verifying trust over IoT-ad hoc network-based applications under uncertainty. - Narges Baharloo; Jamal Bentahar; Ghalya Alwhishi; Nagat Drawel; Witold Pedrycz (Ad Hoc Networks, 2024)

Trust-driven reinforcement selection strategy for federated learning on IoT devices. - Gaith Rjoub; Omar Abdel Wahab 001; Jamal Bentahar; Ahmed Saleh Bataineh (Computing, 2024)

Trust-Augmented Deep Reinforcement Learning for Federated Learning Client Selection. - Gaith Rjoub; Omar Abdel Wahab 001; Jamal Bentahar; Robin Cohen; Ahmed Saleh Bataineh (Inf. Syst. Frontiers, 2024)

Multimodal Deep Reinforcement Learning for Visual Security of Virtual Reality Applications. - Amine Andam; Jamal Bentahar; Mustapha Hedabou (IEEE Internet Things J., 2024)

Multi-Agent Deep Reinforcement Learning for Resource Management in On-Demand Environments. - Mario Chahoud; Hani Sami; Rabeb Mizouni; Hadi Otrok; Jamal Bentahar; Azzam Mourad; Chamseddine Talhi (IWCMC, 2025)

Anchor Node-Based Trust Management for Reliable Data Fusion in Crowdsensing. - Sani Umar; Rabeb Mizouni; Shakti Singh; Hadi Otrok; Jamal Bentahar (IWCMC, 2025)

Dandelion center detection in perennial ryegrass with Heat maps using Convolutional Neural Networks. - Ibrahim Babiker; Jamal Bentahar; Wen-Fang Xie (Appl. Soft Comput., 2025)

CACTUS: An open dataset and framework for automated Cardiac Assessment and Classification of Ultrasound images using deep transfer learning. - 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; et al. (Comput. Biol. Medicine, 2025)

A hybrid swarm intelligence approach for optimizing Multimodal Large Language Models deployment in edge-cloud-based Federated Learning environments. - Gaith Rjoub; Hanae Elmekki; Saidul Islam; Jamal Bentahar; Rachida Dssouli (Comput. Commun., 2025)

A geographic-semantic context-aware urban commuting flow prediction model using graph neural network. - Shayan Nejadshamsi; Jamal Bentahar; Ursula Eicker; Chun Wang; Faezeh Jamshidi (Expert Syst. Appl., 2025)

Multivariate bounded support Kotz mixture model with semi-supervised projected model-based clustering. - Tsega Weldu Araya; Muhammad Azam 002; Nizar Bouguila; Jamal Bentahar (Inf. Fusion, 2025)

Adaptive target localization under uncertainty using Multi-Agent Deep Reinforcement Learning with knowledge transfer. - Ahmed Alagha; Rabeb Mizouni; Shakti Singh; Jamal Bentahar; Hadi Otrok (Internet Things, 2025)

Trust driven On-Demand scheme for client deployment in Federated Learning. - Mario Chahoud; Azzam Mourad; Hadi Otrok; Jamal Bentahar; Mohsen Guizani (Inf. Process. Manag., 2025)

Reward shaping in DRL: A novel framework for adaptive resource management in dynamic environments. - Mario Chahoud; Hani Sami; Rabeb Mizouni; Jamal Bentahar; Azzam Mourad; Hadi Otrok; Chamseddine Talhi (Inf. Sci., 2025)

A multi-modal unsupervised machine learning approach for biomedical signal processing during cardiopulmonary resuscitation. - Saidul Islam; Jamal Bentahar; Robin Cohen; Gaith Rjoub (Inf. Sci., 2025)

Poisoning behavioral-based worker selection in mobile crowdsensing using generative adversarial networks. - Ruba Nasser; Ahmed Alagha; Shakti Singh; Rabeb Mizouni; Hadi Otrok; Jamal Bentahar (J. Netw. Comput. Appl., 2025)

Enhanced Dynamic Deep Q-Network for Federated Learning scheduling policies on IoT devices using explanation-driven trust. - Gaith Rjoub; Hanae Elmekki; Jamal Bentahar; Witold Pedrycz; Sofian Kassaymeh; Shahed Bassam Almobydeen; Rachida Dssouli (Knowl. Based Syst., 2025)

UAV-assisted Internet of vehicles: A framework empowered by reinforcement learning and Blockchain. - Ahmed Alagha; Maha Kadadha; Rabeb Mizouni; Shakti Singh; Jamal Bentahar; Hadi Otrok (Veh. Commun., 2025)

Blockchain-assisted Demonstration Cloning for Multi-Agent Deep Reinforcement Learning. - Ahmed Alagha; Jamal Bentahar; Hadi Otrok; Shakti Singh; Rabeb Mizouni (CoRR, 2025)

AI-Powered Robust Interaction Force Control of a Cardiac Ultrasound Robotic System. - Ehsan Zakeri; Amanda Spilkin; Hanae Elmekki; Antonela Zanuttini; Lyes Kadem; Jamal Bentahar; Wen-Fang Xie; Philippe Pibarot (IEEE Trans. Ind. Electron., 2025)

Correlated Topic Modeling for Short Texts in Spherical Embedding Spaces. - Hafsa Ennajari; Nizar Bouguila; Jamal Bentahar (IEEE Trans. Pattern Anal. Mach. Intell., 2025)

On-Demand Model and Client Deployment in Federated Learning With Deep Reinforcement Learning. - Mario Chahoud; Hani Sami; Azzam Mourad; Hadi Otrok; Jamal Bentahar; Mohsen Guizani (IEEE Internet Things J., 2025)

Machine learning innovations in CPR: a comprehensive survey on enhanced resuscitation techniques. - Saidul Islam; Gaith Rjoub; Hanae Elmekki; Jamal Bentahar; Witold Pedrycz; Robin Cohen (Artif. Intell. Rev., 2025)

Constrained Black-Box Attacks Against Multi-Agent Reinforcement Learning. - Amine Andam; Jamal Bentahar; Mustapha Hedabou (CoRR, 2025)

Comprehensive review of reinforcement learning for medical ultrasound imaging. - 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; et al. (Artif. Intell. Rev., 2025)

Trust verification in information fusion-based autonomous monitoring systems using 9-valued logic. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi; Witold Pedrycz (Inf. Fusion, 2026)