( en | de | ru )

 

Disambiguation of "Taoufik, Sakka Rouis"

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.

Taoufik Mbarek

Samir Sakka

Konstantin Sakkas

Taoufik Naamoun

Taoufik Hamdoch

 

Other publications of authors with the same name

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)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)A contractual approach for the verification of UML2.0 software architectures., , , and . Int. J. Comput. Appl. Technol., 57 (1): 45-58 (2018)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)Checking Non-functional Properties of UML2.0 Components Assembly., , and . WETICE, page 278-283. IEEE Computer Society, (2013)Behavioral Verification of Service Component Architecture., , , , , and . WETICE, page 239-241. IEEE Computer Society, (2017)Towards a Practical Approach to Check Service Component Architecture., , , and . SKG, page 65-72. IEEE Computer Society, (2015)