Jamal Bentahar

Orcid: 0000-0002-3136-4849

Affiliations:
  • Concordia University, Montreal, Canada


According to our database1, Jamal Bentahar authored at least 244 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Trust-driven reinforcement selection strategy for federated learning on IoT devices.
Computing, April, 2024

Verifying trust over IoT-ad hoc network-based applications under uncertainty.
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

LearnChain: Transparent and cooperative reinforcement learning on Blockchain.
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

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

A comprehensive survey on applications of transformers for deep learning tasks.
Expert Syst. Appl., 2024

Model checking combined trust and commitments in Multi-Agent Systems.
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

Trust Driven On-Demand Scheme for Client Deployment in Federated Learning.
CoRR, 2024

Enhancing IoT Intelligence: A Transformer-based Reinforcement Learning Methodology.
CoRR, 2024

2023
A Survey on Explainable Artificial Intelligence for Cybersecurity.
IEEE Trans. Netw. Serv. Manag., December, 2023

Reward shaping using convolutional neural network.
Inf. Sci., November, 2023

Opportunistic UAV Deployment for Intelligent On-Demand IoV Service Management.
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

Combining Knowledge Graph and Word Embeddings for Spherical Topic Modeling.
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

A reinforcement learning model for the reliability of blockchain oracles.
Expert Syst. Appl., 2023

The Metaverse: Survey, Trends, Novel Pipeline Ecosystem & Future Directions.
CoRR, 2023

A Survey on Explainable Artificial Intelligence for Network Cybersecurity.
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

Multi-valued Model Checking A Smart Glucose Monitoring System with Trust.
Proceedings of the International Wireless Communications and Mobile Computing, 2023

2022
Demand-Driven Deep Reinforcement Learning for Scalable Fog and Service Placement.
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

Transformation-based model checking temporal trust in multi-agent systems.
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

Graph convolutional recurrent networks for reward shaping in reinforcement learning.
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

Formal verification of group and propagated trust in multi-agent systems.
Auton. Agents Multi Agent Syst., 2022

Knowledge-enhanced Spherical Representation Learning for Text Classification.
Proceedings of the 2022 SIAM International Conference on Data Mining, 2022

Active Federated YOLOR Model for Enhancing Autonomous Vehicles Safety.
Proceedings of the Mobile Web and Intelligent Information Systems, 2022

Model Checking Intelligent Information Systems with 3-Valued Timed Commitments.
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

Reasoning about Uncertainty over IoT Systems.
Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022

Embedded Spherical Topic Models for Supervised Learning.
Proceedings of the 26th International Conference on Pattern Recognition, 2022

Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty.
Proceedings of the 9th International Conference on Future Internet of Things and Cloud, 2022

One-Shot Federated Learning-based Model-Free Reinforcement Learning.
Proceedings of the International Conference on Deep Learning, 2022

Three-Valued Model Checking Smart Contract Systems with Trust Under Uncertainty.
Proceedings of the International Conference on Deep Learning, 2022

Quantitative Group Trust: A Two-Stage Verification Approach.
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

Multi-dimensional trust for context-aware services computing.
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
Optimal Load Distribution for the Detection of VM-Based DDoS Attacks in the Cloud.
IEEE Trans. Serv. Comput., 2020

A Blockchain-Based Model for Cloud Service Quality Monitoring.
IEEE Trans. Serv. Comput., 2020

A Crowd-Sensing Framework for Allocation of Time-Constrained and Location-Based Tasks.
IEEE Trans. Serv. Comput., 2020

An endorsement-based trust bootstrapping approach for newcomer cloud services.
Inf. Sci., 2020

AI, Blockchain, and Vehicular Edge Computing for Smart and Secure IoV: Challenges and Directions.
IEEE Internet Things Mag., 2020

Two-stage game theoretical framework for IaaS market share dynamics.
Future Gener. Comput. Syst., 2020

BigTrustScheduling: Trust-aware big data task scheduling approach in cloud computing environments.
Future Gener. Comput. Syst., 2020

