A Software Architecture for Cooperative Knowledge Based Systems. - Ahmed Hadj Kacem; Jean-Luc Soubie; J. Frontin (HCI (2), 1993)

Coopération et Négociation au sein des SMA : Vers une définition de Modèles Formels (poster). - Mohamed Jmaiel; Ahmed Hadj Kacem (JFIADSMA, 2001)

Cooperative Systems for Information Sharing and Exchange. - Khalil Drira; Michel Diaz; Thierry Villemur; Mohamed Jmaiel; Abdelmajid Ben Hamadou; Ahmed Hadj Kacem (WETICE, 2001)

An Operational Semantics for Negotiating Agents. - Mohamed Jmaiel; Ahmed Hadj Kacem (PRIMA, 2002)

Implémentation du système MASPAR selon une approche multi-agent. - Chafik Aloulou; Lamia Hadrich Belguith; Ahmed Hadj Kacem; Souha Hammami Mezghani (IWPT, 2003)

Apport des approches agent pour l'analyse syntaxique de l'arabe. - Chafik Aloulou; Abdelmajid Ben Hamadou; Ahmed Hadj Kacem; Lamia Hadrich Belguith (Tech. Sci. Informatiques, 2003)

Specification and Verification of Multi-Agent Applications using Temporal Z. - Amira Regayeg; Ahmed Hadj Kacem; Mohamed Jmaiel (IAT, 2004)

Formalization of Cooperation in MAS: Towards a Generic Conceptual Model. - Monia Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel (IBERAMIA, 2004)

Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z. - Imen Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (ICPS, 2004)

Specification and Design of Multi-agent Applications Using Temporal Z. - Amira Regayeg; Ahmed Hadj Kacem; Mohamed Jmaiel (PRIMA, 2004)

A formal model for mobile agent systems using Z. - Hany Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel (AICCSA, 2005)

Towards a formal methodology for developing multi-agent applications using temporal Z. - Amira Regayeg; Ahmed Hadj Kacem; Mohamed Jmaiel (AICCSA, 2005)

Towards a UML profile for the description of dynamic software architectures. - Mohamed Hadj Kacem; Mohammed Nadhmi Miladi; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (COEA, 2005)

Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures. - Mohamed Hadj Kacem; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (ICEIS (3), 2005)

Using UML2.0 and GG for Describing the Dynamic of Software Architectures. - Mohamed Hadj Kacem; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (ICITA (1), 2005)

Towards a Formal Methodology for Designing Multi-agent Applications. - Amira Regayeg; Ahmed Hadj Kacem; Mohamed Jmaiel (MATES, 2005)

Compositional specification of event-based software architectural styles. - Imen Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (AICCSA, 2006)

Describing dynamic software architectures using an extended UML model. - Mohamed Hadj Kacem; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (SAC, 2006)

An UML-Based Approach for Validation of Software Architecture Descriptions. - Mohamed Hadj Kacem; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (TEAA, 2006)

ForMAAD Method: An Experimental Design for Air Traffic Control. - Amira Regayeg; Slim Kallel; Ahmed Hadj Kacem; Mohamed Jmaiel (Int. Trans. Syst. Sci. Appl., 2006)

Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. - Imen Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (ECSA, 2007)

A Distributed Computational Model for Mobile Agents. - Med Amine Haddar; Ahmed Hadj Kacem; Yves Métivier; Mohamed Mosbah 001; Mohamed Jmaiel (PRIMA, 2007)

A Formal Approach to prevent Attacks on Mobile Agent Systems. - Monia Loulou; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Jmaiel (SECURWARE, 2007)

ForMAAD: A formal method for agent-based application design. - Ahmed Hadj Kacem; Amira Regayeg; Mohamed Jmaiel (Web Intell. Agent Syst., 2007)

Electing a leader in the local computation model using mobile agents. - Med Amine Haddar; Ahmed Hadj Kacem; Yves Métivier; Mohamed Mosbah 001; Mohamed Jmaiel (AICCSA, 2008)

A formal security framework for mobile agent systems: Specification and verification. - Monia Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel; Mohamed Mosbah 001 (CRiSIS, 2008)

Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. - Med Amine Haddar; Ahmed Hadj Kacem; Yves Métivier; Mohamed Mosbah 001; Mohamed Jmaiel (ICDCN, 2008)

