Cooperative multitasking for heterogeneous accelerators in the Linux Completely Fair Scheduler. - Tobias Beisel; Tobias Wiersema; Christian Plessl; André Brinkmann (ASAP, 2011)

Memory security in reconfigurable computers: Combining formal verification with monitoring. - Tobias Wiersema; Stephanie Drzevitzky; Marco Platzner (FPT, 2014)

Integrating Software and Hardware Verification. - Marie-Christine Jakobs; Marco Platzner; Heike Wehrheim; Tobias Wiersema (IFM, 2014)

Embedding FPGA overlays into configurable Systems-on-Chip: ReconOS meets ZUMA. - Tobias Wiersema; Arne Bockhorn; Marco Platzner (ReConFig, 2014)

On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach. - Tobias Wiersema; Sen Wu 005; Marco Platzner (ARC, 2015)

Verifying worst-case completion times for reconfigurable hardware modules using proof-carrying hardware. - Tobias Wiersema; Marco Platzner (ReCoSoC, 2016)

An architecture and design tool flow for embedding a virtual FPGA into a reconfigurable system-on-chip. - Tobias Wiersema; Arne Bockhorn; Marco Platzner (Comput. Electr. Eng., 2016)

Proof-Carrying Hardware via Inductive Invariants. - Tobias Isenberg 002; Marco Platzner; Heike Wehrheim; Tobias Wiersema (ACM Trans. Design Autom. Electr. Syst., 2017)

Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan. - Qazi Arbab Ahmed; Tobias Wiersema; Marco Platzner (ARC, 2019)

Proof-Carrying Approximate Circuits. - Linus Witschen; Tobias Wiersema; Marco Platzner (IEEE Trans. Very Large Scale Integr. Syst., 2020)

Timing Optimization for Virtual FPGA Configurations. - Linus Witschen; Tobias Wiersema; Masood Raeisi Nafchi; Arne Bockhorn; Marco Platzner (ARC, 2021)

Malicious Routing: Circumventing Bitstream-level Verification for FPGAs. - Qazi Arbab Ahmed; Tobias Wiersema; Marco Platzner (DATE, 2021)

Software/Hardware Co-Verification for Custom Instruction Set Processors. - Marie-Christine Jakobs; Felix Pauck; Marco Platzner; Heike Wehrheim; Tobias Wiersema (IEEE Access, 2021)

Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware. - Tobias Wiersema (2021)

Search space characterization for approximate logic synthesis. - Linus Witschen; Tobias Wiersema; Lucas Reuter; Marco Platzner (DAC, 2022)

MUSCAT: MUS-based Circuit Approximation Technique. - Linus Witschen; Tobias Wiersema; Matthias Artmann; Marco Platzner (DATE, 2022)

Post-configuration Activation of Hardware Trojans in FPGAs. - Qazi Arbab Ahmed; Tobias Wiersema; Marco Platzner (J. Hardw. Syst. Secur., 2024)

Correction to: Post-configuration Activation of Hardware Trojans in FPGAs. - Qazi Arbab Ahmed; Tobias Wiersema; Marco Platzner (J. Hardw. Syst. Secur., 2024)