Jamal Bentahar

发表

Deep Smart Scheduling: A Deep Learning Approach for Automated Big Data Scheduling Over the Cloud

Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, 2019, 2019 7th International Conference on Future Internet of Things and Cloud (FiCloud).

A PRAGMATIC AND SEMANTIC UNIFIED FRAMEWORK FOR AGENT COMMUNICATION

Jamal Bentahar, J. Bentahar, 2005 .

Proc. of International Workshop Declarative Agent Languages and Technologies, DALT 2009

Jamal Bentahar, Matteo Baldoni, John W. Lloyd, 2004 .

Communicative commitments: Model checking and complexity analysis

Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2012, Knowl. Based Syst..

A security framework for agent-based systems

John-Jules Ch. Meyer, Jamal Bentahar, Francesca Toni, 2007, Int. J. Web Inf. Syst..

On the Meaning of SysML Activity Diagrams

Mourad Debbabi, Jamal Bentahar, Yosr Jarraya, 2009, 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems.

Verification and testing of safety-critical airborne systems: A model-based methodology

Jamal Bentahar, Rachida Dssouli, Mounia Elqortobi, 2020, Comput. Sci. Inf. Syst..

On the Detection of Passive Malicious Providers in Cloud Federations

Jamal Bentahar, Ahmad Hammoud, Azzam Mourad, 2019, IEEE Communications Letters.

Specifying and verifying contract-driven service compositions using commitments and model checking

Jamal Bentahar, Ahmed Saleh Bataineh, Rachida Dssouli, 2017, Expert Syst. Appl..

Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*

Jamal Bentahar, Rachida Dssouli, Mohamed El-Menshawy, 2013, Autonomous Agents and Multi-Agent Systems.

Analyzing the Relationships between some Parameters of Web Services Reputation

Jamal Bentahar, Babak Khosravifar, Ahmad Moazin, 2010, 2010 IEEE International Conference on Web Services.

An Adaptive Configuration for Agent-Based Supply Network

Jamal Bentahar, Khaled Ghoneim, J. Bentahar, 2008, Fifth International Conference on Information Technology: New Generations (itng 2008).

Representing and reasoning about communicative conditional commitments

Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2013, AAMAS.

On the Analysis of Satisfaction for Web Services Selection

Zakaria Maamar, Philippe Thiran, Jamal Bentahar, 2012, 2012 IEEE Ninth International Conference on Services Computing.

Reasoning about social commitments in the presence of uncertainty

Jamal Bentahar, Mohamed El-Menshawy, Khalid Sultan, 2013, 2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT).

A Trust and Energy-Aware Double Deep Reinforcement Learning Scheduling Strategy for Federated Learning on IoT Devices

Gaith Rjoub, Jamal Bentahar, Ahmed Saleh Bataineh, 2020, ICSOC.

CRM : An efficient trust and reputation model for agent computing

Jamal Bentahar, Babak Khosravifar, Maziar Gomrokchi, 2011 .

Efficient Coalition Formation for Web Services

Jamal Bentahar, Ehsan Khosrowshahi Asl, Hadi Otrok, 2013, 2013 IEEE International Conference on Services Computing.

Model Checking Agent Communication

Jamal Bentahar, J.-J. Ch. Meyer, Wei Wan, 2010 .

Efficient Community Formation for Web Services

Jamal Bentahar, Ehsan Khosrowshahi Asl, Hadi Otrok, 2015, IEEE Transactions on Services Computing.

Strategic and Tactic Reasoning for Communicating Agents

Jamal Bentahar, Bernard Moulin, Mohamed Mbarki, 2006 .

A Multi-agent-based Approach to Improve Intrusion Detection Systems False Alarm Ratio by Using Honeypot

Jamal Bentahar, Babak Khosravifar, Maziar Gomrokchi, 2009, 2009 International Conference on Advanced Information Networking and Applications Workshops.

An Argumentation Framework for Communities of Web Services

Zakaria Maamar, Philippe Thiran, Jamal Bentahar, 2007, IEEE Intelligent Systems.

Context-aware composite SaaS using feature model

Jamal Bentahar, Omar Alam, Afaf Mousa, 2019, Future Gener. Comput. Syst..

Research directions in agent communication

Marco Colombetti, Frank Dignum, Alexander Artikis, 2013, TIST.

BigTrustScheduling: Trust-aware big data task scheduling approach in cloud computing environments

Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, 2020, Future Gener. Comput. Syst..

Online monitoring for sustainable communities of Web Services

