Tobias Wiersema

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 11

Top Topics

Reconfigurable Hardware

Logic Synthesis

Projective Invariants

Completion Times

Top Venues

Comput. Electr. Eng.

Publications

Linus Witschen, Tobias Wiersema, Matthias Artmann, Marco Platzner
MUSCAT: MUS-based Circuit Approximation Technique. DATE (2022)
Linus Witschen, Tobias Wiersema, Lucas Reuter, Marco Platzner
Search space characterization for approximate logic synthesis. DAC (2022)
Marie-Christine Jakobs, Felix Pauck, Marco Platzner, Heike Wehrheim, Tobias Wiersema
Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE Access 9 (2021)
Qazi Arbab Ahmed, Tobias Wiersema, Marco Platzner
Malicious Routing: Circumventing Bitstream-level Verification for FPGAs. DATE (2021)
Linus Witschen, Tobias Wiersema, Masood Raeisi Nafchi, Arne Bockhorn, Marco Platzner
Timing Optimization for Virtual FPGA Configurations. ARC (2021)
Linus Witschen, Tobias Wiersema, Marco Platzner
Proof-Carrying Approximate Circuits. IEEE Trans. Very Large Scale Integr. Syst. 28 (9) (2020)
Qazi Arbab Ahmed, Tobias Wiersema, Marco Platzner
Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan. ARC (2019)
Tobias Isenberg, Marco Platzner, Heike Wehrheim, Tobias Wiersema
Proof-Carrying Hardware via Inductive Invariants. ACM Trans. Design Autom. Electr. Syst. 22 (4) (2017)
Tobias Wiersema, Arne Bockhorn, Marco Platzner
An architecture and design tool flow for embedding a virtual FPGA into a reconfigurable system-on-chip. Comput. Electr. Eng. 55 (2016)
Tobias Wiersema, Marco Platzner
Verifying worst-case completion times for reconfigurable hardware modules using proof-carrying hardware. ReCoSoC (2016)
Tobias Wiersema, Sen Wu, Marco Platzner
On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach. ARC (2015)
Marie-Christine Jakobs, Marco Platzner, Heike Wehrheim, Tobias Wiersema
Integrating Software and Hardware Verification. IFM (2014)
Tobias Wiersema, Arne Bockhorn, Marco Platzner
Embedding FPGA overlays into configurable Systems-on-Chip: ReconOS meets ZUMA. ReConFig (2014)
Tobias Wiersema, Stephanie Drzevitzky, Marco Platzner
Memory security in reconfigurable computers: Combining formal verification with monitoring. FPT (2014)
Tobias Beisel, Tobias Wiersema, Christian Plessl, André Brinkmann
Cooperative multitasking for heterogeneous accelerators in the Linux Completely Fair Scheduler. ASAP (2011)