Mourad KMIMECH

27
Documents

Publications

Publications

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-03721054 v1

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-03938813 v1

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-04430614 v1

Tangle The Blockchain: Toward IOTA and Blockchain integration for IoT Environment

Houssein Hellani , Layth Sliman , Motaz Ben Hassine , Abed Ellatif Samhat , Ernesto Expósito et 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-03781495 v1
Image document

Tangle The Blockchain: Toward IOTA and Blockchain integration for IoT Environment

Houssein Hellani , Hussein Hellani , Layth Sliman , Motaz Ben Hassine , Abed Ellatif Samhat et al.
International Conference on Hybrid Intelligent Systems, Dec 2019, Sehore, India
Communication dans un congrès hal-02957070 v1

Behavioral verification of Service Component Architecture

Wael Chargui , Taoufik Sakka Rouis , Mourad Kmimech , Mohamed Tahar Bhiri , Layth Sliman et 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-01702725 v1

Towards a formal verification approach for service component architecture

Wael Chargui , Taoufik Sakka Rouis , Mourad Kmimech , Mohamed Tahar Bhiri , Layth Sliman et 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-01702712 v1

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-01816411 v1

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-01263175 v1

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-01263176 v1

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-01263174 v1

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-01263084 v1

Event-B based approach for verifying dynamic composite service transactional behavior

Mohamed Graiet , Imed Abassi , Lazhar Hamel , Mohamed Tahar Bhiri , Mourad Kmimech et 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-00967037 v1

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-01354674 v1

MDE approach for the generation and verification of SCA model

Soumaya Louhichi , Mohamed Graiet , Mourad Kmimech , Mohamed Tahar Bhiri , Walid Gaaloul et 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-00751241 v1

Towards a transformation of composite web service with QoS extension into ACME\Armani

Raoudha Maraoui , Amel Mhamdi , Mohamed Graiet , Mourad Kmimech , Mohamed Tahar Bhiri et 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-00751243 v1

Profile UML2.0 for specification of the SCA architectures

Wided Ben Abid , Mohamed Graiet , Mourad Kmimech , Mohamed Tahar Bhiri , Walid Gaaloul et 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-01354605 v1

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-00648916 v1

ATL transformation for the generation of SCA model

Soumaya Louhichi , Mohamed Graiet , Mourad Kmimech , Mohamed Tahar Bhiri , Walid Gaaloul et 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-00751248 v1
Image document

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-04547218 v1

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-01308596 v1

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-03781541 v1

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-03781565 v1