@inproceedingsWitschen_Wiersema_Reuter_Platzner, title=Search Space Characterization for Approximate Logic Synthesis , booktitle=2022 59th ACM/IEEE Design Automation Conference (DAC), author=Witschen, Linus Matthias and Wiersema, Tobias and Reuter, Lucas David and Platzner, Marco 
LibreCat: /record/29945

@inproceedingsWitschen_Wiersema_Artmann_Platzner, title=MUSCAT: MUS-based Circuit Approximation Technique, booktitle=Design, Automation and Test in Europe (DATE), author=Witschen, Linus Matthias and Wiersema, Tobias and Artmann, Matthias and Platzner, Marco 
LibreCat: /record/29865

@bookWiersema_2021, place=Paderborn, title=Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware, publisher=Paderborn University, author=Wiersema, Tobias, year=2021 
LibreCat: /record/26746

@inproceedingsWitschen_Wiersema_Raeisi Nafchi_Bockhorn_Platzner, series=Reconfigurable Computing: Architectures, Tools, and Applications, title=Timing Optimization for Virtual FPGA Configurations, DOI=10.1007/978-3-030-79025-7_4, booktitle=Proceedings of International Symposium on Applied Reconfigurable Computing (ARC’21), publisher=Springer Lecture Notes in Computer Science, author=Witschen, Linus Matthias and Wiersema, Tobias and Raeisi Nafchi, Masood and Bockhorn, Arne and Platzner, Marco, editor=Hannig, Frank and Derrien, Steven and Diniz, Pedro and Chillet, Daniel, collection=Reconfigurable Computing: Architectures, Tools, and Applications 
LibreCat: /record/21953
DOI: 10.1007/978-3-030-79025-7_4

@articleJakobs_Pauck_Platzner_Wehrheim_Wiersema_2021, title=Software/Hardware Co-Verification for Custom Instruction Set Processors, DOI=10.1109/ACCESS.2021.3131213, journal=IEEE Access, publisher=IEEE, author=Jakobs, Marie-Christine and Pauck, Felix and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias, year=2021 
LibreCat: /record/27841
DOI: 10.1109/ACCESS.2021.3131213

@inproceedingsAhmed_Wiersema_Platzner_2021, place=Alpexpo | Grenoble, France, title=Malicious Routing: Circumventing Bitstream-level Verification for FPGAs, DOI=10.23919/DATE51398.2021.9474026, booktitle=2021 Design, Automation &; Test in Europe Conference &; Exhibition (DATE), publisher=2021 Design, Automation and Test in Europe Conference (DATE), author=Ahmed, Qazi Arbab and Wiersema, Tobias and Platzner, Marco, year=2021 
LibreCat: /record/20681
DOI: 10.23919/DATE51398.2021.9474026

@articleWitschen_Wiersema_Platzner_2020, title=Proof-carrying Approximate Circuits, volume=28, DOI=10.1109/TVLSI.2020.3008061, number=9, journal=IEEE Transactions On Very Large Scale Integration Systems, publisher=IEEE, author=Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco, year=2020, pages=2084–2088 
LibreCat: /record/17358
DOI: 10.1109/TVLSI.2020.3008061

@articleWitschen_Wiersema_Platzner, title=Search Space Characterization for AxC Synthesis, journal=Fifth Workshop on Approximate Computing (AxC 2020), author=Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco 
LibreCat: /record/20748

@articleWitschen_Wiersema_Ghasemzadeh Mohammadi_Awais_Platzner_2019, title=CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation, volume=99, DOI=10.1016/j.microrel.2019.04.003, journal=Microelectronics Reliability, publisher=Elsevier, author=Witschen, Linus Matthias and Wiersema, Tobias and Ghasemzadeh Mohammadi, Hassan and Awais, Muhammad and Platzner, Marco, year=2019, pages=277–290 
LibreCat: /record/3585
DOI: 10.1016/j.microrel.2019.04.003

@inproceedingsAhmed_Wiersema_Platzner_2019, place=Cham, series=Lecture Notes in Computer Science, title=Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan, volume=11444, DOI=10.1007/978-3-030-17227-5_10, booktitle=Applied Reconfigurable Computing, publisher=Springer International Publishing, author=Ahmed, Qazi Arbab and Wiersema, Tobias and Platzner, Marco, editor=Hochberger, Christian and Nelson, Brent and Koch, Andreas and Woods, Roger and Diniz, Pedro, year=2019, pages=127–136, collection=Lecture Notes in Computer Science 
LibreCat: /record/9913
DOI: 10.1007/978-3-030-17227-5_10