According to our database1, Ahmed Hadj Kacem authored at least 181 papers between 1993 and 2022.

Collaborative distances:
• Dijkstra number2 of four.
• Erdős number3 of four.

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2022
A handshake algorithm for scheduling communications in wireless sensor networks.
Concurr. Comput. Pract. Exp., 2022

A model transformation approach for multiscale modeling of software architectures applied to smart cities.
Concurr. Comput. Pract. Exp., 2022

2021
Special issue on risk and security of smart systems.
J. Inf. Secur. Appl., 2021

Educational Recommender System based on Learner's Annotative Activity.
Int. J. Emerg. Technol. Learn., 2021

MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems.
IET Softw., 2021

A Meta-Modeling Approach to Describe Internet of Things Architectures.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

A persuasive system to improve physical activities of older adults.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks.
Proceedings of the Advanced Information Networking and Applications, 2021

2020
Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment.
J. Netw. Syst. Manag., 2020

Int. J. Comput. Appl. Technol., 2020

A comprehensive survey on modeling of cyber-physical systems.
Concurr. Comput. Pract. Exp., 2020

Assistance of Student by Web Services based on Annotations.
Proceedings of the SIGITE '20: The 21st Annual Conference on Information Technology Education, 2020

Web-based Applications and Services of Annotation in Electronic Commerce.
Proceedings of the iiWAS '20: The 22nd International Conference on Information Integration and Web-based Applications & Services, Virtual Event / Chiang Mai, Thailand, November 30, 2020

Study of Healthcare Professionals' Interaction in the Patient Records Based on Annotations.
Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020

Personalized and Contextualized Persuasion System for Older Adults' Physical Activity Promoting.
Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020

2019
Feature models as service contracts in service oriented architecture.
Int. J. Serv. Technol. Manag., 2019

Accountability management for multi-tenant cloud services.
Int. J. Grid Util. Comput., 2019

Modelling and verifying time-aware processes for cyber-physical environments.
IET Softw., 2019

A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates.
Proceedings of the 6th International Conference on Software Defined Systems, 2019

Formal Verification approaches of Self-adaptive Systems: A Survey.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Energy Efficient Handshake Algorithm for Wireless Sensor Networks.
Proceedings of the Distributed Computing for Emerging Smart Networks, 2019

An Annotation Model for Patient Record.
Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), 2019

2018
Specification and automatic checking of architecture constraints on object oriented programs.
Inf. Softw. Technol., 2018

Semantic Web Services Discovery: A Survey and Research Challenges.
Int. J. Semantic Web Inf. Syst., 2018

Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns.
Int. J. Comput. Appl. Technol., 2018

Exact and heuristic MapReduce scheduling algorithms for cloud federation.
Comput. Electr. Eng., 2018

Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations.
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Elastic Multi-Tenant Business Process Based on Temporal Constraints.
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models.
Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks.
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

A refinement-based approach for specifying multi-scale software architectures: application to SoS.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Efficient distribution of mapreduce jobs for maximizing profit on federated cloud.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Formalizing compound MAPE patterns for decentralized control in self-adaptive systems.
Proceedings of the 12th International Conference on Research Challenges in Information Science, 2018

Geo-Distributed BigData Processing for Maximizing Profit in Federated Clouds Environment.
Proceedings of the 26th Euromicro International Conference on Parallel, 2018

Preserving the Correctness of Dynamic Workflows within a Cloud Environment.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Translation of UML Models for Self-adaptive Systems into Event-B Specifications.
Proceedings of the Intelligent Systems Design and Applications, 2018

An Approach of Recommending Personalized Web Services through Annotations in Learning Environment.
Proceedings of the 20th International Conference on Information Integration and Web-based Applications & Services, 2018

Study of Annotations in e-health Domain.
Proceedings of the Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living, 2018

Optimal Evidence Collection for Accountability in the Cloud.
Proceedings of the 15th IEEE International Conference on e-Business Engineering, 2018

Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud.
Proceedings of the Information Systems, 2018

