Beteiligt an Projekt/Förderung High-Level-Synthese zur Sensordatenauswertung (EUProfil) Förderung Low latency optical wireless communication – Optische Freiraumdatenübertragung mit geringer Latenz (MatEnUm 1) Förderung Skalierbare Nachhaltige Autonome Elektroenergieerzeugungssysteme Förderung
Gremientätigkeit Programmkommitee GI/VDE/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)" Komittee
Publikation (Autor/in) Automated Formal Verification of Routing in Material Handling Systems Wissenschaftlicher Artikel Entwurf und Planung von Wasserhaushaltsschichten – neue Erkenntnisse und Empfehlungen für die Praxis. Interdisziplinärer methodischer Ansatz zur Konzipierung von Wasserhaushaltsschichten Tagungsband On the formal verification of routing in material handling systems Digital high-pass filter deconvolution by means of an infinite impulse response filter. Wissenschaftlicher Artikel
ausgewählte Veröffentlichungen dokument On the formal verification of routing in material handling systems 2012 wissenschaftlicher artikel Automated Formal Verification of Routing in Material Handling Systems. IEEE transactions on automation science and engineering. 10. 2013