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

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

Jentzsch, Felix Paul. Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.
LibreCat: /record/1097

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 .
LibreCat: /record/39069
DOI: 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  .
LibreCat: /record/39382
DOI: 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 .
LibreCat: /record/39403
DOI: 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 .
LibreCat: /record/39421
DOI: 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 .
LibreCat: /record/34448
DOI: 10.1007/978-1-4615-2237-9_5