Specification and automatic verification of trust-based multi-agent systems.
Future Gener. Comput. Syst., 2020

Toward monetizing personal data: A two-sided market analysis.
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

Test Generation Tool for Modified Condition/Decision Coverage: Model Based Testing.
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

Formalizing Group and Propagated Trust in Multi-Agent Systems.
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

Computationally Grounded Quantitative Trust with Time.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
Introduction to the Special Section on Trust and AI.
ACM Trans. Internet Techn., 2019

From use case maps to executable test procedures: a scenario-based approach.
Softw. Syst. Model., 2019

On the Detection of Passive Malicious Providers in Cloud Federations.
IEEE Commun. Lett., 2019

Context-aware composite SaaS using feature model.
Future Gener. Comput. Syst., 2019

Introduction to the Special Section on Artificial Intelligence for Smart Systems.
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

Dependency Network-based Trust Management for Context-Aware Web Services.
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

Model checking real-time conditional commitment logic using transformation.
J. Syst. Softw., 2018

New Insights Towards Developing Recommender Systems.
Comput. J., 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

Keynote II.
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

Multi-Objective Self-Adaptive Composite SaaS Using Feature Model.
Proceedings of the 6th IEEE International Conference on Future Internet of Things and Cloud, 2018

Verifying Temporal Trust Logic using CTL Model Checking.
Proceedings of the 20th International Trust Workshop co-located with AAMAS/IJCAI/ECAI/ICML 2018, 2018

2017
Refined game-theoretic approach to improve authenticity of outsourced databases.
J. Ambient Intell. Humaniz. Comput., 2017

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication.
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

Verifiable outsourced database in the cloud using game theory.
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

On the Effects of User Ratings on the Profitability of Cloud Services.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Cloud Task Scheduling Based on Swarm Intelligence and Machine Learning.
Proceedings of the 5th IEEE International Conference on Future Internet of Things and Cloud, 2017

Reasoning about Trust and Time in a System of Agents.
Proceedings of the 8th International Conference on Ambient Systems, 2017

Modernization of Legacy Software Tests to Model-Driven Testing.
Proceedings of the Emerging Technologies for Developing Countries, 2017

Framework for Dynamic Web Services Composition Guided by Live Testing.
Proceedings of the Emerging Technologies for Developing Countries, 2017

2016
Trust and Reputation of Web Services Through QoS Correlation Lens.
IEEE Trans. Serv. Comput., 2016

CEAP: SVM-based intelligent detection model for clustered vehicular ad hoc networks.
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

Privacy-preserving data mashup model for trading person-specific information.
Electron. Commer. Res. Appl., 2016

Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications.
Appl. Intell., 2016

Preface.
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

An Efficient QoS-aware Web Services Selection Using Social Spider Algorithm.
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

Monetizing Personal Data: A Two-Sided Market Approach.
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
Efficient Community Formation for Web Services.
IEEE Trans. Serv. Comput., 2015

Model checking temporal knowledge and commitments in multi-agent systems using reduction.
Simul. Model. Pract. Theory, 2015

Computational logics and verification techniques of multi-agent commitments: survey.
Knowl. Eng. Rev., 2015

Decision making under subjective uncertainty in argumentation-based agent negotiation.
J. Ambient Intell. Humaniz. Comput., 2015

Formal Specification and Automatic Verification of Conditional Commitments.
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

Real-Time Conditional Commitment Logic.
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

Misbehavior Detection Framework for Community-Based Cloud Computing.
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

Modelling Multi-agent Systems with Category Theory.
Proceedings of the 6th International Conference on Ambient Systems, 2015

2014
Conditional Commitments: Reasoning and Model Checking.
ACM Trans. Softw. Eng. Methodol., 2014

Intelligent Consensus Modeling for ProlineCis-Trans Isomerization Prediction.
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

To compete or cooperate? This is the question in communities of autonomous services.
Expert Syst. Appl., 2014

