Forschungsinteressen

  • Eingebette und Echtzeit-Systeme
  • Verteilten Systemen
  • Modelbasiertes Testen
  • testgetriebene Entwicklung
  • Timed Testing
  • Test Prozesse
  • Datenkommunikation
  • Mobile Kommunikation
  • Formale Methoden der Spezifikation und Verifikation
  • Timed Automata
  • Hybride Systeme
  • Diskrete Simulation
  • Konfigurations-Management
  • objekt-orientierter Programmierung und Entwicklung
  • graphische/GUI Programmierung (Java Swing, Qt, SVG, openGL, graphische Browser Engines)
  • agile Entwicklung
  • Programmierung mobiler Endgeräte (Android, iPhone, J2ME, OpenMoko)
  • Design Patterns
  • Programmier- und Entwicklungs-Umgebungen
  • C++
  • Java
  • Skriptsprachen: Lua, Ruby, Javascript
  • Datenbanken (mySQL, sqlite, active records)
  • UML
  • Client/Server, Service Oriented Architectures, webbasierte Applikationen

Programm-/Lenkungsausschuss