Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5 Publications
2021 | Dissertation | LibreCat-ID: 26746 | 
Wiersema, Tobias. Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware. Paderborn: Paderborn University, 2021.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 37057
Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” In Proceedings of SIES 2010. Trento, Italy: IEEE, 2010. https://doi.org/10.1109/SIES.2010.5551379.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 9576
Uribe, David Oliva, Ralf Stroop, Tobias Hemsel, and Jörg Wallaschek. “Development of a Biomedical Tissue Differentiation System Using Piezoelectric Actuators.” In Frequency Control Symposium, 2008 IEEE International, 91–94, 2008. https://doi.org/10.1109/FREQ.2008.4622963.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 6508
Kaufmann, Paul, and Marco Platzner. “MOVES: A Modular Framework for Hardware Evolution.” In Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), 447–54. IEEE, 2007. https://doi.org/10.1109/ahs.2007.73.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 8926
Hemsel, Tobias, Walter Littmann, and Jörg Wallaschek. “Piezoelectric Transformers - State of the Art and Development Trends.” In Ultrasonics Symposium, 2002. Proceedings. 2002 IEEE, 1:645–48, 2002. https://doi.org/10.1109/ULTSYM.2002.1193485.
LibreCat
| DOI