Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware
T. Wiersema, Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware, Paderborn University, Paderborn, 2021.

Verification of a CAN Bus Model in SystemC with Functional Coverage
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE,  Trento, Italy, 2010.

Development of a biomedical tissue differentiation system using piezoelectric actuators
D.O. Uribe, R. Stroop, T. Hemsel, J. Wallaschek, in: Frequency Control Symposium, 2008 IEEE International, 2008, pp. 91–94.

MOVES: A Modular Framework for Hardware Evolution
P. Kaufmann, M. Platzner, in: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), IEEE, 2007, pp. 447–454.

Piezoelectric transformers - state of the art and development trends
T. Hemsel, W. Littmann, J. Wallaschek, in: Ultrasonics Symposium, 2002. Proceedings. 2002 IEEE, 2002, pp. 645–648.