Model checking probabilistic social commitments for intelligent agent communication.
Appl. Soft Comput., 2014

Probabilistic approach for QoS-aware recommender system for trustworthy web service selection.
Appl. Intell., 2014

On the interaction between knowledge and social commitments in multi-agent systems.
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

Cooperative cross layer detection for blackhole attack in VANET-OLSR.
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

Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

QoS-Based Reputation Feedback Fusion under Unknown Correlation.
Proceedings of the Adaptive and Intelligent Systems - Third International Conference, 2014

Social Network-Based Framework for Web Services Discovery.
Proceedings of the 2014 International Conference on Future Internet of Things and Cloud, 2014

Correlated multi-dimensional qos metrics for trust evaluation within web services.
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

Reputation in Communities of Agent-Based Web Services Through Data Mining.
Proceedings of the Agents and Data Mining Interaction - 10th International Workshop, 2014

2013
Introduction to the special section on agent communication.
ACM Trans. Intell. Syst. Technol., 2013

Research directions in agent communication.
ACM Trans. Intell. Syst. Technol., 2013

Model checking epistemic-probabilistic logic using probabilistic interpreted systems.
Knowl. Based Syst., 2013

Uncertainty-Based Trust estimation in a Multi-Valued Trust Environment.
Int. J. Artif. Intell. Tools, 2013

Agent-based game-theoretic model for collaborative web services: Decision making analysis.
Expert Syst. Appl., 2013

Verifying conformance of multi-agent commitment-based protocols.
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

Reasoning about social commitments in the presence of uncertainty.
Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013

Fair resource allocation and control in multi-operator GPON access networks.
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

Representing and reasoning about communicative conditional commitments.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

On the analysis of joining communities of agent-basedweb services.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Efficient Coalition Formation for Web Services.
Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012
CRM: An efficient trust and reputation model for agent computing.
Knowl. Based Syst., 2012

Communicative commitments: Model checking and complexity analysis.
Knowl. Based Syst., 2012

Scheduling Reputation Maintenance in Agent-based Communities Using Game Theory.
J. Softw., 2012

On the analysis of reputation for agent-based web services.
Expert Syst. Appl., 2012

Quantitative Model Checking of Knowledge.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2012

Trustworthy Web Service Selection Using Probabilistic Models.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Analyzing Coopetition Strategies of Services within Communities.
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

An Approach on Merging Agents' Trust Distributions in a Possibilitic Domain.
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

On the Analysis of Satisfaction for Web Services Selection.
Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012

2011
Collusion-Resistant Reputation Mechanism for Multi-Agents Systems.
Proceedings of the 2nd International Conference on Ambient Systems, 2011

Model Checking Single Web Services using Markov Chains and MDPs.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2011

On the Argumentative Agent Types and Negotiation.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2011

Online monitoring for sustainable communities of Web Services.
Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, 2011

Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems.
Proceedings of the Modern Approaches in Applied Intelligence, 2011

Model Checking Commitment Protocols.
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

Game-Theoretic Analysis of a Web Services Collaborative Mechanism.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

On the verification of social commitments and time.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Using 3-Way Satisfaction for Web Service Selection: Preliminary Investigation.
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

A New Approach for Quality Enforcement in Communities of Web Services.
Proceedings of the IEEE International Conference on Services Computing, 2011

2010
Une approche de communication entre agents logiciels basée sur la pertinence.
Rev. d'Intelligence Artif., 2010

Using argumentation to model and deploy agent-based B2B applications.
Knowl. Based Syst., 2010

Analyzing Communities of Web Services Using Incentives.
Int. J. Web Serv. Res., 2010

Separating Operational and Control Behaviors: A New Approach to Web Services Modeling.
IEEE Internet Comput., 2010

A taxonomy of argumentation models used for knowledge representation.
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

Modeling and Verifying Business Interactions via Commitments and Dialogue Actions.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

Modeling and Verifying Agent-Based Communities of Web Services.
Proceedings of the Trends in Applied Intelligent Systems, 2010

