Mourad Kmimech

According to our database, Mourad Kmimech authored at least 41 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the Discovery of Conceptual Clustering Models Through Pattern Mining.

Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

A Non-overlapping Community Detection Approach Based on α-Structural Similarity.

Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet

Proceedings of the Big Data Analytics and Knowledge Discovery, 2023

2022

ITS Traffic Violation Regulation Based on Blockchain Smart Contracts.

Nihed Yousfi, Mourad Kmimech, Imed Abbassi, Hédi Hamdi, Mohamed Graiet

Proceedings of the Advances in Computational Collective Intelligence, 2022

Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data.

Saïd Jabbour, Mourad Kmimech, Badran Raddaoui

Proceedings of the Big Data Analytics and Knowledge Discovery, 2022

2020

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 Syst. J., 2020

Toward a Mixed Tangle-Blockchain Architecture.

Motaz Ben Hassine, Mourad Kmimech, Hussein Hellani, Layth Sliman

Proceedings of the Knowledge Innovation Through Intelligent Software Methodologies, Tools and Techniques, 2020

Cohesive Subgraph Models for Overlapping Community Search over Networks.

Khaled Adeyl, Mourad Kmimech, Nizar Mhadhbi, Badran Raddaoui

Proceedings of the Knowledge Innovation Through Intelligent Software Methodologies, Tools and Techniques, 2020

2019

Tangle the Blockchain: Toward IOTA and Blockchain Integration for IoT Environment.

Hussein Hellani, Layth Sliman, Motaz Ben Hassine, Abed Ellatif Samhat, Ernesto Exposito, Mourad Kmimech

Proceedings of the Hybrid Intelligent Systems, 2019

2018

A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition.

Mohamed Graiet, Imed Abbassi, Mourad Kmimech, Walid Gaaloul

IEEE Syst. J., 2018

A contractual approach for the verification of UML2.0 software architectures.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa

Int. J. Comput. Appl. Technol., 2018

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

Proceedings of the Parallel and Distributed Computing, 2018

2017

Behavioral Verification of Service Component Architecture.

Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Wr2Fdr Tool Maintenance for Models Checking.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

Towards a Formal Verification Approach for Service Component Architecture.

Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

Towards a Formal Verification Approach for Cloud Software Architecture.

Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman

Proceedings of the Intelligent Systems Design and Applications, 2017

Towards a formal approach for the verification of SCA/BPEL software architectures.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech

Proceedings of the 8th International Conference on Information, 2017

2016

UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Behavioral Verification of UML2.0/PoSM Components.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

Behavioral Verification of UML2.0 Software Architecture.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech

Proceedings of the 12th International Conference on Semantics, Knowledge and Grids, 2016

2015

Towards a Practical Approach to Check Service Component Architecture.

Imen Haddad, Mourad Kmimech, Taoufik Sakka Rouis, Mohamed Tahar Bhiri

Proceedings of the 11th International Conference on Semantics, Knowledge and Grids, 2015

Formal modeling for verifying SCA composition.

Lazhar Hamel, Mohamed Graiet, Mourad Kmimech

Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015

Formal Behavioral Modeling for Verifying SCA Composition with Event-B.

Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

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

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

2014

Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B.

Imed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

2013

Checking Non-functional Properties of UML2.0 Components Assembly.

Mohamed Tahar Bhiri, Taoufik Sakka Rouis, Mourad Kmimech

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior.

Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

2012

Transformation exogène de Wright vers Ada.

Mohamed Tahar Bhiri, Farah Fourati, Mourad Kmimech, Mohamed Graiet

Tech. Sci. Informatiques, 2012

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

Int. J. Web Inf. Syst., 2012

Vérification d'assemblages de composants logiciels : Application aux modèles de composants UML2.0 et Ugatze

Mourad Kmimech

CoRR, 2012

Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case.

Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri

Proceedings of the Business Process Management Workshops, 2012

2011

Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service.

Amel Mhamdi, Raoudha Maraoui, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Eric Cariou

Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

ATL Transformation for the Generation of SCA Model.

Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou

Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

Profile UML2.0 for Specification of the SCA Architectures.

Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou

Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

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

Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou

Proceedings of the iiWAS'2011, 2011

MDE approach for the generation and verification of SCA model.

Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou

Proceedings of the iiWAS'2011, 2011

Verifying Composite Service Transactional Behavior with EVENT-B.

Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul

Proceedings of the Software Architecture - 5th European Conference, 2011

UML/OCL and Refinement.

Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0.

Mourad Kmimech, Mohamed Tahar Bhiri, Mohamed Graiet, Philippe Aniorté

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL'2011, 2011

2010

Towards an approach of formal verification of mediation protocol based on web services.

Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul

Proceedings of the iiWAS'2010, 2010

2009

Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model.

Mourad Kmimech, Mohamed Tahar Bhiri, Philippe Aniorté

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009