Gremientätigkeit Programmkommitee GI/VDE/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)"
Beteiligung High-Level-Synthese zur Sensordatenauswertung (EUProfil) Low latency optical wireless communication – Optische Freiraumdatenübertragung mit geringer Latenz (MatEnUm 1) Skalierbare Nachhaltige Autonome Elektroenergieerzeugungssysteme
selected publications Wissenschaftlicher Artikel Digital high-pass filter deconvolution by means of an infinite impulse response filter. 2016 Automated Formal Verification of Routing in Material Handling Systems. IEEE transactions on automation science and engineering. 10. 2013 Dokument On the formal verification of routing in material handling systems 2012 Tagungsband Interdisziplinärer methodischer Ansatz zur Konzipierung von Wasserhaushaltsschichten
other research activities High-Level-Synthese zur Sensordatenauswertung (EUProfil) Low latency optical wireless communication – Optische Freiraumdatenübertragung mit geringer Latenz (MatEnUm 1) Skalierbare Nachhaltige Autonome Elektroenergieerzeugungssysteme
