Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDJamal 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
2020 – today
- 2020
[j69]Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli:
Verification and testing of safety-critical airborne systems: A model-based methodology. Comput. Sci. Inf. Syst. 17(1): 271-292 (2020)- [j68]Ehsan Khosrowshahi Asl, Jamal Bentahar
, Rebeca Estrada, Hadi Otrok, Rabeb Mizouni, Babak Khosravifar:
Dynamic formation of service communities in the cloud under distribution and incomplete information settings. Concurr. Comput. Pract. Exp. 32(1) (2020) - [j67]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Mounia Elqortobi, Amine Laarej, Rachida Dssouli:
Model checking intelligent avionics systems for test cases generation using multi-agent systems. Expert Syst. Appl. 156: 113458 (2020) - [j66]Mona Taghavi, Jamal Bentahar, Hadi Otrok:
Two-stage game theoretical framework for IaaS market share dynamics. Future Gener. Comput. Syst. 102: 173-189 (2020) - [j65]Nagat Drawel, Hongyang Qu, Jamal Bentahar, Elhadi M. Shakshuki:
Specification and automatic verification of trust-based multi-agent systems. Future Gener. Comput. Syst. 107: 1047-1060 (2020) - [j64]Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab:
BigTrustScheduling: Trust-aware big data task scheduling approach in cloud computing environments. Future Gener. Comput. Syst. 110: 1079-1097 (2020) - [j63]Ahmed Saleh Bataineh, Rabeb Mizouni, Jamal Bentahar, May El Barachi:
Toward monetizing personal data: A two-sided market analysis. Future Gener. Comput. Syst. 111: 435-459 (2020) - [j62]Ahmad Hammoud, Hani Sami, Azzam Mourad, Hadi Otrok, Rabeb Mizouni, Jamal Bentahar:
AI, Blockchain, and Vehicular Edge Computing for Smart and Secure IoV: Challenges and Directions. IEEE Internet Things Mag. 3(2): 68-73 (2020) - [j61]Omar Abdel Wahab, Robin Cohen, Jamal Bentahar, Hadi Otrok, Azzam Mourad, Gaith Rjoub:
An endorsement-based trust bootstrapping approach for newcomer cloud services. Inf. Sci. 527: 159-175 (2020) - [j60]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
Optimal Load Distribution for the Detection of VM-Based DDoS Attacks in the Cloud. IEEE Trans. Serv. Comput. 13(1): 114-129 (2020) - [j59]Mona Taghavi, Jamal Bentahar, Hadi Otrok, Kaveh Bakhtiyari:
A Blockchain-Based Model for Cloud Service Quality Monitoring. IEEE Trans. Serv. Comput. 13(2): 276-288 (2020) - [j58]Rebeca Estrada, Rabeb Mizouni, Hadi Otrok, Anis Ouali, Jamal Bentahar:
A Crowd-Sensing Framework for Allocation of Time-Constrained and Location-Based Tasks. IEEE Trans. Serv. Comput. 13(5): 769-785 (2020) - [c116]Nagat Drawel, Jamal Bentahar, Hongyang Qu:
Computationally Grounded Quantitative Trust with Time. AAMAS 2020: 1837-1839 - [c115]Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub:
Formalizing Group and Propagated Trust in Multi-Agent Systems. IJCAI 2020: 60-66 - [c114]Hani Sami, Azzam Mourad, Hadi Otrok, Jamal Bentahar:
FScaler: Automatic Resource Scaling of Containers in Fog Clusters Using Reinforcement Learning. IWCMC 2020: 1824-1829 - [c113]Mounia Elqortobi, Amine Rahj, Jamal Bentahar, Rachida Dssouli:
Test Generation Tool for Modified Condition/Decision Coverage: Model Based Testing. SITA 2020: 38:1-38:6 - [i1]Omar Abdel Wahab, Jamal Bentahar, Robin Cohen, Hadi Otrok, Azzam Mourad:
A two-level solution to fight against dishonest opinions in recommendation-based trust systems. CoRR abs/2006.04803 (2020)
2010 – 2019
- 2019
- [j57]Imran Sarwar Bajwa, Anna Helena Reali Costa, Jamal Bentahar:
Introduction to the Special Section on Artificial Intelligence for Smart Systems. Comput. Electr. Eng. 79 (2019) - [j56]Afaf Mousa, Jamal Bentahar, Omar Alam:
Context-aware composite SaaS using feature model. Future Gener. Comput. Syst. 99: 376-390 (2019) - [j55]Ahmad Hammoud, Hadi Otrok, Azzam Mourad, Omar Abdel Wahab, Jamal Bentahar:
On the Detection of Passive Malicious Providers in Cloud Federations. IEEE Commun. Lett. 23(1): 64-67 (2019) - [j54]Nader Kesserwan, Rachida Dssouli, Jamal Bentahar, Bernard Stepien, Pierre Labrèche:
From use case maps to executable test procedures: a scenario-based approach. Softw. Syst. Model. 18(2): 1543-1570 (2019) - [j53]Jie Zhang, Jamal Bentahar, Rino Falcone, Timothy J. Norman, Murat Sensoy:
Introduction to the Special Section on Trust and AI. ACM Trans. Internet Techn. 19(4) (2019) - [c112]Afaf Mousa, Jamal Bentahar, Omar Alam:
Dependency Network-based Trust Management for Context-Aware Web Services. ANT/EDI40 2019: 583-590 - [c111]Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Ahmed Saleh Bataineh:
Deep Smart Scheduling: A Deep Learning Approach for Automated Big Data Scheduling Over the Cloud. FiCloud 2019: 189-196 - 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. J. Syst. Softw. 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. Serv. Comput. 11(1): 184-201 (2018) - [c110]Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej:
Verifying Temporal Trust Logic using CTL Model Checking. TRUST@AAMAS 2018: 62-74 - [c109]Afaf Mousa, Jamal Bentahar, Omar Alam:
Multi-Objective Self-Adaptive Composite SaaS Using Feature Model. FiCloud 2018: 77-84 - [c108]Jamal Bentahar:
Keynote II. FNC/MobiSPC 2018: 7-8 - [c107]Mona Taghavi, Jamal Bentahar, Hadi Otrok, Kaveh Bakhtiyari:
Cloudchain: A Blockchain-Based Coopetition Differential Game Model for Cloud Computing. ICSOC 2018: 146-161 - [c106]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. Adv. Comput. 107: 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. Informaticae 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 Intell. Humaniz. Comput. 8(3): 329-344 (2017) - [c105]Mounia Elqortobi, Jamal Bentahar, Rachida Dssouli:
Framework for Dynamic Web Services Composition Guided by Live Testing. AFRICATEK 2017: 129-139 - [c104]Nader Kesserwan, Rachida Dssouli, Jamal Bentahar:
Modernization of Legacy Software Tests to Model-Driven Testing. AFRICATEK 2017: 140-156 - [c103]Nagat Drawel, Jamal Bentahar, Elhadi M. Shakshuki:
Reasoning about Trust and Time in a System of Agents. ANT/SEIT 2017: 632-639 - [c102]Gaith Rjoub, Jamal Bentahar:
Cloud Task Scheduling Based on Swarm Intelligence and Machine Learning. FiCloud 2017: 272-279 - [c101]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 - [c100]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 - [c99]Faryed Eltayesh, Jamal Bentahar:
Verifiable outsourced database in the cloud using game theory. SAC 2017: 370-377 - [e3]Muhammad Younas, Markus Aleksy, Jamal Bentahar:
5th IEEE International Conference on Future Internet of Things and Cloud, FiCloud 2017, Prague, Czech Republic, August 21-23, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-2074-8 [contents] - 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. Electron. Commer. Res. Appl. 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. Serv. Comput. 9(6): 968-981 (2016) - [c98]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 - [c97]Ahmed Saleh Bataineh, Rabeb Mizouni, May El Barachi, Jamal Bentahar:
Monetizing Personal Data: A Two-Sided Market Approach. ANT/SEIT 2016: 472-479 - [c96]Ansar-Ul-Haque Yasar, Jamal Bentahar:
Preface. FNC/MobiSPC 2016: 1-3 - [c95]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. Decis. Support Syst. 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 Intell. Syst. 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 Intell. Humaniz. Comput. 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. Knowl. Eng. Rev. 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. Simul. Model. Pract. Theory 51: 45-68 (2015) - [j34]Ehsan Khosrowshahi Asl, Jamal Bentahar, Hadi Otrok, Rabeb Mizouni:
Efficient Community Formation for Web Services. IEEE Trans. Serv. Comput. 8(4): 586-600 (2015) - [c94]Olga Ormandjieva, Jamal Bentahar, Jinzi Huang, Heng Kuang:
Modelling Multi-agent Systems with Category Theory. ANT/SEIT 2015: 538-545 - [c93]Ana Vazquez, Mohamed El-Menshawy, Jamal Bentahar:
Automatic Transformation of Cloud Computing Service Composition to Verifiable Models. FiCloud 2015: 173-180 - [c92]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
Misbehavior Detection Framework for Community-Based Cloud Computing. FiCloud 2015: 181-188 - [c91]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 - [c90]Warda El Kholy, Mohamed El-Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar, Rachida Dssouli:
Real-Time Conditional Commitment Logic. PRIMA 2015: 547-556 - [c89]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. Biol. 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) - [c88]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
Reputation in Communities of Agent-Based Web Services Through Data Mining. ADMI 2014: 79-92 - [c87]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 - [c86]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
Correlated multi-dimensional qos metrics for trust evaluation within web services. AAMAS 2014: 1605-1606 - [c85]Hiba Fallatah, Jamal Bentahar, Ehsan Khosrowshahi Asl:
Social Network-Based Framework for Web Services Discovery. FiCloud 2014: 159-166 - [c84]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
QoS-Based Reputation Feedback Fusion under Unknown Correlation. ICAIS 2014: 172-181 - [c83]Mohamed Mbarki, Omar Marey, Jamal Bentahar, Khalid Sultan:
Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation. ICTAI 2014: 485-492 - [c82]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 - [c81]Raghad Baiad, Hadi Otrok, Sami Muhaidat, Jamal Bentahar:
Cooperative cross layer detection for blackhole attack in VANET-OLSR. IWCMC 2014: 863-868 - [c80]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*. Auton. Agents Multi Agent Syst. 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. Int. J. Artif. Intell. 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 Trans. Intell. Syst. Technol. 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 Trans. Intell. Syst. Technol. 4(2): 20:1-20:23 (2013) - [c79]Ehsan Khosrowshahi Asl, Jamal Bentahar, Hadi Otrok, Rabeb Mizouni:
Efficient Coalition Formation for Web Services. IEEE SCC 2013: 737-744 - [c78]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
Representing and reasoning about communicative conditional commitments. AAMAS 2013: 1169-1170 - [c77]Jamal Bentahar, Babak Khosravifar, Kathleen Clacens, Christophe Goffart, Philippe Thiran:
On the analysis of joining communities of agent-basedweb services. AAMAS 2013: 1339-1340 - [c76]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
A QoS-Based Trust Approach for Service Selection and Composition via Bayesian Networks. ICWS 2013: 211-218 - [c75]Hamada Alshaer, Jamal Bentahar, Mohamed Manoufali, Mohamed Alyafei:
Fair resource allocation and control in multi-operator GPON access networks. WMNC 2013: 1-4 - [c74]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. J. Softw. 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) - [c73]Erbin Lim, Philippe Thiran, Zakaria Maamar, Jamal Bentahar:
On the Analysis of Satisfaction for Web Services Selection. IEEE SCC 2012: 122-129 - [c72]Sina Honari, Brigitte Jaumard, Jamal Bentahar:
Merging Successive Possibility Distributions for Trust Estimation under Uncertainty in Multi-agent Systems. ICAART (1) 2012: 180-189 - [c71]Sina Honari, Brigitte Jaumard, Jamal Bentahar:
An Approach on Merging Agents' Trust Distributions in a Possibilitic Domain. ICAART (Revised Selected Papers) 2012: 283-299 - [c70]Babak Khosravifar, Mahsa Alishahi, Ehsan Khosrowshahi Asl, Jamal Bentahar, Rabeb Mizouni, Hadi Otrok:
Analyzing Coopetition Strategies of Services within Communities. ICSOC 2012: 656-663 - [c69]Mohamad Mehdi, Nizar Bouguila, Jamal Bentahar:
Trustworthy Web Service Selection Using Probabilistic Models. ICWS 2012: 17-24 - [c68]Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza:
Quantitative Model Checking of Knowledge. SoMeT 2012: 91-107 - 2011
- [c67]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 - [c66]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 - [c65]Erbin Lim, Philippe Thiran, Zakaria Maamar, Jamal Bentahar:
Using 3-Way Satisfaction for Web Service Selection: Preliminary Investigation. IEEE SCC 2011: 731-732 - [c64]Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
On the verification of social commitments and time. AAMAS 2011: 483-490 - [c63]Babak Khosravifar, Jamal Bentahar, Kathleen Clacens, Christophe Goffart, Philippe Thiran:
Game-Theoretic Analysis of a Web Services Collaborative Mechanism. ICSOC 2011: 549-556 - [c62]Sina Honari, Brigitte Jaumard, Jamal Bentahar:
Under Uncertainty Trust Estimation through Unknown Agents, in a Multi-valued Trust Environment. ICTAI 2011: 336-343 - [c61]Giti Oghabi, Jamal Bentahar, Abdelghani Benharref:
On the Verification of Behavioral and Probabilistic Web Services Using Transformation. ICWS 2011: 548-555 - [c60]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Model Checking Commitment Protocols. IEA/AIE (2) 2011: 37-47 - [c59]Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza:
Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems. IEA/AIE (2) 2011: 68-78 - [c58]Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, Jamal Bentahar:
Online monitoring for sustainable communities of Web Services. Integrated Network Management 2011: 702-705 - [c57]Giti Oghabi, Jamal Bentahar, Abdelghani Benharref:
Model Checking Single Web Services using Markov Chains and MDPs. SoMeT 2011: 20-37 - [c56]Mohamed Mbarki, Jamal Bentahar, Bernard Moulin:
On the Argumentative Agent Types and Negotiation. SoMeT 2011: 169-182 - [c55]Babak Khosravifar, Jamal Bentahar, Mahsa Alishahi, Maziar Gomrokchi:
Collusion-Resistant Reputation Mechanism for Multi-Agents Systems. ANT/MobiWIS 2011: 181-189 - 2010
- [j12]