Mourad KMIMECH
15
Documents
Publications
An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite ComponentsIEEE Systems Journal, 2020, 14 (2), pp.1647-1657. ⟨10.1109/JSYST.2019.2960501⟩
Article dans une revue
hal-03781271v1
|
|
Towards an approach of formal verification of mediation protocol based on web services of MDE typeInternational Journal of Web Information Systems, 2012, 8 (1), pp.32 - 54. ⟨10.1108/17440081211222582⟩
Article dans une revue
hal-00751238v1
|
|
|
Towards an Approach of Formal Verification of Web Service CompositionInternational Journal On Advances in Intelligent Systems, 2011
Article dans une revue
hal-04547233v1
|
A Non-overlapping Community Detection Approach Based on α-Structural SimilarityInternational Conference on Big Data Analytics and Knowledge Discovery, Aug 2023, Penang, Malaysia
Communication dans un congrès
hal-04207119v1
|
|
ITS Traffic Violation Regulation Based on Blockchain Smart ContractsICCCI 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-03938813v1
|
|
|
Tangle The Blockchain: Toward IOTA and Blockchain integration for IoT EnvironmentInternational Conference on Hybrid Intelligent Systems, Dec 2019, Sehore, India
Communication dans un congrès
hal-02957070v1
|
Tangle The Blockchain: Toward IOTA and Blockchain integration for IoT EnvironmentInternational 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-03781495v1
|
|
A formal approach for verifying QoS variability in web services composition using Event-BICWS 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-01263175v1
|
|
Formal behavioral modeling for verifying SCA composition with Event-BICWS 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-01263176v1
|
|
Towards a transformation of composite web service with QoS extension into ACME\ArmaniiiWAS '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-00751243v1
|
|
Profile UML2.0 for specification of the SCA architecturesSKG 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-01354605v1
|
|
Verifying composite service transactional behavior with EVENT-BECSA 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
hal-01354674v1
|
|
MDE approach for the generation and verification of SCA modeliiWAS '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-00751241v1
|
|
ATL Transformation of UML 2.0 for the Generation of SCA ModelThe Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain
Communication dans un congrès
hal-00648916v1
|
|
Towards an approach of formal verification of mediation protocol based on Web servicesiiWAS 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-01308596v1
|