( en | de | ru )

 

Disambiguierung von "Tarrach, Thorsten"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment.

, , und . SEFM, Volume 11724 von Lecture Notes in Computer Science, Seite 491-509. Springer, (2019)

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.

Regine Tarrach

Beate Tarrach

Anne Tarrach

Antonie Tarrach

Gerrit Tarrach

 

Weitere Publikationen von Autoren mit dem selben Namen

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3., , , , , , , , , und . ICECCS, Seite 97-106. IEEE, (2019)Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment., , und . SEFM, Volume 11724 von Lecture Notes in Computer Science, Seite 491-509. Springer, (2019)Efficient Synthesis for Concurrency by Semantics-Preserving Transformations., , , , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 951-967. Springer, (2013)Succinct Representation of Concurrent Trace Sets., , , , und . POPL, Seite 433-444. ACM, (2015)Language Inclusion for Finite Prime Event Structures., , und . VMCAI, Volume 11990 von Lecture Notes in Computer Science, Seite 314-336. Springer, (2020)From non-preemptive to preemptive scheduling using synchronization synthesis., , , , , , und . Formal Methods Syst. Des., 50 (2-3): 97-139 (2017)Regression-Free Synthesis for Concurrency., , , , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 568-584. Springer, (2014)Attribute Repair for Threat Prevention., , , , , und . SAFECOMP, Volume 14181 von Lecture Notes in Computer Science, Seite 135-148. Springer, (2023)From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis., , , , , , und . CAV (2), Volume 9207 von Lecture Notes in Computer Science, Seite 180-197. Springer, (2015)A Vision for Enhancing Security of Cryptography in Executables., , und . ESSoS, Volume 10953 von Lecture Notes in Computer Science, Seite 1-8. Springer, (2018)