( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms.

, , и . ATVA, том 12302 из Lecture Notes in Computer Science, стр. 543-549. Springer, (2020)

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.

Dietmar Herdt

Henning Herdt

Verena Herdt

Andreas Herdt

Katharina Herdt

 

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

RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms., , и . ATVA, том 12302 из Lecture Notes in Computer Science, стр. 543-549. Springer, (2020)Towards Quantification and Visualization of the Effects of Concretization During Concolic Testing., , и . IEEE Embed. Syst. Lett., 14 (4): 195-198 (2022)Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction., , , и . Int. J. Softw. Tools Technol. Transf., 21 (5): 545-565 (2019)Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents., , , , и . DSD, стр. 129-136. IEEE, (2019)Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT., , и . IEEE Internet Things J., 10 (11): 9544-9555 (июня 2023)Task Mapping and Scheduling in FPGA-based Heterogeneous Real-time Systems: A RISC-V Case-Study., , , , и . DSD, стр. 134-141. IEEE, (2022)An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes., , и . DATE, стр. 218-221. IEEE, (2021)Advanced Environment Modeling and Interaction in an Open Source RISC-V Virtual Prototype., , и . ACM Great Lakes Symposium on VLSI, стр. 193-197. ACM, (2022)Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing., , и . DAC, стр. 667-672. IEEE, (2021)Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime., , , и . ICCD, стр. 312-315. IEEE, (2020)