Mohamed Adel Serhani, Jamal Bentahar, Salah Bouktif, 2011, 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011) and Workshops.

Analyzing Coopetition Strategies of Services within Communities

Jamal Bentahar, Ehsan Khosrowshahi Asl, Hadi Otrok, 2012, ICSOC.

Computationally Grounded Quantitative Trust with Time

Jamal Bentahar, Hongyang Qu, Nagat Drawel, 2020, AAMAS.

A Cooperative Detection Model Based on Artificial Neural Network for VANET QoS-OLSR Protocol

Jamal Bentahar, Omar Abdel Wahab, Azzam Mourad, 2015, 2015 IEEE International Conference on Ubiquitous Wireless Broadband (ICUWB).

Quantitative Model Checking of Knowledge

Jamal Bentahar, A. Ben Hamza, Wei Wan, 2012, SoMeT.

Framework for Dynamic Web Services Composition Guided by Live Testing

Jamal Bentahar, Rachida Dssouli, Mounia Elqortobi, 2017, AFRICATEK.

Agents' Uncertainty in Argumentation-based Negotiation: Classification and Implementation

Jamal Bentahar, Ehsan Khosrowshahi Asl, Rachida Dssouli, 2014, ANT/SEIT.

Intelligent Consensus Modeling for ProlineCis-Trans Isomerization Prediction

Sami Muhaidat, Jamal Bentahar, Abdallah Shami, 2014, IEEE ACM Trans. Comput. Biol. Bioinform..

QoS-Based Reputation Feedback Fusion under Unknown Correlation

Nizar Bouguila, Jamal Bentahar, Mohamad Mehdi, 2014, ICAIS.

An Approach on Merging Agents' Trust Distributions in a Possibilitic Domain

Sina Honari, Brigitte Jaumard, Jamal Bentahar, 2012, ICAART.

Dependency Network-based Trust Management for Context-Aware Web Services

Jamal Bentahar, Omar Alam, Afaf Mousa, 2019, ANT/EDI40.

Symbolic model checking for agent interactions

Jamal Bentahar, Rachida Dssouli, Wei Wan, 2010, AAMAS.

Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks

Jamal Bentahar, Babak Khosravifar, Maziar Gomrokchi, 2009, DALT.

A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework

Jamal Bentahar, Olga Ormandjieva, Stan Klasa, 2010, ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors.

Refined game-theoretic approach to improve authenticity of outsourced databases

Jamal Bentahar, Elhadi M. Shakshuki, Hadi Otrok, 2017, J. Ambient Intell. Humaniz. Comput..

Introduction to the Special Section on Artificial Intelligence for Smart Systems

Jamal Bentahar, Anna Helena Reali Costa, Imran Sarwar Bajwa, 2019, Comput. Electr. Eng..

A managerial community of Web Services for management of communities of Web Services

Mohamed Adel Serhani, Jamal Bentahar, Salah Bouktif, 2010, 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE).

On the Measurement of Negotiation Dialogue Games

Jamal Bentahar, Abdeslam En-Nouaary, Omar Marey, 2009, SoMeT.

A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication

John-Jules Ch. Meyer, Jamal Bentahar, Bernard Moulin, 2005, DALT.

AI, Blockchain, and Vehicular Edge Computing for Smart and Secure IoV: Challenges and Directions

Jamal Bentahar, Azzam Mourad, Hadi Otrok, 2020, IEEE Internet of Things Magazine.

A survey on trust and reputation models for Web services: Single, composite, and communities

Jamal Bentahar, Omar Abdel Wahab, Azzam Mourad, 2015, Decis. Support Syst..

Maintenance-based trust for multi-agent systems

Philippe Thiran, Jamal Bentahar, Babak Khosravifar, 2009, AAMAS.

CEAP: SVM-based intelligent detection model for clustered vehicular ad hoc networks

Jamal Bentahar, Omar Abdel Wahab, Azzam Mourad, 2016, Expert Syst. Appl..

I Know You Are Watching Me: Stackelberg-Based Adaptive Intrusion Detection Strategy for Insider Attacks in the Cloud

Jamal Bentahar, Omar Abdel Wahab, Azzam Mourad, 2017, 2017 IEEE International Conference on Web Services (ICWS).

A logical model for commitment and argument network for agent communication

Brahim Chaib-draa, John-Jules Ch. Meyer, Jamal Bentahar, 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

Dialogization and Implicit Information in an Agent Communicational Model

Jamal Bentahar, Bernard Moulin, Karim Bouzoubaa, 2004, AC.

