Mourad Kmimech

45 papers A 4B 5C 17Journal 6Unranked 13
YearRankTypeTitle / Venue / Authors
2026 — conf
A Rank Aggregation-Based Framework for Finding Optimal k-Plexes in Large Graphs.
ICAART (4)
Hajer Raddaoui, Haythem Mahfoudh, Mourad Kmimech, Mohamed Othmani
2025 — conf
Une approche de clustering conceptuel via des k-motifs relaxés fréquents.
EGC
Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
2024 A conf
On the Discovery of Conceptual Clustering Models Through Pattern Mining.
ECAI
Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
2024 B conf
On the Effects of Similarity in Community Detection.
KES
Motaz Ben Hassine, Mourad Kmimech, Mohamed Graiet
2023 B conf
A Non-overlapping Community Detection Approach Based on α-Structural Similarity.
DaWaK
Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
2022 B conf
Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data.
DaWaK
Saïd Jabbour, Mourad Kmimech, Badran Raddaoui
2022 — conf
ITS Traffic Violation Regulation Based on Blockchain Smart Contracts.
ICCCI (CCIS Volume)
Nihed Yousfi, Mourad Kmimech, Imed Abbassi, Hédi Hamdi, Mohamed Graiet
2020 J jnl
An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components.
IEEE Syst. J.
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech
2020 C conf
Cohesive Subgraph Models for Overlapping Community Search over Networks.
SoMeT
Khaled Adeyl, Mourad Kmimech, Nizar Mhadhbi, Badran Raddaoui
2020 C conf
Toward a Mixed Tangle-Blockchain Architecture.
SoMeT
Motaz Ben Hassine, Mourad Kmimech, Hussein Hellani, Layth Sliman
2019 C conf
Tangle the Blockchain: Toward IOTA and Blockchain Integration for IoT Environment.
HIS
Hussein Hellani, Layth Sliman, Motaz Ben Hassine, Abed Ellatif Samhat, Ernesto Exposito, Mourad Kmimech
2018 C conf
A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures.
PDCAT
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman
2018 J jnl
A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition.
IEEE Syst. J.
Mohamed Graiet, Imed Abbassi, Mourad Kmimech, Walid Gaaloul
2018 J jnl
A contractual approach for the verification of UML2.0 software architectures.
Int. J. Comput. Appl. Technol.
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa
2017 C conf
Behavioral Verification of Service Component Architecture.
WETICE
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
2017 C conf
Towards a Formal Verification Approach for Cloud Software Architecture.
SoMeT
Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui
2017 C conf
Towards a Formal Verification Approach for Service Component Architecture.
SoMeT
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
2017 — conf
Towards a formal approach for the verification of SCA/BPEL software architectures.
IISA
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech
2017 C conf
UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components.
ISDA
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman
2017 C conf
Wr2Fdr Tool Maintenance for Models Checking.
SoMeT
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa
2016 — conf
Behavioral Verification of UML2.0 Software Architecture.
SKG
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech
2016 C conf
Behavioral Verification of UML2.0/PoSM Components.
SoMeT
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech
2016 C conf
UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures.
WETICE
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa
2015 A conf
A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B.
ICWS
Imed Abbassi, Mohamed Graiet, Souha Boubaker, Mourad Kmimech, Nejib Ben Hadj-Alouane
2015 A conf
Formal Behavioral Modeling for Verifying SCA Composition with Event-B.
ICWS
Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech
2015 B conf
Formal modeling for verifying SCA composition.
RCIS
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech
2015 — conf
Towards a Practical Approach to Check Service Component Architecture.
SKG
Imen Haddad, Mourad Kmimech, Taoufik Sakka Rouis, Mohamed Tahar Bhiri
2014 C conf
Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B.
WETICE
Imed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul
2013 C conf
Checking Non-functional Properties of UML2.0 Components Assembly.
WETICE
Mohamed Tahar Bhiri, Taoufik Sakka Rouis, Mourad Kmimech
2013 A conf
Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior.
ICWS
Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul
2012 — conf
Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case.
Business Process Management Workshops
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri
2012 J jnl
Towards an approach of formal verification of mediation protocol based on web services of MDE type.
Int. J. Web Inf. Syst.
Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
2012 J jnl
Transformation exogène de Wright vers Ada.
Tech. Sci. Informatiques
Mohamed Tahar Bhiri, Farah Fourati, Mourad Kmimech, Mohamed Graiet
2012 J jnl
Vérification d'assemblages de composants logiciels : Application aux modèles de composants UML2.0 et Ugatze
CoRR
Mourad Kmimech
2011 — conf
ATL Transformation for the Generation of SCA Model.
SKG
Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
2011 C conf
MDE approach for the generation and verification of SCA model.
iiWAS
Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
2011 — conf
Profile UML2.0 for Specification of the SCA Architectures.
SKG
Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
2011 C conf
Towards a transformation of composite web service with QoS extension into ACME\Armani.
iiWAS
Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
2011 — conf
Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service.
SKG
Amel Mhamdi, Raoudha Maraoui, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Eric Cariou
2011 — conf
UML/OCL and Refinement.
ECBS
Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté
2011 B conf
Verifying Composite Service Transactional Behavior with EVENT-B.
ECSA
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
2011 — conf
Verifying Composite Service Transactional Behavior with EVENT-B.
SKG
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
2011 — conf
Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0.
CAL
Mourad Kmimech, Mohamed Tahar Bhiri, Mohamed Graiet, Philippe Aniorté
2010 C conf
Towards an approach of formal verification of mediation protocol based on web services.
iiWAS
Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
2009 C conf
Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model.
ICSEA
Mourad Kmimech, Mohamed Tahar Bhiri, Philippe Aniorté