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.
LibreCat: /record/29945

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.
LibreCat: /record/29865

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

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 .
LibreCat: /record/21953
DOI: 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 .
LibreCat: /record/27841
DOI: 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 .
LibreCat: /record/20681
DOI: 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 .
LibreCat: /record/17358
DOI: 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.
LibreCat: /record/20748

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 .
LibreCat: /record/3585
DOI: 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 .
LibreCat: /record/9913
DOI: 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.
LibreCat: /record/3586

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

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 .
LibreCat: /record/68
DOI: 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 .
LibreCat: /record/222
DOI: 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 .
LibreCat: /record/132
DOI: 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 .
LibreCat: /record/269
DOI: 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 .
LibreCat: /record/399
DOI: 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 .
LibreCat: /record/408
DOI: 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 .
LibreCat: /record/433
DOI: 10.1109/ReConFig.2014.7032514