Author of the publication

Verification of the Correctness in Composed UML Behavioural Diagrams.

, , , and . SERA (selected papers), volume 296 of Studies in Computational Intelligence, page 163-177. Springer, (2010)

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.

 

Other publications of authors with the same name

A Taxonomy Model for Cloud Computing Services., , , , , , and . CLOSER, page 56-65. SciTePress, (2011)Fingerprinting Crowd Events in Content Delivery Networks: A Semi-supervised Methodology., , , and . DBSec, volume 10980 of Lecture Notes in Computer Science, page 312-329. Springer, (2018)Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack., , , , , and . CODASPY, page 195-206. ACM, (2016)ProSAS: Proactive Security Auditing System for Clouds., , , , , , , and . IEEE Trans. Dependable Secur. Comput., 19 (4): 2517-2534 (2022)Privacy-Preserving Querying on Privately Encrypted Data in the Cloud., , and . Trans. Large Scale Data Knowl. Centered Syst., (2017)Artificial Packet-Pair Dispersion (APPD): A Blackbox Approach to Verifying the Integrity of NFV Service Chains., , , , , , and . CNS, page 245-253. IEEE, (2021)Catching Falling Dominoes: Cloud Management-Level Provenance Analysis with Application to OpenStack., , , , , and . CNS, page 1-9. IEEE, (2020)Communication security for smart grid distribution networks., , , , and . IEEE Commun. Mag., 51 (1): 42-49 (2013)A Multi-view Approach to Preserve Privacy and Utility in Network Trace Anonymization., , , , , , and . ACM Trans. Priv. Secur., 24 (3): 14:1-14:36 (2021)Evaluating the Security Posture of 5G Networks by Combining State Auditing and Event Monitoring., , , , , , , and . ESORICS (2), volume 14345 of Lecture Notes in Computer Science, page 123-144. Springer, (2023)