Witschen, Linus Matthias, Tobias Wiersema, Lucas David Reuter, and Marco Platzner. “Search Space Characterization for Approximate Logic Synthesis .” In 2022 59th ACM/IEEE Design Automation Conference (DAC), n.d.

Witschen, Linus Matthias, Tobias Wiersema, Matthias Artmann, and Marco Platzner. “MUSCAT: MUS-Based Circuit Approximation Technique.” In Design, Automation and Test in Europe (DATE), n.d.

Wiersema, Tobias. Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware. Paderborn: Paderborn University, 2021.

Witschen, Linus Matthias, Tobias Wiersema, Masood Raeisi Nafchi, Arne Bockhorn, and Marco Platzner. “Timing Optimization for Virtual FPGA Configurations.”https://doi.org/10.1007/978-3-030-79025-7_4__In Proceedings of International Symposium on Applied Reconfigurable Computing (ARC’21), edited by Frank Hannig, Steven Derrien, Pedro Diniz, and Daniel Chillet. Reconfigurable Computing: Architectures, Tools, and Applications. Springer Lecture Notes in Computer Science, n.d.https://doi.org/10.1007/978-3-030-79025-7_4 .

Jakobs, Marie-Christine, Felix Pauck, Marco Platzner, Heike Wehrheim, and Tobias Wiersema. “Software/Hardware Co-Verification for Custom Instruction Set Processors.”https://doi.org/10.1109/ACCESS.2021.3131213__IEEE Access, 2021.https://doi.org/10.1109/ACCESS.2021.3131213 .

Ahmed, Qazi Arbab, Tobias Wiersema, and Marco Platzner. “Malicious Routing: Circumventing Bitstream-Level Verification for FPGAs.”https://doi.org/10.23919/DATE51398.2021.9474026__In 2021 Design, Automation &; Test in Europe Conference &; Exhibition (DATE). Alpexpo | Grenoble, France: 2021 Design, Automation and Test in Europe Conference (DATE), 2021.https://doi.org/10.23919/DATE51398.2021.9474026 .

Witschen, Linus Matthias, Tobias Wiersema, and Marco Platzner. “Proof-Carrying Approximate Circuits.”https://doi.org/10.1109/TVLSI.2020.3008061__IEEE Transactions On Very Large Scale Integration Systems 28, no. 9 (2020): 2084–88.https://doi.org/10.1109/TVLSI.2020.3008061 .

Witschen, Linus Matthias, Tobias Wiersema, and Marco Platzner. “Search Space Characterization for AxC Synthesis.” Fifth Workshop on Approximate Computing (AxC 2020), n.d.

Witschen, Linus Matthias, Tobias Wiersema, Hassan Ghasemzadeh Mohammadi, Muhammad Awais, and Marco Platzner. “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation.”https://doi.org/10.1016/j.microrel.2019.04.003__Microelectronics Reliability 99 (2019): 277–90.https://doi.org/10.1016/j.microrel.2019.04.003 .

Ahmed, Qazi Arbab, Tobias Wiersema, and Marco Platzner. “Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan.”https://doi.org/10.1007/978-3-030-17227-5_10__In Applied Reconfigurable Computing, edited by Christian Hochberger, Brent Nelson, Andreas Koch, Roger Woods, and Pedro Diniz, 11444:127–36. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019.https://doi.org/10.1007/978-3-030-17227-5_10 .

Witschen, Linus Matthias, Tobias Wiersema, Hassan Ghasemzadeh Mohammadi, Muhammad Awais, and Marco Platzner. “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation.” Third Workshop on Approximate Computing (AxC 2018), n.d.

Witschen, Linus Matthias, Tobias Wiersema, and Marco Platzner. “Making the Case for Proof-Carrying Approximate Circuits.” 4th Workshop On Approximate Computing (WAPCO 2018), 2018.

Isenberg, Tobias, Marco Platzner, Heike Wehrheim, and Tobias Wiersema. “Proof-Carrying Hardware via Inductive Invariants.”https://doi.org/10.1145/3054743__ACM Transactions on Design Automation of Electronic Systems, no. 4 (2017): 61:1--61:23.https://doi.org/10.1145/3054743 .

Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.”https://doi.org/10.1016/j.compeleceng.2016.04.005__Computers &; Electrical Engineering, 2016, 112--122.https://doi.org/10.1016/j.compeleceng.2016.04.005 .

Wiersema, Tobias, and Marco Platzner. “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules Using Proof-Carrying Hardware.”https://doi.org/10.1109/ReCoSoC.2016.7533910__In Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016), 1--8, 2016.https://doi.org/10.1109/ReCoSoC.2016.7533910 .

Wiersema, Tobias, Sen Wu, and Marco Platzner. “On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.”https://doi.org/10.1007/978-3-319-16214-0_32__In Proceedings of the International Symposium in Reconfigurable Computing (ARC), 365--372. LNCS, 2015.https://doi.org/10.1007/978-3-319-16214-0_32 .

Wiersema, Tobias, Stephanie Drzevitzky, and Marco Platzner. “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring.”https://doi.org/10.1109/FPT.2014.7082771__In Proceedings of the International Conference on Field-Programmable Technology (FPT), 167–74, 2014.https://doi.org/10.1109/FPT.2014.7082771 .

Jakobs, Marie-Christine, Marco Platzner, Tobias Wiersema, and Heike Wehrheim. “Integrating Software and Hardware Verification.”https://doi.org/10.1007/978-3-319-10181-1_19__In Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 307–22. LNCS, 2014.https://doi.org/10.1007/978-3-319-10181-1_19 .

Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS Meets ZUMA.”https://doi.org/10.1109/ReConFig.2014.7032514__In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 1–6, 2014.https://doi.org/10.1109/ReConFig.2014.7032514 .