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 .