Mourad Kmimech

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 19

Top Topics

Service Composition

Overlapping Community Detection

Formal Verification

Structural Similarity

Top Venues

Publications

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