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 University, 2021.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 37057
Defo, Gilles B., et al. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” Proceedings of SIES 2010, IEEE, 2010, doi:10.1109/SIES.2010.5551379.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 9576
Uribe, David Oliva, et al. “Development of a Biomedical Tissue Differentiation System Using Piezoelectric Actuators.” Frequency Control Symposium, 2008 IEEE International, 2008, pp. 91–94, doi: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.” Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), IEEE, 2007, pp. 447–54, doi:10.1109/ahs.2007.73.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 8926
Hemsel, Tobias, et al. “Piezoelectric Transformers - State of the Art and Development Trends.” Ultrasonics Symposium, 2002. Proceedings. 2002 IEEE, vol. 1, no. vol.1, 2002, pp. 645–48, doi:10.1109/ULTSYM.2002.1193485.
LibreCat
| DOI