@bookAhmed_2022, place=Paderborn, title=Hardware Trojans in Reconfigurable Computing, DOI=10.17619/UNIPB/1-1271, publisher= Paderborn University, Paderborn, Germany, author=Ahmed, Qazi Arbab, year=2022 
LibreCat: /record/29769
DOI: 10.17619/UNIPB/1-1271

@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

@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

@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_Ghasemzadeh Mohammadi_Artmann_Platzner, title=Jump Search: A Fast Technique for the Synthesis of Approximate Circuits, journal=Fourth Workshop on Approximate Computing (AxC 2019), author=Witschen, Linus Matthias and Ghasemzadeh Mohammadi, Hassan and Artmann, Matthias and Platzner, Marco 
LibreCat: /record/16853

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

@inproceedingsKuznik_Müller_Defo_2014, place=San Francisco, USA, title=An Assisted Single Source Verification Metric Model Code Generation Methodology, author=Kuznik, Christoph and Müller, Wolfgang and Defo, Gilles Bertrand, year=2014 
LibreCat: /record/36917

@inproceedingsKoppelmann_Messidat_Becker_Müller_Scheytt_2014, place=München, title=Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU, booktitle=Proceedings of the Design and Verification Conference Europe (DVCON Europe), author=Koppelmann, Bastian and Messidat, Bernd and Becker, Markus and Müller, Wolfgang and Scheytt, J. Christoph, year=2014 
LibreCat: /record/34585

@inproceedingsWoehrle_Plessl_Lim_Beutel_Thiele_2008, place=Los Alamitos, CA, USA, title=EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks, DOI=10.1109/SUTC.2008.24, booktitle=IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), publisher=IEEE Computer Society, author=Woehrle, Matthias and Plessl, Christian and Lim, Roman and Beutel, Jan and Thiele, Lothar, year=2008, pages=201–208 
LibreCat: /record/2370
DOI: 10.1109/SUTC.2008.24

@inproceedingsBeutel_Dyer_Lim_Plessl_Woehrle_Yuecel_Thiele_2007, place=Piscataway, NJ, USA, title=Automated Wireless Sensor Network Testing, DOI=10.1109/INSS.2007.4297445, booktitle=Proc. Int. Conf. Networked Sensing Systems (INSS), publisher=IEEE, author=Beutel, Jan and Dyer, Matthias and Lim, Roman and Plessl, Christian and Woehrle, Matthias and Yuecel, Mustafa and Thiele, Lothar, year=2007, pages=303–303 
LibreCat: /record/2393
DOI: 10.1109/INSS.2007.4297445

@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 
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

@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 
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

@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 
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

@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 
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002

@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 
LibreCat: /record/34448
DOI: 10.1007/978-1-4615-2237-9_5