default search action
Ahmed Hadj Kacem
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j47]Thouraya Gouasmi, Ahmed Hadj Kacem:
Global reduction for geo-distributed MapReduce across cloud federation. Future Gener. Comput. Syst. 162: 107492 (2025) - 2024
- [c154]Lotfi Souifi, Nesrine Khabou, Ismael Bouassida Rodriguez, Ahmed Hadj Kacem:
Towards the Use of AI-Based Tools for Systematic Literature Review. ICAART (2) 2024: 595-603 - [e6]Slim Kallel, Zakaria Benzadri, Ahmed Hadj Kacem:
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023. CEUR Workshop Proceedings 3642, CEUR-WS.org 2024 [contents] - 2023
- [j46]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: 100567 (2023) - [j45]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: 395-407 (2023) - [j44]Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem:
A formal approach to specify and verify Internet of Things architecture. Internet Things 24: 100972 (2023) - [j43]Riadh Ben Halima, Marwa Hachicha, Ahmed Jemal, Ahmed Hadj Kacem:
MAPE-K patterns for self-adaptation in cyber-physical systems. J. Supercomput. 79(5): 4917-4943 (2023) - [j42]Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Ahmed Hadj Kacem:
A survey on automation approaches of smart contract generation. J. Supercomput. 79(14): 16065-16097 (2023) - [c153]Zayneb Mannai, Anis Kalboussi, Ahmed Hadj Kacem:
An Approach for Modeling Annotation in the e-Health Domain. ICOST 2023: 269-281 - [c152]Aicha Choutri, Angham Boukhari, Faiza Belala, Ahmed Hadj Kacem:
Towards improving the characteristics of deep neural networks: a meta-modeling approach. TACC 2023: 27-42 - [c151]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: 148-158 - [e5]Slim Kallel, Mohamed Jmaiel, Mohammad Zulkernine, Ahmed Hadj Kacem, Frédéric Cuppens, Nora Cuppens:
Risks and Security of Internet and Systems - 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13857, Springer 2023, ISBN 978-3-031-31107-9 [contents] - [e4]Chafia Bouanaka, Mohammed Nassim Lacheheub, Meriem Belguidoum, Faiza Belala, Mohamed Jmaiel, Ahmed Hadj Kacem, Ismael Bouassida Rodriguez, Slim Kallel:
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. CEUR Workshop Proceedings 3333, CEUR-WS.org 2023 [contents] - 2022
- [j41]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) - [j40]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) - [j39]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Modeling Autonomic Systems: Review, Classification, and Research Challenges. Int. J. Softw. Innov. 10(1): 1-22 (2022) - [j38]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): 505-521 (2022) - [c150]Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami, Ahmed Hadj Kacem:
Towards a Secure Cross-Blockchain Smart Contract Architecture. CRiSIS 2022: 127-132 - [c149]Zayneb Mannai, Anis Kalboussi, Ahmed Hadj Kacem:
Annotation Systems in the Medical Domain: A Literature Review. ICOST 2022: 58-69 - [c148]Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem:
Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients. ICOST 2022: 166-180 - [c147]Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem:
Automated Transformation of IoT Systems Models into Event-B Specifications. ISDA (2) 2022: 93-104 - [c146]Sameh Ben-Aoun, Meriem Belguidoum, Ahmed Hadj Kacem:
ECO-TrackDrive: a tracking system for energy- efficient driving. TACC 2022: 98-105 - [e3]Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez:
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021. CEUR Workshop Proceedings 3067, CEUR-WS.org 2022 [contents] - 2021
- [j37]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): 260-276 (2021) - [j36]Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem:
Study of Healthcare Annotation Systems. Int. J. E Health Medical Commun. 12(3): 74-89 (2021) - [j35]Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem:
Educational Recommender System based on Learner's Annotative Activity. Int. J. Emerg. Technol. Learn. 16(10) (2021) - [j34]Slim Kallel, Frédéric Cuppens, Nora Boulahia-Cuppens, Ahmed Hadj Kacem, Lotfi Ben Othmane:
Special issue on risk and security of smart systems. J. Inf. Secur. Appl. 61: 102925 (2021) - [c145]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: 95-106 - [c144]Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem:
A persuasive system to improve physical activities of older adults. TACC 2021: 14-24 - [c143]Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem:
A Meta-Modeling Approach to Describe Internet of Things Architectures. TACC 2021: 25-36 - 2020
- [j33]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) - [j32]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): 189-199 (2020) - [j31]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): 367-397 (2020) - [c142]Houssem Aloulou, Hamdi Aloulou, Bessam Abdulrazak, Ahmed Hadj Kacem:
Personalized and Contextualized Persuasion System for Older Adults' Physical Activity Promoting. ICOST 2020: 142-154 - [c141]Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem:
Study of Healthcare Professionals' Interaction in the Patient Records Based on Annotations. ICOST 2020: 316-328 - [c140]Nesrine Charradi, Anis Kalboussi, Ahmed Hadj Kacem:
Web-based Applications and Services of Annotation in Electronic Commerce. iiWAS 2020: 322-330 - [c139]Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem:
Assistance of Student by Web Services based on Annotations. SIGITE 2020: 260-265 - [e2]Slim Kallel, Frédéric Cuppens, Nora Cuppens-Boulahia, Ahmed Hadj Kacem:
Risks and Security of Internet and Systems, 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings. Lecture Notes in Computer Science 12026, Springer 2020, ISBN 978-3-030-41567-9 [contents]
2010 – 2019
- 2019
- [j30]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): 36-48 (2019) - [j29]Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem:
Accountability management for multi-tenant cloud services. Int. J. Grid Util. Comput. 10(2): 141-158 (2019) - [j28]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): 267-288 (2019) - [c138]Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem:
An Annotation Model for Patient Record. HEALTHINF 2019: 272-280 - [c137]Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Energy Efficient Handshake Algorithm for Wireless Sensor Networks. DiCES-N@ICTAC 2019: 57-76 - [c136]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Formal Verification approaches of Self-adaptive Systems: A Survey. KES 2019: 1853-1862 - [c135]Amine Guidara, Saúl E. Pomares Hernández, Lil María Rodríguez-Henríquez, Hatem Hadj Kacem, Ahmed Hadj Kacem:
A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates. SDS 2019: 186-193 - 2018
- [j27]Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem:
Exact and heuristic MapReduce scheduling algorithms for cloud federation. Comput. Electr. Eng. 69: 274-286 (2018) - [j26]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): 28-44 (2018) - [j25]Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem:
Semantic Web Services Discovery: A Survey and Research Challenges. Int. J. Semantic Web Inf. Syst. 14(4): 57-72 (2018) - [j24]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: 16-31 (2018) - [c134]Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Distributed Computations in Wireless Sensor Networks by Local Interactions. ADHOC-NOW 2018: 293-304 - [c133]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud. EMCIS 2018: 144-157 - [c132]Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem:
Optimal Evidence Collection for Accountability in the Cloud. ICEBE 2018: 78-85 - [c131]Khalil Chehab, Anis Kalboussi, Ahmed Hadj Kacem:
Study of Annotations in e-health Domain. ICOST 2018: 189-199 - [c130]Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem:
An Approach of Recommending Personalized Web Services through Annotations in Learning Environment. iiWAS 2018: 253-262 - [c129]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Translation of UML Models for Self-adaptive Systems into Event-B Specifications. ISDA (2) 2018: 421-430 - [c128]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh:
Preserving the Correctness of Dynamic Workflows within a Cloud Environment. KES 2018: 1541-1550 - [c127]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. KES 2018: 1551-1560 - [c126]Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem:
Geo-Distributed BigData Processing for Maximizing Profit in Federated Clouds Environment. PDP 2018: 85-92 - [c125]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Formalizing compound MAPE patterns for decentralized control in self-adaptive systems. RCIS 2018: 1-10 - [c124]Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem:
Efficient distribution of mapreduce jobs for maximizing profit on federated cloud. SAC 2018: 207-209 - [c123]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: 1660-1667 - [c122]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. SEKE 2018: 348-347 - [c121]Sahar Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, Christophe Dony:
Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models. SOFSEM 2018: 180-193 - [c120]Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Elastic Multi-Tenant Business Process Based on Temporal Constraints. WETICE 2018: 42-47 - [c119]Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations. WETICE 2018: 217-222 - 2017
- [j23]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): 241-267 (2017) - [j22]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) - [j21]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): 28-51 (2017) - [j20]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): 59-73 (2017) - [j19]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): 57-71 (2017) - [j18]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): 51-70 (2017) - [j17]Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem:
Generating reusable, searchable and executable "architecture constraints as services". J. Syst. Softw. 127: 91-108 (2017) - [j16]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Dealing with structural changes on provisioning resources for deadline-constrained workflow. J. Supercomput. 73(7): 2896-2918 (2017) - [c118]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: 1-6 - [c117]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
Simulation tools for cloud computing: A survey and comparative study. ICIS 2017: 221-226 - [c116]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Design and timed verification of self-adaptive systems. ICIS 2017: 227-232 - [c115]Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem:
Cost-Efficient Distributed MapReduce Job Scheduling across Cloud Federation. SCC 2017: 289-296 - [c114]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: 622-629 - [c113]Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem:
From Event to Evidence: An Approach for Multi-tenant Cloud Services' Accountability. AINA 2017: 1082-1089 - [c112]Mouna Ktari, Mohamed Mosbah, Ahmed Hadj Kacem:
Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations. ANT/SEIT 2017: 351-358 - [c111]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: 400-407 - [c110]Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
Transformation of compound SOA Design Patterns. ANT/SEIT 2017: 408-415 - [c109]Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem:
Modeling and verification of temporal properties in cyber-physical systems. CCNC 2017: 325-330 - [c108]Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem:
Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems. CCNC 2017: 593 - [c107]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: 111-120 - [c106]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: 239-264 - [c105]Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem:
Verification of the Consistency of Time-Aware Cyber-Physical Processes. ICSOC Workshops 2017: 67-79 - [c104]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Designing Compound MAPE Patterns for Self-adaptive Systems. ISDA 2017: 92-101 - [c103]Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Algorithms for Finding Maximal and Maximum Cliques: A Survey. ISDA 2017: 745-754 - [c102]Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem:
Iterative multi-scale modeling of software-intensive systems of systems architectures. SAC 2017: 1781-1786 - [c101]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment. SERA 2017: 195-202 - [c100]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: 36-39 - [c99]Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. SCSS 2017: 96-106 - [c98]Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem:
rMatcher: A Tool for Semantic Web Services Discovery & Publication. WETICE 2017: 311-313 - 2016
- [j15]Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel:
Special issue Editorial: New technologies of distributed systems. Concurr. Comput. Pract. Exp. 28(9): 2749 (2016) - [j14]Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem:
A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants. Int. J. Agent Oriented Softw. Eng. 5(2/3): 134-166 (2016) - [j13]Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem:
Functionalities provided by Annotation Systems for Learners in Educational Context: An Overview. Int. J. Emerg. Technol. Learn. 11(2): 4-11 (2016) - [j12]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: 364-377 (2016) - [j11]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): 159-183 (2016) - [c97]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: 331-336 - [c96]Maha Boussabbeh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions. ABZ 2016: 198-212 - [c95]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: 10:1-10:6 - [c94]Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem:
Time patterns for cyber-physical systems. ISCC 2016: 1208-1211 - [c93]Nizar Omheni, Ahmed Hadj Kacem:
"i-Read": A Collaborative Learning Environment to Support Students with Low Reading Abilities. ITS 2016: 221-226 - [c92]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: 504-511 - [c91]Ilhem Khlif, Mohamed Hadj Kacem, Patricia Stolf, Ahmed Hadj Kacem:
Software Architectures: Multi-Scale Refinement. SERA 2016: 265-272 - [c90]Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem:
Modeling and verifying self-adaptive systems: A refinement approach. SMC 2016: 3967-3972 - [c89]Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem:
A correct by construction approach for modeling and formalizing self-adaptive systems. SNPD 2016: 379-384 - [c88]Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. WETICE 2016: 44-49 - [c87]Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem:
Multiple Software Product Lines for Service Oriented Architecture. WETICE 2016: 56-61 - [c86]Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem:
BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. WETICE 2016: 152-157 - [c85]Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem:
A Novel Approach for Semantic Web Service Discovery. WETICE 2016: 250-252 - 2015
- [j10]Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira:
A refinement-based approach for building valid SOA design patterns. Int. J. Cloud Comput. 4(1): 78-104 (2015) - [c84]Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem:
A service-oriented architecture (SOA) framework for choreography verification. ICIS 2015: 642-646 - [c83]Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem:
A Provisioning Approach of Cloud Resources for Dynamic Workflows. CLOUD 2015: 469-476 - [c82]Imen Graja, Nawal Guermouche, Ahmed Hadj Kacem, Khalil Drira:
An Approach for Multiple-Instance Based Service Composition. SCC 2015: 435-442 - [c81]Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
A formal pattern for dynamic networks through evolving graphs. AICCSA 2015: 1-4 - [c80]