Towards modelling and analysis of a coordination protocol for dynamic software adaptation. - Najla Hadj Kacem; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (CSTST, 2008)

RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems. - Houssem Aloulou; Monia Loulou; Slim Kallel; Ahmed Hadj Kacem (DPM/SETOP, 2009)

$ mathcal{F}_{or} mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design. - Zeineb Graja; Amira Regayeg; Ahmed Hadj Kacem (AOSE, 2010)

A Formal Approach to Enforcing Consistency in Self-adaptive Systems. - Najla Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ECSA, 2010)

Orchestrating Safe Behavioural Adaptations of Component-Based Systems. - Najla Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ICAS, 2010)

P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration. - Imen Loulou; Mohamed Jmaiel; Khalil Drira; Ahmed Hadj Kacem (J. Syst. Softw., 2010)

Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles. - Ikbel Krichen; Imen Loulou; Ahmed Hadj Kacem (ICSOFT (2), 2011)

MDA-Based Approach for Implementing Secure Mobile Agent Systems. - Slim Kallel; Monia Loulou; Molka Rekik; Ahmed Hadj Kacem (AOSE, 2012)

Vers une architecture d'auto-réparation sur le Cloud Computing. - Faten Khemakhem; Riadh Ben Halima; Ahmed Hadj Kacem (CAL, 2012)

Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification. - Thouraya Gouasmi; Amira Regayeg; Ahmed Hadj Kacem (COMPSAC Workshops, 2012)

P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles. - Ikbel Krichen; Imen Loulou; Hedi Dhouib; Ahmed Hadj Kacem (ICECCS, 2012)

Modeling Secure Mobile Agent Systems. - Molka Rekik; Slim Kallel; Monia Loulou; Ahmed Hadj Kacem (KES-AMSTA, 2012)

Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration. - Sirine Rebai; Hatem Hadj Kacem; Ahmed Hadj Kacem (WETICE, 2012)

BpelVT: A Tool for Formal Validation of Web Service Orchestrations. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (WETICE, 2012)

The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (WETICE, 2012)

A formal approach to model and verify the behaviour of publish/subscribe architectural style. - Hatem Hadj Kacem; Imen Loulou; Ahmed Hadj Kacem (Int. J. Inf. Technol. Commun. Convergence, 2012)

Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (CLOSER, 2013)

Building Correct by Construction SOA Design Patterns: Modeling and Refinement. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem (ECSA, 2013)

A Formal Model of Learner's Annotations Dedicated to Web Services Invocation. - Anis Kalboussi; Omar Mazhoud; Ahmed Hadj Kacem; Nizar Omheni (ICCE, 2013)

Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns. - Imen Tounsi; Zied Hrichi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ICEIS (2), 2013)

Towards an approach for modeling and formalizing SOA design patterns with Event-B. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira; Emna Mezghani (SAC, 2013)

Annotative Activity as a Potential Source of Web Service Invocation. - Anis Kalboussi; Omar Mazhoud; Ahmed Hadj Kacem (WEBIST, 2013)

An Approach for Modeling and Formalizing SOA Design Patterns. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem (WETICE, 2013)

An Approach of Assistance of Learner's Annotative Activity through Web Services. - Anis Kalboussi; Omar Mazhoud; Nizar Omheni; Ahmed Hadj Kacem (Aust. J. Intell. Inf. Process. Syst., 2013)

Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems. - Khalil Drira; Ahmed Hadj Kacem; Mohamed Jmaiel (Concurr. Comput. Pract. Exp., 2013)

A Formal Approach for the Validation of Web Service Orchestrations. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (Int. J. Web Portals, 2013)

The annotation: a track of reader's personality traits on paper. - Nizar Omheni; Omar Mazhoud; Anis Kalboussi; Ahmed Hadj Kacem (ACM Southeast Regional Conference, 2014)

Feature model for modeling compound SOA design patterns. - Akram Kamoun; Mohamed Hadj Kacem; Ahmed Hadj Kacem (AICCSA, 2014)