Distributed Computations in Wireless Sensor Networks by Local Interactions.
Proceedings of the Ad-hoc, Mobile, and Wireless Networks, 2018

2017
Dealing with structural changes on provisioning resources for deadline-constrained workflow.
J. Supercomput., 2017

Generating reusable, searchable and executable "architecture constraints as services".
J. Syst. Softw., 2017

Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations.
RAIRO Theor. Informatics Appl., 2017

Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents.
Int. J. Space Based Situated Comput., 2017

An Evaluative Review and Research Challenges of the Simulation in Cloud Environment.
Int. J. Softw. Innov., 2017

Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning.
Int. J. Distance Educ. Technol., 2017

Proving Distributed Coloring of Forests in Dynamic Networks.
Computación y Sistemas, 2017

Computing of Learner's Personality Traits Based on Digital Annotations.
Int. J. Artif. Intell. Educ., 2017

rMatcher: A Tool for Semantic Web Services Discovery & Publication.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques.
Proceedings of the SCSS 2017, 2017

Docker2RDF: Lifting the Docker Registry Hub into RDF.
Proceedings of the 2017 IEEE World Congress on Services, 2017

CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment.
Proceedings of the 15th IEEE International Conference on Software Engineering Research, 2017

Iterative multi-scale modeling of software-intensive systems of systems architectures.
Proceedings of the Symposium on Applied Computing, 2017

Designing Compound MAPE Patterns for Self-adaptive Systems.
Proceedings of the Intelligent Systems Design and Applications, 2017

Algorithms for Finding Maximal and Maximum Cliques: A Survey.
Proceedings of the Intelligent Systems Design and Applications, 2017

Verification of the Consistency of Time-Aware Cyber-Physical Processes.
Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

Feature Model as a Design-pattern-based Service Contract for the Service Provider in the Service Oriented Architecture.
Proceedings of the Enterprise Information Systems - 19th International Conference, 2017

Feature Model based on Design Pattern for the Service Provider in the Service Oriented Architecture.
Proceedings of the ICEIS 2017, 2017

Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems.
Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017

Modeling and verification of temporal properties in cyber-physical systems.
Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017

Transformation of compound SOA Design Patterns.
Proceedings of the 8th International Conference on Ambient Systems, 2017

Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations.
Proceedings of the 8th International Conference on Ambient Systems, 2017

Model consistency for multi-scale architectures applied to smart systems.
Proceedings of the 8th International Conference on Ambient Systems, 2017

From Event to Evidence: An Approach for Multi-tenant Cloud Services' Accountability.
Proceedings of the 31st IEEE International Conference on Advanced Information Networking and Applications, 2017

A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems.
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

Cost-Efficient Distributed MapReduce Job Scheduling across Cloud Federation.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

Design and timed verification of self-adaptive systems.
Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

A correct-by-construction approach for proving distributed algorithms in spanning trees.
Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

Simulation tools for cloud computing: A survey and comparative study.
Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016
Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs.
Rev. d'Intelligence Artif., 2016

An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability.
J. Syst. Softw., 2016

Functionalities provided by Annotation Systems for Learners in Educational Context: An Overview.
Int. J. Emerg. Technol. Learn., 2016

A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants.
Int. J. Agent Oriented Softw. Eng., 2016

Special issue Editorial: New technologies of distributed systems.
Concurr. Comput. Pract. Exp., 2016

Multiple Software Product Lines for Service Oriented Architecture.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

A Novel Approach for Semantic Web Service Discovery.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

A correct by construction approach for modeling and formalizing self-adaptive systems.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

Modeling and verifying self-adaptive systems: A refinement approach.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Software Architectures: Multi-Scale Refinement.
Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing.
Proceedings of the 24th Euromicro International Conference on Parallel, 2016

"i-Read": A Collaborative Learning Environment to Support Students with Low Reading Abilities.
Proceedings of the Intelligent Tutoring Systems - 13th International Conference, 2016

