Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
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
- 2023
[j85]Abdeladim Sadiki, Jamal Bentahar, Rachida Dssouli, Abdeslam En-Nouaary, Hadi Otrok:
Deep reinforcement learning for the computation offloading in MIMO-based Edge Computing. Ad Hoc Networks 141: 103080 (2023)- [j84]Mona Taghavi
, Jamal Bentahar, Hadi Otrok, Kaveh Bakhtiyari:
A reinforcement learning model for the reliability of blockchain oracles. Expert Syst. Appl. 214: 119160 (2023) - [j83]Anahita Mazloomi, Hani Sami, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
Reinforcement Learning Framework for Server Placement and Workload Allocation in Multiaccess Edge Computing. IEEE Internet Things J. 10(2): 1376-1390 (2023) - [e5]Irfan Awan, Muhammad Younas, Jamal Bentahar, Salima Benbernou:
The International Conference on Deep Learning, Big Data and Blockchain (DBB 2022), Rome, Italy, 22-24 August 2022. Lecture Notes in Networks and Systems 541, Springer 2023, ISBN 978-3-031-16034-9 [contents] - [i7]Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Rabeb Mizouni, Alyssa Song, Robin Cohen, Hadi Otrok, Azzam Mourad:
A Survey on Explainable Artificial Intelligence for Network Cybersecurity. CoRR abs/2303.12942 (2023) - [i6]Hani Sami, Ahmad Hammoud, Mohamad Arafeh, Mohamad Wazzeh, Sarhad Arisdakessian, Mario Chahoud, Osama Wehbi, Mohamad Ajaj, Azzam Mourad, Hadi Otrok, Omar Abdel Wahab, Rabeb Mizouni, Jamal Bentahar, Chamseddine Talhi, Zbigniew Dziong, Ernesto Damiani, Mohsen Guizani:
The Metaverse: Survey, Trends, Novel Pipeline Ecosystem & Future Directions. CoRR abs/2304.09240 (2023) - 2022
- [j82]Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub:
Formal verification of group and propagated trust in multi-agent systems. Auton. Agents Multi Agent Syst. 36(1): 19 (2022) - [j81]Ahmed Alagha, Shakti Singh, Rabeb Mizouni, Jamal Bentahar, Hadi Otrok:
Target localization using Multi-Agent Deep Reinforcement Learning with Proximal Policy Optimization. Future Gener. Comput. Syst. 136: 342-357 (2022) - [j80]Omar Abdel Wahab, Gaith Rjoub, Jamal Bentahar, Robin Cohen:
Federated against the cold: A trust-based federated learning approach to counter the cold start problem in recommendation systems. Inf. Sci. 601: 189-206 (2022) - [j79]Hani Sami, Jamal Bentahar, Azzam Mourad, Hadi Otrok, Ernesto Damiani:
Graph convolutional recurrent networks for reward shaping in reinforcement learning. Inf. Sci. 608: 63-80 (2022) - [j78]Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy:
Transformation-based model checking temporal trust in multi-agent systems. J. Syst. Softw. 192: 111383 (2022) - [j77]Ahmed Saleh Bataineh, Jamal Bentahar, Rabeb Mizouni, Omar Abdel Wahab, Gaith Rjoub, May El Barachi:
Cloud Computing as a Platform for Monetizing Data Services: A Two-Sided Game Business Model. IEEE Trans. Netw. Serv. Manag. 19(2): 1336-1350 (2022) - [j76]Hani Sami, Azzam Mourad, Hadi Otrok, Jamal Bentahar:
Demand-Driven Deep Reinforcement Learning for Scalable Fog and Service Placement. IEEE Trans. Serv. Comput. 15(5): 2671-2684 (2022) - [c130]Jamal Bentahar, Nagat Drawel, Abdeladim Sadiki:
Quantitative Group Trust: A Two-Stage Verification Approach. AAMAS 2022: 100-108 - [c129]Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Nagat Drawel:
One-Shot Federated Learning-based Model-Free Reinforcement Learning. DBB 2022: 39-52 - [c128]Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi:
Three-Valued Model Checking Smart Contract Systems with Trust Under Uncertainty. DBB 2022: 119-133 - [c127]Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi:
Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty. FiCloud 2022: 173-180 - [c126]Hafsa Ennajari, Nizar Bouguila, Jamal Bentahar:
Embedded Spherical Topic Models for Supervised Learning. ICPR 2022: 1650-1656 - [c125]Ghalya Alwhishi, Jamal Bentahar, Nagat Drawel:
Reasoning about Uncertainty over IoT Systems. IWCMC 2022: 306-311 - [c124]Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab:
Explainable AI-based Federated Deep Reinforcement Learning for Trusted Autonomous Driving. IWCMC 2022: 318-323 - [c123]Gaith Rjoub, Jamal Bentahar, Y. A. Joarder:
Active Federated YOLOR Model for Enhancing Autonomous Vehicles Safety. MobiWIS 2022: 49-64 - [c122]Ghalya Alwhishi, Nagat Drawel, Jamal Bentahar:
Model Checking Intelligent Information Systems with 3-Valued Timed Commitments. MobiWIS 2022: 237-251 - [c121]Hafsa Ennajari, Nizar Bouguila, Jamal Bentahar:
Knowledge-enhanced Spherical Representation Learning for Text Classification. SDM 2022: 639-647 - [i5]Anahita Mazloomi, Hani Sami, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
Reinforcement Learning Framework for Server Placement and Workload Allocation in Multi-Access Edge Computing. CoRR abs/2203.07998 (2022) - [i4]Hani Sami, Hadi Otrok, Jamal Bentahar, Azzam Mourad, Ernesto Damiani:
Reward Shaping Using Convolutional Neural Network. CoRR abs/2210.16956 (2022) - [i3]Mario Chahoud, Hani Sami, Azzam Mourad, Safa Otoum, Hadi Otrok, Jamal Bentahar, Mohsen Guizani:
ON-DEMAND-FL: A Dynamic and Efficient Multi-Criteria Federated Learning Client Deployment Scheme. CoRR abs/2211.02906 (2022) - 2021
- [j75]Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Ahmed Saleh Bataineh:
Deep and reinforcement learning for automated task scheduling in large-scale cloud computing systems. Concurr. Comput. Pract. Exp. 33(23) (2021) - [j74]Afaf Mousa, Jamal Bentahar, Omar Alam:
Multi-dimensional trust for context-aware services computing. Expert Syst. Appl. 172: 114592 (2021) - [j73]Khalid Sultan, Jamal Bentahar, Hamdi Yahyaoui, Rabeb Mizouni:
Model checking agent-based communities against uncertain group commitments and knowledge. Expert Syst. Appl. 177: 114792 (2021) - [j72]Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, Azzam Mourad:
Resource-Aware Detection and Defense System against Multi-Type Attacks in the Cloud: Repeated Bayesian Stackelberg Game. IEEE Trans. Dependable Secur. Comput. 18(2): 605-622 (2021) - [j71]Rashid Hussain Khokhar, Farkhund Iqbal, Benjamin C. M. Fung, Jamal Bentahar:
Enabling Secure Trustworthiness Assessment and Privacy Protection in Integrating Data for Trading Person-Specific Information. IEEE Trans. Engineering Management 68(1): 149-169 (2021) - [j70]Hani Sami, Hadi Otrok, Jamal Bentahar, Azzam Mourad:
AI-Based Resource Provisioning of IoE Services in 6G: A Deep Reinforcement Learning Approach. IEEE Trans. Netw. Serv. Manag. 18(3): 3527-3540 (2021) - [c120]Ahmed Saleh Bataineh, Jamal Bentahar, Omar Abdel Wahab, Rabeb Mizouni, Gaith Rjoub:
Cloud as platform for monetizing complementary data for AI-driven services: A two-sided cooperative game. SCC 2021: 443-449 - [c119]Gaith Rjoub, Omar Abdel Wahab, Jamal Bentahar, Ahmed Saleh Bataineh:
Improving Autonomous Vehicles Safety in Snow Weather Using Federated YOLO CNN Learning. MobiWIS 2021: 121-134 - [e4]Jamal Bentahar, Irfan Awan, Muhammad Younas, Tor-Morten Grønli:
Mobile Web and Intelligent Information Systems - 17th International Conference, MobiWIS 2021, Virtual Event, August 23-25, 2021, Proceedings. Lecture Notes in Computer Science 12814, Springer 2021, ISBN 978-3-030-83163-9 [contents] - [i2]Ahmed Saleh Bataineh, Jamal Bentahar, Rabeb Mizouni, Omar Abdel Wahab, Gaith Rjoub, May El Barachi:
Cloud computing as a platform for monetizing data services: A two-sided game business model. CoRR abs/2104.12762 (2021) - 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) - [c118]Nagat Drawel, Jamal Bentahar, Hongyang Qu:
Computationally Grounded Quantitative Trust with Time. AAMAS 2020: 1837-1839 - [c117]Ahmed Saleh Bataineh, Jamal Bentahar, Omar Abdel Wahab, Rabeb Mizouni, Gaith Rjoub:
A Game-Based Secure Trading of Big Data and IoT Services: Blockchain as a Two-Sided Market. ICSOC 2020: 85-100 - [c116]Gaith Rjoub, Omar Abdel Wahab, Jamal Bentahar, Ahmed Saleh Bataineh:
A Trust and Energy-Aware Double Deep Reinforcement Learning Scheduling Strategy for Federated Learning on IoT Devices. ICSOC 2020: 319-333 - [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.