Ahmed, Qazi Arbab. Hardware Trojans in Reconfigurable Computing. Paderborn:https://doi.org/10.17619/UNIPB/1-1271__Paderborn University, Paderborn, Germany, 2022.https://doi.org/10.17619/UNIPB/1-1271 .

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

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 .

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, Hassan Ghasemzadeh Mohammadi, Matthias Artmann, and Marco Platzner. “Jump Search: A Fast Technique for the Synthesis of Approximate Circuits.” Fourth Workshop on Approximate Computing (AxC 2019), n.d.

Jentzsch, Felix Paul. Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.

Kuznik, Christoph, Wolfgang Müller, and Gilles Bertrand Defo. “An Assisted Single Source Verification Metric Model Code Generation Methodology.” San Francisco, USA, 2014.

Koppelmann, Bastian, Bernd Messidat, Markus Becker, Wolfgang Müller, and J. Christoph Scheytt. “Fast and Open Virtual Platforms for TriCore-Based SoCs Using QEMU.” In Proceedings of the Design and Verification Conference Europe (DVCON Europe). München, 2014.

Woehrle, Matthias, Christian Plessl, Roman Lim, Jan Beutel, and Lothar Thiele. “EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks.”https://doi.org/10.1109/SUTC.2008.24__In IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), 201–8. Los Alamitos, CA, USA: IEEE Computer Society, 2008.https://doi.org/10.1109/SUTC.2008.24 .

Beutel, Jan, Matthias Dyer, Roman Lim, Christian Plessl, Matthias Woehrle, Mustafa Yuecel, and Lothar Thiele. “Automated Wireless Sensor Network Testing.”https://doi.org/10.1109/INSS.2007.4297445__In Proc. Int. Conf. Networked Sensing Systems (INSS), 303–303. Piscataway, NJ, USA: IEEE, 2007.https://doi.org/10.1109/INSS.2007.4297445 .

Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.”https://doi.org/10.1109/SEFM.2004.1347516__In Proceedings of SEFM´04. Beijing, China: IEEE, 2004.https://doi.org/10.1109/SEFM.2004.1347516 .

Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.”https://doi.org/10.1145/581199.581234 __In Proceedings of the ISS. Nagoya, Japan, 2002.https://doi.org/10.1145/581199.581234  .

Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.”https://doi.org/10.1109/HICSS.2002.994469__In Proceedings of HICSS-35. Big Island, HI, USA , 2002.https://doi.org/10.1109/HICSS.2002.994469 .

Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.”https://doi.org/10.1109/DATE.2001.915002__In Proceedings of the Design, Automation, and Test in Europe (DATE’01). Munich, Germany : IEEE, 2001.https://doi.org/10.1109/DATE.2001.915002 .

Börger, Egon, Uwe Glässer, and Wolfgang Müller. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.”https://doi.org/10.1007/978-1-4615-2237-9_5__In Semantics of VHDL, edited by C. Delgado Kloos and Peter T. Breuer, 107–39. Dordrecht: Kluwer Academic Publishers, 1995.https://doi.org/10.1007/978-1-4615-2237-9_5 .