Autor der Publikation

Stack-Aware Hyperproperties.

, , , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 308-325. Springer, (2023)

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

Stack-Aware Hyperproperties., , , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 308-325. Springer, (2023)File Fragment Analysis Using Normalized Compression Distance., , und . IFIP Int. Conf. Digital Forensics, Volume 410 von IFIP Advances in Information and Communication Technology, Seite 171-182. Springer, (2013)Evaluation of embodied conversational agents designed with ethical principles and personality for cybersecurity ethics training., , und . IVA, Seite 14:1-14:8. ACM, (2023)Predicting Ethical Orientation Based on Personality for Tailored Cyberethics Training., , und . PERSUASIVE, Volume 14636 von Lecture Notes in Computer Science, Seite 65-74. Springer, (2024)