Towards a Multi-tenancy Aware Cloud Service Composition. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (AINA Workshops, 2014)

Energy Saving in WSN Using Monitoring Values Prediction. - Ahmed Jemal; Marwa Hachicha; Riadh Ben Halima; Ahmed Hadj Kacem; Khalil Drira; Mohamed Jmaiel (ANT/SEIT, 2014)

Multi-tenant Services Monitoring for Accountability in Cloud Computing. - Fatma Masmoudi; Monia Loulou; Ahmed Hadj Kacem (CloudCom, 2014)

Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (CloudCom, 2014)

A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants. - Zeineb Graja; Frédéric Migeon; Christine Maurel; Marie-Pierre Gleizes; Ahmed Hadj Kacem (EMAS@AAMAS, 2014)

A multi-scale modelling perspective for SoS architectures. - Ilhem Khlif; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ECSA Workshops, 2014)

Workflow Scheduling in Cloud Computing: A Survey. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (EDOC Workshops, 2014)

SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties. - Imen Graja; Imen Loulou; Ahmed Hadj Kacem (ENASE, 2014)

A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B. - Zeineb Graja; Frédéric Migeon; Christine Maurel; Marie-Pierre Gleizes; Linas Laibinis; Amira Regayeg; Ahmed Hadj Kacem (ICAART (2), 2014)

Interoperability of healthcare information systems. - Randa Hammami; Hatem Bellaaj; Ahmed Hadj Kacem (ISNCC, 2014)

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. - Linas Laibinis; Elena Troubitsyna; Zeineb Graja; Frédéric Migeon; Ahmed Hadj Kacem (SEFM, 2014)

Prediction of Human Personality Traits From Annotation Activities. - Nizar Omheni; Omar Mazhoud; Anis Kalboussi; Ahmed Hadj Kacem (WEBIST (2), 2014)

Enhancing Proofs of Local Computations through Formal Event-B Modularization. - Maha Boussabbeh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (WETICE, 2014)

A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández; Cédric Eichler; Ahmed Hadj Kacem; Alberto Calixto Simon (WETICE, 2014)

A new annotation system based on a semantic analysis of a learner's annotative activity to invoke web services. - Anis Kalboussi; Omar Mazhoud; Nizar Omheni; Ahmed Hadj Kacem (Int. J. Metadata Semant. Ontologies, 2014)

A service-oriented architecture (SOA) framework for choreography verification. - Sirine Rebai; Hatem Hadj Kacem; Mohamed Karaa; Saúl E. Pomares Hernández; Ahmed Hadj Kacem (ICIS, 2015)

A Provisioning Approach of Cloud Resources for Dynamic Workflows. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (CLOUD, 2015)

An Approach for Multiple-Instance Based Service Composition. - Imen Graja; Nawal Guermouche; Ahmed Hadj Kacem; Khalil Drira (SCC, 2015)

A formal pattern for dynamic networks through evolving graphs. - Faten Fakhfakh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (AICCSA, 2015)

Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks. - Mouna Ktari; Mohamed Amine Haddar; Ahmed Hadj Kacem; Mohamed Mosbah 001 (AICCSA, 2015)

A formal approach for SOA design patterns composition. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (AICCSA, 2015)

Processus pour la génération automatique de composants exécutables à partir de contraintes d'architecture. - Sahar Kallel; Bastien Tramoni; Chouki Tibermacine; Christophe Dony; Ahmed Hadj Kacem (CAL, 2015)

Automatic Translation of Architecture Constraint Specifications into Components. - Sahar Kallel; Bastien Tramoni; Chouki Tibermacine; Christophe Dony; Ahmed Hadj Kacem (ECSA, 2015)

An Interactive Annotation System to Support the Learner with Web Services Assistance. - Anis Kalboussi; Nizar Omheni; Omar Mazhoud; Ahmed Hadj Kacem (ICALT, 2015)

Modelling Learner's Personality Profile through Analysis of Annotation Digital Traces in Learning Environment. - Nizar Omheni; Anis Kalboussi; Omar Mazhoud; Ahmed Hadj Kacem (ICALT, 2015)

