Gremientätigkeit Programmkommitee GI/VDE/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)"
Beteiligungen High-Level-Synthese zur Sensordatenauswertung (EUProfil) Low latency optical wireless communication – Optische Freiraumdatenübertragung mit geringer Latenz (MatEnUm 1) Skalierbare Nachhaltige Autonome Elektroenergieerzeugungssysteme
ausgewählte Veröffentlichungen 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
andere Forschungsaktivitäten High-Level-Synthese zur Sensordatenauswertung (EUProfil) Low latency optical wireless communication – Optische Freiraumdatenübertragung mit geringer Latenz (MatEnUm 1) Skalierbare Nachhaltige Autonome Elektroenergieerzeugungssysteme
