Mourad Kmimech

Orcid: 0000-0002-3120-3287

According to our database¹, Mourad Kmimech authored at least 40 papers between 2009 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

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

[BibT_eX]

[DOI]

Proceedings of the Big Data Analytics and Knowledge Discovery, 2023

2022

ITS Traffic Violation Regulation Based on Blockchain Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Collective Intelligence, 2022

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Syst. J., 2020

Toward a Mixed Tangle-Blockchain Architecture.

[BibT_eX]

[DOI]

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

Cohesive Subgraph Models for Overlapping Community Search over Networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Intelligent Systems, 2019

2018

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

[BibT_eX]

[DOI]

IEEE Syst. J., 2018

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Computing, 2018

2017

Behavioral Verification of Service Component Architecture.

[BibT_eX]

[DOI]

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

Wr2Fdr Tool Maintenance for Models Checking.

[BibT_eX]

[DOI]

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

Towards a Formal Verification Approach for Service Component Architecture.

[BibT_eX]

[DOI]

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

Towards a Formal Verification Approach for Cloud Software Architecture.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems Design and Applications, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Information, 2017

2016

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

[BibT_eX]

[DOI]

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

Behavioral Verification of UML2.0/PoSM Components.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Formal modeling for verifying SCA composition.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2012

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

[BibT_eX]

[DOI]

Int. J. Web Inf. Syst., 2012

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

[BibT_eX]

[DOI]

Mourad Kmimech

CoRR, 2012

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

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2012

2011

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

[BibT_eX]

[DOI]

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

ATL Transformation for the Generation of SCA Model.

[BibT_eX]

[DOI]

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

Verifying Composite Service Transactional Behavior with EVENT-B.

[BibT_eX]

[DOI]

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

Profile UML2.0 for Specification of the SCA Architectures.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2011, 2011

MDE approach for the generation and verification of SCA model.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2011, 2011

UML/OCL and Refinement.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2010, 2010

2009

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

[BibT_eX]

[DOI]

Mourad Kmimech

Mohamed Tahar Bhiri

Philippe Aniorté

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

Mourad Kmimech

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...