An Efficient QoS-aware Web Services Selection Using Social Spider Algorithm

Jamal Bentahar, Afaf Mousa, 2016, FNC/MobiSPC.

Model Checking Single Web Services using Markov Chains and MDPs

Jamal Bentahar, Abdelghani Benharref, Giti Oghabi, 2011, SoMeT.

Monetizing Personal Data: A Two-Sided Market Approach

Jamal Bentahar, Ahmed Saleh Bataineh, May El Barachi, 2016, ANT/SEIT.

On the reputation of communities of web services

Zakaria Maamar, Said Elnaffar, Philippe Thiran, 2008, NOTERE.

A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV

Zakaria Maamar, Jamal Bentahar, Hamdi Yahyaoui, 2009, SoMeT.

Agent-based game-theoretic model for collaborative web services: Decision making analysis

Philippe Thiran, Jamal Bentahar, Hadi Otrok, 2013, Expert Syst. Appl..

Model checking real-time conditional commitment logic using transformation

Jamal Bentahar, Mohamed El-Menshawy, Warda El Kholy, 2018, J. Syst. Softw..

A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs

Jamal Bentahar, Khalid Sultan, Omar Marey, 2014, SoMeT.

Web Services Synchronization in Composition Scenarios

Zakaria Maamar, Jamal Bentahar, Hamdi Yahyaoui, 2009, MALLOW.

Using Argumentative Agents to Manage Communities of Web Services

Zakaria Maamar, Philippe Thiran, Jamal Bentahar, 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).

Nizar Bouguila, Jamal Bentahar, Mohamad Mehdi, 2014, AAMAS.

On the Reputation of Agent-Based Web Services

Philippe Thiran, Jamal Bentahar, Babak Khosravifar, 2010, AAAI.

Commitment and Argument Network: A New Formalism for Agent Communication

Brahim Chaib-draa, Jamal Bentahar, Bernard Moulin, 2003, Workshop on Agent Communication Languages.

Social Web Services Research Roadmap: Present and Future

Zakaria Maamar, Philippe Thiran, Jamal Bentahar, 2012 .

Reputation Cascade Model over Social Connections in Online Social Networks

Jamal Bentahar, Babak Khosravifar, Maziar Gomrokchi, 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

On the Verification of Behavioral and Probabilistic Web Services Using Transformation

Jamal Bentahar, Abdelghani Benharref, Giti Oghabi, 2011, 2011 IEEE International Conference on Web Services.

Reputation in Communities of Agent-Based Web Services Through Data Mining

Nizar Bouguila, Jamal Bentahar, Mohamad Mehdi, 2014, ADMI.

A Stackelberg game for distributed formation of business-driven services communities

Jamal Bentahar, Omar Abdel Wahab, Azzam Mourad, 2016, Expert Syst. Appl..

Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study

Jamal Bentahar, Olga Ormandjieva, Stan Klasa, 2009, SERA.

A Maintenance-based trust for Open MultiAgent Systems

Philippe Thiran, Jamal Bentahar, Babak Khosravifar, 2009 .

Computational logic-based agents

Jamal Bentahar, Francesca Toni, 2008, Autonomous Agents and Multi-Agent Systems.

Introduction to the special section on agent communication

Frank Dignum, Alexander Artikis, Jamal Bentahar, 2013, TIST.

A New Model Checking Approach for Verifying Agent Communication Protocols

John-Jules Ch. Meyer, Jamal Bentahar, Bernard Moulin, 2006, 2006 Canadian Conference on Electrical and Computer Engineering.

Modeling and Forecasting Time Series of Compositional Data: A Generalized Dirichlet Power Steady Model

Nizar Bouguila, Jamal Bentahar, Mohamad Mehdi, 2015, SUM.

Towards Trustworthy Multi-Cloud Services Communities: A Trust-Based Hedonic Coalitional Game

Jamal Bentahar, Omar Abdel Wahab, Azzam Mourad, 2018, IEEE Transactions on Services Computing.

Enhancing Engineering Methodology for Communities of Web Services

Jamal Bentahar, Rachida Dssouli, Mohamed El-Menshawy, 2009, MALLOW.

To compete or cooperate? This is the question in communities of autonomous services

Jamal Bentahar, Ehsan Khosrowshahi Asl, Hadi Otrok, 2014, Expert Syst. Appl..

A New Quantitative Trust Model for Negotiating Agents

John-Jules Ch. Meyer, Jamal Bentahar, J. Meyer, 2007, RCIS.

Trust and Reputation of Web Services Through QoS Correlation Lens

