Jamal Bentahar

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

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

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

Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Frank Dignum: Introduction to the special section on agent communication. ACM TIST 4(2): 19 (2013)

Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Marco Colombetti, Frank Dignum, Nicoletta Fornara, Andrew J. I. Jones, Munindar P. Singh, Pinar Yolum: Research directions in agent communication. ACM TIST 4(2): 20 (2013)

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

Mohamed Amine M'hamdi, Jamal Bentahar: Scheduling Reputation Maintenance in Agent-based Communities Using Game Theory. JSW 7(7): 1514-1523 (2012)

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

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

Erbin Lim, Philippe Thiran, Zakaria Maamar, Jamal Bentahar: On the Analysis of Satisfaction for Web Services Selection. IEEE SCC 2012: 122-129

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

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

Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar: Trustworthy Web Service Selection Using Probabilistic Models. ICWS 2012: 17-24

Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza: Quantitative Model Checking of Knowledge. SoMeT 2012: 91-107

Babak Khosravifar, Jamal Bentahar, Mahsa Alishahi, Maziar Gomrokchi: Collusion-Resistant Reputation Mechanism for Multi-Agents Systems. Procedia CS 5: 181-189 (2011)

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

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

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

Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli: On the verification of social commitments and time. AAMAS 2011: 483-490

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

Sina Honari, Brigitte Jaumard, Jamal Bentahar: Under Uncertainty Trust Estimation through Unknown Agents, in a Multi-valued Trust Environment. ICTAI 2011: 336-343

Giti Oghabi, Jamal Bentahar, Abdelghani Benharref: On the Verification of Behavioral and Probabilistic Web Services Using Transformation. ICWS 2011: 548-555

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

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

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

Giti Oghabi, Jamal Bentahar, Abdelghani Benharref: Model Checking Single Web Services using Markov Chains and MDPs. SoMeT 2011: 20-37

Mohamed Mbarki, Jamal Bentahar, Bernard Moulin: On the Argumentative Agent Types and Negotiation. SoMeT 2011: 169-182

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

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

Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Philippe Thiran: Analyzing Communities of Web Services Using Incentives. Int. J. Web Service Res. 7(3): 30-51 (2010)

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

Mohamed Mbarki, Bernard Moulin, Jamal Bentahar: Une approche de communication entre agents logiciels basée sur la pertinence. Revue d'Intelligence Artificielle 24(1): 27-66 (2010)

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

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

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

Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli: Symbolic model checking for agent interactions. AAMAS 2010: 1555-1556

Jamal Bentahar: An agent communication protocol for resolving conflicts. AAMAS 2010: 1557-1558

Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli: Symbolic Model Checking Commitment Protocols Using Reduction. DALT 2010: 185-203

Babak Khosravifar, Jamal Bentahar, Ahmad Moazin: Analyzing the Relationships between some Parameters of Web Services Reputation. ICWS 2010: 329-336

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

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

Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, Jamal Bentahar: A managerial community of Web Services for management of communities of Web Services. NOTERE 2010: 97-104

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

Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd (Eds.): Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5948, Springer 2010, isbn 978-3-642-11354-3

Zakaria Maamar, Sattanathan Subramanian, Philippe Thiran, Djamal Benslimane, Jamal Bentahar: An Approach to Engineer Communities of Web Services: Concepts, Architecture, Operation, and Deployment. IJEBR 5(4): 1-21 (2009)

Jamal Bentahar, John-Jules Ch. Meyer, Wei Wan: Model checking communicative agent-based systems. Knowl.-Based Syst. 22(3): 142-159 (2009)

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

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

Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi, Philippe Thiran: Combined On-line and Off-line Trust Mechanism for Agent Computing. AINA 2009: 146-153

Jamal Bentahar, Babak Khosravifar, Maziar Gomrokchi: Social Network-Based Trust for Agent-Based Services. AINA Workshops 2009: 298-303

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

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

Yosr Jarraya, Mourad Debbabi, Jamal Bentahar: On the Meaning of SysML Activity Diagrams. ECBS 2009: 95-105

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