Enhancing Learner's Activities through Recommendations based on Annotations. - Omar Mazhoud; Anis Kalboussi; Nizar Omheni; Ahmed Hadj Kacem (ICCE, 2015)

Analyzing Multi-tenant Cloud Services' Accountability. - Fatma Masmoudi; Mohamed Sellami; Monia Loulou; Ahmed Hadj Kacem (ICEBE, 2015)

Controlling Elasticity Dependencies for Multi-tenant Business Process. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (ICEBE, 2015)

A UML-based Approach for Multi-scale Software Architectures. - Ilhem Khlif; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ICEIS (2), 2015)

How to Organize the Annotation Systems in Human-Computer Environment: Study, Classification and Observations. - Anis Kalboussi; Nizar Omheni; Omar Mazhoud; Ahmed Hadj Kacem (INTERACT (2), 2015)

Towards a multi-scale modeling approach for software architectures. - Ilhem Khlif; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (SAC, 2015)

Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. - Faten Fakhfakh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (SNPD (revised selected papers), 2015)

Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs. - Sahar Kallel; Chouki Tibermacine; Bastien Tramoni; Christophe Dony; Ahmed Hadj Kacem (SNPD (revised selected papers), 2015)

An Approach for SOA Design Patterns Composition. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (SOCA, 2015)

Automatic Recognition of Personality from Digital Annotations. - Nizar Omheni; Anis Kalboussi; Omar Mazhoud; Ahmed Hadj Kacem (WEBIST, 2015)

Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (WETICE, 2015)

A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández; Ahmed Hadj Kacem (WETICE, 2015)

CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. - Sirine Rebai; Hatem Hadj Kacem; Mohamed Karaa; Saúl E. Pomares Hernández; Ahmed Hadj Kacem (WETICE, 2015)

A refinement-based approach for building valid SOA design patterns. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (Int. J. Cloud Comput., 2015)

Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents. - Mouna Ktari; Mohamed Amine Haddar; Mohamed Mosbah 001; Ahmed Hadj Kacem (AINA Workshops, 2016)

Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions. - Maha Boussabbeh; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (ABZ, 2016)

Multi-scale modeling for software-intensive systems-of-systems architectures. - Ilhem Khlif; Mohamed Hadj Kacem; Cédric Eichler; Khalil Drira; Ahmed Hadj Kacem (SiSoS@ECSA, 2016)

Time patterns for cyber-physical systems. - Imen Graja; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (ISCC, 2016)

"i-Read": A Collaborative Learning Environment to Support Students with Low Reading Abilities. - Nizar Omheni; Ahmed Hadj Kacem (ITS, 2016)

Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing. - Maha Boussabbeh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (PDP, 2016)

Software Architectures: Multi-Scale Refinement. - Ilhem Khlif; Mohamed Hadj Kacem; Patricia Stolf; Ahmed Hadj Kacem (SERA, 2016)

Modeling and verifying self-adaptive systems: A refinement approach. - Marwa Hachicha; Riadh Ben Halima; Ahmed Hadj Kacem (SMC, 2016)

A correct by construction approach for modeling and formalizing self-adaptive systems. - Marwa Hachicha; Emna Dammak; Riadh Ben Halima; Ahmed Hadj Kacem (SNPD, 2016)

A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. - Faten Fakhfakh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (WETICE, 2016)

BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. - Imen Graja; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (WETICE, 2016)

A Novel Approach for Semantic Web Service Discovery. - Randa Hammami; Hatem Bellaaj; Ahmed Hadj Kacem (WETICE, 2016)

Multiple Software Product Lines for Service Oriented Architecture. - Akram Kamoun; Mohamed Hadj Kacem; Ahmed Hadj Kacem (WETICE, 2016)

Special issue Editorial: New technologies of distributed systems. - Khalil Drira; Ahmed Hadj Kacem; Mohamed Jmaiel (Concurr. Comput. Pract. Exp., 2016)

A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants. - Zeineb Graja; Frédéric Migeon; Christine Maurel; Marie-Pierre Gleizes; Ahmed Hadj Kacem (Int. J. Agent Oriented Softw. Eng., 2016)

Functionalities provided by Annotation Systems for Learners in Educational Context: An Overview. - Anis Kalboussi; Omar Mazhoud; Ahmed Hadj Kacem (Int. J. Emerg. Technol. Learn., 2016)