Time patterns for cyber-physical systems.
Proceedings of the IEEE Symposium on Computers and Communication, 2016

Multi-scale modeling for software-intensive systems-of-systems architectures.
Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016

Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents.
Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

2015
A refinement-based approach for building valid SOA design patterns.
Int. J. Cloud Comput., 2015

CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Automatic Recognition of Personality from Digital Annotations.
Proceedings of the WEBIST 2015, 2015

An Approach for SOA Design Patterns Composition.
Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs.
Proceedings of the Software Engineering, 2015

Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs.
Proceedings of the Software Engineering, 2015

Towards a multi-scale modeling approach for software architectures.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

How to Organize the Annotation Systems in Human-Computer Environment: Study, Classification and Observations.
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015

A UML-based Approach for Multi-scale Software Architectures.
Proceedings of the ICEIS 2015, 2015

Controlling Elasticity Dependencies for Multi-tenant Business Process.
Proceedings of the 12th IEEE International Conference on e-Business Engineering, 2015

Analyzing Multi-tenant Cloud Services' Accountability.
Proceedings of the 12th IEEE International Conference on e-Business Engineering, 2015

Modelling Learner's Personality Profile through Analysis of Annotation Digital Traces in Learning Environment.
Proceedings of the 15th IEEE International Conference on Advanced Learning Technologies, 2015

An Interactive Annotation System to Support the Learner with Web Services Assistance.
Proceedings of the 15th IEEE International Conference on Advanced Learning Technologies, 2015

Automatic Translation of Architecture Constraint Specifications into Components.
Proceedings of the Software Architecture - 9th European Conference, 2015

Processus pour la génération automatique de composants exécutables à partir de contraintes d'architecture.
Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, 2015

A formal approach for SOA design patterns composition.
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks.
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

A formal pattern for dynamic networks through evolving graphs.
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

An Approach for Multiple-Instance Based Service Composition.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

A Provisioning Approach of Cloud Resources for Dynamic Workflows.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

A service-oriented architecture (SOA) framework for choreography verification.
Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

2014
A new annotation system based on a semantic analysis of a learner's annotative activity to invoke web services.
Int. J. Metadata Semant. Ontologies, 2014

A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Enhancing Proofs of Local Computations through Formal Event-B Modularization.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Prediction of Human Personality Traits From Annotation Activities.
Proceedings of the WEBIST 2014, 2014

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Interoperability of healthcare information systems.
Proceedings of the International Symposium on Networks, Computers and Communications, 2014

A Pattern based Modelling for Self-organizing Multi-agent Systems with <i>Event-B</i>.
Proceedings of the ICAART 2014, 2014

SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties.
Proceedings of the ENASE 2014, 2014

Workflow Scheduling in Cloud Computing: A Survey.
Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014

A multi-scale modelling perspective for SoS architectures.
Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants.
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing.
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

Multi-tenant Services Monitoring for Accountability in Cloud Computing.
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

Energy Saving in WSN Using Monitoring Values Prediction.
Proceedings of the 5th International Conference on Ambient Systems, 2014

Towards a Multi-tenancy Aware Cloud Service Composition.
Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

Feature model for modeling compound SOA design patterns.
Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014

The annotation: a track of reader's personality traits on paper.
Proceedings of the 2014 ACM Southeast Regional Conference, Kennesaw, GA, USA, March 28, 2014

2013
A Formal Approach for the Validation of Web Service Orchestrations.
Int. J. Web Portals, 2013

Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems.
Concurr. Comput. Pract. Exp., 2013

An Approach of Assistance of Learner's Annotative Activity through Web Services.
Aust. J. Intell. Inf. Process. Syst., 2013

An Approach for Modeling and Formalizing SOA Design Patterns.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Annotative Activity as a Potential Source of Web Service Invocation.
Proceedings of the WEBIST 2013, 2013

Towards an approach for modeling and formalizing SOA design patterns with Event-B.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns.
Proceedings of the ICEIS 2013, 2013

