From post

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.

 

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

Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking., , , , и . SERE (Companion), стр. 204-210. IEEE, (2013)An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals., , , , и . SETTA, том 14464 из Lecture Notes in Computer Science, стр. 314-330. Springer, (2023)NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs., , , , и . APSEC, стр. 338-347. IEEE, (2022)Leveraging specifications of subcomponents to mine precise specifications of composite components., , , и . WCRE, стр. 162-171. IEEE Computer Society, (2013)Analyzing Interrupt Handlers via Interprocedural Summaries., , и . Symposium on Real-Time and Hybrid Systems, том 11180 из Lecture Notes in Computer Science, Springer, (2018)T-RAP: A Template-guided Retrieval-Augmented Vulnerability Patch Generation Approach., , , , и . Internetware, ACM, (2024)Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification., , , , , и . SAS, том 11822 из Lecture Notes in Computer Science, стр. 296-319. Springer, (2019)Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs., , и . QSIC, стр. 197-200. IEEE, (2012)Understanding Merge Conflicts and Resolutions in Git Rebases., , , и . ISSRE, стр. 70-80. IEEE, (2020)An Abstract Domain to Infer Linear Absolute Value Equalities., , , и . TASE, стр. 47-54. IEEE, (2021)