An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández; Ahmed Hadj Kacem; Cédric Eichler; Alberto Calixto Simon (J. Syst. Softw., 2016)

Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs. - Zeineb Graja; Frédéric Migeon; Christine Maurel; Marie-Pierre Gleizes; Ahmed Hadj Kacem (Rev. d'Intelligence Artif., 2016)

Simulation tools for cloud computing: A survey and comparative study. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (ICIS, 2017)

A correct-by-construction approach for proving distributed algorithms in spanning trees. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Dominique Méry; Ahmed Hadj Kacem (ICIS, 2017)

Design and timed verification of self-adaptive systems. - Marwa Hachicha; Riadh Ben Halima; Ahmed Hadj Kacem (ICIS, 2017)

Cost-Efficient Distributed MapReduce Job Scheduling across Cloud Federation. - Thouraya Gouasmi; Wajdi Louati; Ahmed Hadj Kacem (SCC, 2017)

A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems. - Houda Khlif; Hatem Hadj Kacem; Saúl E. Pomares Hernández; Ahmed Hadj Kacem (AICCSA, 2017)

From Event to Evidence: An Approach for Multi-tenant Cloud Services' Accountability. - Fatma Masmoudi; Mohamed Sellami; Monia Loulou; Ahmed Hadj Kacem (AINA, 2017)

Model consistency for multi-scale architectures applied to smart systems. - Ilhem Khlif; Mohamed Hadj Kacem; Marwa Kallel; Khalil Drira; Ahmed Hadj Kacem (ANT/SEIT, 2017)

Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations. - Mouna Ktari; Mohamed Mosbah 001; Ahmed Hadj Kacem (ANT/SEIT, 2017)

Transformation of compound SOA Design Patterns. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ANT/SEIT, 2017)

Modeling and verification of temporal properties in cyber-physical systems. - Imen Graja; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (CCNC, 2017)

Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems. - Imen Graja; Aicha Mechim; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (CCNC, 2017)

Feature Model based on Design Pattern for the Service Provider in the Service Oriented Architecture. - Akram Kamoun; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ICEIS (2), 2017)

Feature Model as a Design-pattern-based Service Contract for the Service Provider in the Service Oriented Architecture. - Akram Kamoun; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ICEIS (Revised Selected Papers), 2017)

Verification of the Consistency of Time-Aware Cyber-Physical Processes. - Imen Graja; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (ICSOC Workshops, 2017)

Algorithms for Finding Maximal and Maximum Cliques: A Survey. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (ISDA, 2017)

Designing Compound MAPE Patterns for Self-adaptive Systems. - Marwa Hachicha; Riadh Ben Halima; Ahmed Hadj Kacem (ISDA, 2017)

Iterative multi-scale modeling of software-intensive systems of systems architectures. - Ilhem Khlif; Mohamed Hadj Kacem; Ahmed Hadj Kacem (SAC, 2017)

CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (SERA, 2017)

Docker2RDF: Lifting the Docker Registry Hub into RDF. - Ahmed Ben Ayed; Julien Subercaze; Frédérique Laforest; Tarak Chaari; Wajdi Louati; Ahmed Hadj Kacem (SERVICES, 2017)

Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. - Maha Boussabbeh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (SCSS, 2017)

rMatcher: A Tool for Semantic Web Services Discovery & Publication. - Randa Hammami; Hatem Bellaaj; Ahmed Hadj Kacem (WETICE, 2017)

Computing of Learner's Personality Traits Based on Digital Annotations. - Nizar Omheni; Anis Kalboussi; Omar Mazhoud; Ahmed Hadj Kacem (Int. J. Artif. Intell. Educ., 2017)

Proving Distributed Coloring of Forests in Dynamic Networks. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Dominique Méry; Ahmed Hadj Kacem (Computación y Sistemas, 2017)

Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning. - Nizar Omheni; Anis Kalboussi; Omar Mazhoud; Ahmed Hadj Kacem (Int. J. Distance Educ. Technol., 2017)

