@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

@articleWitschen_Wiersema_Ghasemzadeh Mohammadi_Awais_Platzner, title=CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation, journal=Third Workshop on Approximate Computing (AxC 2018), author=Witschen, Linus Matthias and Wiersema, Tobias and Ghasemzadeh Mohammadi, Hassan and Awais, Muhammad and Platzner, Marco 
LibreCat: /record/3586

@articleWitschen_Wiersema_Platzner_2018, title=Making the Case for Proof-carrying Approximate Circuits, journal=4th Workshop On Approximate Computing (WAPCO 2018), author=Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco, year=2018 
LibreCat: /record/1165

@articleIsenberg_Platzner_Wehrheim_Wiersema_2017, title=Proof-Carrying Hardware via Inductive Invariants, DOI=10.1145/3054743, number=4, journal=ACM Transactions on Design Automation of Electronic Systems, publisher=ACM, author=Isenberg, Tobias and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias, year=2017, pages=61:1--61:23 
LibreCat: /record/68
DOI: 10.1145/3054743

@articleWiersema_Bockhorn_Platzner_2016, title=An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip, DOI=10.1016/j.compeleceng.2016.04.005, journal=Computers &; Electrical Engineering, publisher=Elsevier, author=Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco, year=2016, pages=112--122 
LibreCat: /record/222
DOI: 10.1016/j.compeleceng.2016.04.005

@inproceedingsWiersema_Platzner_2016, title=Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware, DOI=10.1109/ReCoSoC.2016.7533910, booktitle=Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016), author=Wiersema, Tobias and Platzner, Marco, year=2016, pages=1--8 
LibreCat: /record/132
DOI: 10.1109/ReCoSoC.2016.7533910

@inproceedingsWiersema_Wu_Platzner_2015, series=LNCS, title=On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach, DOI=10.1007/978-3-319-16214-0_32, booktitle=Proceedings of the International Symposium in Reconfigurable Computing (ARC), author=Wiersema, Tobias and Wu, Sen and Platzner, Marco, year=2015, pages=365--372, collection=LNCS 
LibreCat: /record/269
DOI: 10.1007/978-3-319-16214-0_32

@inproceedingsWiersema_Drzevitzky_Platzner_2014, title=Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring, DOI=10.1109/FPT.2014.7082771, booktitle=Proceedings of the International Conference on Field-Programmable Technology (FPT), author=Wiersema, Tobias and Drzevitzky, Stephanie and Platzner, Marco, year=2014, pages=167–174 
LibreCat: /record/399
DOI: 10.1109/FPT.2014.7082771

@inproceedingsJakobs_Platzner_Wiersema_Wehrheim_2014, series=LNCS, title=Integrating Software and Hardware Verification, DOI=10.1007/978-3-319-10181-1_19, booktitle=Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), author=Jakobs, Marie-Christine and Platzner, Marco and Wiersema, Tobias and Wehrheim, Heike, editor=Albert, Elvira and Sekerinski, EmilEditors, year=2014, pages=307–322, collection=LNCS 
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

@inproceedingsWiersema_Bockhorn_Platzner_2014, title=Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA, DOI=10.1109/ReConFig.2014.7032514, booktitle=Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), author=Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco, year=2014, pages=1–6 
LibreCat: /record/433
DOI: 10.1109/ReConFig.2014.7032514