( en | de | ru )

 

Disambiguierung von "Jarraya, Yosr"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
5GFIVer: Functional Integrity Verification for 5G Cloud-Native Network Functions.

, , , , , , und . CloudCom, Seite 162-169. IEEE, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yosr Elkhanialy

 

Weitere Publikationen von Autoren mit dem selben Namen

Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack., , , , , und . CODASPY, Seite 195-206. ACM, (2016)Model-based systems security quantification., , und . PST, Seite 142-149. IEEE, (2011)VinciDecoder: Automatically Interpreting Provenance Graphs into Textual Forensic Reports with Application to OpenStack., , , , und . NordSec, Volume 13700 von Lecture Notes in Computer Science, Seite 346-367. Springer, (2022)Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams., , , und . ECBS, Seite 515-522. IEEE Computer Society, (2007)QuantiC: Distance Metrics for Evaluating Multi-Tenancy Threats in Public Cloud., , , , , , und . CloudCom, Seite 163-170. IEEE Computer Society, (2018)Artificial Packet-Pair Dispersion (APPD): A Blackbox Approach to Verifying the Integrity of NFV Service Chains., , , , , , und . CNS, Seite 245-253. IEEE, (2021)Catching Falling Dominoes: Cloud Management-Level Provenance Analysis with Application to OpenStack., , , , , und . CNS, Seite 1-9. IEEE, (2020)Formal Specification and Probabilistic Verification of SysML Activity Diagrams., und . TASE, Seite 17-24. IEEE Computer Society, (2012)Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models., , , , , und . IASTED Conf. on Software Engineering, Seite 282-287. IASTED/ACTA Press, (2006)Synergistic verification and validation of systems and software engineering models., , , , und . Int. J. Gen. Syst., 38 (7): 719-746 (2009)