Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide. - Meinhard Kissich; Marcel Baunach (DSD, 2023)

ATTEST: Automated and Thorough Testing of Embedded Software in Teaching. - Meinhard Kissich; Klaus Weinbauer; Marcel Baunach (ECSEE, 2023)

FazyRV: Closing the Gap between 32-Bit and Bit-Serial RISC-V Cores with a Scalable Implementation. - Meinhard Kissich; Marcel Baunach (CF, 2024)

Stitching FPGA Fabrics with FABulous and OpenLane 2. - Leo Moser; Meinhard Kissich; Tobias Scheipel; Marcel Baunach (CF (Companion), 2024)

pnrXplore: A Visual Data Explorer for CAD and EDA Research. - Meinhard Kissich; Marcel Baunach (CF (Companion), 2025)

Improving Embedded Software Development Courses: A Student Attentive Data-Driven Approach. - Meinhard Kissich; Klaus Weinbauer; Marcel Baunach (ECSEE, 2025)