An Evaluative Review and Research Challenges of the Simulation in Cloud Environment. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (Int. J. Softw. Innov., 2017)

Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents. - Mouna Ktari; Mohamed Mosbah 001; Ahmed Hadj Kacem (Int. J. Space Based Situated Comput., 2017)

Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations. - Mouna Ktari; Mohamed Amine Haddar; Mohamed Mosbah 001; Ahmed Hadj Kacem (RAIRO Theor. Informatics Appl., 2017)

Generating reusable, searchable and executable "architecture constraints as services". - Sahar Kallel; Bastien Tramoni; Chouki Tibermacine; Christophe Dony; Ahmed Hadj Kacem (J. Syst. Softw., 2017)

Dealing with structural changes on provisioning resources for deadline-constrained workflow. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (J. Supercomput., 2017)

Distributed Computations in Wireless Sensor Networks by Local Interactions. - Emna Taktak; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (ADHOC-NOW, 2018)

Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (EMCIS, 2018)

Learner's Annotative Activity as a Data Source of Personalized Web Services Recommendation. - Omar Mazhoud; Anis Kalboussi; Ahmed Hadj Kacem (ICCE, 2018)

Optimal Evidence Collection for Accountability in the Cloud. - Fatma Masmoudi; Mohamed Sellami; Monia Loulou; Ahmed Hadj Kacem (ICEBE, 2018)

Study of Annotations in e-health Domain. - Khalil Chehab; Anis Kalboussi; Ahmed Hadj Kacem (ICOST, 2018)

An Approach of Recommending Personalized Web Services through Annotations in Learning Environment. - Omar Mazhoud; Anis Kalboussi; Ahmed Hadj Kacem (iiWAS, 2018)

Translation of UML Models for Self-adaptive Systems into Event-B Specifications. - Marwa Hachicha; Riadh Ben Halima; Ahmed Hadj Kacem (ISDA (2), 2018)

Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (KES, 2018)

Preserving the Correctness of Dynamic Workflows within a Cloud Environment. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem; Faten Fakhfakh (KES, 2018)

Geo-Distributed BigData Processing for Maximizing Profit in Federated Clouds Environment. - Thouraya Gouasmi; Wajdi Louati; Ahmed Hadj Kacem (PDP, 2018)

Formalizing compound MAPE patterns for decentralized control in self-adaptive systems. - Marwa Hachicha; Riadh Ben Halima; Ahmed Hadj Kacem (RCIS, 2018)

Efficient distribution of mapreduce jobs for maximizing profit on federated cloud. - Thouraya Gouasmi; Wajdi Louati; Ahmed Hadj Kacem (SAC, 2018)

A refinement-based approach for specifying multi-scale software architectures: application to SoS. - Ilhem Khlif; Imen Tounsi; Mohamed Hadj Kacem; Cédric Eichler; Ahmed Hadj Kacem (SAC, 2018)

A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (SEKE, 2018)

Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models. - Sahar Kallel; Chouki Tibermacine; Ahmed Hadj Kacem; Christophe Dony (SOFSEM, 2018)

Elastic Multi-Tenant Business Process Based on Temporal Constraints. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (WETICE, 2018)

Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations. - Emna Taktak; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (WETICE, 2018)

Exact and heuristic MapReduce scheduling algorithms for cloud federation. - Thouraya Gouasmi; Wajdi Louati; Ahmed Hadj Kacem (Comput. Electr. Eng., 2018)

Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns. - Marwa Hachicha; Riadh Ben Halima; Ahmed Hadj Kacem (Int. J. Comput. Appl. Technol., 2018)

Semantic Web Services Discovery: A Survey and Research Challenges. - Randa Hammami; Hatem Bellaaj; Ahmed Hadj Kacem (Int. J. Semantic Web Inf. Syst., 2018)

Specification and automatic checking of architecture constraints on object oriented programs. - Sahar Kallel; Chouki Tibermacine; Slim Kallel; Ahmed Hadj Kacem; Christophe Dony (Inf. Softw. Technol., 2018)

An Annotation Model for Patient Record. - Khalil Chehab; Anis Kalboussi; Ahmed Hadj Kacem (HEALTHINF, 2019)

