Ahmed Hadj Kacem

217 papers B 23C 63Misc 8Journal 48Unranked 71

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	iAgent-Based Context-Aware Adaptive Thresholding for Fault Tolerance in Wireless Sensor Networks. ICAART (1) Mouna Ktari, Ahmed Hadj Kacem
2025	J	`jnl`	Global reduction for geo-distributed MapReduce across cloud federation. Future Gener. Comput. Syst. Thouraya Gouasmi, Ahmed Hadj Kacem
2025	—	`conf`	Recent Literature Review on Modeling Explainable Medical Cyber-Physical Systems: A Bibliometric Analysis. ECSA (Tracks and Workshops) Feryel Benina, Zakaria Benzadri, Faiza Belala, Ahmed Hadj Kacem
2025	B	`conf`	Secure and Efficient Big Data Collection with Differential Confidentiality and Machine Learning. KES Thouraya Gouasmi, Siwar Laswed, Ahmed Hadj Kacem
2025	J	`jnl`	iAgent fault-tolerance approach (iAFTA) based on optimization algorithms in wireless sensor networks. J. Supercomput. Mouna Ktari, Raïda Ktari, Yassine Khemakhem, Ahmed Hadj Kacem
2024	—	`conf`	An Overview of a Hybrid Recommendation System for ADAS Using the MAPE-K Approach. ICSOC Workshops (2) Sameh Ben-Aoun, Meriem Belguidoum, Ahmed Hadj Kacem
2024	C	`conf`	Improving Autonomous Driving via Recommendation Systems: A Review. AICCSA Sameh Ben-Aoun, Meriem Belguidoum, Ahmed Hadj Kacem
2024	—	`ed.`	Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023. TACC Ismael Bouassida Rodriguez, Slim Kallel, Zakaria Benzadri, Faiza Belala, Ahmed Hadj Kacem
2024	—	`conf`	Towards a Maude-Based Approach for Formal Modeling Deep Neural Networks. LPKM Angham Boukhari, Aïcha Choutri, Faiza Belala, Ahmed Hadj Kacem
2024	—	`conf`	Towards the Use of AI-Based Tools for Systematic Literature Review. ICAART (2) Lotfi Souifi, Nesrine Khabou, Ismael Bouassida Rodriguez, Ahmed Hadj Kacem
2023	J	`jnl`	A formal approach to specify and verify Internet of Things architecture. Internet Things Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
2023	J	`jnl`	A survey on automation approaches of smart contract generation. J. Supercomput. Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Ahmed Hadj Kacem
2023	C	`conf`	An Approach for Modeling Annotation in the e-Health Domain. ICOST Zayneb Mannai, Anis Kalboussi, Ahmed Hadj Kacem
2023	J	`jnl`	Internet of Things design patterns modeling proven correct by construction: Application to aged care solution. Future Gener. Comput. Syst. Imen Tounsi, Abdessamad Saidi, Mohamed Hadj Kacem, Ahmed Hadj Kacem
2023	J	`jnl`	MAPE-K patterns for self-adaptation in cyber-physical systems. J. Supercomput. Riadh Ben Halima, Marwa Hachicha, Ahmed Jemal, Ahmed Hadj Kacem
2023	—	`conf`	Modélisation et analyse des systèmes cyber-physiques cas du système de surveillance continue du glucose. TACC Feryel Benina, Nadira Benlahrache, Faiza Belala, Ahmed Hadj Kacem
2023	J	`jnl`	Personalized, context-aware, and adaptable persuasive approach for encouraging physical activity among older adults. Entertain. Comput. Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem
2023	—	`ed.`	Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Algérien, Constantine, Algeria, December 13-14, 2022. TACC Chafia Bouanaka, Mohammed Nassim Lacheheub, Meriem Belguidoum, Faiza Belala, Mohamed Jmaiel, Ahmed Hadj Kacem, Ismael Bouassida Rodriguez, Slim Kallel
2023	C	`ed.`	Risks and Security of Internet and Systems - 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers CRiSIS Slim Kallel, Mohamed Jmaiel, Mohammad Zulkernine, Ahmed Hadj Kacem, Frédéric Cuppens, Nora Cuppens
2023	—	`conf`	Towards improving the characteristics of deep neural networks: a meta-modeling approach. TACC Aicha Choutri, Angham Boukhari, Faiza Belala, Ahmed Hadj Kacem
2022	J	`jnl`	A handshake algorithm for scheduling communications in wireless sensor networks. Concurr. Comput. Pract. Exp. Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Abdessalem Mnif, Ahmed Hadj Kacem
2022	J	`jnl`	A model transformation approach for multiscale modeling of software architectures applied to smart cities. Concurr. Comput. Pract. Exp. Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Khalil Drira, Ahmed Hadj Kacem
2022	C	`conf`	Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients. ICOST Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
2022	C	`conf`	Annotation Systems in the Medical Domain: A Literature Review. ICOST Zayneb Mannai, Anis Kalboussi, Ahmed Hadj Kacem
2022	—	`conf`	Automated Transformation of IoT Systems Models into Event-B Specifications. ISDA (2) Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
2022	—	`conf`	ECO-TrackDrive: a tracking system for energy- efficient driving. TACC Sameh Ben-Aoun, Meriem Belguidoum, Ahmed Hadj Kacem
2022	J	`jnl`	Modeling Autonomic Systems: Review, Classification, and Research Challenges. Int. J. Softw. Innov. Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2022	J	`jnl`	Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems. Innov. Syst. Softw. Eng. Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2022	—	`ed.`	Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021. TACC Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez
2022	C	`conf`	Towards a Secure Cross-Blockchain Smart Contract Architecture. CRiSIS Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami, Ahmed Hadj Kacem
2021	—	`conf`	A Meta-Modeling Approach to Describe Internet of Things Architectures. TACC Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
2021	—	`conf`	A persuasive system to improve physical activities of older adults. TACC Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem
2021	J	`jnl`	Educational Recommender System based on Learner's Annotative Activity. Int. J. Emerg. Technol. Learn. Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem
2021	—	`conf`	High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks. AINA (2) Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2021	J	`jnl`	MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems. IET Softw. Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
2021	J	`jnl`	Special issue on risk and security of smart systems. J. Inf. Secur. Appl. Slim Kallel, Frédéric Cuppens, Nora Boulahia-Cuppens, Ahmed Hadj Kacem, Lotfi Ben Othmane
2021	J	`jnl`	Study of Healthcare Annotation Systems. Int. J. E Health Medical Commun. Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem
2020	J	`jnl`	A comprehensive survey on modeling of cyber-physical systems. Concurr. Comput. Pract. Exp. Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem
2020	Misc	`conf`	Assistance of Student by Web Services based on Annotations. SIGITE Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem
2020	J	`jnl`	Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment. J. Netw. Syst. Manag. Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
2020	J	`jnl`	Ensuring the correctness of adaptive business processes: a systematic literature review. Int. J. Comput. Appl. Technol. Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
2020	C	`conf`	Personalized and Contextualized Persuasion System for Older Adults' Physical Activity Promoting. ICOST Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem
2020	C	`ed.`	Risks and Security of Internet and Systems, 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings. CRiSIS Slim Kallel, Frédéric Cuppens, Nora Cuppens-Boulahia, Ahmed Hadj Kacem
2020	C	`conf`	Study of Healthcare Professionals' Interaction in the Patient Records Based on Annotations. ICOST Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem
2020	C	`conf`	Web-based Applications and Services of Annotation in Electronic Commerce. iiWAS Nesrine Charradi, Anis Kalboussi, Ahmed Hadj Kacem
2019	—	`conf`	A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates. SDS Amine Guidara, Saúl E. Pomares Hernández, Lil María Rodríguez-Henríquez, Hatem Hadj Kacem, Ahmed Hadj Kacem
2019	J	`jnl`	Accountability management for multi-tenant cloud services. Int. J. Grid Util. Comput. Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem
2019	—	`conf`	An Annotation Model for Patient Record. HEALTHINF Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem
2019	—	`conf`	Energy Efficient Handshake Algorithm for Wireless Sensor Networks. DiCES-N@ICTAC Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2019	J	`jnl`	Feature models as service contracts in service oriented architecture. Int. J. Serv. Technol. Manag. Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2019	B	`conf`	Formal Verification approaches of Self-adaptive Systems: A Survey. KES Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2019	J	`jnl`	Modelling and verifying time-aware processes for cyber-physical environments. IET Softw. Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem
2018	C	`conf`	A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. SEKE Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2018	Misc	`conf`	A refinement-based approach for specifying multi-scale software architectures: application to SoS. SAC Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cédric Eichler, Ahmed Hadj Kacem
2018	C	`conf`	An Approach of Recommending Personalized Web Services through Annotations in Learning Environment. iiWAS Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem
2018	—	`conf`	Distributed Computations in Wireless Sensor Networks by Local Interactions. ADHOC-NOW Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2018	Misc	`conf`	Efficient distribution of mapreduce jobs for maximizing profit on federated cloud. SAC Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem
2018	C	`conf`	Elastic Multi-Tenant Business Process Based on Temporal Constraints. WETICE Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
2018	J	`jnl`	Exact and heuristic MapReduce scheduling algorithms for cloud federation. Comput. Electr. Eng. Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem
2018	B	`conf`	Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. KES Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2018	B	`conf`	Formalizing compound MAPE patterns for decentralized control in self-adaptive systems. RCIS Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2018	C	`conf`	Geo-Distributed BigData Processing for Maximizing Profit in Federated Clouds Environment. PDP Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem
2018	C	`conf`	Learner's Annotative Activity as a Data Source of Personalized Web Services Recommendation. ICCE Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem
2018	J	`jnl`	Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns. Int. J. Comput. Appl. Technol. Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2018	B	`conf`	Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models. SOFSEM Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony
2018	—	`conf`	Optimal Evidence Collection for Accountability in the Cloud. ICEBE Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem
2018	B	`conf`	Preserving the Correctness of Dynamic Workflows within a Cloud Environment. KES Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh
2018	C	`conf`	Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations. WETICE Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2018	J	`jnl`	Semantic Web Services Discovery: A Survey and Research Challenges. Int. J. Semantic Web Inf. Syst. Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem
2018	J	`jnl`	Specification and automatic checking of architecture constraints on object oriented programs. Inf. Softw. Technol. Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Hadj Kacem, Christophe Dony
2018	C	`conf`	Study of Annotations in e-health Domain. ICOST Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem
2018	—	`conf`	Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud. EMCIS Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
2018	—	`conf`	Translation of UML Models for Self-adaptive Systems into Event-B Specifications. ISDA (2) Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2017	C	`conf`	A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems. AICCSA Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
2017	C	`conf`	A correct-by-construction approach for proving distributed algorithms in spanning trees. ICIS Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
2017	C	`conf`	Algorithms for Finding Maximal and Maximum Cliques: A Survey. ISDA Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2017	J	`jnl`	An Evaluative Review and Research Challenges of the Simulation in Cloud Environment. Int. J. Softw. Innov. Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
2017	C	`conf`	CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment. SERA Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
2017	J	`jnl`	Computing of Learner's Personality Traits Based on Digital Annotations. Int. J. Artif. Intell. Educ. Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem
2017	—	`conf`	Cost-Efficient Distributed MapReduce Job Scheduling across Cloud Federation. SCC Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem
2017	J	`jnl`	Dealing with structural changes on provisioning resources for deadline-constrained workflow. J. Supercomput. Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
2017	—	`conf`	Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems. CCNC Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
2017	C	`conf`	Design and timed verification of self-adaptive systems. ICIS Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2017	C	`conf`	Designing Compound MAPE Patterns for Self-adaptive Systems. ISDA Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2017	B	`conf`	Docker2RDF: Lifting the Docker Registry Hub into RDF. SERVICES Ahmed Ben Ayed, Julien Subercaze, Frédérique Laforest, Tarak Chaari, Wajdi Louati, Ahmed Hadj Kacem
2017	—	`conf`	Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations. ANT/SEIT Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem
2017	—	`conf`	Feature Model as a Design-pattern-based Service Contract for the Service Provider in the Service Oriented Architecture. ICEIS (Revised Selected Papers) Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2017	—	`conf`	Feature Model based on Design Pattern for the Service Provider in the Service Oriented Architecture. ICEIS (2) Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2017	—	`conf`	Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. SCSS Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2017	B	`conf`	From Event to Evidence: An Approach for Multi-tenant Cloud Services' Accountability. AINA Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem
2017	J	`jnl`	Generating reusable, searchable and executable "architecture constraints as services". J. Syst. Softw. Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem
2017	Misc	`conf`	Iterative multi-scale modeling of software-intensive systems of systems architectures. SAC Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem
2017	J	`jnl`	Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents. Int. J. Space Based Situated Comput. Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem
2017	J	`jnl`	Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations. RAIRO Theor. Informatics Appl. Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem
2017	—	`conf`	Model consistency for multi-scale architectures applied to smart systems. ANT/SEIT Ilhem Khlif, Mohamed Hadj Kacem, Marwa Kallel, Khalil Drira, Ahmed Hadj Kacem
2017	—	`conf`	Modeling and verification of temporal properties in cyber-physical systems. CCNC Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
2017	J	`jnl`	Proving Distributed Coloring of Forests in Dynamic Networks. Computación y Sistemas Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
2017	J	`jnl`	Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning. Int. J. Distance Educ. Technol. Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem
2017	C	`conf`	Simulation tools for cloud computing: A survey and comparative study. ICIS Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
2017	—	`conf`	Transformation of compound SOA Design Patterns. ANT/SEIT Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2017	—	`conf`	Verification of the Consistency of Time-Aware Cyber-Physical Processes. ICSOC Workshops Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
2017	C	`conf`	rMatcher: A Tool for Semantic Web Services Discovery & Publication. WETICE Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem
2016	B	`conf`	"i-Read": A Collaborative Learning Environment to Support Students with Low Reading Abilities. ITS Nizar Omheni, Ahmed Hadj Kacem
2016	C	`conf`	A Novel Approach for Semantic Web Service Discovery. WETICE Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem
2016	C	`conf`	A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. WETICE Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2016	C	`conf`	A correct by construction approach for modeling and formalizing self-adaptive systems. SNPD Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem
2016	J	`jnl`	A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants. Int. J. Agent Oriented Softw. Eng. Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem
2016	J	`jnl`	An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability. J. Syst. Softw. Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, Cédric Eichler, Alberto Calixto Simon
2016	C	`conf`	BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. WETICE Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
2016	—	`conf`	Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents. AINA Workshops Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem
2016	C	`conf`	Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions. ABZ Maha Boussabbeh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2016	J	`jnl`	Functionalities provided by Annotation Systems for Learners in Educational Context: An Overview. Int. J. Emerg. Technol. Learn. Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem
2016	B	`conf`	Modeling and verifying self-adaptive systems: A refinement approach. SMC Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2016	—	`conf`	Multi-scale modeling for software-intensive systems-of-systems architectures. SiSoS@ECSA Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Khalil Drira, Ahmed Hadj Kacem
2016	C	`conf`	Multiple Software Product Lines for Service Oriented Architecture. WETICE Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem
2016	C	`conf`	Software Architectures: Multi-Scale Refinement. SERA Ilhem Khlif, Mohamed Hadj Kacem, Patricia Stolf, Ahmed Hadj Kacem
2016	J	`jnl`	Special issue Editorial: New technologies of distributed systems. Concurr. Comput. Pract. Exp. Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel
2016	C	`conf`	Time patterns for cyber-physical systems. ISCC Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
2016	C	`conf`	Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing. PDP Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2016	J	`jnl`	Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs. Rev. d'Intelligence Artif. Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem
2015	C	`conf`	A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems. WETICE Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
2015	B	`conf`	A Provisioning Approach of Cloud Resources for Dynamic Workflows. CLOUD Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
2015	—	`conf`	A UML-based Approach for Multi-scale Software Architectures. ICEIS (2) Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2015	C	`conf`	A formal approach for SOA design patterns composition. AICCSA Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2015	C	`conf`	A formal pattern for dynamic networks through evolving graphs. AICCSA Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2015	J	`jnl`	A refinement-based approach for building valid SOA design patterns. Int. J. Cloud Comput. Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2015	C	`conf`	A service-oriented architecture (SOA) framework for choreography verification. ICIS Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
2015	—	`conf`	An Approach for Multiple-Instance Based Service Composition. SCC Imen Graja, Nawal Guermouche, Ahmed Hadj Kacem, Khalil Drira
2015	—	`conf`	An Approach for SOA Design Patterns Composition. SOCA Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2015	B	`conf`	An Interactive Annotation System to Support the Learner with Web Services Assistance. ICALT Anis Kalboussi, Nizar Omheni, Omar Mazhoud, Ahmed Hadj Kacem
2015	—	`conf`	Analyzing Multi-tenant Cloud Services' Accountability. ICEBE Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem
2015	C	`conf`	Automatic Recognition of Personality from Digital Annotations. WEBIST Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem
2015	B	`conf`	Automatic Translation of Architecture Constraint Specifications into Components. ECSA Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem
2015	—	`conf`	Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs. SNPD (revised selected papers) Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony, Ahmed Hadj Kacem
2015	C	`conf`	CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. WETICE Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
2015	—	`conf`	Controlling Elasticity Dependencies for Multi-tenant Business Process. ICEBE Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
2015	C	`conf`	Enhancing Learner's Activities through Recommendations based on Annotations. ICCE Omar Mazhoud, Anis Kalboussi, Nizar Omheni, Ahmed Hadj Kacem
2015	—	`conf`	How to Organize the Annotation Systems in Human-Computer Environment: Study, Classification and Observations. INTERACT (2) Anis Kalboussi, Nizar Omheni, Omar Mazhoud, Ahmed Hadj Kacem
2015	B	`conf`	Modelling Learner's Personality Profile through Analysis of Annotation Digital Traces in Learning Environment. ICALT Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem
2015	—	`conf`	Processus pour la génération automatique de composants exécutables à partir de contraintes d'architecture. CAL Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem
2015	C	`conf`	Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks. AICCSA Mouna Ktari, Mohamed Amine Haddar, Ahmed Hadj Kacem, Mohamed Mosbah
2015	—	`conf`	Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. SNPD (revised selected papers) Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2015	C	`conf`	Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud. WETICE Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
2015	Misc	`conf`	Towards a multi-scale modeling approach for software architectures. SAC Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2014	C	`conf`	A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. WETICE Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Cédric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon
2014	—	`conf`	A Pattern based Modelling for Self-organizing Multi-agent Systems with ICAART (2) Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem
2014	—	`conf`	A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants. EMAS@AAMAS Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem
2014	—	`conf`	A multi-scale modelling perspective for SoS architectures. ECSA Workshops Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2014	J	`jnl`	A new annotation system based on a semantic analysis of a learner's annotative activity to invoke web services. Int. J. Metadata Semant. Ontologies Anis Kalboussi, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem
2014	C	`conf`	Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing. CloudCom Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
2014	—	`conf`	Energy Saving in WSN Using Monitoring Values Prediction. ANT/SEIT Ahmed Jemal, Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Khalil Drira, Mohamed Jmaiel
2014	C	`conf`	Enhancing Proofs of Local Computations through Formal Event-B Modularization. WETICE Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2014	C	`conf`	Feature model for modeling compound SOA design patterns. AICCSA Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem
2014	B	`conf`	Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. SEFM Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem
2014	C	`conf`	Interoperability of healthcare information systems. ISNCC Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem
2014	C	`conf`	Multi-tenant Services Monitoring for Accountability in Cloud Computing. CloudCom Fatma Masmoudi, Monia Loulou, Ahmed Hadj Kacem
2014	—	`conf`	Prediction of Human Personality Traits From Annotation Activities. WEBIST (2) Nizar Omheni, Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem
2014	B	`conf`	SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties. ENASE Imen Graja, Imen Loulou, Ahmed Hadj Kacem
2014	—	`conf`	The annotation: a track of reader's personality traits on paper. ACM Southeast Regional Conference Nizar Omheni, Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem
2014	—	`conf`	Towards a Multi-tenancy Aware Cloud Service Composition. AINA Workshops Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
2014	—	`conf`	Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs. JFSMA Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem
2014	—	`conf`	Workflow Scheduling in Cloud Computing: A Survey. EDOC Workshops Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
2013	J	`jnl`	A Formal Approach for the Validation of Web Service Orchestrations. Int. J. Web Portals Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
2013	C	`conf`	A Formal Model of Learner's Annotations Dedicated to Web Services Invocation. ICCE Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Nizar Omheni
2013	C	`conf`	An Approach for Modeling and Formalizing SOA Design Patterns. WETICE Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem
2013	J	`jnl`	An Approach of Assistance of Learner's Annotative Activity through Web Services. Aust. J. Intell. Inf. Process. Syst. Anis Kalboussi, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem
2013	C	`conf`	Annotative Activity as a Potential Source of Web Service Invocation. WEBIST Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem
2013	B	`conf`	Building Correct by Construction SOA Design Patterns: Modeling and Refinement. ECSA Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem
2013	C	`conf`	Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing. CLOSER Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
2013	Misc	`conf`	Towards an approach for modeling and formalizing SOA design patterns with Event-B. SAC Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Emna Mezghani
2013	J	`jnl`	Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems. Concurr. Comput. Pract. Exp. Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel
2013	—	`conf`	Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns. ICEIS (2) Imen Tounsi, Zied Hrichi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2012	C	`conf`	A Formal Approach for the Validation of Web Service Orchestrations. WETICE Hatem Hadj Kacem, Wael Sellami, Ahmed Hadj Kacem
2012	J	`jnl`	A formal approach to model and verify the behaviour of publish/subscribe architectural style. Int. J. Inf. Technol. Commun. Convergence Hatem Hadj Kacem, Imen Loulou, Ahmed Hadj Kacem
2012	—	`conf`	Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification. COMPSAC Workshops Thouraya Gouasmi, Amira Regayeg, Ahmed Hadj Kacem
2012	C	`conf`	BpelVT: A Tool for Formal Validation of Web Service Orchestrations. WETICE Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem
2012	—	`conf`	MDA-Based Approach for Implementing Secure Mobile Agent Systems. AOSE Slim Kallel, Monia Loulou, Molka Rekik, Ahmed Hadj Kacem
2012	—	`conf`	Modeling Secure Mobile Agent Systems. KES-AMSTA Molka Rekik, Slim Kallel, Monia Loulou, Ahmed Hadj Kacem
2012	B	`conf`	P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles. ICECCS Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem
2012	C	`conf`	Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration. WETICE Sirine Rebai, Hatem Hadj Kacem, Ahmed Hadj Kacem
2012	C	`conf`	The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange. WETICE Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2012	—	`conf`	Vers une architecture d'auto-réparation sur le Cloud Computing. CAL Faten Khemakhem, Riadh Ben Halima, Ahmed Hadj Kacem
2011	—	`conf`	Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles. ICSOFT (2) Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem
2010	—	`conf`	$\mathcal{F}_{or}\mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design. AOSE Zeineb Graja, Amira Regayeg, Ahmed Hadj Kacem
2010	B	`conf`	A Formal Approach to Enforcing Consistency in Self-adaptive Systems. ECSA Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2010	—	`ed.`	NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31 - June 2, 2010, Proceedings NOTERE Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel
2010	—	`conf`	Orchestrating Safe Behavioural Adaptations of Component-Based Systems. ICAS Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2010	J	`jnl`	P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration. J. Syst. Softw. Imen Loulou, Mohamed Jmaiel, Khalil Drira, Ahmed Hadj Kacem
2009	—	`conf`	RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems. DPM/SETOP Houssem Aloulou, Monia Loulou, Slim Kallel, Ahmed Hadj Kacem
2008	C	`conf`	A formal security framework for mobile agent systems: Specification and verification. CRiSIS Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah
2008	C	`conf`	Electing a leader in the local computation model using mobile agents. AICCSA Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel
2008	Misc	`conf`	Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. ICDCN Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel
2008	—	`conf`	Towards modelling and analysis of a coordination protocol for dynamic software adaptation. CSTST Najla Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
2007	B	`conf`	A Distributed Computational Model for Mobile Agents. PRIMA Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel
2007	—	`conf`	A Formal Approach to prevent Attacks on Mobile Agent Systems. SECURWARE Monia Loulou, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Jmaiel
2007	J	`jnl`	ForMAAD: A formal method for agent-based application design. Web Intell. Agent Syst. Ahmed Hadj Kacem, Amira Regayeg, Mohamed Jmaiel
2007	B	`conf`	Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. ECSA Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
2006	—	`conf`	An UML-Based Approach for Validation of Software Architecture Descriptions. TEAA Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
2006	C	`conf`	Compositional specification of event-based software architectural styles. AICCSA Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
2006	Misc	`conf`	Describing dynamic software architectures using an extended UML model. SAC Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
2006	J	`jnl`	ForMAAD Method: An Experimental Design for Air Traffic Control. Int. Trans. Syst. Sci. Appl. Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel
2005	C	`conf`	A formal model for mobile agent systems using Z. AICCSA Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel
2005	—	`conf`	Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures. ICEIS (3) Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
2005	—	`conf`	Towards a Formal Methodology for Designing Multi-agent Applications. MATES Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
2005	—	`conf`	Towards a UML profile for the description of dynamic software architectures. COEA Mohamed Hadj Kacem, Mohammed Nadhmi Miladi, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
2005	C	`conf`	Towards a formal methodology for developing multi-agent applications using temporal Z. AICCSA Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
2005	—	`conf`	Using UML2.0 and GG for Describing the Dynamic of Software Architectures. ICITA (1) Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
2004	—	`conf`	Formalization of Cooperation in MAS: Towards a Generic Conceptual Model. IBERAMIA Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel
2004	B	`conf`	Specification and Design of Multi-agent Applications Using Temporal Z. PRIMA Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
2004	—	`conf`	Specification and Verification of Multi-Agent Applications using Temporal Z. IAT Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
2004	—	`conf`	Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z. ICPS Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
2003	J	`jnl`	Apport des approches agent pour l'analyse syntaxique de l'arabe. Tech. Sci. Informatiques Chafik Aloulou, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem, Lamia Hadrich Belguith
2003	—	`conf`	Implémentation du système MASPAR selon une approche multi-agent. IWPT Chafik Aloulou, Lamia Hadrich Belguith, Ahmed Hadj Kacem, Souha Hammami Mezghani
2002	B	`conf`	An Operational Semantics for Negotiating Agents. PRIMA Mohamed Jmaiel, Ahmed Hadj Kacem
2001	C	`conf`	Cooperative Systems for Information Sharing and Exchange. WETICE Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem
2001	—	`conf`	Coopération et Négociation au sein des SMA : Vers une définition de Modèles Formels (poster). JFIADSMA Mohamed Jmaiel, Ahmed Hadj Kacem
1993	—	`conf`	A Software Architecture for Cooperative Knowledge Based Systems. HCI (2) Ahmed Hadj Kacem, Jean-Luc Soubie, J. Frontin