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.

 

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

Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene.. Ausgezeichnete Informatikdissertationen, том D-16 из LNI, GI, (2015)Improving Color Space Conversion for Camera-Captured Images via Wide-Gamut Metadata., , и . CIC, стр. 193-198. Society for Imaging Science and Technology, (2020)Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study., , , и . DAC, стр. 188. ACM, (2019)Temporal Tracing of On-Chip Signals using Timeprints., , , , , и . DAC, стр. 186. ACM, (2019)LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution).. FASE, том 12076 из Lecture Notes in Computer Science, стр. 535-539. Springer, (2020)Maximizing power state cross coverage in firmware-based power management., , , и . ASP-DAC, стр. 335-340. ACM, (2019)Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (7): 1359-1372 (2019)Verifying Instruction Set Simulators using Coverage-guided Fuzzing*., , , и . DATE, стр. 360-365. IEEE, (2019)Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing., , , и . DATE, стр. 602-605. IEEE, (2019)OPSurv: Orthogonal Polynomials Quadrature Algorithm for Survival Analysis., , , , , и . CoRR, (2024)