( en | de | ru )

 

Disambiguierung von "Lindner, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Sound Transpilation from Binary to Machine-Independent Code.

, , und . CoRR, (2018)

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.

Andreas Lindner

Andreas Lindner

Andreas Lindner

Andreas Lindner

Andreas Lindner

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)Sound Transpilation from Binary to Machine-Independent Code., , und . CoRR, (2018)Proof-Producing Symbolic Execution for Binary Code Verification., , und . CoRR, (2023)Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization., , , , und . CoRR, (2023)Speculative Leakage in ARM Cortex-A53., , , und . CoRR, (2020)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)Validation of Abstract Side-Channel Models for Computer Architectures., , , , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 225-248. Springer, (2020)