Mourad KMIMECH

Publications

Article dans une revue (4)

An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components Taoufik Sakka Rouis,Mohamed Tahar Bhiri,Layth Sliman,Mourad Kmimech IEEE Systems Journal, 2020, 14 (2), pp.1647-1657. ⟨10.1109/JSYST.2019.2960501⟩ Article dans une revue hal-03781271v1
Genetic-based adaptive approach for reliable and efficient service composition Mohamed Graiet,Imed Abbassi,Mourad Kmimech,Walid Gaaloul IEEE Systems Journal, 2018, 12 (2), pp.1644 - 1654. ⟨10.1109/JSYST.2016.2612641⟩ Article dans une revue hal-01987661v1
Towards an approach of formal verification of mediation protocol based on web services of MDE type Mohamed Graiet,Raoudha Maraoui,Mourad Kmimech,Mohamed Tahar Bhiri,Walid Gaaloul International Journal of Web Information Systems, 2012, 8 (1), pp.32 - 54. ⟨10.1108/17440081211222582⟩ Article dans une revue hal-00751238v1
Towards an Approach of Formal Verification of Web Service Composition Mohamed Graiet,Mourad Kmimech,Lazhar Hamel,Mohamed Tahar Bhiri,Walid Gaaloulet al. International Journal On Advances in Intelligent Systems, 2011 Article dans une revue hal-04547233v1

Communication dans un congrès (26)

