| 2026 | ICAART | iAgent-Based Context-Aware Adaptive Thresholding for Fault Tolerance in Wireless Sensor Networks. | Mouna Ktari, Ahmed Hadj Kacem |
| 2025 | AICCSA | Towards A Model-Driven Framework Integrating XAI and Formal Methods for Medical Cyber-Physical System Design. | Feryel Benina, Ahmed Hadj Kacem, Faiza Belala, Zakaria Benzadri |
| 2025 | AICCSA | Towards a Driven Specific Modeling Language for Deep Neural Networks. | Angham Boukhari, Ahmed Hadj Kacem, Faiza Belala, Acha Choutri |
| 2025 | ECSA | Recent Literature Review on Modeling Explainable Medical Cyber-Physical Systems: A Bibliometric Analysis. | Feryel Benina, Zakaria Benzadri, Faiza Belala, Ahmed Hadj Kacem |
| 2025 | KES | Secure and Efficient Big Data Collection with Differential Confidentiality and Machine Learning. | Thouraya Gouasmi, Siwar Laswed, Ahmed Hadj Kacem |
| 2025 | MEDI | Managing Model Evolution from NoSQL Data Lakes to Decision Support Systems. | Said Taktak, Zoubair Mabrouk, Slim Kallel, Ahmed Hadj Kacem |
| 2024 | AICCSA | Improving Autonomous Driving via Recommendation Systems: A Review. | Sameh Ben-Aoun, Meriem Belguidoum, Ahmed Hadj Kacem |
| 2024 | ICAART | Towards the Use of AI-Based Tools for Systematic Literature Review. | Lotfi Souifi, Nesrine Khabou, Ismael Bouassida Rodriguez, Ahmed Hadj Kacem |
| 2024 | ICSOC | An Overview of a Hybrid Recommendation System for ADAS Using the MAPE-K Approach. | Sameh Ben-Aoun, Meriem Belguidoum, Ahmed Hadj Kacem |
| 2023 | ICOST | An Approach for Modeling Annotation in the e-Health Domain. | Zayneb Mannai, Anis Kalboussi, Ahmed Hadj Kacem |
| 2022 | CRiSIS | Towards a Secure Cross-Blockchain Smart Contract Architecture. | Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami, Ahmed Hadj Kacem |
| 2022 | ICOST | Annotation Systems in the Medical Domain: A Literature Review. | Zayneb Mannai, Anis Kalboussi, Ahmed Hadj Kacem |
| 2022 | ICOST | Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients. | Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem |
| 2022 | ISDA | Automated Transformation of IoT Systems Models into Event-B Specifications. | Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem |
| 2021 | AINA | High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks. | Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2020 | ICOST | Personalized and Contextualized Persuasion System for Older Adults' Physical Activity Promoting. | Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem |
| 2020 | ICOST | Study of Healthcare Professionals' Interaction in the Patient Records Based on Annotations. | Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem |
| 2020 | IIWAS | Web-based Applications and Services of Annotation in Electronic Commerce. | Nesrine Charradi, Anis Kalboussi, Ahmed Hadj Kacem |
| 2020 | SIGITE | Assistance of Student by Web Services based on Annotations. | Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem |
| 2019 | ICTAC | Energy Efficient Handshake Algorithm for Wireless Sensor Networks. | Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2019 | KES | Formal Verification approaches of Self-adaptive Systems: A Survey. | Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem |
| 2018 | ICCE | Learner's Annotative Activity as a Data Source of Personalized Web Services Recommendation. | Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem |
| 2018 | ICOST | Study of Annotations in e-health Domain. | Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem |
| 2018 | IIWAS | An Approach of Recommending Personalized Web Services through Annotations in Learning Environment. | Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem |
| 2018 | ISDA | Translation of UML Models for Self-adaptive Systems into Event-B Specifications. | Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem |
| 2018 | KES | Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2018 | KES | Preserving the Correctness of Dynamic Workflows within a Cloud Environment. | Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh |
| 2018 | PDP | Geo-Distributed BigData Processing for Maximizing Profit in Federated Clouds Environment. | Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem |
| 2018 | RCIS | Formalizing compound MAPE patterns for decentralized control in self-adaptive systems. | Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem |
| 2018 | SAC | Efficient distribution of mapreduce jobs for maximizing profit on federated cloud. | Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem |
| 2018 | SAC | A refinement-based approach for specifying multi-scale software architectures: application to SoS. | Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cdric Eichler, Ahmed Hadj Kacem |
| 2018 | SEKE | A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2018 | WETICE | Elastic Multi-Tenant Business Process Based on Temporal Constraints. | Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2018 | WETICE | Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations. | Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2018 | SOFSEM | Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models. | Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony |
| 2017 | AICCSA | A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems. | Houda Khlif, Hatem Hadj Kacem, Sal E. Pomares Hernndez, Ahmed Hadj Kacem |
| 2017 | AINA | From Event to Evidence: An Approach for Multi-tenant Cloud Services' Accountability. | Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem |
| 2017 | ANT | Model consistency for multi-scale architectures applied to smart systems. | Ilhem Khlif, Mohamed Hadj Kacem, Marwa Kallel, Khalil Drira, Ahmed Hadj Kacem |
| 2017 | ANT | Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations. | Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2017 | ANT | Transformation of compound SOA Design Patterns. | Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira |
| 2017 | ICSOC | Verification of the Consistency of Time-Aware Cyber-Physical Processes. | Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem |
| 2017 | ISDA | Algorithms for Finding Maximal and Maximum Cliques: A Survey. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2017 | ISDA | Designing Compound MAPE Patterns for Self-adaptive Systems. | Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem |
| 2017 | SAC | Iterative multi-scale modeling of software-intensive systems of systems architectures. | Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem |
| 2017 | WETICE | rMatcher: A Tool for Semantic Web Services Discovery & Publication. | Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem |
| 2017 | SERA | CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment. | Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2017 | SERVICES | Docker2RDF: Lifting the Docker Registry Hub into RDF. | Ahmed Ben Ayed, Julien Subercaze, Frdrique Laforest, Tarak Chaari, Wajdi Louati, Ahmed Hadj Kacem |
| 2016 | AINA | Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents. | Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2016 | ECSA | Multi-scale modeling for software-intensive systems-of-systems architectures. | Ilhem Khlif, Mohamed Hadj Kacem, Cdric Eichler, Khalil Drira, Ahmed Hadj Kacem |
| 2016 | ISCC | Time patterns for cyber-physical systems. | Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem |
| 2016 | ITS | "i-Read": A Collaborative Learning Environment to Support Students with Low Reading Abilities. | Nizar Omheni, Ahmed Hadj Kacem |
| 2016 | PDP | Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing. | Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2016 | SMC | Modeling and verifying self-adaptive systems: A refinement approach. | Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem |
| 2016 | SNPD | A correct by construction approach for modeling and formalizing self-adaptive systems. | Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem |
| 2016 | WETICE | A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. | Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2016 | WETICE | BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. | Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem |
| 2016 | WETICE | A Novel Approach for Semantic Web Service Discovery. | Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem |
| 2016 | WETICE | Multiple Software Product Lines for Service Oriented Architecture. | Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem |
| 2016 | SERA | Software Architectures: Multi-Scale Refinement. | Ilhem Khlif, Mohamed Hadj Kacem, Patricia Stolf, Ahmed Hadj Kacem |
| 2015 | AICCSA | A formal pattern for dynamic networks through evolving graphs. | Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2015 | AICCSA | Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks. | Mouna Ktari, Mohamed Amine Haddar, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2015 | AICCSA | A formal approach for SOA design patterns composition. | Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira |
| 2015 | ECSA | Automatic Translation of Architecture Constraint Specifications into Components. | Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem |
| 2015 | ICCE | Enhancing Learner's Activities through Recommendations based on Annotations. | Omar Mazhoud, Anis Kalboussi, Nizar Omheni, Ahmed Hadj Kacem |
| 2015 | ICALT | An Interactive Annotation System to Support the Learner with Web Services Assistance. | Anis Kalboussi, Nizar Omheni, Omar Mazhoud, Ahmed Hadj Kacem |
| 2015 | ICALT | Modelling Learner's Personality Profile through Analysis of Annotation Digital Traces in Learning Environment. | Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem |
| 2015 | Interact | How to Organize the Annotation Systems in Human-Computer Environment: Study, Classification and Observations. | Anis Kalboussi, Nizar Omheni, Omar Mazhoud, Ahmed Hadj Kacem |
| 2015 | SAC | Towards a multi-scale modeling approach for software architectures. | Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira |
| 2015 | SNPD | Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. | Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2015 | SNPD | Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs. | Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony, Ahmed Hadj Kacem |
| 2015 | WEBIST | Automatic Recognition of Personality from Digital Annotations. | Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem |
| 2015 | WETICE | Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud. | Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2015 | WETICE | A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems. | Houda Khlif, Hatem Hadj Kacem, Sal E. Pomares Hernndez, Ahmed Hadj Kacem |
| 2015 | WETICE | CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. | Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Sal E. Pomares Hernndez, Ahmed Hadj Kacem |
| 2014 | AICCSA | Feature model for modeling compound SOA design patterns. | Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem |
| 2014 | AINA | Towards a Multi-tenancy Aware Cloud Service Composition. | Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2014 | ANT | Energy Saving in WSN Using Monitoring Values Prediction. | Ahmed Jemal, Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Khalil Drira, Mohamed Jmaiel |
| 2014 | CloudCom | Multi-tenant Services Monitoring for Accountability in Cloud Computing. | Fatma Masmoudi, Monia Loulou, Ahmed Hadj Kacem |
| 2014 | CloudCom | Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing. | Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2014 | ECSA | A multi-scale modelling perspective for SoS architectures. | Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira |
| 2014 | EDOC | Workflow Scheduling in Cloud Computing: A Survey. | Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2014 | ENASE | SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties. | Imen Graja, Imen Loulou, Ahmed Hadj Kacem |
| 2014 | ICAART | A Pattern based Modelling for Self-organizing Multi-agent Systems with | Zeineb Graja, Frdric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem |
| 2014 | ISNCC | Interoperability of healthcare information systems. | Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem |
| 2014 | WEBIST | Prediction of Human Personality Traits From Annotation Activities. | Nizar Omheni, Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem |
| 2014 | WETICE | Enhancing Proofs of Local Computations through Formal Event-B Modularization. | Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2014 | WETICE | A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. | Houda Khlif, Hatem Hadj Kacem, Sal E. Pomares Hernndez, Cdric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon |
| 2014 | SEFM | Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. | Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frdric Migeon, Ahmed Hadj Kacem |
| 2013 | CLOSER | Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing. | Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2013 | ECSA | Building Correct by Construction SOA Design Patterns: Modeling and Refinement. | Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem |
| 2013 | ICCE | A Formal Model of Learner's Annotations Dedicated to Web Services Invocation. | Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Nizar Omheni |
| 2013 | SAC | 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 |
| 2013 | WEBIST | Annotative Activity as a Potential Source of Web Service Invocation. | Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem |
| 2013 | WETICE | An Approach for Modeling and Formalizing SOA Design Patterns. | Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem |
| 2012 | COMPSAC | Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification. | Thouraya Gouasmi, Amira Regayeg, Ahmed Hadj Kacem |
| 2012 | ICECCS | P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles. | Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem |
| 2012 | WETICE | A Formal Approach for the Validation of Web Service Orchestrations. | Hatem Hadj Kacem, Wael Sellami, Ahmed Hadj Kacem |
| 2012 | WETICE | Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration. | Sirine Rebai, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2012 | WETICE | BpelVT: A Tool for Formal Validation of Web Service Orchestrations. | Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem |
| 2012 | WETICE | The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange. | Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira |
| 2011 | ICSoft | Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles. | Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem |
| 2010 | ECSA | A Formal Approach to Enforcing Consistency in Self-adaptive Systems. | Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira |
| 2009 | ESORICS | RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems. | Houssem Aloulou, Monia Loulou, Slim Kallel, Ahmed Hadj Kacem |
| 2008 | AICCSA | Electing a leader in the local computation model using mobile agents. | Med Amine Haddar, Ahmed Hadj Kacem, Yves Mtivier, Mohamed Mosbah, Mohamed Jmaiel |
| 2008 | CRiSIS | A formal security framework for mobile agent systems: Specification and verification. | Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah |
| 2008 | ICDCN | Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. | Med Amine Haddar, Ahmed Hadj Kacem, Yves Mtivier, Mohamed Mosbah, Mohamed Jmaiel |
| 2007 | ECSA | Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. | Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
| 2007 | PRIMA | A Distributed Computational Model for Mobile Agents. | Med Amine Haddar, Ahmed Hadj Kacem, Yves Mtivier, Mohamed Mosbah, Mohamed Jmaiel |
| 2006 | AICCSA | Compositional specification of event-based software architectural styles. | Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
| 2006 | SAC | Describing dynamic software architectures using an extended UML model. | Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
| 2005 | AICCSA | A formal model for mobile agent systems using Z. | Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel |
| 2005 | AICCSA | Towards a formal methodology for developing multi-agent applications using temporal Z. | Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel |
| 2005 | ICITA | Using UML2.0 and GG for Describing the Dynamic of Software Architectures. | Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira |
| 2004 | PRIMA | Specification and Design of Multi-agent Applications Using Temporal Z. | Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel |
| 2002 | PRIMA | An Operational Semantics for Negotiating Agents. | Mohamed Jmaiel, Ahmed Hadj Kacem |
| 2001 | WETICE | Cooperative Systems for Information Sharing and Exchange. | Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem |
| 1993 | HCI | A Software Architecture for Cooperative Knowledge Based Systems. | Ahmed Hadj Kacem, Jean-Luc Soubie, J. Frontin |