Autor der Publikation

Sound Transpilation from Binary to Machine-Independent Code.

, , und . SBMF, Volume 10623 von Lecture Notes in Computer Science, Seite 197-214. Springer, (2017)

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

Sound Transpilation from Binary to Machine-Independent Code., , und . CoRR, (2018)A real-time semantics for the IEC 61499 standard., , , , , und . ETFA, Seite 1-6. IEEE, (2015)Well-formed control flow for critical sections in RTFM-core., , , , und . INDIN, Seite 1438-1445. IEEE, (2015)Experimental Verification of a Passively Cooled Large Air-Gap 6/8-Flux-Switching Permanent Magnet Machine Including Manufacturing., und . IECON, Seite 508-513. IEEE, (2018)Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization., , , , und . CoRR, (2023)Proof-Producing Symbolic Execution for Binary Code Verification., , und . CoRR, (2023)Speculative Leakage in ARM Cortex-A53., , , und . CoRR, (2020)FLINO: a new method for immunofluorescence bioimage normalization., , , , , , , , , und 4 andere Autor(en). Bioinform., 38 (2): 520-526 (2022)Proving Safety and Security of Binary Programs.. Royal Institute of Technology, Stockholm, Sweden, (2023)base-search.net (ftkthstockholm:oai:DiVA.org:kth-326719).HEWES: Heisenberg-Euler weak-field expansion simulator., , und . Softw. Impacts, (März 2023)