Nizar Bouguila, Jamal Bentahar, Mohamad Mehdi, 2016, IEEE Transactions on Services Computing.

Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols

Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2014, 2014 IEEE International Conference on Web Services.

Internationalization of a Distance Exam Web Environment

Jamal Bentahar, Radouane Mrabet, Ecole Nationale, 2002 .

How to Distribute the Detection Load among Virtual Machines to Maximize the Detection of Distributed Attacks in the Cloud?

Jamal Bentahar, Omar Abdel Wahab, Azzam Mourad, 2016, 2016 IEEE International Conference on Services Computing (SCC).

A Computational Framework for Human/Agent Communication Using Argumentation, Implicit Information, and Social Influence

Jamal Bentahar, Bernard Moulin, Karim Bouzoubaa, 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Workshops.

Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems

Jamal Bentahar, Rachida Dssouli, Mounia Elqortobi, 2018, MEDI Workshops.

Game-Theoretic Analysis of the Web Service Collaborative Mechanism

Philippe Thiran, Jamal Bentahar, Babak Khosravifar, 2011 .

Deep and reinforcement learning for automated task scheduling in large‐scale cloud computing systems

Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, 2020, Concurr. Comput. Pract. Exp..

A two-level solution to fight against dishonest opinions in recommendation-based trust systems pdf

Jamal Bentahar, Omar Abdel Wahab, Azzam Mourad, 2020, ArXiv.

FScaler: Automatic Resource Scaling of Containers in Fog Clusters Using Reinforcement Learning

Jamal Bentahar, Azzam Mourad, Hadi Otrok, 2020, 2020 International Wireless Communications and Mobile Computing (IWCMC).

Dynamic formation of service communities in the cloud under distribution and incomplete information settings

Jamal Bentahar, Ehsan Khosrowshahi Asl, Hadi Otrok, 2020, Concurr. Comput. Pract. Exp..

An agent communication protocol for resolving conflicts

Jamal Bentahar, 2010, AAMAS.

Model checking communicative agent-based systems

Jamal Bentahar, Wei Wan, John-Jules Meyer, 2007, Knowl. Based Syst..

A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication

Brahim Chaib-draa, John-Jules Ch. Meyer, Jamal Bentahar, 2004, ArgMAS.

Knowledge-Based Systems

Zakaria Maamar, Jamal Bentahar, Nanjangud C. Narendra, 1991, SOCO 2013.

Cloudchain: A Blockchain-Based Coopetition Differential Game Model for Cloud Computing

Jamal Bentahar, Hadi Otrok, Mona Taghavi, 2018, ICSOC.

A Game Theoretic Approach for Analyzing the Efficiency of Web Services in Collaborative Networks

Philippe Thiran, Jamal Bentahar, Babak Khosravifar, 2011, 2011 IEEE International Conference on Services Computing.

On the verification of social commitments and time

Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2011, AAMAS.

Cloud Task Scheduling Based on Swarm Intelligence and Machine Learning

Gaith Rjoub, Jamal Bentahar, J. Bentahar, 2017, 2017 IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud).

On the Effects of User Ratings on the Profitability of Cloud Services

Jamal Bentahar, Omar Abdel Wahab, Azzam Mourad, 2017, 2017 IEEE International Conference on Web Services (ICWS).

Uncertainty-Based Trust estimation in a Multi-Valued Trust Environment

Sina Honari, Brigitte Jaumard, Jamal Bentahar, 2013, Int. J. Artif. Intell. Tools.

On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems

Jamal Bentahar, Khalid Sultan, Faisal Al-Saqqar, 2016, Expert Syst. Appl..

Modernization of Legacy Software Tests to Model-Driven Testing

Jamal Bentahar, Rachida Dssouli, Nader Kesserwan, 2017, AFRICATEK.

A Crowd-Sensing Framework for Allocation of Time-Constrained and Location-Based Tasks

Jamal Bentahar, Hadi Otrok, Rabeb Mizouni, 2020, IEEE Transactions on Services Computing.

Model Checking Commitment Protocols

Jamal Bentahar, Rachida Dssouli, Mohamed El-Menshawy, 2011, IEA/AIE.

Measuring and analyzing agents' uncertainty in argumentation-based negotiation dialogue games

Jamal Bentahar, Rachida Dssouli, Mohamed Mbarki, 2014, Expert Syst. Appl..

Designing and Implementing B2B Applications Using Argumentative Agents

Zakaria Maamar, Philippe Thiran, Jamal Bentahar, 2008, SoMeT.