Maziar Gomrokchi, Jamal Bentahar, Babak Khosravifar: Reputation Cascade Model over Social Connections in Online Social Networks. IAT 2009: 523-526

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

Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli: Verifiable Semantic Model for Agent Interactions Using Social Commitments. LADS 2009: 128-152

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

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

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

Hamdi Yahyaoui, Zakaria Maamar, Jamal Bentahar, Khouloud Boukadi: Web Services Synchronization in Composition Scenarios. MALLOW 2009

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

Omar Marey, Jamal Bentahar, Abdeslam En-Nouaary: On the Measurement of Negotiation Dialogue Games. SoMeT 2009: 223-244

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

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 (Eds.): Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009. CEUR Workshop Proceedings 494, CEUR-WS.org 2009

Francesca Toni, Jamal Bentahar: Computational logic-based agents. Autonomous Agents and Multi-Agent Systems 16(3): 211-213 (2008)

Jamal Bentahar, Zakaria Maamar, Wei Wan, Djamal Benslimane, Philippe Thiran, Sattanathan Subramanian: Agent-based communities of web services: an argumentation-driven approach. Service Oriented Computing and Applications 2(4): 219-238 (2008)

Babak Khosravifar, Jamal Bentahar: An Experience Improving Intrusion Detection Systems False Alarm Ratio by Using Honeypot. AINA 2008: 997-1004

Said Elnaffar, Zakaria Maamar, Hamdi Yahyaoui, Jamal Bentahar, Philippe Thiran: Reputation of Communities of Web Services - Preliminary Investigation. AINA Workshops 2008: 1603-1608

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

Mohamed Mbarki, Jamal Bentahar, Bernard Moulin: A Formal Framework of Conversational Goals Based on Strategic Reasoning. IEA/AIE 2008: 835-844

Jamal Bentahar, Babak Khosravifar: Using Trustworthy and Referee Agents to Secure Multi-Agent Systems. ITNG 2008: 477-482

Khaled Ghoneim, Jamal Bentahar: An Adaptive Configuration for Agent-Based Supply Network. ITNG 2008: 1268-1271

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

Jamal Bentahar, Nanjagud Narenda, Zakaria Maamar, Rafiul Alam, Philippe Thiran: Designing and Implementing B2B Applications Using Argumentative Agents. SoMeT 2008: 165-189

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

Jamal Bentahar, Zakaria Maamar, Djamal Benslimane, Philippe Thiran: An Argumentation Framework for Communities of Web Services. IEEE Intelligent Systems 22(6): 75-83 (2007)

Jamal Bentahar, John-Jules Ch. Meyer: A New Quantitative Trust Model for Negotiating Agents using Argumentation. IJCSA 4(2): 1-21 (2007)

Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban: A security framework for agent-based systems. IJWIS 3(4): 341-362 (2007)

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

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

Jamal Bentahar, John-Jules Ch. Meyer: A New Quantitative Trust Model for Negotiating Agents. RCIS 2007: 39-50

Jamal Bentahar, John-Jules Ch. Meyer: Model Checking Communicative Agent-Based Systems. SoMeT 2007: 239-265

Mohamed Mbarki, Jamal Bentahar, Bernard Moulin: Specification and Complexity of Strategic-Based Reasoning Using Argumentation. ArgMAS 2006: 142-160

Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer: A New Model Checking Approach for Verifying Agent Communication Protocols. CCECE 2006: 1586-1590

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

Jamal Bentahar, Karim Bouzouba, Bernard Moulin: A Computational Framework for Human/Agent Communication Using Argumentation, Implicit Information, and Social Influence. IAT Workshops 2006: 372-377

Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer: A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. DALT 2005: 223-244

Karim Bouzouba, Jamal Bentahar, Bernard Moulin: Dialogization and Implicit Information in an Agent Communicational Model. AC 2004: 193-208

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

Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa: Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments. ArgMAS 2004: 130-148

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

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

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