Jamal Bentahar
Orcid: 0000-0002-3136-4849Affiliations:
- Concordia University, Montreal, Canada
According to our database1,
Jamal Bentahar
authored at least 245 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Computing, April, 2024
Ad Hoc Networks, March, 2024
Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments.
Inf. Fusion, February, 2024
Future Gener. Comput. Syst., January, 2024
Corrigendum to "Transformation-based model checking temporal trust in multi-agent systems" [Journal of Systems and Software Volume 192, October 2022, 111383].
J. Syst. Softw., 2024
Inf. Sci., 2024
Blockchain-Assisted Demonstration Cloning for Multiagent Deep Reinforcement Learning.
IEEE Internet Things J., 2024
Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings.
Inf. Fusion, 2024
Expert Syst. Appl., 2024
Expert Syst. Appl., 2024
MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment.
Expert Syst. Appl., 2024
On-Demand Model and Client Deployment in Federated Learning with Deep Reinforcement Learning.
CoRR, 2024
CoRR, 2024
CoRR, 2024
2023
IEEE Trans. Netw. Serv. Manag., December, 2023
IEEE Trans. Netw. Serv. Manag., September, 2023
On-Demand-FL: A Dynamic and Efficient Multicriteria Federated Learning Client Deployment Scheme.
IEEE Internet Things J., September, 2023
Multiagent Deep Reinforcement Learning With Demonstration Cloning for Target Localization.
IEEE Internet Things J., August, 2023
IEEE Trans. Neural Networks Learn. Syst., July, 2023
Guest Editorial: Special Section on the Latest Developments in Federated Learning for the Management of Networked Systems and Resources.
IEEE Trans. Netw. Serv. Manag., June, 2023
Deep reinforcement learning for the computation offloading in MIMO-based Edge Computing.
Ad Hoc Networks, March, 2023
Reinforcement Learning Framework for Server Placement and Workload Allocation in Multiaccess Edge Computing.
IEEE Internet Things J., January, 2023
Expert Syst. Appl., 2023
CoRR, 2023
CoRR, 2023
Granular Traceability Between Requirements and Test Cases for Safety-Critical Software Systems.
Proceedings of the Mobile Web and Intelligent Information Systems, 2023
Explainable Trust-aware Selection of Autonomous Vehicles Using LIME for One-Shot Federated Learning.
Proceedings of the International Wireless Communications and Mobile Computing, 2023
Towards On-Demand Deployment of Multiple Clients and Heterogeneous Models in Federated Learning.
Proceedings of the International Wireless Communications and Mobile Computing, 2023
Proceedings of the International Wireless Communications and Mobile Computing, 2023
2022
IEEE Trans. Serv. Comput., 2022
Cloud Computing as a Platform for Monetizing Data Services: A Two-Sided Game Business Model.
IEEE Trans. Netw. Serv. Manag., 2022
J. Syst. Softw., 2022
Federated against the cold: A trust-based federated learning approach to counter the cold start problem in recommendation systems.
Inf. Sci., 2022
Inf. Sci., 2022
Target localization using Multi-Agent Deep Reinforcement Learning with Proximal Policy Optimization.
Future Gener. Comput. Syst., 2022
ON-DEMAND-FL: A Dynamic and Efficient Multi-Criteria Federated Learning Client Deployment Scheme.
CoRR, 2022
Reinforcement Learning Framework for Server Placement and Workload Allocation in Multi-Access Edge Computing.
CoRR, 2022
Auton. Agents Multi Agent Syst., 2022
Proceedings of the 2022 SIAM International Conference on Data Mining, 2022
Proceedings of the Mobile Web and Intelligent Information Systems, 2022
Proceedings of the Mobile Web and Intelligent Information Systems, 2022
Explainable AI-based Federated Deep Reinforcement Learning for Trusted Autonomous Driving.
Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022
Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022
Proceedings of the 26th International Conference on Pattern Recognition, 2022
Proceedings of the 9th International Conference on Future Internet of Things and Cloud, 2022
Proceedings of the International Conference on Deep Learning, 2022
Proceedings of the International Conference on Deep Learning, 2022
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022
2021
AI-Based Resource Provisioning of IoE Services in 6G: A Deep Reinforcement Learning Approach.
IEEE Trans. Netw. Serv. Manag., 2021
Enabling Secure Trustworthiness Assessment and Privacy Protection in Integrating Data for Trading Person-Specific Information.
IEEE Trans. Engineering Management, 2021
Resource-Aware Detection and Defense System against Multi-Type Attacks in the Cloud: Repeated Bayesian Stackelberg Game.
IEEE Trans. Dependable Secur. Comput., 2021
Model checking agent-based communities against uncertain group commitments and knowledge.
Expert Syst. Appl., 2021
Expert Syst. Appl., 2021
Deep and reinforcement learning for automated task scheduling in large-scale cloud computing systems.
Concurr. Comput. Pract. Exp., 2021
Improving Autonomous Vehicles Safety in Snow Weather Using Federated YOLO CNN Learning.
Proceedings of the Mobile Web and Intelligent Information Systems, 2021
Cloud as platform for monetizing complementary data for AI-driven services: A two-sided cooperative game.
Proceedings of the IEEE International Conference on Services Computing, 2021
2020
IEEE Trans. Serv. Comput., 2020
IEEE Trans. Serv. Comput., 2020
A Crowd-Sensing Framework for Allocation of Time-Constrained and Location-Based Tasks.
IEEE Trans. Serv. Comput., 2020
Inf. Sci., 2020
AI, Blockchain, and Vehicular Edge Computing for Smart and Secure IoV: Challenges and Directions.
IEEE Internet Things Mag., 2020
Future Gener. Comput. Syst., 2020
BigTrustScheduling: Trust-aware big data task scheduling approach in cloud computing environments.
Future Gener. Comput. Syst., 2020
Future Gener. Comput. Syst., 2020
Future Gener. Comput. Syst., 2020
Model checking intelligent avionics systems for test cases generation using multi-agent systems.
Expert Syst. Appl., 2020
A two-level solution to fight against dishonest opinions in recommendation-based trust systems.
CoRR, 2020
Dynamic formation of service communities in the cloud under distribution and incomplete information settings.
Concurr. Comput. Pract. Exp., 2020
Verification and testing of safety-critical airborne systems: A model-based methodology.
Comput. Sci. Inf. Syst., 2020
Proceedings of the SITA'20: Theories and Applications, 2020
FScaler: Automatic Resource Scaling of Containers in Fog Clusters Using Reinforcement Learning.
Proceedings of the 16th International Wireless Communications and Mobile Computing Conference, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
A Trust and Energy-Aware Double Deep Reinforcement Learning Scheduling Strategy for Federated Learning on IoT Devices.
Proceedings of the Service-Oriented Computing - 18th International Conference, 2020
A Game-Based Secure Trading of Big Data and IoT Services: Blockchain as a Two-Sided Market.
Proceedings of the Service-Oriented Computing - 18th International Conference, 2020
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
2019
ACM Trans. Internet Techn., 2019
Softw. Syst. Model., 2019
IEEE Commun. Lett., 2019
Comput. Electr. Eng., 2019
Deep Smart Scheduling: A Deep Learning Approach for Automated Big Data Scheduling Over the Cloud.
Proceedings of the 7th International Conference on Future Internet of Things and Cloud, 2019
Proceedings of the 10th International Conference on Ambient Systems, Networks and Technologies (ANT 2019) / The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40 2019) / Affiliated Workshops, April 29, 2019
2018
Towards Trustworthy Multi-Cloud Services Communities: A Trust-Based Hedonic Coalitional Game.
IEEE Trans. Serv. Comput., 2018
J. Syst. Softw., 2018
Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems.
Proceedings of the New Trends in Model and Data Engineering, 2018
Cloudchain: A Blockchain-Based Coopetition Differential Game Model for Cloud Computing.
Proceedings of the Service-Oriented Computing - 16th International Conference, 2018
Proceedings of the 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) / The 13th International Conference on Future Networks and Communications (FNC-2018) / Affiliated Workshops, 2018
Proceedings of the 6th IEEE International Conference on Future Internet of Things and Cloud, 2018
Proceedings of the 20th International Trust Workshop co-located with AAMAS/IJCAI/ECAI/ICML 2018, 2018
2017
J. Ambient Intell. Humaniz. Comput., 2017
Fundam. Informaticae, 2017
Specifying and verifying contract-driven service compositions using commitments and model checking.
Expert Syst. Appl., 2017
Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey.
Adv. Comput., 2017
Proceedings of the Symposium on Applied Computing, 2017
I Know You Are Watching Me: Stackelberg-Based Adaptive Intrusion Detection Strategy for Insider Attacks in the Cloud.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017
Proceedings of the 2017 IEEE International Conference on Web Services, 2017
Proceedings of the 5th IEEE International Conference on Future Internet of Things and Cloud, 2017
Proceedings of the 8th International Conference on Ambient Systems, 2017
Proceedings of the Emerging Technologies for Developing Countries, 2017
Proceedings of the Emerging Technologies for Developing Countries, 2017
2016
IEEE Trans. Serv. Comput., 2016
Expert Syst. Appl., 2016
A Stackelberg game for distributed formation of business-driven services communities.
Expert Syst. Appl., 2016
On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems.
Expert Syst. Appl., 2016
Electron. Commer. Res. Appl., 2016
Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications.
Appl. Intell., 2016
Proceedings of the 11th International Conference on Future Networks and Communications (FNC 2016) / The 13th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2016) / Affiliated Workshops, 2016
Proceedings of the 11th International Conference on Future Networks and Communications (FNC 2016) / The 13th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2016) / Affiliated Workshops, 2016
Proceedings of the 7th International Conference on Ambient Systems, 2016
How to Distribute the Detection Load among Virtual Machines to Maximize the Detection of Distributed Attacks in the Cloud?
Proceedings of the IEEE International Conference on Services Computing, 2016
2015
Model checking temporal knowledge and commitments in multi-agent systems using reduction.
Simul. Model. Pract. Theory, 2015
Knowl. Eng. Rev., 2015
Decision making under subjective uncertainty in argumentation-based agent negotiation.
J. Ambient Intell. Humaniz. Comput., 2015
IEEE Intell. Syst., 2015
A survey on trust and reputation models for Web services: Single, composite, and communities.
Decis. Support Syst., 2015
Modeling and Forecasting Time Series of Compositional Data: A Generalized Dirichlet Power Steady Model.
Proceedings of the Scalable Uncertainty Management - 9th International Conference, 2015
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015
A Cooperative Detection Model Based on Artificial Neural Network for VANET QoS-OLSR Protocol.
Proceedings of the IEEE International Conference on Ubiquitous Wireless Broadband, 2015
Proceedings of the 3rd International Conference on Future Internet of Things and Cloud, 2015
Automatic Transformation of Cloud Computing Service Composition to Verifiable Models.
Proceedings of the 3rd International Conference on Future Internet of Things and Cloud, 2015
Proceedings of the 6th International Conference on Ambient Systems, 2015
2014
ACM Trans. Softw. Eng. Methodol., 2014
IEEE ACM Trans. Comput. Biol. Bioinform., 2014
Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments.
Expert Syst. Appl., 2014
Measuring and analyzing agents' uncertainty in argumentation-based negotiation dialogue games.
Expert Syst. Appl., 2014
Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols.
Expert Syst. Appl., 2014
Expert Syst. Appl., 2014
Appl. Soft Comput., 2014
Probabilistic approach for QoS-aware recommender system for trustworthy web service selection.
Appl. Intell., 2014
Appl. Intell., 2014
A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2014
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2014
Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols.
Proceedings of the 2014 IEEE International Conference on Web Services, 2014
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014
Proceedings of the Adaptive and Intelligent Systems - Third International Conference, 2014
Proceedings of the 2014 International Conference on Future Internet of Things and Cloud, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Agents' Uncertainty in Argumentation-based Negotiation: Classification and Implementation.
Proceedings of the 5th International Conference on Ambient Systems, 2014
Proceedings of the Agents and Data Mining Interaction - 10th International Workshop, 2014
2013
ACM Trans. Intell. Syst. Technol., 2013
Model checking epistemic-probabilistic logic using probabilistic interpreted systems.
Knowl. Based Syst., 2013
Int. J. Artif. Intell. Tools, 2013
Agent-based game-theoretic model for collaborative web services: Decision making analysis.
Expert Syst. Appl., 2013
Expert Syst. Appl., 2013
Symbolic model checking composite Web services using operational and control behaviors.
Expert Syst. Appl., 2013
Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*.
Auton. Agents Multi Agent Syst., 2013
Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013
Proceedings of the 6th Joint IFIP Wireless and Mobile Networking Conference, 2013
A QoS-Based Trust Approach for Service Selection and Composition via Bayesian Networks.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013
Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013
2012
Knowl. Based Syst., 2012
Knowl. Based Syst., 2012
J. Softw., 2012
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2012
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012
Proceedings of the Agents and Artificial Intelligence - 4th International Conference, 2012
Merging Successive Possibility Distributions for Trust Estimation under Uncertainty in Multi-agent Systems.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012
Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012
2011
Proceedings of the 2nd International Conference on Ambient Systems, 2011
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2011
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2011
Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, 2011
Proceedings of the Modern Approaches in Applied Intelligence, 2011
Proceedings of the Modern Approaches in Applied Intelligence, 2011
On the Verification of Behavioral and Probabilistic Web Services Using Transformation.
Proceedings of the IEEE International Conference on Web Services, 2011
Under Uncertainty Trust Estimation through Unknown Agents, in a Multi-valued Trust Environment.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011
Proceedings of the IEEE International Conference on Services Computing, 2011
A Game Theoretic Approach for Analyzing the Efficiency of Web Services in Collaborative Networks.
Proceedings of the IEEE International Conference on Services Computing, 2011
Proceedings of the IEEE International Conference on Services Computing, 2011
2010
Rev. d'Intelligence Artif., 2010
Knowl. Based Syst., 2010
Separating Operational and Control Behaviors: A New Approach to Web Services Modeling.
IEEE Internet Comput., 2010
Artif. Intell. Rev., 2010
Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010
A managerial community of Web Services for management of communities of Web Services.
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010
Proceedings of the Trends in Applied Intelligent Systems, 2010
Proceedings of the IEEE International Conference on Web Services, 2010
Proceedings of the Declarative Agent Languages and Technologies VIII, 2010
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework.
Proceedings of the 21st IEEE International Conference on Application-specific Systems Architectures and Processors, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010
2009
An Approach to Engineer Communities of Web Services: Concepts, Architecture, Operation, and Deployment.
Int. J. E Bus. Res., 2009
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009
A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009
Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study.
Proceedings of the Software Engineering Research, 2009
Proceedings of the Second Multi-Agent Logics, 2009
Proceedings of the Second Multi-Agent Logics, 2009
Proceedings of the Second Multi-Agent Logics, 2009
Proceedings of the Second Multi-Agent Logics, 2009
Proceedings of the Languages, 2009
Proceedings of the IEEE International Conference on Web Services, 2009
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009
Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009
A Multi-agent-based Approach to Improve Intrusion Detection Systems False Alarm Ratio by Using Honeypot.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009
Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009
2008
Serv. Oriented Comput. Appl., 2008
Simulating new markets by introducing new accepting policies for the conventional continuous double auction.
Proceedings of the 2008 Spring Simulation Multiconference, 2008
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2008
An approach to comprehensive trust management in multi-agent systems with credibility.
Proceedings of the IEEE International Conference on Research Challenges in Information Science, 2008
Proceedings of the 8th international conference on New technologies in distributed systems, 2008
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008
Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008
Proceedings of the Declarative Agent Languages and Technologies VI, 2008
An Experience Improving Intrusion Detection Systems False Alarm Ratio by Using Honeypot.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008
2007
Int. J. Comput. Sci. Appl., 2007
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007
A New Quantitative Trust Model for Negotiating Agents.
Proceedings of the First International Conference on Research Challenges in Information Science, 2007
Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007
2006
A Computational Framework for Human/Agent Communication Using Argumentation, Implicit Information, and Social Influence.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006
Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006
Proceedings of the Argumentation in Multi-Agent Systems, Third International Workshop, 2006
2005
Proceedings of the Declarative Agent Languages and Technologies III, 2005
2004
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004
Proceedings of the Argumentation in Multi-Agent Systems, First International Workshop, 2004
Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments.
Proceedings of the Argumentation in Multi-Agent Systems, First International Workshop, 2004
Proceedings of the Agent Communication, International Workshop on Agent Communication, 2004
2003
Proceedings of the Advances in Agent Communication, 2003