( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sound Transpilation from Binary to Machine-Independent Code.

, , и . SBMF, том 10623 из Lecture Notes in Computer Science, стр. 197-214. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Andreas Lindner

Andreas Lindner

Andreas Lindner

Andreas Lindner

Andreas Lindner

 

Другие публикации лиц с тем же именем

Sound Transpilation from Binary to Machine-Independent Code., , и . CoRR, (2018)A real-time semantics for the IEC 61499 standard., , , , , и . ETFA, стр. 1-6. IEEE, (2015)Well-formed control flow for critical sections in RTFM-core., , , , и . INDIN, стр. 1438-1445. IEEE, (2015)Experimental Verification of a Passively Cooled Large Air-Gap 6/8-Flux-Switching Permanent Magnet Machine Including Manufacturing., и . IECON, стр. 508-513. IEEE, (2018)Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization., , , , и . CoRR, (2023)Proof-Producing Symbolic Execution for Binary Code Verification., , и . CoRR, (2023)Speculative Leakage in ARM Cortex-A53., , , и . CoRR, (2020)FLINO: a new method for immunofluorescence bioimage normalization., , , , , , , , , и 4 other автор(ы). 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., , и . Softw. Impacts, (марта 2023)