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 | 
@book{Wiersema_2021, place={Paderborn}, title={Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware}, publisher={Paderborn University}, author={Wiersema, Tobias}, year={2021} }
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 37057
@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification of a CAN Bus Model in SystemC with Functional Coverage}, DOI={10.1109/SIES.2010.5551379}, booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 9576
@inproceedings{Uribe_Stroop_Hemsel_Wallaschek_2008, title={Development of a biomedical tissue differentiation system using piezoelectric actuators}, DOI={10.1109/FREQ.2008.4622963}, booktitle={Frequency Control Symposium, 2008 IEEE International}, author={Uribe, David Oliva and Stroop, Ralf and Hemsel, Tobias and Wallaschek, Jörg}, year={2008}, pages={91–94} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 6508
@inproceedings{Kaufmann_Platzner_2007, title={MOVES: A Modular Framework for Hardware Evolution}, DOI={10.1109/ahs.2007.73}, booktitle={Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)}, publisher={IEEE}, author={Kaufmann, Paul and Platzner, Marco}, year={2007}, pages={447–454} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 8926
@inproceedings{Hemsel_Littmann_Wallaschek_2002, title={Piezoelectric transformers - state of the art and development trends}, volume={1}, DOI={10.1109/ULTSYM.2002.1193485}, number={vol.1}, booktitle={Ultrasonics Symposium, 2002. Proceedings. 2002 IEEE}, author={Hemsel, Tobias and Littmann, Walter and Wallaschek, Jörg}, year={2002}, pages={645–648} }
LibreCat
| DOI