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