( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Leveraging Static Analysis for Bug Repair.

, , , и . CoRR, (2023)

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.

Ellen David

Stephan David

Helga Davidowa

Jobst-Michael David

Anita Maria Dávid

 

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

Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code., , и . ITP, том 8558 из Lecture Notes in Computer Science, стр. 128-143. Springer, (2014)Preface., и . ECEASST, (2018)Formally Verified Native Code Generation in an Effectful JIT - or: Turning the CompCert Backend into a Formally Verified JIT Compiler., , и . CoRR, (2022)Soundly Handling Static Fields: Issues, Semantics and Analysis, и . CoRR, (2010)A Java Card CAP converter in PVS., , , и . COCV@ETAPS, том 82 из Electronic Notes in Theoretical Computer Science, стр. 426-442. Elsevier, (2003)Leveraging Static Analysis for Bug Repair., , , и . CoRR, (2023)Formal Verification of Loop Bound Estimation for WCET Analysis., , и . VSTTE, том 8164 из Lecture Notes in Computer Science, стр. 281-303. Springer, (2013)The MOBIUS Proof Carrying Code Infrastructure., , , , и . FMCO, том 5382 из Lecture Notes in Computer Science, стр. 1-24. Springer, (2007)A certified lightweight non-interference Java bytecode verifier., , и . Math. Struct. Comput. Sci., 23 (5): 1032-1081 (2013)Verifying Constant-Time Implementations by Abstract Interpretation., , и . ESORICS (1), том 10492 из Lecture Notes in Computer Science, стр. 260-277. Springer, (2017)