Building Correct by Construction SOA Design Patterns: Modeling and Refinement.
Proceedings of the Software Architecture - 7th European Conference, 2013

Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing.
Proceedings of the CLOSER 2013, 2013

2012
A formal approach to model and verify the behaviour of publish/subscribe architectural style.
Int. J. Inf. Technol. Commun. Convergence, 2012

The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

BpelVT: A Tool for Formal Validation of Web Service Orchestrations.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Modeling Secure Mobile Agent Systems.
Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Vers une architecture d'auto-réparation sur le Cloud Computing.
Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012

MDA-Based Approach for Implementing Secure Mobile Agent Systems.
Proceedings of the Agent-Oriented Software Engineering XIII - 13th International Workshop, 2012

2011
Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles.
Proceedings of the ICSOFT 2011, 2011

2010
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration.
J. Syst. Softw., 2010

Orchestrating Safe Behavioural Adaptations of Component-Based Systems.
Proceedings of the Sixth International Conference on Autonomic and Autonomous Systems, 2010

A Formal Approach to Enforcing Consistency in Self-adaptive Systems.
Proceedings of the Software Architecture, 4th European Conference, 2010

$\mathcal{F}_{or}\mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design.
Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010

2009
RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems.
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2009

2008
Towards modelling and analysis of a coordination protocol for dynamic software adaptation.
Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008

Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks.
Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008

A formal security framework for mobile agent systems: Specification and verification.
Proceedings of the CRiSIS '08, 2008

Electing a leader in the local computation model using mobile agents.
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007
ForMAAD: A formal method for agent-based application design.
Web Intell. Agent Syst., 2007

A Formal Approach to prevent Attacks on Mobile Agent Systems.
Proceedings of the First International Conference on Emerging Security Information, 2007

A Distributed Computational Model for Mobile Agents.
Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles.
Proceedings of the Software Architecture, First European Conference, 2007

2006
ForMAAD Method: An Experimental Design for Air Traffic Control.
Int. Trans. Syst. Sci. Appl., 2006

An UML-Based Approach for Validation of Software Architecture Descriptions.
Proceedings of the Trends in Enterprise Application Architecture, 2006

Describing dynamic software architectures using an extended UML model.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Compositional specification of event-based software architectural styles.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005
Towards a Formal Methodology for Designing Multi-agent Applications.
Proceedings of the Multiagent System Technologies, Third German Conference, 2005

Using UML2.0 and GG for Describing the Dynamic of Software Architectures.
Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures.
Proceedings of the ICEIS 2005, 2005

Towards a UML profile for the description of dynamic software architectures.
Proceedings of the Component-Oriented Enterprise Applications, 2005

Towards a formal methodology for developing multi-agent applications using temporal Z.
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

A formal model for mobile agent systems using Z.
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004
Specification and Design of Multi-agent Applications Using Temporal Z.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2004

Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z.
Proceedings of the IEEE/ACS International Conference on Pervasive Services (ICPS'04), 2004

Formalization of Cooperation in MAS: Towards a Generic Conceptual Model.
Proceedings of the Advances in Artificial Intelligence, 2004

Specification and Verification of Multi-Agent Applications using Temporal Z.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

2003
Apport des approches agent pour l'analyse syntaxique de l'arabe.
Tech. Sci. Informatiques, 2003

Implémentation du système MASPAR selon une approche multi-agent.
Proceedings of the Eighth International Conference on Parsing Technologies, 2003

2002
An Operational Semantics for Negotiating Agents.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2002

2001
Cooperative Systems for Information Sharing and Exchange.
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

Coopération et Négociation au sein des SMA : Vers une définition de Modèles Formels (poster).
Proceedings of the Fondements des systèmes multi-agents : modèles, spécifications formelles et vérification - JFIADSMA 01, 2001

1993
A Software Architecture for Cooperative Knowledge Based Systems.
Proceedings of the Human-Computer Interaction: Software and Hardware Interfaces, 1993