An endorsement-based trust bootstrapping approach for newcomer cloud services

Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, 2020, Inf. Sci..

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Jamal Bentahar, Ehsan Khosrowshahi Asl, Wei Wan, 2015, Simul. Model. Pract. Theory.

Modeling and Verifying Agent-Based Communities of Web Services

Jamal Bentahar, A. Ben Hamza, Wei Wan, 2010, IEA/AIE.

Model checking probabilistic social commitments for intelligent agent communication

Jamal Bentahar, Mohamed El-Menshawy, Khalid Sultan, 2014, Appl. Soft Comput..

Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments

Jamal Bentahar, Wei Wan, Khalid Sultan, 2014, Expert Syst. Appl..

A QoS-Based Trust Approach for Service Selection and Composition via Bayesian Networks

Nizar Bouguila, Jamal Bentahar, Mohamad Mehdi, 2013, 2013 IEEE 20th International Conference on Web Services.

A Blockchain-Based Model for Cloud Service Quality Monitoring

Jamal Bentahar, Hadi Otrok, Mona Taghavi, 2020, IEEE Transactions on Services Computing.

Scheduling Reputation Maintenance in Agent-based Communities Using Game Theory

Jamal Bentahar, Mohamed Amine M'hamdi, J. Bentahar, 2012, J. Softw..

Une approche de communication entre agents logiciels basée sur la pertinence

Jamal Bentahar, Bernard Moulin, Mohamed Mbarki, 2010, Rev. d'Intelligence Artif..

Model checking intelligent avionics systems for test cases generation using multi-agent systems

Jamal Bentahar, Rachida Dssouli, Mohamed El-Menshawy, 2020, Expert Syst. Appl..

Monitoring for Sustainable Communities of Web Services

Mohamed Adel Serhani, Jamal Bentahar, United Arab Emirates, 2011 .

Model checking epistemic-probabilistic logic using probabilistic interpreted systems

Jamal Bentahar, A. Ben Hamza, Wei Wan, 2013, Knowl. Based Syst..

Symbolic Model Checking Commitment Protocols Using Reduction

Jamal Bentahar, Rachida Dssouli, Mohamed El-Menshawy, 2010, DALT.

An Approach to Incentive-Based Reputation for Communities of Web Services

Philippe Thiran, Jamal Bentahar, Babak Khosravifar, 2009, 2009 IEEE International Conference on Web Services.

Agent-based communities of web services: an argumentation-driven approach

Zakaria Maamar, Philippe Thiran, Jamal Bentahar, 2008, Service Oriented Computing and Applications.

Using Trustworthy and Referee Agents to Secure Multi-Agent Systems

Jamal Bentahar, Babak Khosravifar, J. Bentahar, 2008, Fifth International Conference on Information Technology: New Generations (itng 2008).

Specification and automatic verification of trust-based multi-agent systems

Jamal Bentahar, Elhadi M. Shakshuki, Hongyang Qu, 2018, Future Gener. Comput. Syst..

Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey

Jamal Bentahar, Ahmed Khoumsi, Rachida Dssouli, 2017, Adv. Comput..

The 8 th International Conference on Ambient Systems , Networks and Technologies ( ANT 2017 ) Reasoning about Trust and Time in a System of Agents

Jamal Bentahar, Nagat Drawel, Elhadi Shakshuki, 2017 .

Separating Operational and Control Behaviors: A New Approach to Web Services Modeling

Quan Z. Sheng, Zakaria Maamar, Jamal Bentahar, 2010, IEEE Internet Computing.

Trustworthy Web Service Selection Using Probabilistic Models

Nizar Bouguila, Jamal Bentahar, Mohamad Mehdi, 2012, 2012 IEEE 19th International Conference on Web Services.

On the Argumentative Agent Types and Negotiation

Jamal Bentahar, Bernard Moulin, Mohamed Mbarki, 2011, New Trends in Software Methodologies, Tools and Techniques.

Modelling Multi-agent Systems with Category Theory

Jamal Bentahar, Olga Ormandjieva, Heng Kuang, 2015, ANT/SEIT.

Mobile phishing attack for Android platform

Jamal Bentahar, Hadi Otrok, Rabeb Mizouni, 2014, 2014 10th International Conference on Innovations in Information Technology (IIT).

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30 - September 2, 2010

Marie-Pierre Gleizes, Guido Boella, Giancarlo Fortino, 2010, MALLOW.

Symbolic model checking composite Web services using operational and control behaviors