Energy Efficient Handshake Algorithm for Wireless Sensor Networks. - Emna Taktak; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (DiCES-N@ICTAC, 2019)

Formal Verification approaches of Self-adaptive Systems: A Survey. - Marwa Hachicha; Riadh Ben Halima; Ahmed Hadj Kacem (KES, 2019)

A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates. - Amine Guidara; Saúl E. Pomares Hernández; Lil María Rodríguez-Henríquez; Hatem Hadj Kacem; Ahmed Hadj Kacem (SDS, 2019)

Modelling and verifying time-aware processes for cyber-physical environments. - Imen Graja; Slim Kallel; Nawal Guermouche; Saoussen Cheikhrouhou; Ahmed Hadj Kacem (IET Softw., 2019)

Accountability management for multi-tenant cloud services. - Fatma Masmoudi; Mohamed Sellami; Monia Loulou; Ahmed Hadj Kacem (Int. J. Grid Util. Comput., 2019)

Feature models as service contracts in service oriented architecture. - Akram Kamoun; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (Int. J. Serv. Technol. Manag., 2019)

Personalized and Contextualized Persuasion System for Older Adults' Physical Activity Promoting. - Houssem Aloulou; Hamdi Aloulou; Bessam Abdulrazak; Ahmed Hadj Kacem (ICOST, 2020)

Study of Healthcare Professionals' Interaction in the Patient Records Based on Annotations. - Khalil Chehab; Anis Kalboussi; Ahmed Hadj Kacem (ICOST, 2020)

Web-based Applications and Services of Annotation in Electronic Commerce. - Nesrine Charradi; Anis Kalboussi; Ahmed Hadj Kacem (iiWAS, 2020)

Assistance of Student by Web Services based on Annotations. - Omar Mazhoud; Anis Kalboussi; Ahmed Hadj Kacem (SIGITE, 2020)

A comprehensive survey on modeling of cyber-physical systems. - Imen Graja; Slim Kallel; Nawal Guermouche; Saoussen Cheikhrouhou; Ahmed Hadj Kacem (Concurr. Comput. Pract. Exp., 2020)

Ensuring the correctness of adaptive business processes: a systematic literature review. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (Int. J. Comput. Appl. Technol., 2020)

Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment. - Wael Sellami; Hatem Hadj Kacem; Ahmed Hadj Kacem (J. Netw. Syst. Manag., 2020)

High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks. - Emna Taktak; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (AINA (2), 2021)

A persuasive system to improve physical activities of older adults. - Houssem Aloulou; Hamdi Aloulou; Bessam Abdulrazak; Ahmed Hadj Kacem (TACC, 2021)

A Meta-Modeling Approach to Describe Internet of Things Architectures. - Abdessamad Saidi 002; Mohamed Hadj Kacem; Imen Tounsi; Ahmed Hadj Kacem (TACC, 2021)

MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems. - Mohamed Hadj Kacem; Imen Tounsi; Ahmed Hadj Kacem (IET Softw., 2021)

Study of Healthcare Annotation Systems. - Khalil Chehab; Anis Kalboussi; Ahmed Hadj Kacem (Int. J. E Health Medical Commun., 2021)

Educational Recommender System based on Learner's Annotative Activity. - Omar Mazhoud; Anis Kalboussi; Ahmed Hadj Kacem (Int. J. Emerg. Technol. Learn., 2021)

Special issue on risk and security of smart systems. - Slim Kallel; Frédéric Cuppens; Nora Boulahia-Cuppens; Ahmed Hadj Kacem; Lotfi Ben Othmane (J. Inf. Secur. Appl., 2021)

Towards a Secure Cross-Blockchain Smart Contract Architecture. - Rawya Mars; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Sellami; Ahmed Hadj Kacem (CRiSIS, 2022)

Annotation Systems in the Medical Domain: A Literature Review. - Zayneb Mannai; Anis Kalboussi; Ahmed Hadj Kacem (ICOST, 2022)

Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients. - Abdessamad Saidi 002; Mohamed Hadj Kacem; Imen Tounsi; Ahmed Hadj Kacem (ICOST, 2022)

