Jamal Bentahar
Person information
- affiliation: Concordia University, Montreal, Canada
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
- [j53]Ahmad Hammoud, Hadi Otrok, Azzam Mourad, Omar Abdel Wahab, Jamal Bentahar:
On the Detection of Passive Malicious Providers in Cloud Federations. IEEE Communications Letters 23(1): 64-67 (2019) - 2018
- [j52]Mona Taghavi, Jamal Bentahar, Kaveh Bakhtiyari, Chihab Hanachi:
New Insights Towards Developing Recommender Systems. Comput. J. 61(3): 319-348 (2018) - [j51]Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Amine Laarej:
Model checking real-time conditional commitment logic using transformation. Journal of Systems and Software 138: 189-205 (2018) - [j50]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
Towards Trustworthy Multi-Cloud Services Communities: A Trust-Based Hedonic Coalitional Game. IEEE Trans. Services Computing 11(1): 184-201 (2018) - [c109]Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej:
Verifying Temporal Trust Logic using CTL Model Checking. TRUST@AAMAS 2018: 62-74 - [c108]Afaf Mousa, Jamal Bentahar, Omar Alam:
Multi-Objective Self-Adaptive Composite SaaS Using Feature Model. FiCloud 2018: 77-84 - [c107]
- [c106]Mona Taghavi, Jamal Bentahar, Hadi Otrok, Kaveh Bakhtiyari:
Cloudchain: A Blockchain-Based Coopetition Differential Game Model for Cloud Computing. ICSOC 2018: 146-161 - [c105]Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli:
Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. MEDI Workshops 2018: 63-74 - 2017
- [j49]Rachida Dssouli, Ahmed Khoumsi, Mounia Elqortobi, Jamal Bentahar:
Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey. Advances in Computers 106: 95-155 (2017) - [j48]Ahmed Saleh Bataineh, Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli:
Specifying and verifying contract-driven service compositions using commitments and model checking. Expert Syst. Appl. 74: 151-184 (2017) - [j47]Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli:
SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication. Fundam. Inform. 152(3): 223-271 (2017) - [j46]Faryed Eltayesh, Jamal Bentahar, Rabeb Mizouni, Hadi Otrok, Elhadi M. Shakshuki:
Refined game-theoretic approach to improve authenticity of outsourced databases. J. Ambient Intelligence and Humanized Computing 8(3): 329-344 (2017) - [c104]Mounia Elqortobi, Jamal Bentahar, Rachida Dssouli:
Framework for Dynamic Web Services Composition Guided by Live Testing. AFRICATEK 2017: 129-139 - [c103]Nader Kesserwan, Rachida Dssouli, Jamal Bentahar:
Modernization of Legacy Software Tests to Model-Driven Testing. AFRICATEK 2017: 140-156 - [c102]Nagat Drawel, Jamal Bentahar, Elhadi M. Shakshuki:
Reasoning about Trust and Time in a System of Agents. ANT/SEIT 2017: 632-639 - [c101]Gaith Rjoub, Jamal Bentahar:
Cloud Task Scheduling Based on Swarm Intelligence and Machine Learning. FiCloud 2017: 272-279 - [c100]Mona Taghavi, Jamal Bentahar, Hadi Otrok, Omar Abdel Wahab, Azzam Mourad:
On the Effects of User Ratings on the Profitability of Cloud Services. ICWS 2017: 1-8 - [c99]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
I Know You Are Watching Me: Stackelberg-Based Adaptive Intrusion Detection Strategy for Insider Attacks in the Cloud. ICWS 2017: 728-735 - [c98]Faryed Eltayesh, Jamal Bentahar:
Verifiable outsourced database in the cloud using game theory. SAC 2017: 370-377 - 2016
- [j45]Wei Wan, Jamal Bentahar, Hamdi Yahyaoui, Abdessamad Ben Hamza:
Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications. Appl. Intell. 45(3): 747-776 (2016) - [j44]Rashid Hussain Khokhar, Benjamin C. M. Fung, Farkhund Iqbal, Dima Alhadidi, Jamal Bentahar:
Privacy-preserving data mashup model for trading person-specific information. Electronic Commerce Research and Applications 17: 19-37 (2016) - [j43]Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan:
On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems. Expert Syst. Appl. 43: 223-236 (2016) - [j42]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
A Stackelberg game for distributed formation of business-driven services communities. Expert Syst. Appl. 45: 359-372 (2016) - [j41]Omar Abdel Wahab, Azzam Mourad, Hadi Otrok, Jamal Bentahar:
CEAP: SVM-based intelligent detection model for clustered vehicular ad hoc networks. Expert Syst. Appl. 50: 40-54 (2016) - [j40]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
Trust and Reputation of Web Services Through QoS Correlation Lens. IEEE Trans. Services Computing 9(6): 968-981 (2016) - [c97]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
How to Distribute the Detection Load among Virtual Machines to Maximize the Detection of Distributed Attacks in the Cloud? SCC 2016: 316-323 - [c96]Ahmed Saleh Bataineh, Rabeb Mizouni, May El Barachi, Jamal Bentahar:
Monetizing Personal Data: A Two-Sided Market Approach. ANT/SEIT 2016: 472-479 - [c95]
- [c94]Afaf Mousa, Jamal Bentahar:
An Efficient QoS-aware Web Services Selection Using Social Spider Algorithm. FNC/MobiSPC 2016: 176-182 - 2015
- [j39]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
A survey on trust and reputation models for Web services: Single, composite, and communities. Decision Support Systems 74: 121-134 (2015) - [j38]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
Formal Specification and Automatic Verification of Conditional Commitments. IEEE Intelligent Systems 30(2): 36-44 (2015) - [j37]Omar Marey, Jamal Bentahar, Ehsan Khosrowshahi Asl, Khalid Sultan, Rachida Dssouli:
Decision making under subjective uncertainty in argumentation-based agent negotiation. J. Ambient Intelligence and Humanized Computing 6(3): 307-323 (2015) - [j36]Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Pinar Yolum, Rachida Dssouli:
Computational logics and verification techniques of multi-agent commitments: survey. Knowledge Eng. Review 30(5): 564-606 (2015) - [j35]Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan, Wei Wan, Ehsan Khosrowshahi Asl:
Model checking temporal knowledge and commitments in multi-agent systems using reduction. Simulation Modelling Practice and Theory 51: 45-68 (2015) - [j34]Ehsan Khosrowshahi Asl, Jamal Bentahar, Hadi Otrok, Rabeb Mizouni:
Efficient Community Formation for Web Services. IEEE Trans. Services Computing 8(4): 586-600 (2015) - [c93]Olga Ormandjieva, Jamal Bentahar, Jinzi Huang, Heng Kuang:
Modelling Multi-agent Systems with Category Theory. ANT/SEIT 2015: 538-545 - [c92]Ana Vazquez, Mohamed El-Menshawy, Jamal Bentahar:
Automatic Transformation of Cloud Computing Service Composition to Verifiable Models. FiCloud 2015: 173-180 - [c91]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
Misbehavior Detection Framework for Community-Based Cloud Computing. FiCloud 2015: 181-188 - [c90]Amjad El Khatib, Azzam Mourad, Hadi Otrok, Omar Abdel Wahab, Jamal Bentahar:
A Cooperative Detection Model Based on Artificial Neural Network for VANET QoS-OLSR Protocol. ICUWB 2015: 1-5 - [c89]Warda El Kholy, Mohamed El-Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar, Rachida Dssouli:
Real-Time Conditional Commitment Logic. PRIMA 2015: 547-556 - [c88]Mohamad Mehdi, Elise Epaillard, Nizar Bouguila, Jamal Bentahar:
Modeling and Forecasting Time Series of Compositional Data: A Generalized Dirichlet Power Steady Model. SUM 2015: 170-185 - 2014
- [j33]Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan, Mohamed El-Menshawy:
On the interaction between knowledge and social commitments in multi-agent systems. Appl. Intell. 41(1): 235-259 (2014) - [j32]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
Probabilistic approach for QoS-aware recommender system for trustworthy web service selection. Appl. Intell. 41(2): 503-524 (2014) - [j31]Khalid Sultan, Jamal Bentahar, Mohamed El-Menshawy:
Model checking probabilistic social commitments for intelligent agent communication. Appl. Soft Comput. 22: 397-409 (2014) - [j30]Omar Marey, Jamal Bentahar, Rachida Dssouli, Mohamed Mbarki:
Measuring and analyzing agents' uncertainty in argumentation-based negotiation dialogue games. Expert Syst. Appl. 41(2): 306-320 (2014) - [j29]Ehsan Khosrowshahi Asl, Jamal Bentahar, Rabeb Mizouni, Babak Khosravifar, Hadi Otrok:
To compete or cooperate? This is the question in communities of autonomous services. Expert Syst. Appl. 41(10): 4878-4890 (2014) - [j28]Khalid Sultan, Jamal Bentahar, Wei Wan, Faisal Al-Saqqar:
Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments. Expert Syst. Appl. 41(14): 6291-6304 (2014) - [j27]Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli:
Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols. Expert Syst. Appl. 41(16): 7478-7494 (2014) - [j26]Paul D. Yoo, Sami Muhaidat, Kamal Taha, Jamal Bentahar, Abdallah Shami:
Intelligent Consensus Modeling for ProlineCis-Trans Isomerization Prediction. IEEE/ACM Trans. Comput. Biology Bioinform. 11(1): 26-32 (2014) - [j25]Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli:
Conditional Commitments: Reasoning and Model Checking. ACM Trans. Softw. Eng. Methodol. 24(2): 9:1-9:49 (2014) - [c87]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
Reputation in Communities of Agent-Based Web Services Through Data Mining. ADMI 2014: 79-92 - [c86]Omar Marey, Jamal Bentahar, Ehsan Khosrowshahi Asl, Mohamed Mbarki, Rachida Dssouli:
Agents' Uncertainty in Argumentation-based Negotiation: Classification and Implementation. ANT/SEIT 2014: 61-68 - [c85]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
Correlated multi-dimensional qos metrics for trust evaluation within web services. AAMAS 2014: 1605-1606 - [c84]Hiba Fallatah, Jamal Bentahar, Ehsan Khosrowshahi Asl:
Social Network-Based Framework for Web Services Discovery. FiCloud 2014: 159-166 - [c83]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
QoS-Based Reputation Feedback Fusion under Unknown Correlation. ICAIS 2014: 172-181 - [c82]Mohamed Mbarki, Omar Marey, Jamal Bentahar, Khalid Sultan:
Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation. ICTAI 2014: 485-492 - [c81]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. ICWS 2014: 49-56 - [c80]Raghad Baiad, Hadi Otrok, Sami Muhaidat, Jamal Bentahar:
Cooperative cross layer detection for blackhole attack in VANET-OLSR. IWCMC 2014: 863-868 - [c79]Khalid Sultan, Jamal Bentahar, Omar Marey:
A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs. SoMeT 2014: 132-147 - 2013
- [j24]Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli:
Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Autonomous Agents and Multi-Agent Systems 27(3): 375-418 (2013) - [j23]Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli:
Verifying conformance of multi-agent commitment-based protocols. Expert Syst. Appl. 40(1): 122-138 (2013) - [j22]Jamal Bentahar, Hamdi Yahyaoui, Melissa Kova, Zakaria Maamar:
Symbolic model checking composite Web services using operational and control behaviors. Expert Syst. Appl. 40(2): 508-522 (2013) - [j21]Babak Khosravifar, Jamal Bentahar, Rabeb Mizouni, Hadi Otrok, Mahsa Alishahi, Philippe Thiran:
Agent-based game-theoretic model for collaborative web services: Decision making analysis. Expert Syst. Appl. 40(8): 3207-3219 (2013) - [j20]Sina Honari, Brigitte Jaumard, Jamal Bentahar:
Uncertainty-Based Trust estimation in a Multi-Valued Trust Environment. International Journal on Artificial Intelligence Tools 22(5) (2013) - [j19]Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza:
Model checking epistemic-probabilistic logic using probabilistic interpreted systems. Knowl.-Based Syst. 50: 279-295 (2013) - [j18]Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Frank Dignum:
Introduction to the special section on agent communication. ACM TIST 4(2): 19:1 (2013) - [j17]Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Marco Colombetti, Frank Dignum, Nicoletta Fornara, Andrew J. I. Jones, Munindar P. Singh, Pinar Yolum:
Research directions in agent communication. ACM TIST 4(2): 20:1-20:23 (2013) - [c78]Ehsan Khosrowshahi Asl, Jamal Bentahar, Hadi Otrok, Rabeb Mizouni:
Efficient Coalition Formation for Web Services. IEEE SCC 2013: 737-744 - [c77]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
Representing and reasoning about communicative conditional commitments. AAMAS 2013: 1169-1170 - [c76]Jamal Bentahar, Babak Khosravifar, Kathleen Clacens, Christophe Goffart, Philippe Thiran:
On the analysis of joining communities of agent-basedweb services. AAMAS 2013: 1339-1340 - [c75]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
A QoS-Based Trust Approach for Service Selection and Composition via Bayesian Networks. ICWS 2013: 211-218 - [c74]Hamada Alshaer, Jamal Bentahar, Mohamed Manoufali, Mohamed Alyafei:
Fair resource allocation and control in multi-operator GPON access networks. WMNC 2013: 1-4 - [c73]Khalid Sultan, Mohamed El-Menshawy, Jamal Bentahar:
Reasoning about social commitments in the presence of uncertainty. SoMeT 2013: 29-35 - 2012
- [j16]Jamal Bentahar, Babak Khosravifar, Mohamed Adel Serhani, Mahsa Alishahi:
On the analysis of reputation for agent-based web services. Expert Syst. Appl. 39(16): 12438-12450 (2012) - [j15]Mohamed Amine M'hamdi, Jamal Bentahar:
Scheduling Reputation Maintenance in Agent-based Communities Using Game Theory. JSW 7(7): 1514-1523 (2012) - [j14]Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi, Rafiul Alam:
CRM: An efficient trust and reputation model for agent computing. Knowl.-Based Syst. 30: 1-16 (2012) - [j13]Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli:
Communicative commitments: Model checking and complexity analysis. Knowl.-Based Syst. 35: 21-34 (2012) - [c72]Erbin Lim, Philippe Thiran, Zakaria Maamar, Jamal Bentahar:
On the Analysis of Satisfaction for Web Services Selection. IEEE SCC 2012: 122-129 - [c71]Sina Honari, Brigitte Jaumard, Jamal Bentahar:
Merging Successive Possibility Distributions for Trust Estimation under Uncertainty in Multi-agent Systems. ICAART (1) 2012: 180-189 - [c70]Sina Honari, Brigitte Jaumard, Jamal Bentahar:
An Approach on Merging Agents' Trust Distributions in a Possibilitic Domain. ICAART (Revised Selected Papers) 2012: 283-299 - [c69]Babak Khosravifar, Mahsa Alishahi, Ehsan Khosrowshahi Asl, Jamal Bentahar, Rabeb Mizouni, Hadi Otrok:
Analyzing Coopetition Strategies of Services within Communities. ICSOC 2012: 656-663 - [c68]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
Trustworthy Web Service Selection Using Probabilistic Models. ICWS 2012: 17-24 - [c67]Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza:
Quantitative Model Checking of Knowledge. SoMeT 2012: 91-107 - 2011
- [c66]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 - [c65]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 - [c64]Erbin Lim, Philippe Thiran, Zakaria Maamar, Jamal Bentahar:
Using 3-Way Satisfaction for Web Service Selection: Preliminary Investigation. IEEE SCC 2011: 731-732 - [c63]Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
On the verification of social commitments and time. AAMAS 2011: 483-490 - [c62]Babak Khosravifar, Jamal Bentahar, Kathleen Clacens, Christophe Goffart, Philippe Thiran:
Game-Theoretic Analysis of a Web Services Collaborative Mechanism. ICSOC 2011: 549-556 - [c61]Sina Honari, Brigitte Jaumard, Jamal Bentahar:
Under Uncertainty Trust Estimation through Unknown Agents, in a Multi-valued Trust Environment. ICTAI 2011: 336-343 - [c60]Giti Oghabi, Jamal Bentahar, Abdelghani Benharref:
On the Verification of Behavioral and Probabilistic Web Services Using Transformation. ICWS 2011: 548-555 - [c59]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Model Checking Commitment Protocols. IEA/AIE (2) 2011: 37-47 - [c58]Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza:
Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems. IEA/AIE (2) 2011: 68-78 - [c57]Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, Jamal Bentahar:
Online monitoring for sustainable communities of Web Services. Integrated Network Management 2011: 702-705 - [c56]Giti Oghabi, Jamal Bentahar, Abdelghani Benharref:
Model Checking Single Web Services using Markov Chains and MDPs. SoMeT 2011: 20-37 - [c55]Mohamed Mbarki, Jamal Bentahar, Bernard Moulin:
On the Argumentative Agent Types and Negotiation. SoMeT 2011: 169-182 - [c54]Babak Khosravifar, Jamal Bentahar, Mahsa Alishahi, Maziar Gomrokchi:
Collusion-Resistant Reputation Mechanism for Multi-Agents Systems. ANT/MobiWIS 2011: 181-189 - 2010
- [j12]Jamal Bentahar, Bernard Moulin, Micheline Bélanger:
A taxonomy of argumentation models used for knowledge representation. Artif. Intell. Rev. 33(3): 211-259 (2010) - [j11]Quan Z. Sheng, Zakaria Maamar, Hamdi Yahyaoui, Jamal Bentahar, Khouloud Boukadi:
Separating Operational and Control Behaviors: A New Approach to Web Services Modeling. IEEE Internet Computing 14(3): 68-76 (2010) - [j10]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) - [j9]Jamal Bentahar, Rafiul Alam, Zakaria Maamar, Nanjangud C. Narendra:
Using argumentation to model and deploy agent-based B2B applications. Knowl.-Based Syst. 23(7): 677-692 (2010) - [j8]Mohamed Mbarki, Bernard Moulin, Jamal Bentahar:
Une approche de communication entre agents logiciels basée sur la pertinence. Revue d'Intelligence Artificielle 24(1): 27-66 (2010) - [c53]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 - [c52]Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Philippe Thiran:
On the Reputation of Agent-Based Web Services. AAAI 2010 - [c51]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 - [c50]Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli:
Symbolic model checking for agent interactions. AAMAS 2010: 1555-1556 - [c49]
- [c48]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Symbolic Model Checking Commitment Protocols Using Reduction. DALT 2010: 185-203 - [c47]Babak Khosravifar, Jamal Bentahar, Ahmad Moazin:
Analyzing the Relationships between some Parameters of Web Services Reputation. ICWS 2010: 329-336 - [c46]Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza:
Modeling and Verifying Agent-Based Communities of Web Services. IEA/AIE (2) 2010: 418-427 - [c45]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. KES-AMSTA (2) 2010: 11-21 - [c44]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 - [c43]Heng Kuang, Jamal Bentahar, Olga Ormandjieva, Nassir Shafieidizaji, Stan Klasa:
Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems. SoMeT 2010: 357-380 - [e2]Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd:
Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5948, Springer 2010, ISBN 978-3-642-11354-3 [contents]
2000 – 2009
- 2009
- [j7]Zakaria Maamar, Sattanathan Subramanian, Philippe Thiran, Djamal Benslimane, Jamal Bentahar:
An Approach to Engineer Communities of Web Services: Concepts, Architecture, Operation, and Deployment. IJEBR 5(4): 1-21 (2009) - [j6]Jamal Bentahar, John-Jules Ch. Meyer, Wei Wan:
Model checking communicative agent-based systems. Knowl.-Based Syst. 22(3): 142-159 (2009) - [c42]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 - [c41]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 - [c40]Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi, Philippe Thiran:
Combined On-line and Off-line Trust Mechanism for Agent Computing. AINA 2009: 146-153 - [c39]Jamal Bentahar, Babak Khosravifar, Maziar Gomrokchi:
Social Network-Based Trust for Agent-Based Services. AINA Workshops 2009: 298-303 - [c38]Babak Khosravifar, Maziar Gomrokchi, Jamal Bentahar, Philippe Thiran:
Maintenance-based trust for multi-agent systems. AAMAS (2) 2009: 1017-1024 - [c37]Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi:
Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks. DALT 2009: 137-157 - [c36]