Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient CTL model-checking for pushdown systems., und . Theor. Comput. Sci., (2014)Pushdown model checking for malware detection., und . STTT, 16 (2): 147-173 (2014)Proactive Failure Management by Integrated Unsupervised and Semi-Supervised Learning for Dependable Cloud Systems., , und . ARES, Seite 83-90. IEEE Computer Society, (2011)An Anomaly Detection Framework for Autonomic Management of Compute Cloud Systems., , und . COMPSAC Workshops, Seite 376-381. IEEE Computer Society, (2010)On temporal logics with data variable quantifications: Decidability and complexity., und . Inf. Comput., (2016)Model Checking Pushdown Epistemic Game Structures., , und . ICFEM, Volume 10610 von Lecture Notes in Computer Science, Seite 36-53. Springer, (2017)auto-AID: A data mining framework for autonomic anomaly identification in networked computer systems., und . IPCCC, Seite 73-80. IEEE Computer Society, (2010)Randomized load balancing strategies with churn resilience in peer-to-peer networks., , und . J. Network and Computer Applications, 34 (1): 252-261 (2011)Verifying and Quantifying Side-channel Resistance of Masked Software Implementations., , , und . ACM Trans. Softw. Eng. Methodol., 28 (3): 16:1-16:32 (2019)Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks., , , , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 155-173. Springer, (2019)