Analyzing the Relationships between some Parameters of Web Services Reputation.
Proceedings of the IEEE International Conference on Web Services, 2010

Symbolic Model Checking Commitment Protocols Using Reduction.
Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Symbolic model checking for agent interactions.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

An agent communication protocol for resolving conflicts.
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

On the Reputation of Agent-Based Web Services.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

Analyzing Communities vs. Single Agent-Based Web Services: Trust Perspectives.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009
Model checking communicative agent-based systems.
Knowl. Based Syst., 2009

An Approach to Engineer Communities of Web Services: Concepts, Architecture, Operation, and Deployment.
Int. J. E Bus. Res., 2009

On the Measurement of Negotiation Dialogue Games.
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

Web Services Synchronization in Composition Scenarios.
Proceedings of the Second Multi-Agent Logics, 2009

Enhancing Engineering Methodology for Communities of Web Services.
Proceedings of the Second Multi-Agent Logics, 2009

An Integrated Semantics of Social Commitments and Associated Operations.
Proceedings of the Second Multi-Agent Logics, 2009

Introductory Essay of MALLOW-AWESOME'009.
Proceedings of the Second Multi-Agent Logics, 2009

Verifiable Semantic Model for Agent Interactions Using Social Commitments.
Proceedings of the Languages, 2009

An Approach to Incentive-Based Reputation for Communities of Web Services.
Proceedings of the IEEE International Conference on Web Services, 2009

Reputation Cascade Model over Social Connections in Online Social Networks.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

A New Semantics of Social Commitments Using Branching Space-Time Logic.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

On the Meaning of SysML Activity Diagrams.
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

Maintenance-based trust for multi-agent systems.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

A New Approach to Model Web Services' Behaviors Based on Synchronization.
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

Combined On-line and Off-line Trust Mechanism for Agent Computing.
Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009

Social Network-Based Trust for Agent-Based Services.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
Agent-based communities of web services: an argumentation-driven approach.
Serv. Oriented Comput. Appl., 2008

Computational logic-based agents.
Auton. Agents Multi Agent Syst., 2008

Simulating new markets by introducing new accepting policies for the conventional continuous double auction.
Proceedings of the 2008 Spring Simulation Multiconference, 2008

Designing and Implementing B2B Applications Using Argumentative Agents.
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

On the reputation of communities of web services.
Proceedings of the 8th international conference on New technologies in distributed systems, 2008

An Adaptive Configuration for Agent-Based Supply Network.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Using Trustworthy and Referee Agents to Secure Multi-Agent Systems.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

A Formal Framework of Conversational Goals Based on Strategic Reasoning.
Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

Strategic Agent Communication: An Argumentation-Driven Approach.
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

Reputation of Communities of Web Services - Preliminary Investigation.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007
A security framework for agent-based systems.
Int. J. Web Inf. Syst., 2007

A New Quantitative Trust Model for Negotiating Agents using Argumentation.
Int. J. Comput. Sci. Appl., 2007

An Argumentation Framework for Communities of Web Services.
IEEE Intell. Syst., 2007

Model Checking Communicative Agent-Based Systems.
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

Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach.
Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

Using Argumentative Agents to Manage Communities of Web Services.
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

A New Logical Semantics for Agent Communication.
Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

A New Model Checking Approach for Verifying Agent Communication Protocols.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Specification and Complexity of Strategic-Based Reasoning Using Argumentation.
Proceedings of the Argumentation in Multi-Agent Systems, Third International Workshop, 2006

2005
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication.
Proceedings of the Declarative Agent Languages and Technologies III, 2005

2004
A Computational Model for Conversation Policies for Agent Communication.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

A Logical Model for Commitment and Argument Network for Agent Communication.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication.
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

Dialogization and Implicit Information in an Agent Communicational Model.
Proceedings of the Agent Communication, International Workshop on Agent Communication, 2004

2003
Commitment and Argument Network: A New Formalism for Agent Communication.
Proceedings of the Advances in Agent Communication, 2003


  Loading...