3D visualization of symbolic execution traces J Zielasko, S Tempel, V Herdt, R Drechsler 2022 Forum on Specification & Design Languages (FDL), 1-8, 2022 | 5 | 2022 |
Virtual prototype driven application specific hardware optimization J Zielasko, R Drechsler 2023 Forum on Specification & Design Languages (FDL), 1-8, 2023 | 2 | 2023 |
Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences J Zielasko, R Krauss, M Merten, R Drechsler 2024 27th International Symposium on Design & Diagnostics of Electronic …, 2024 | 1 | 2024 |
LOS 3: FORMAL VERIFICATION OF HARDWARE-SOFTWARE-INTERFACES C Lüth, D Hutter, M Funck, J Zielasko | | 2023 |
RISC-V Opt-VP: An Application Analysis Platform Using Bounded Execution Trees J Zielasko, R Krauss, M Merten, R Drechsler | | |