( en | de | ru )

 

Disambiguation of "Mourad, Kmimech"

Author of the publication

copydeleteadd this publication to your clipboard
MAPPING SCDL/BPEL TO ADA FOR FORMAL VERIFICATION OF THE BEHAVIORAL PROPERTIES OF SERVICE-COMPONENT ARCHITECTURE

, , and . International Journal on Web Service Computing (IJWSC), 9 (1): 01-14 (March 2018)
DOI: 10.5121/ijwsc.2018.9101

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mourad Alaya

Mourad Chouikha

Mourad Moalla

Mourad Nachaoui

Mourad Kadi

 

Other publications of authors with the same name

Tangle the Blockchain: Toward IOTA and Blockchain Integration for IoT Environment., , , , , and . HIS, volume 1179 of Advances in Intelligent Systems and Computing, page 429-440. Springer, (2019)Towards a Formal Verification Approach for Cloud Software Architecture., , , , and . SoMeT, volume 297 of Frontiers in Artificial Intelligence and Applications, page 490-502. IOS Press, (2017)UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components., , , and . ISDA, volume 736 of Advances in Intelligent Systems and Computing, page 10-20. Springer, (2017)Behavioral Verification of UML2.0 Software Architecture., , and . SKG, page 115-120. IEEE Computer Society, (2016)Behavioral Verification of UML2.0/PoSM Components., , and . SoMeT, volume 286 of Frontiers in Artificial Intelligence and Applications, page 246-257. IOS Press, (2016)Wr2Fdr Tool Maintenance for Models Checking., , , and . SoMeT, volume 297 of Frontiers in Artificial Intelligence and Applications, page 425-440. IOS Press, (2017)Cohesive Subgraph Models for Overlapping Community Search over Networks., , , and . SoMeT, volume 327 of Frontiers in Artificial Intelligence and Applications, page 282-293. IOS Press, (2020)Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data., , and . DaWaK, volume 13428 of Lecture Notes in Computer Science, page 189-201. Springer, (2022)A contractual approach for the verification of UML2.0 software architectures., , , and . Int. J. Comput. Appl. Technol., 57 (1): 45-58 (2018)A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures., , , and . PDCAT, volume 931 of Communications in Computer and Information Science, page 381-389. Springer, (2018)