( en | de | ru )

 

Disambiguation of "Sliman, Layth"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Yhia Sliman

Eveline Ben Sliman

Sliman Shtewe Khawalde

Sliman Shaik-el-Eid

 

Other publications of authors with the same name

ABISchain: Towards a Secure and Scalable Blockchain Using Swarm-based Pruning., , , and . ACSW, page 28-35. ACM, (2023)Behavioral Verification of Service Component Architecture., , , , , and . WETICE, page 239-241. IEEE Computer Society, (2017)Multibiometrics Enhancement Using Quality Measurement in Score Level Fusion., , , , and . ISDA, volume 557 of Advances in Intelligent Systems and Computing, page 260-267. Springer, (2016)Trustless Blockchain-based Access Control in Dynamic Collaboration., , , and . BDCSIntell, volume 2343 of CEUR Workshop Proceedings, page 27-33. CEUR-WS.org, (2018)Toward a Mixed Tangle-Blockchain Architecture., , , and . SoMeT, volume 327 of Frontiers in Artificial Intelligence and Applications, page 221-233. IOS Press, (2020)A Rank Based ACO Approach for Optimal Resource Allocation and Scheduling in FMS Modeled with Labelled Petri Net., , , and . SoMeT, volume 337 of Frontiers in Artificial Intelligence and Applications, page 688-699. IOS Press, (2021)Chaff-Points Generation Using Knapsack Problem Resolution in Fingerprint Fuzzy Vault., , , , and . HIS, volume 552 of Advances in Intelligent Systems and Computing, page 507-516. Springer, (2016)Ontology Matching Techniques: A Gold Standard Model., , and . CoRR, (2018)Study of Score Fusion and Quality Weighting in the Bio-Secure DS2 Database., and . SCDS, volume 1100 of Communications in Computer and Information Science, page 252-261. Springer, (2019)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)