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

@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 

@bookJentzsch_2018, title=Enforcing IP Core Connection Properties with Verifiable Security Monitors, publisher=Universität Paderborn, author=Jentzsch, Felix Paul, year=2018 

@inproceedingsFlake_Müller_2004, place=Beijing, China, title=Past- and Future-Oriented Time-Bound Temporal Properties with OCL, DOI=10.1109/SEFM.2004.1347516, booktitle=Proceedings of SEFM´04, publisher=IEEE, author=Flake, Stephan and Müller, Wolfgang, year=2004 

@inproceedingsMüller_Dömer_Gerstlauer_2002, place=Nagoya, Japan, title=The Formal Execution Semantics of SpecC, DOI=10.1145/581199.581234 , booktitle=Proceedings of the ISS, author=Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas, year=2002 

@inproceedingsFlake_Müller_2002, place=Big Island, HI, USA , title=Specification of Real-Time Properties for UML Models, DOI=10.1109/HICSS.2002.994469, booktitle=Proceedings of HICSS-35, author=Flake, Stephan and Müller, Wolfgang, year=2002 

@inproceedingsMüller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place=Munich, Germany , title=The Simulation Semantics of SystemC, DOI=10.1109/DATE.2001.915002, booktitle=Proceedings of the Design, Automation, and Test in Europe (DATE’01), publisher=IEEE, author=Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W., year=2001 

@inbookBörger_Glässer_Müller_1995, place=Dordrecht, title=A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines, DOI=10.1007/978-1-4615-2237-9_5, booktitle=Semantics of VHDL, publisher=Kluwer Academic Publishers, author=Börger, Egon and Glässer, Uwe and Müller, Wolfgang, editor=Delgado Kloos, C. and Breuer, Peter T., year=1995, pages=107–139