Forschung

Forschungsinteressen

• Neuronale Netze auf strahlungstoleranten FPGAs für die Raumfahrt
• Time+Space-Partitioning für Raumfahrt-Avionik

• Familien von präzisen Anforderungen für eingebettete Software-Systeme
• Mode-Confusions in Benutzerschnittstellen
• Feature-Interaktions-Probleme in Telefonsystemen
• Formale Beschreibungstechnik Estelle für Kommunikationssysteme
• Spezifikationsbasiertes, automatisches Testen

Mehr

Hier gibt es weitere Informationen über

• meine Veröffentlichungen
• meine aktuellen Vorträge