Ahmed Hadj Kacem

ORCID

Publication Activity (10 Years)

Years Active: 1993-2025
Publications (10 Years): 129

Top Venues

Publications

Thouraya Gouasmi, Ahmed Hadj Kacem
Global reduction for geo-distributed MapReduce across cloud federation. Future Gener. Comput. Syst. 162 (2025)
Lotfi Souifi, Nesrine Khabou, Ismael Bouassida Rodriguez, Ahmed Hadj Kacem
Towards the Use of AI-Based Tools for Systematic Literature Review. ICAART (2) (2024)
Feryel Benina, Nadira Benlahrache, Faiza Belala, Ahmed Hadj Kacem
Modélisation et analyse des systèmes cyber-physiques cas du système de surveillance continue du glucose. TACC (2023)
Imen Tounsi, Abdessamad Saidi, Mohamed Hadj Kacem, Ahmed Hadj Kacem
Internet of Things design patterns modeling proven correct by construction: Application to aged care solution. Future Gener. Comput. Syst. 148 (2023)
Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
A formal approach to specify and verify Internet of Things architecture. Internet Things 24 (2023)
Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Ahmed Hadj Kacem
A survey on automation approaches of smart contract generation. J. Supercomput. 79 (14) (2023)
Aicha Choutri, Angham Boukhari, Faiza Belala, Ahmed Hadj Kacem
Towards improving the characteristics of deep neural networks: a meta-modeling approach. TACC (2023)
Riadh Ben Halima, Marwa Hachicha, Ahmed Jemal, Ahmed Hadj Kacem
MAPE-K patterns for self-adaptation in cyber-physical systems. J. Supercomput. 79 (5) (2023)
Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem
Personalized, context-aware, and adaptable persuasive approach for encouraging physical activity among older adults. Entertain. Comput. 46 (2023)
Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
Automated Transformation of IoT Systems Models into Event-B Specifications. ISDA (2) (2022)
Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Abdessalem Mnif, Ahmed Hadj Kacem
A handshake algorithm for scheduling communications in wireless sensor networks. Concurr. Comput. Pract. Exp. 34 (7) (2022)
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
Modeling Autonomic Systems: Review, Classification, and Research Challenges. Int. J. Softw. Innov. 10 (1) (2022)
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems. Innov. Syst. Softw. Eng. 18 (4) (2022)
Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami, Ahmed Hadj Kacem
Towards a Secure Cross-Blockchain Smart Contract Architecture. CRiSIS (2022)
Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients. ICOST (2022)
Sameh Ben-Aoun, Meriem Belguidoum, Ahmed Hadj Kacem
ECO-TrackDrive: a tracking system for energy- efficient driving. TACC (2022)
Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Khalil Drira, Ahmed Hadj Kacem
A model transformation approach for multiscale modeling of software architectures applied to smart cities. Concurr. Comput. Pract. Exp. 34 (7) (2022)
Zayneb Mannai, Anis Kalboussi, Ahmed Hadj Kacem
Annotation Systems in the Medical Domain: A Literature Review. ICOST (2022)
Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem
Educational Recommender System based on Learner's Annotative Activity. Int. J. Emerg. Technol. Learn. 16 (10) (2021)
Slim Kallel, Frédéric Cuppens, Noura Boulahia Cuppens, Ahmed Hadj Kacem, Lotfi Ben Othmane
Special issue on risk and security of smart systems. J. Inf. Secur. Appl. 61 (2021)
Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
A Meta-Modeling Approach to Describe Internet of Things Architectures. TACC (2021)
Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems. IET Softw. 15 (4) (2021)
Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks. AINA (2) (2021)
Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem
A persuasive system to improve physical activities of older adults. TACC (2021)
Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem
Study of Healthcare Annotation Systems. Int. J. E Health Medical Commun. 12 (3) (2021)
Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment. J. Netw. Syst. Manag. 28 (2) (2020)
Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem
A comprehensive survey on modeling of cyber-physical systems. Concurr. Comput. Pract. Exp. 32 (15) (2020)
Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem
Study of Healthcare Professionals' Interaction in the Patient Records Based on Annotations. ICOST (2020)
Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem
Assistance of Student by Web Services based on Annotations. SIGITE (2020)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
Ensuring the correctness of adaptive business processes: a systematic literature review. Int. J. Comput. Appl. Technol. 62 (3) (2020)
Nesrine Charradi, Anis Kalboussi, Ahmed Hadj Kacem
Web-based Applications and Services of Annotation in Electronic Commerce. iiWAS (2020)
Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem
Personalized and Contextualized Persuasion System for Older Adults' Physical Activity Promoting. ICOST (2020)
Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem
Modelling and verifying time-aware processes for cyber-physical environments. IET Softw. 13 (1) (2019)
Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
Energy Efficient Handshake Algorithm for Wireless Sensor Networks. DiCES-N@ICTAC (2019)
Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem
Accountability management for multi-tenant cloud services. Int. J. Grid Util. Comput. 10 (2) (2019)
Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
Feature models as service contracts in service oriented architecture. Int. J. Serv. Technol. Manag. 25 (3/4) (2019)
Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem
An Annotation Model for Patient Record. HEALTHINF (2019)
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
Formal Verification approaches of Self-adaptive Systems: A Survey. KES (2019)
Amine Guidara, Saúl E. Pomares Hernández, Lil María X. Rodríguez Henríquez, Hatem Hadj Kacem, Ahmed Hadj Kacem
A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates. SDS (2019)
Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem
Semantic Web Services Discovery: A Survey and Research Challenges. Int. J. Semantic Web Inf. Syst. 14 (4) (2018)
Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem
Efficient distribution of mapreduce jobs for maximizing profit on federated cloud. SAC (2018)
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns. Int. J. Comput. Appl. Technol. 57 (1) (2018)
Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem
An Approach of Recommending Personalized Web Services through Annotations in Learning Environment. iiWAS (2018)
Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Hadj Kacem, Christophe Dony
Specification and automatic checking of architecture constraints on object oriented programs. Inf. Softw. Technol. 101 (2018)
Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem
Geo-Distributed BigData Processing for Maximizing Profit in Federated Clouds Environment. PDP (2018)
Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
Distributed Computations in Wireless Sensor Networks by Local Interactions. ADHOC-NOW (2018)
Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem
Exact and heuristic MapReduce scheduling algorithms for cloud federation. Comput. Electr. Eng. 69 (2018)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. SEKE (2018)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh
Preserving the Correctness of Dynamic Workflows within a Cloud Environment. KES (2018)
Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
Elastic Multi-Tenant Business Process Based on Temporal Constraints. WETICE (2018)
Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cédric Eichler, Ahmed Hadj Kacem
A refinement-based approach for specifying multi-scale software architectures: application to SoS. SAC (2018)
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
Formalizing compound MAPE patterns for decentralized control in self-adaptive systems. RCIS (2018)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. KES (2018)
Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations. WETICE (2018)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud. EMCIS (2018)
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
Translation of UML Models for Self-adaptive Systems into Event-B Specifications. ISDA (2) (2018)
Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony
Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models. SOFSEM (2018)
Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem
Optimal Evidence Collection for Accountability in the Cloud. ICEBE (2018)
Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem
Study of Annotations in e-health Domain. ICOST (2018)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
Proving Distributed Coloring of Forests in Dynamic Networks. Computación y Sistemas 21 (4) (2017)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
Dealing with structural changes on provisioning resources for deadline-constrained workflow. J. Supercomput. 73 (7) (2017)
Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem
Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations. ANT/SEIT (2017)
Ilhem Khlif, Mohamed Hadj Kacem, Marwa Kallel, Khalil Drira, Ahmed Hadj Kacem
Model consistency for multi-scale architectures applied to smart systems. ANT/SEIT (2017)
Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem
Cost-Efficient Distributed MapReduce Job Scheduling across Cloud Federation. SCC (2017)
Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem
Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning. Int. J. Distance Educ. Technol. 15 (1) (2017)
Ahmed Ben Ayed, Julien Subercaze, Frédérique Laforest, Tarak Chaari, Wajdi Louati, Ahmed Hadj Kacem
Docker2RDF: Lifting the Docker Registry Hub into RDF. SERVICES (2017)
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
Design and timed verification of self-adaptive systems. ICIS (2017)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment. SERA (2017)
Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem
From Event to Evidence: An Approach for Multi-tenant Cloud Services' Accountability. AINA (2017)
Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem
Iterative multi-scale modeling of software-intensive systems of systems architectures. SAC (2017)
Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem
Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations. RAIRO Theor. Informatics Appl. 51 (2) (2017)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
An Evaluative Review and Research Challenges of the Simulation in Cloud Environment. Int. J. Softw. Innov. 5 (4) (2017)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
Algorithms for Finding Maximal and Maximum Cliques: A Survey. ISDA (2017)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
A correct-by-construction approach for proving distributed algorithms in spanning trees. ICIS (2017)
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
Designing Compound MAPE Patterns for Self-adaptive Systems. ISDA (2017)
Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems. AICCSA (2017)
Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem
Generating reusable, searchable and executable "architecture constraints as services". J. Syst. Softw. 127 (2017)
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
Transformation of compound SOA Design Patterns. ANT/SEIT (2017)
Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem
Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents. Int. J. Space Based Situated Comput. 7 (2) (2017)
Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
Modeling and verification of temporal properties in cyber-physical systems. CCNC (2017)
Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems. CCNC (2017)
Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
Verification of the Consistency of Time-Aware Cyber-Physical Processes. ICSOC Workshops (2017)
Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem
rMatcher: A Tool for Semantic Web Services Discovery & Publication. WETICE (2017)
Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem
Computing of Learner's Personality Traits Based on Digital Annotations. Int. J. Artif. Intell. Educ. 27 (2) (2017)
Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
Feature Model as a Design-pattern-based Service Contract for the Service Provider in the Service Oriented Architecture. ICEIS (Revised Selected Papers) (2017)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
Simulation tools for cloud computing: A survey and comparative study. ICIS (2017)
Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. SCSS (2017)
Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
Feature Model based on Design Pattern for the Service Provider in the Service Oriented Architecture. ICEIS (2) (2017)
Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing. PDP (2016)
Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem
Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents. AINA Workshops (2016)
Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Khalil Drira, Ahmed Hadj Kacem
Multi-scale modeling for software-intensive systems-of-systems architectures. SiSoS@ECSA (2016)
Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem
A Novel Approach for Semantic Web Service Discovery. WETICE (2016)
Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem
Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs. Rev. d'Intelligence Artif. 30 (1-2) (2016)
Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. WETICE (2016)
Ilhem Khlif, Mohamed Hadj Kacem, Patricia Stolf, Ahmed Hadj Kacem
Software Architectures: Multi-Scale Refinement. SERA (2016)
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
Modeling and verifying self-adaptive systems: A refinement approach. SMC (2016)
Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, Cédric Eichler, Alberto Calixto Simon
An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability. J. Syst. Softw. 122 (2016)
Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. WETICE (2016)
Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel
Special issue Editorial: New technologies of distributed systems. Concurr. Comput. Pract. Exp. 28 (9) (2016)
Nizar Omheni, Ahmed Hadj Kacem
"i-Read": A Collaborative Learning Environment to Support Students with Low Reading Abilities. ITS (2016)

Ahmed Hadj Kacem.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ahmed Hadj Kacem