Effet de la similarité sur la détection de communautés : analyse théorique et expérimentale Motaz Ben Hassine,Mourad Kmimech,Mohamed Graiet 26ème Conférence francophone sur l'extraction et la gestion des connaissances, Jan 2026, Anglet, France. pp.425-432 Communication dans un congrès hal-05483207v1
Une approche de clustering conceptuel via des k-motifs relaxés fréquents Motaz Ben Hassine,Said Jabbour,Mourad Kmimech,Badran Raddaoui,Mohamed Graiet Extraction et Gestion des Connaissances (EGC), Université de Strasbourg; Icube; L'école de l'eau et de l'environnement (ENGEES); CNRS; Institut National des Sciences Appliquées Strasbourg (INSA), Jan 2025, Strasbourg, France. pp.419-426 Communication dans un congrès hal-05333995v1
On the Effects of Similarity in Community Detection Motaz Ben Hassine,Mourad Kmimech,Mohamed Graiet 28th International Conference on Knowledge Based and Intelligent information and Engineering Systems (KES 2024), Sep 2024, Seville (Spain), Spain. pp.3485-3494, ⟨10.1016/j.procs.2024.09.208⟩ Communication dans un congrès hal-05326062v1
On the discovery of conceptual clustering models through pattern mining Motaz Ben Hassine,Saïd Jabbour,Mourad Kmimech,Badran Raddaoui,Mohamed Graiet 27th European Conference on Artificial Intelligence(ECAI), Oct 2024, Santiago de compostela, Spain. pp.1648-1655, ⟨10.3233/FAIA240672⟩ Communication dans un congrès hal-04947636v1
A non-overlapping community detection approach based on α-structural similarity Motaz Ben Hassine,Saïd Jabbour,Mourad Kmimech,Badran Raddaoui,Mohamed Graiet The 25th International Conference on Big Data Analytics and Knowledge Discovery (DAWAK), Aug 2023, Penang, Malaysia. pp.197-211, ⟨10.1007/978-3-031-39831-5_19⟩ Communication dans un congrès hal-04602731v1
Discovering overlapping communities based on cohesive subgraph models over graph data Saïd Jabbour,Mourad Kmimech,Badran Raddaoui DaWaK 2022: 24th International Conference on Big Data Analytics and Knowledge Discovery, Aug 2022, Vienne, Austria. pp.189-201, ⟨10.1007/978-3-031-12670-3_16⟩ Communication dans un congrès hal-03721054v1
ITS Traffic Violation Regulation Based on Blockchain Smart Contracts Nihed Yousfi,Mourad Kmimech,Imed Abbassi,Hedi Hamdi,Mohamed Graiet ICCCI 2022 - 14th International Conference on Computational Collective Intelligence, Sep 2022, Hammamet, Tunisia. pp.459-471, ⟨10.1007/978-3-031-16210-7_38⟩ Communication dans un congrès hal-03938813v1
Cohesive subgraph models for overlapping community search over networks Khaled Adeyl,Mourad Kmimech,Nizar Mhadhbi,Badran Raddaoui International Conference on Intelligent Software Methodologies, Tools, and Techniques (SOMET), Sep 2020, Kitakyushu, Japan. ⟨10.3233/FAIA200573⟩ Communication dans un congrès hal-04430614v1
Tangle The Blockchain: Toward IOTA and Blockchain integration for IoT Environment Houssein Hellani,Layth Sliman,Motaz Ben Hassine,Abed Ellatif Samhat,Ernesto Expósitoet al. International Conference on Hybrid Intelligent Systems, Dec 2019, Sehore, India. pp.429-440, ⟨10.1007/978-3-030-49336-3_42⟩ Communication dans un congrès hal-03781495v1
Tangle The Blockchain: Toward IOTA and Blockchain integration for IoT Environment Houssein Hellani,Hussein Hellani,Layth Sliman,Motaz Ben Hassine,Abed Ellatif Samhatet al. International Conference on Hybrid Intelligent Systems, Dec 2019, Sehore, India Communication dans un congrès hal-02957070v1
Towards a formal verification approach for cloud software architecture Ayach Amal,Layth Sliman,Mourad Kmimech,Mohamed Tahar Bhiri,Badran Raddaoui SOMET 2017: 16th International Conference New Trends in Intelligent Software Methodologies, Tools and Techniques, Sep 2017, Kitakyushu, Japan. pp.490 - 502, ⟨10.3233/978-1-61499-800-6-490⟩ Communication dans un congrès hal-01816411v1
Towards a formal verification approach for service component architecture Wael Chargui,Taoufik Sakka Rouis,Mourad Kmimech,Mohamed Tahar Bhiri,Layth Slimanet al. SOMET 2017: 16th International Conference on Intelligent Software Methodologies, Tools, and Techniques, Sep 2017, Kitakyushu, Japan. pp.466 - 479, ⟨10.3233/978-1-61499-800-6-466⟩ Communication dans un congrès hal-01702712v1
Behavioral verification of Service Component Architecture Wael Chargui,Taoufik Sakka Rouis,Mourad Kmimech,Mohamed Tahar Bhiri,Layth Slimanet al. WETICE 2017: 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2017, Poznan, Poland. pp.239 - 241, ⟨10.1109/WETICE.2017.65⟩ Communication dans un congrès hal-01702725v1
A formal approach for verifying QoS variability in web services composition using Event-B Imed Abbassi,Mohamed Graiet,Souha Boubaker,Mourad Kmimech,Nejib Ben Hadj Alouane ICWS 2015 : 22nd IEEE International Conference on Web Services, Jun 2015, New York, United States. pp.519 - 526 ⟨10.1109/ICWS.2015.75⟩ Communication dans un congrès hal-01263175v1
Formal behavioral modeling for verifying SCA composition with Event-B Mohamed Graiet,Aida Lahouij,Imed Abbassi,Lazhar Hamel,Mourad Kmimech ICWS 2015 : 22nd IEEE International Conference on Web Services, Jun 2015, New York, United States. pp.17 - 24, ⟨10.1109/ICWS.2015.13⟩ Communication dans un congrès hal-01263176v1
Formal modeling for verifying SCA composition Lazhar Hamel,Mohamed Graiet,Mourad Kmimech RCIS 2015 : IEEE 9th International Conference on Research Challenges in Information Science, May 2015, Athènes, Greece. pp.193 - 204 ⟨10.1109/RCIS.2015.7128880⟩ Communication dans un congrès hal-01263174v1
Modeling and verifying the transactional and QoS-aware services composition using Event-B Imed Abassi,Mourad Kmimech,Nejib Ben Hadj Alouane,Walid Gaaloul WETICE 2014 : IEEE 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2014, Parme, Italy. pp.313 - 318, ⟨10.1109/WETICE.2014.85⟩ Communication dans un congrès hal-01263084v1
Event-B based approach for verifying dynamic composite service transactional behavior Mohamed Graiet,Imed Abassi,Lazhar Hamel,Mohamed Tahar Bhiri,Mourad Kmimechet al. ICWS 2013 : 20th International Conference on Web Services, Jun 2013, Santa Clara, United States. pp.251 - 259, ⟨10.1109/ICWS.2013.42⟩ Communication dans un congrès hal-00967037v1
Towards a transformation of composite web service with QoS extension into ACME\Armani Raoudha Maraoui,Amel Mhamdi,Mohamed Graiet,Mourad Kmimech,Mohamed Tahar Bhiriet al. iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.349-352, ⟨10.1145/2095536.2095601⟩ Communication dans un congrès hal-00751243v1
Profile UML2.0 for specification of the SCA architectures Wided Ben Abid,Mohamed Graiet,Mourad Kmimech,Mohamed Tahar Bhiri,Walid Gaaloulet al. SKG 2011 : 7th International Conference on Semantics, Knowledge and Grids, Oct 2011, Beijing, China. pp.191 - 194, ⟨10.1109/SKG.2011.36⟩ Communication dans un congrès hal-01354605v1
MDE approach for the generation and verification of SCA model Soumaya Louhichi,Mohamed Graiet,Mourad Kmimech,Mohamed Tahar Bhiri,Walid Gaaloulet al. iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.317-320, ⟨10.1145/2095536.2095592⟩ Communication dans un congrès hal-00751241v1
ATL Transformation of UML 2.0 for the Generation of SCA Model Soumaya Louhichi,Mohamed Graiet,Mourad Kmimech,Mohamed Tahar Bhiri,Eric Cariou The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain Communication dans un congrès hal-00648916v1
ATL transformation for the generation of SCA model Soumaya Louhichi,Mohamed Graiet,Mourad Kmimech,Mohamed Tahar Bhiri,Walid Gaaloulet al. SKG '11 : The 7th International Conference on Semantics Knowledge & Grids, Oct 2011, Beijing, China. pp.164-167, ⟨10.1109/SKG.2011.37⟩ Communication dans un congrès hal-00751248v1
Verifying composite service transactional behavior with EVENT-B Lazhar Hamel,Mohamed Graiet,Mourad Kmimech,Mohamed Tahar Bhiri,Walid Gaaloul ECSA 2011 : 5th European Conference on Software Architecture, Sep 2011, Essen, Germany. pp.67 - 74, ⟨10.1007/978-3-642-23798-0_7⟩ Communication dans un congrès istex hal-01354674v1
Formalisation of Mediation Protocol for Web Services Composition with ACME/ARMANI ADL Raoudha Maraoui,Mohamed Graiet,Mourad Kmimech,Mohamed Tahar Bhiri,Béchir El SERVICE COMPUTATION 2010 : The Second International Conferences on Advanced Service Computing, Aug 2010, PARIS, France Communication dans un congrès hal-04547218v1
Towards an approach of formal verification of mediation protocol based on Web services Mohamed Graiet,Raoudha Maraoui,Mourad Kmimech,Mohamed Tahar Bhiri,Walid Gaaloul iiWAS 2010 : 12th International Conference on Information Integration and Web-based Applications & Services, Oct 2010, Paris, France. pp.75 - 82, ⟨10.1145/1967486.1967502⟩ Communication dans un congrès hal-01308596v1

Chapitre d'ouvrage (2)

A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures Taoufik Sakka Rouis,Mohamed Tahar Bhiri,Mourad Kmimech,Layth Sliman Parallel and Distributed Computing, Applications and Technologies, 931, Springer Singapore, pp.381-389, 2019, Communications in Computer and Information Science, ⟨10.1007/978-981-13-5907-1_41⟩ Chapitre d'ouvrage hal-03781541v1
UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components Taoufik Sakka Rouis,Mohamed Tahar Bhiri,Mourad Kmimech,Layth Sliman Intelligent Systems Design and Applications, 736, Springer International Publishing, pp.10-20, 2018, Advances in Intelligent Systems and Computing, ⟨10.1007/978-3-319-76348-4_2⟩ Chapitre d'ouvrage hal-03781565v1