( en | de | ru )

 

Disambiguierung von "Tkachuk, Oksana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning.

, , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 767-780. Springer, (2021)

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.

Sergey Tkachuk

Oksana Balajan

Oksana Lisec

Oksana Möller

Oksana Schaeffer

 

Weitere Publikationen von Autoren mit dem selben Namen

Generation of Library Models for Verification of Android Applications., , , und . ACM SIGSOFT Softw. Eng. Notes, 40 (1): 1-5 (2015)Combining environment generation and slicing for modular software model checking., und . ASE, Seite 401-404. ACM, (2007)OCSEGen: open components and systems environment generator.. SOAP@PLDI, Seite 9-12. ACM, (2013)Analyzing Interaction Orderings with Model Checking., , , und . ASE, Seite 154-163. IEEE Computer Society, (2004)Automated Environment Generation for Software Model Checking., , und . ASE, Seite 116-129. IEEE Computer Society, (2003)Helping system engineers bridge the peaks., , , , , , und . TwinPeaks, Seite 9-13. ACM, (2014)Automated Driver Generation for Analysis of Web Applications., und . FASE, Volume 6603 von Lecture Notes in Computer Science, Seite 326-340. Springer, (2011)Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract)., , , und . Description Logics, Volume 2954 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)WEAVE: WEb Applications Validation Environment., , , , , und . ICSE Companion, Seite 101-111. IEEE, (2009)Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning., , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 767-780. Springer, (2021)