( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Formal CHERI-C Semantics for Verification.

, , и . TACAS (1), том 13993 из Lecture Notes in Computer Science, стр. 549-568. Springer, (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.

Marieta Ioana Toma

Zentrosomenmorphologie in Prostatakarzinomen: eine immunhistologische Studie mit Korrelation zu DNA-Ploidie und kliniko-pathologischen Parametern. TU Dresden, (2008)

Tom Walde

Tom Ritter

Tom Smolinka

Tom Grigull

 

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

Equivalence Checking Using Trace Partitioning., , , и . ISVLSI, стр. 13-18. IEEE Computer Society, (2015)DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning., , , , и . AAAI, стр. 7647-7656. AAAI Press, (2021)Assume-guarantee validation for STE properties within an SVA environment., , и . FMCAD, стр. 108-115. IEEE, (2009)Epilogue: Some conceptual foundations of systems biology., , и . Progress in biophysics and molecular biology, (27.12.2012)Modelling, abstraction, and computation in Systems Biology: A view from Computer Science. Progress in Biophysics and Molecular Biology, (сентября 2012)Equivalence Checking of a Floating-Point Unit Against a High-Level C Model., , , , и . FM, том 9995 из Lecture Notes in Computer Science, стр. 551-558. (2016)Hardware Verification Using Software Analyzers., , и . ISVLSI, стр. 7-12. IEEE Computer Society, (2015)Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters., , и . ACM Conference on Computer and Communications Security, стр. 1689-1706. ACM, (2019)Exposing previously undetectable faults in deep neural networks., , , и . ISSTA, стр. 56-66. ACM, (2021)Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities., , , , , , , , , и . SecDev, стр. 52-58. IEEE, (2022)