2020 // Journal article
ReCoFused Partial Reconfiguration for Secure Moving-Target Countermeasures on FPGAs
SN Applied Sciences
Ustaoğlu, B.; Schmitz, K.; Große, D.; Drechsler, R.
2020 // Journal article
RISC-V-based virtual prototype: An extensible and configurable platform for system-level design
Journal of Systems Architecture
Herdt, V.; Große, D.; Pieper, P.; Drechsler, R.
2020 // Book chapter
RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms
Vladimir Herdt; Daniel Große; Rolf Drechsler
2020 // Conference paper
ToPoliNano and Fiction: Design Tools for Field-Coupled Nanocomputing
Proceedings - Euromicro Conference on Digital System Design, DSD 2020
Garlando, U.; Walter, M.; Wille, R.; Riente, F.; Torres, F.S.; Drechsler, R.
2020 // Conference paper
Toward Automatic Hardware Synthesis: From Formal Specification to Implementation
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Bornebusch, F.; Luth, C.; Wille, R.; Drechsler, R.
2020 // Conference paper
Toward the Formal Verification of Optimized and Industrial Multipliers
Proceedings of the 2020 Design, Automation, and Test in Europe Conference and Exhibition, DATE 2020
Mahzoon, A.; Grose, D.; Scholl, C.; Drechsler, R.
2020 // Conference paper
Toward the Development of a Programmable Power Management Unit at the Electronic System Level
Proceedings - 2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2020
Lemma, D.; Goli, M.; Grose, D.; Drechsler, R.
2020 // Conference paper
Towards Specification and Testing of RISC-V ISA Compliance<sup>∗</sup>
Proceedings of the 2020 Design, Automation, and Test in Europe Conference and Exhibition, DATE 2020
Herdt, V.; Grose, D.; Drechsler, R.
2020 // Book
Verification for Autonomous Underwater Systems
Intelligent Systems, Control and Automation: Science and Engineering
Lüth, C.; Megow, N.; Drechsler, R.; Frese, U.
2020 // Conference paper
Verification of Field-Coupled Nanocomputing Circuits
Proceedings - Design Automation Conference
Walter, M.; Wille, R.; Torres, F.S.; Grose, D.; Drechsler, R.
2020 // Conference paper
Verification of Embedded Binaries Using Coverage-Guided Fuzzing with System C-Based Virtual Prototypes
Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
Herdt, V.; Große, D.; Wloka, J.; Güneysu, T.; Drechsler, R.
2020 // Conference paper
Verification Runtime Analysis: Get the Most Out of Partial Verification
Proceedings of the 2020 Design, Automation, and Test in Europe Conference and Exhibition, DATE 2020
Ring, M.; Bornebusch, F.; Luth, C.; Wille, R.; Drechsler, R.
2020 // Book chapter
Verifying the Safety Properties of Robotic Plans Operating in Real-World Environments Using Logic-Based Environment Modeling
Tim Meywerk; Marcel Walter; Vladimir Herdt; Jan Kleinekathöfer; Daniel Große; Rolf Drechsler
2019 // Book chapter
(ReCo) Fuse Your PRC or Lose Security: Finally Reliable Reconfiguration-Based Countermeasures on FPGAs
Kenneth Schmitz; Buse Ustaoglu; Daniel Große; Rolf Drechsler
2019 // Conference paper
A Hybrid Embedded Multichannel Test Compression Architecture for Low-Pin-Count Test Environments in Safety-Critical Systems
Proceedings - 2019 IEEE International Test Conference in Asia, ITC-Asia 2019
Huhn, S.; Tille, D.; Drechsler, R.
2019 // Conference paper
Accuracy and Compactness in Decision Diagrams for Quantum Computation
Proceedings of the 2019 Design, Automation, and Test in Europe Conference and Exhibition, DATE 2019
Zulehner, A.; Niemann, P.; Drechsler, R.; Wille, R.
2019 // Book
Approximate memory: Data storage in the context of approximate computing
Information Storage: A Multidisciplinary Perspective
Froehlich, S.; Große, D.; Drechsler, R.
2019 // Conference paper
Automated analysis of virtual prototypes at the electronic system level
Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
Goli, M.; Hassan, M.; Große, D.; Drechsler, R.
2019 // Conference paper
Better Late Than Never: Verification of Embedded Systems After Deployment
Proceedings of the 2019 Design, Automation, and Test in Europe Conference and Exhibition, DATE 2019
Ring, M.; Bornebusch, F.; Lüth, C.; Wille, R.; Drechsler, R.
2019 // Conference paper
Cluster-Based Localization of IR Drop in a Test Application, Taking Parasitic Elements into Account
LATS 2019 - 20th IEEE Latin American Test Symposium
Dhotre, H.; Eggersglus, S.; Drechsler, R.
2019 // Conference paper
Code is Ethics - Formal Techniques for a Better World
Proceedings - Euromicro Conference on Digital System Design, DSD 2019
Drechsler, R.; Luth, C.
2019 // Journal article
Combining Sequentialization-Based Verification of Multithreaded C Programs with Symbolic Partial Order Reduction
International Journal on Software Tools for Technology Transfer
Herdt, V.; Le, H.M.; Große, D.; Drechsler, R.
2019 // Conference paper
ComPRIMe: A Compiler for Parallel and Scalable ReRAM-Based In-Memory Computing
NANOARCH 2019 - 15th IEEE/ACM International Symposium on Nanoscale Architectures, Proceedings
Frerix, S.; Shirinzadeh, S.; Frohlich, S.; Drechsler, R.
2019 // Conference paper
Data Flow Testing for SystemC-AMS Timed Data Flow Models
Proceedings of the 2019 Design, Automation, and Test in Europe Conference and Exhibition, DATE 2019
Hassan, M.; Große, D.; Le, H.M.; Drechsler, R.
2019 // Conference paper
Detection of Hardware Trojans in SystemC HLS Designs Using Coverage-Guided Fuzzing
Proceedings of the 2019 Design, Automation, and Test in Europe Conference and Exhibition, DATE 2019
Le, H.M.; Große, D.; Bruns, N.; Drechsler, R.