Automated Transformation of IoT Systems Models into Event-B Specifications. - Abdessamad Saidi 002; Mohamed Hadj Kacem; Imen Tounsi; Ahmed Hadj Kacem (ISDA (2), 2022)

ECO-TrackDrive: a tracking system for energy- efficient driving. - Sameh Ben-Aoun; Meriem Belguidoum; Ahmed Hadj Kacem (TACC, 2022)

A model transformation approach for multiscale modeling of software architectures applied to smart cities. - Ilhem Khlif; Mohamed Hadj Kacem; Cédric Eichler; Khalil Drira; Ahmed Hadj Kacem (Concurr. Comput. Pract. Exp., 2022)

A handshake algorithm for scheduling communications in wireless sensor networks. - Emna Taktak; Mohamed Tounsi 001; Mohamed Mosbah 001; Abdessalem Mnif; Ahmed Hadj Kacem (Concurr. Comput. Pract. Exp., 2022)

Modeling Autonomic Systems: Review, Classification, and Research Challenges. - Marwa Hachicha; Riadh Ben Halima; Ahmed Hadj Kacem (Int. J. Softw. Innov., 2022)

Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems. - Marwa Hachicha; Riadh Ben Halima; Ahmed Hadj Kacem (Innov. Syst. Softw. Eng., 2022)

An Approach for Modeling Annotation in the e-Health Domain. - Zayneb Mannai; Anis Kalboussi; Ahmed Hadj Kacem (ICOST, 2023)

Modélisation et analyse des systèmes cyber-physiques cas du système de surveillance continue du glucose. - Feryel Benina; Nadira Benlahrache; Faiza Belala; Ahmed Hadj Kacem (TACC, 2023)

Towards improving the characteristics of deep neural networks: a meta-modeling approach. - Aicha Choutri; Angham Boukhari; Faiza Belala; Ahmed Hadj Kacem (TACC, 2023)

MAPE-K patterns for self-adaptation in cyber-physical systems. - Riadh Ben Halima; Marwa Hachicha; Ahmed Jemal; Ahmed Hadj Kacem (J. Supercomput., 2023)

Personalized, context-aware, and adaptable persuasive approach for encouraging physical activity among older adults. - Houssem Aloulou; Hamdi Aloulou; Bessam Abdulrazak; Ahmed Hadj Kacem (Entertain. Comput., 2023)

A survey on automation approaches of smart contract generation. - Rawya Mars; Saoussen Cheikhrouhou; Slim Kallel; Ahmed Hadj Kacem (J. Supercomput., 2023)

Internet of Things design patterns modeling proven correct by construction: Application to aged care solution. - Imen Tounsi; Abdessamad Saidi 002; Mohamed Hadj Kacem; Ahmed Hadj Kacem (Future Gener. Comput. Syst., 2023)

A formal approach to specify and verify Internet of Things architecture. - Abdessamad Saidi 002; Mohamed Hadj Kacem; Imen Tounsi; Ahmed Hadj Kacem (Internet Things, 2023)

Improving Autonomous Driving via Recommendation Systems: A Review. - Sameh Ben-Aoun; Meriem Belguidoum; Ahmed Hadj Kacem (AICCSA, 2024)

Towards the Use of AI-Based Tools for Systematic Literature Review. - Lotfi Souifi; Nesrine Khabou; Ismael Bouassida Rodriguez; Ahmed Hadj Kacem (ICAART (2), 2024)

An Overview of a Hybrid Recommendation System for ADAS Using the MAPE-K Approach. - Sameh Ben-Aoun; Meriem Belguidoum; Ahmed Hadj Kacem (ICSOC Workshops (2), 2024)

Towards a Maude-Based Approach for Formal Modeling Deep Neural Networks. - Angham Boukhari; Aïcha Choutri; Faiza Belala; Ahmed Hadj Kacem (LPKM, 2024)

Global reduction for geo-distributed MapReduce across cloud federation. - Thouraya Gouasmi; Ahmed Hadj Kacem (Future Gener. Comput. Syst., 2025)

iAgent fault-tolerance approach (iAFTA) based on optimization algorithms in wireless sensor networks. - Mouna Ktari; Raïda Ktari; Yassine Khemakhem; Ahmed Hadj Kacem (J. Supercomput., 2025)