Zakaria Maamar, Jamal Bentahar, Hamdi Yahyaoui, 2013, Expert Syst. Appl..

Probabilistic approach for QoS-aware recommender system for trustworthy web service selection

Nizar Bouguila, Jamal Bentahar, Mohamad Mehdi, 2014, Applied Intelligence.

Resource-Aware Detection and Defense System against Multi-Type Attacks in the Cloud: Repeated Bayesian Stackelberg Game

Jamal Bentahar, Omar Abdel Wahab, Azzam Mourad, 2019, IEEE Transactions on Dependable and Secure Computing.

A New Logical Semantics for Agent Communication

John-Jules Ch. Meyer, Jamal Bentahar, Yves Lespérance, 2006, CLIMA.

Keynote II

Jamal Bentahar, 2018, FNC/MobiSPC.

Analyzing Communities of Web Services Using Incentives

Philippe Thiran, Jamal Bentahar, Babak Khosravifar, 2010, Int. J. Web Serv. Res..

Game-Theoretic Analysis of a Web Services Collaborative Mechanism

Philippe Thiran, Jamal Bentahar, Babak Khosravifar, 2011, ICSOC.

Formal Specification and Automatic Verification of Conditional Commitments

Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2015, IEEE Intelligent Systems.

Optimal Load Distribution for the Detection of VM-Based DDoS Attacks in the Cloud

Jamal Bentahar, Omar Abdel Wahab, Azzam Mourad, 2020, IEEE Transactions on Services Computing.

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols

Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2014, Expert Syst. Appl..

Misbehavior Detection Framework for Community-Based Cloud Computing

Jamal Bentahar, Omar Abdel Wahab, Azzam Mourad, 2015, 2015 3rd International Conference on Future Internet of Things and Cloud.

Collusion-Resistant Reputation Mechanism for Multi-Agents Systems

Jamal Bentahar, Babak Khosravifar, Maziar Gomrokchi, 2011, ANT/MobiWIS.

On the analysis of reputation for agent-based web services

Mohamed Adel Serhani, Jamal Bentahar, Babak Khosravifar, 2012, Expert Syst. Appl..

Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach

John-Jules Ch. Meyer, Jamal Bentahar, Bernard Moulin, 2007, Fourth International Conference on Information Technology (ITNG'07).

Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems

Jamal Bentahar, A. Ben Hamza, Wei Wan, 2011, IEA/AIE.

Verifiable Semantic Model for Agent Interactions Using Social Commitments

Jamal Bentahar, Rachida Dssouli, Mohamed El-Menshawy, 2009, LADS.

Conditional Commitments

Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2014, ACM Trans. Softw. Eng. Methodol..

Using 3-Way Satisfaction for Web Service Selection: Preliminary Investigation

Zakaria Maamar, Philippe Thiran, Jamal Bentahar, 2011, 2011 IEEE International Conference on Services Computing.

Real-Time Conditional Commitment Logic

Jamal Bentahar, Rachida Dssouli, Mohamed El-Menshawy, 2015, PRIMA.

Specification and Complexity of Strategic-Based Reasoning Using Argumentation

Jamal Bentahar, Bernard Moulin, Mohamed Mbarki, 2006, ArgMAS.

A Game-Based Secure Trading of Big Data and IoT Services: Blockchain as a Two-Sided Market

Gaith Rjoub, Jamal Bentahar, Ahmed Saleh Bataineh, 2020, ICSOC.

From use case maps to executable test procedures: a scenario-based approach

Jamal Bentahar, Rachida Dssouli, Bernard Stepien, 2017, Software & Systems Modeling.

An Argumentation-Driven Model for Flexible and Efficient Persuasive Negotiation

Jamal Bentahar, Jihad Labban, J. Bentahar, 2011 .

Analyzing Communities vs. Single Agent-Based Web Services: Trust Perspectives

Zakaria Maamar, Philippe Thiran, Jamal Bentahar, 2010, 2010 IEEE International Conference on Services Computing.

Combined On-line and Off-line Trust Mechanism for Agent Computing

Philippe Thiran, Jamal Bentahar, Babak Khosravifar, 2009, 2009 International Conference on Advanced Information Networking and Applications.

Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

M. Birna van Riemsdijk, Jamal Bentahar, Matteo Baldoni, 2010, DALT.

Merging Successive Possibility Distributions for Trust Estimation under Uncertainty in Multi-agent Systems

Sina Honari, Brigitte Jaumard, Jamal Bentahar, 2012, ICAART.

Cooperative cross layer detection for blackhole attack in VANET-OLSR

Sami Muhaidat, Jamal Bentahar, Hadi Otrok, 2014, 2014 International Wireless Communications and Mobile Computing Conference (IWCMC).

An approach to comprehensive trust management in multi-agent systems with credibility

Jamal Bentahar, Babak Khosravifar, Maziar Gomrokchi, 2008, 2008 Second International Conference on Research Challenges in Information Science.

Verifying Temporal Trust Logic using CTL Model Checking

Jamal Bentahar, Mohamed El-Menshawy, Nagat Drawel, 2018, TRUST@AAMAS.

Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems

Jamal Bentahar, Olga Ormandjieva, Stan Klasa, 2010, SoMeT.

A Computational Model for Conversation Policies for Agent Communication

Brahim Chaib-draa, John-Jules Ch. Meyer, Jamal Bentahar, 2004, CLIMA.

Automatic Transformation of Cloud Computing Service Composition to Verifiable Models

Jamal Bentahar, Mohamed El-Menshawy, Ana Vazquez, 2015, 2015 3rd International Conference on Future Internet of Things and Cloud.

A New Approach for Quality Enforcement in Communities of Web Services

Mohamed Adel Serhani, Jamal Bentahar, Salah Bouktif, 2011, 2011 IEEE International Conference on Services Computing.

Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications

Jamal Bentahar, A. Ben Hamza, Wei Wan, 2016, Applied Intelligence.

An Approach to Engineer Communities of Web Services: Concepts, Architecture, Operation, and Deployment

Zakaria Maamar, Philippe Thiran, Jamal Bentahar, 2009, Int. J. E Bus. Res..

Decision making under subjective uncertainty in argumentation-based agent negotiation

Jamal Bentahar, Ehsan Khosrowshahi Asl, Rachida Dssouli, 2015, J. Ambient Intell. Humaniz. Comput..

Introductory Essay of MALLOW-AWESOME'009

Viviana Mascardi, Jamal Bentahar, Cristina Baroglio, 2009, MALLOW.

Modeling and Verifying Business Interactions via Commitments and Dialogue Actions

Jamal Bentahar, Rachida Dssouli, Mohamed El-Menshawy, 2010, KES-AMSTA.

An Experience Improving Intrusion Detection Systems False Alarm Ratio by Using Honeypot

Jamal Bentahar, Babak Khosravifar, 2008, 22nd International Conference on Advanced Information Networking and Applications (aina 2008).

Under Uncertainty Trust Estimation through Unknown Agents, in a Multi-valued Trust Environment

Sina Honari, Brigitte Jaumard, Jamal Bentahar, 2011, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.

Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments

Brahim Chaib-draa, Jamal Bentahar, Bernard Moulin, 2004, ArgMAS.

Test Generation Tool for Modified Condition/Decision Coverage: Model Based Testing

Jamal Bentahar, Rachida Dssouli, Mounia Elqortobi, 2020, SITA.

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication

Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2017, Fundam. Informaticae.

A Formal Framework of Conversational Goals Based on Strategic Reasoning

Jamal Bentahar, Bernard Moulin, Mohamed Mbarki, 2008, IEA/AIE.

On the analysis of joining communities of agent-basedweb services

Philippe Thiran, Jamal Bentahar, Babak Khosravifar, 2013, AAMAS.

2012 IEEE 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012

Shicong Meng, Dongwon Lee, Qing Li, 2012, ICWS.

Formalizing Group and Propagated Trust in Multi-Agent Systems

Gaith Rjoub, Jamal Bentahar, Nagat Drawel, 2020, IJCAI.

On the interaction between knowledge and social commitments in multi-agent systems

Jamal Bentahar, Mohamed El-Menshawy, Khalid Sultan, 2014, Applied Intelligence.

Verifying conformance of multi-agent commitment-based protocols

Jamal Bentahar, Rachida Dssouli, Mohamed El-Menshawy, 2013, Expert Syst. Appl..

A New Semantics of Social Commitments Using Branching Space-Time Logic

Jamal Bentahar, Rachida Dssouli, Mohamed El-Menshawy, 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

Multi-Objective Self-Adaptive Composite SaaS Using Feature Model

Jamal Bentahar, Omar Alam, Afaf Mousa, 2018, 2018 IEEE 6th International Conference on Future Internet of Things and Cloud (FiCloud).

Social Network-Based Framework for Web Services Discovery

Jamal Bentahar, Ehsan Khosrowshahi Asl, Hiba Fallatah, 2014, 2014 International Conference on Future Internet of Things and Cloud.

A New Approach to Model Web Services' Behaviors Based on Synchronization

Quan Z. Sheng, Zakaria Maamar, Jamal Bentahar, 2009, 2009 International Conference on Advanced Information Networking and Applications Workshops.

Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation

Jamal Bentahar, Khalid Sultan, Mohamed Mbarki, 2014, 2014 IEEE 26th International Conference on Tools with Artificial Intelligence.

New Insights Towards Developing Recommender Systems

Jamal Bentahar, Chihab Hanachi, Mona Taghavi, 2018, Comput. J..

Verifiable outsourced database in the cloud using game theory

Jamal Bentahar, Faryed Eltayesh, J. Bentahar, 2017, SAC.

Social Network-Based Trust for Agent-Based Services

Jamal Bentahar, Babak Khosravifar, Maziar Gomrokchi, 2009, 2009 International Conference on Advanced Information Networking and Applications Workshops.

An Integrated Semantics of Social Commitments and Associated Operations

Jamal Bentahar, Rachida Dssouli, Mohamed El-Menshawy, 2009, MALLOW.

Symbolic Model Checking for Agent Interactions (Extended Abstract)

Jamal Bentahar, Rachida Dssouli, Wei Wan, 2010 .

On the Analysis of Joining Communities of Agent-based Web Services (Extended Abstract)

Philippe Thiran, Jamal Bentahar, Babak Khosravifar, 2013 .

Multi-Agent-Based Approach for Real-Time Collision Avoidance and Path Re-Planning on Construction Sites

Cheng Zhang, Amin Hammad, Jamal Bentahar, 2011 .

Fair resource allocation and control in multi-operator GPON access networks

Jamal Bentahar, Hamada Alshaer, Mohamed Manoufali, 2013, 6th Joint IFIP Wireless and Mobile Networking Conference (WMNC).

Strategic Agent Communication: An Argumentation-Driven Approach

John-Jules Ch. Meyer, Jamal Bentahar, Bernard Moulin, 2008, DALT.

An Argumentation-Driven Model for Autonomous and Secure Negotiation

Jamal Bentahar, Bernard Moulin, Jihad Labban, 2007 .

Cloud as platform for monetizing complementary data for AI-driven services: A two-sided cooperative game

Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, 2021, 2021 IEEE International Conference on Services Computing (SCC).

Demand-Driven Deep Reinforcement Learning for Scalable Fog and Service Placement

Jamal Bentahar, Azzam Mourad, Hadi Otrok, 2021, IEEE Transactions on Services Computing.

Cloud computing as a platform for monetizing data services: A two-sided game business model pdf

Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, 2021, IEEE Transactions on Network and Service Management.

Improving Autonomous Vehicles Safety in Snow Weather Using Federated YOLO CNN Learning

Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, 2021, MobiWIS.

Multi-dimensional trust for context-aware services computing

Jamal Bentahar, Omar Alam, Afaf Mousa, 2021, Expert Syst. Appl..

AI-Based Resource Provisioning of IoE Services in 6G: A Deep Reinforcement Learning Approach

Jamal Bentahar, Azzam Mourad, Hadi Otrok, 2021, IEEE Transactions on Network and Service Management.

Variational learning of finite shifted scaled Dirichlet mixture models

Nizar Bouguila, Jamal Bentahar, Narges Manouchehri, 2021 .

Model checking agent-based communities against uncertain group commitments and knowledge

Jamal Bentahar, Hamdi Yahyaoui, Rabeb Mizouni, 2021, Expert Syst. Appl..

An Argumentation-based Protocol for Conflict Resolution

Zakaria Maamar, Jamal Bentahar, Z. Maamar, 2008 .

MULTI-AGENT-BASED APPROACH FOR REAL-TIME COLLISION AVOIDANCE AND PATH REPLANNING ON CONSTRUCTION SITES

Amin Hammad, Jamal Bentahar, Cheng Zhang, 2011 .

Intelligent Consensus Modeling for Proline Cis-Trans Isomerization Prediction

Paul D. Yoo, Sami Muhaidat, Jamal Bentahar, 2014, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

A Persuasion Dialogue Game based on Commitments and Arguments

Brahim Chaib-draa, Jamal Bentahar, Bernard Moulin, 2004 .

Reputation of Communities of Web Services - Preliminary Investigation

Zakaria Maamar, Said Elnaffar, Philippe Thiran, 2008, 22nd International Conference on Advanced Information Networking and Applications - Workshops (aina workshops 2008).