Tobias Wiersema

According to our database, Tobias Wiersema authored at least 16 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

MUSCAT: MUS-based Circuit Approximation Technique.

Linus Witschen, Tobias Wiersema, Matthias Artmann, Marco Platzner

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Search space characterization for approximate logic synthesis.

Linus Witschen, Tobias Wiersema, Lucas Reuter, Marco Platzner

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware.

Tobias Wiersema

PhD thesis, 2021

Software/Hardware Co-Verification for Custom Instruction Set Processors.

Marie-Christine Jakobs, Felix Pauck, Marco Platzner, Heike Wehrheim, Tobias Wiersema

IEEE Access, 2021

Malicious Routing: Circumventing Bitstream-level Verification for FPGAs.

Qazi Arbab Ahmed, Tobias Wiersema, Marco Platzner

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Timing Optimization for Virtual FPGA Configurations.

Linus Witschen, Tobias Wiersema, Masood Raeisi Nafchi, Arne Bockhorn, Marco Platzner

Proceedings of the Applied Reconfigurable Computing. Architectures, Tools, and Applications, 2021

2020

Proof-Carrying Approximate Circuits.

Linus Witschen, Tobias Wiersema, Marco Platzner

IEEE Trans. Very Large Scale Integr. Syst., 2020

2019

Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan.

Qazi Arbab Ahmed, Tobias Wiersema, Marco Platzner

Proceedings of the Applied Reconfigurable Computing - 15th International Symposium, 2019

2017

Proof-Carrying Hardware via Inductive Invariants.

Tobias Isenberg, Marco Platzner, Heike Wehrheim, Tobias Wiersema

ACM Trans. Design Autom. Electr. Syst., 2017

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

Verifying worst-case completion times for reconfigurable hardware modules using proof-carrying hardware.

Tobias Wiersema, Marco Platzner

Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2016

2015

On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.

Tobias Wiersema, Sen Wu, Marco Platzner

Proceedings of the Applied Reconfigurable Computing - 11th International Symposium, 2015

2014

Embedding FPGA overlays into configurable Systems-on-Chip: ReconOS meets ZUMA.

Tobias Wiersema, Arne Bockhorn, Marco Platzner

Proceedings of the 2014 International Conference on ReConFigurable Computing and FPGAs, 2014

Integrating Software and Hardware Verification.

Marie-Christine Jakobs, Marco Platzner, Heike Wehrheim, Tobias Wiersema

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Memory security in reconfigurable computers: Combining formal verification with monitoring.

Tobias Wiersema, Stephanie Drzevitzky, Marco Platzner

Proceedings of the 2014 International Conference on Field-Programmable Technology, 2014

2011

Cooperative multitasking for heterogeneous accelerators in the Linux Completely Fair Scheduler.

Tobias Beisel, Tobias Wiersema, Christian Plessl, André Brinkmann

Proceedings of the 22nd IEEE International Conference on Application-specific Systems, 2011