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, T. (2021). Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware. Paderborn University.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 37057
Defo, G. B., Müller, W., & Kuznik, C. (2010). Verification of a CAN Bus Model in SystemC with Functional Coverage. Proceedings of SIES 2010. International Symposium on Industrial Embedded System (SIES), Trento, Italy. https://doi.org/10.1109/SIES.2010.5551379
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 9576
Uribe, D. O., Stroop, R., Hemsel, T., & Wallaschek, J. (2008). Development of a biomedical tissue differentiation system using piezoelectric actuators. In Frequency Control Symposium, 2008 IEEE International (pp. 91–94). https://doi.org/10.1109/FREQ.2008.4622963
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 6508
Kaufmann, P., & Platzner, M. (2007). MOVES: A Modular Framework for Hardware Evolution. In Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007) (pp. 447–454). Edinburgh, UK: IEEE. https://doi.org/10.1109/ahs.2007.73
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 8926
Hemsel, T., Littmann, W., & Wallaschek, J. (2002). Piezoelectric transformers - state of the art and development trends. In Ultrasonics Symposium, 2002. Proceedings. 2002 IEEE (Vol. 1, pp. 645–648). https://doi.org/10.1109/ULTSYM.2002.1193485
LibreCat
| DOI