Research interests

  • embedded and real time systems
  • distributed systems
  • model based testing
  • test driven development
  • timed testing
  • industrial test processes
  • data communication
  • mobile communikation
  • formal methods for specification and verification
  • timed automata
  • hybrid systems
  • discrete simulation
  • configuration management
  • object oriented programming and development
  • graphical/GUI programming (Java Swing, Qt, SVG, openGL, graphical browser engines)
  • agile development
  • programming mobile devices (Android, iPhone, J2ME, OpenMoko)
  • design patterns
  • programming and development environments
  • C++
  • Java
  • scripting languages: Lua, Ruby, Javascript
  • databases (mySQL, sqlite, active records)
  • UML
  • client/server, service oriented architectures, web based applications

Program and Steering Committees