• Software Quality of Mobile Embedded Systems
  • Android
  • iOS
  • Java ME
  • Windows Phone
• Real-time Systems
  • Java Real-Time System
  • Erlang

• The UMIC Software Quality Initiative
• ENAV
• MAVerix - Participation in the IMAV (International Micro Air Vehicle Competition)

<BIBTEX: file=publikationen style=I11 sort=year filter=franke>

• on inquiry

• Integrating Surface Information into eNav (Master Thesis, Student Worker: D. Dzafic)
• Development of a Test Framework for Life Cycle-related Properties of Mobile Applications
  (Diploma Thesis, Student Worker: A. Weigelt)
• Specifying Life Cycle Requirements for mobile Applications
  (Diploma Thesis, Student Worker: S. Hempel)
• Integration of the eNav Routing Algorithm into an OSM Server
  (Bachelor Thesis, Student Worker: D. Baumeister)
• iOS-Extension to the Higgs Framework
  (Bachelor Thesis, Student Worker: D. Forster)
• Test and Stabilization of Real-time Android
  (Master Thesis, Student Worker: T. Gerlitz)
• Control of a Manufacturing Plant using Real-time Android
  (Bachelor Thesis, Student Worker: D. Thönnessen)
• Reverse Engineering of the Windows Phone Process Execution Model
  (Bachelor Thesis, Student Worker: N. Hansen)
• Concept and Prototype of a Mobile Cross-Device Test Framework
  (Diploma Thesis, Student Worker: R. Mathes)
• Tool Extension for Analysis of Android Application Life Cycle Models
  (Bachelor Thesis, Student Worker: T. Royé)
• Development of an Autonomous Flight Control System for Micro Aerial Vehicles
  (Master Thesis, Student Worker: C. Dernehl)
• Applying Timed Hierarchies to Signaling Equipment
  (Diploma Thesis, Student Worker: M. Mijatovic)
• Design and Integration of Real-Time into the Android Platform
  (Master Thesis, Student Worker: I. Kalkov)
• Analyzing Life Cycle Models of Mobile Applications
  (Diploma Thesis, Student Worker: C. Elsemann)
• Design of a Software Simulation Prototype
  (Bachelor Thesis , Student Worker: T. Lange)
• Evaluation of Ressource-Scheduling in Time-Heterogeneous Systems
  (Bachelor Thesis , Student Worker: D. Schmithausen)
• Characerization and Application of On-board Timers
  (Diploma Thesis, Student Worker: D. Losch)
• Testing Lifecycle Implementations of Mobile Applications
  (Master Thesis, Student Worker: N. Prakobkosol)
• Development and Evaluation of a Navigation System for Electric Wheel Chairs
  (Bachelor Thesis, Student Worker: D. Dzafic)

On appointment.