• Konzeption & Optimierung der Datenmodelle, Begleitung der Teams bei Umsetzung
• Erfassung & Konzeption der Geschäftsprozesse
• Anforderungserhebung, Feststellung der Abhängigkeiten
• Optimierung der Schnittstellen zwischen Microservices
• Koordination und Zusammenarbeit mit Architekten, vielen Teams und anderen Domänen
• Erstellung von Test Cases in Gerkin
• Produktdokumentation für die Betriebsführung: Anwendungsfälle, Prozesse, fachliche Fehler, Schnittstellen

• Anforderungserhebung, Verfeinerung der Use Cases
• Explorative Tests & Bug Reporting, Erstellung von Test Cases in Gerkin
• Analytics, A/B Tests, Logfileanalyse, Verbesserungsvorschläge

• Anforderungserhebung, -Abstimmung und Spezifikation
• Konzeption UI/UX, Kundeninterviews, Demos
• Use Cases: Dokumentation, Ablaufdiagramme
• Aufwandschätzungen
• Einzelne Architekturaufgaben
• Erstellung von Epics und Stories
• Organisation und Begleitung des Scrum-Prozesses im Team
• Product Backlog Management, Projektdokumentation
• Analyse, Auswahl und Integration der Software/Hardware Konfiguration
• Qualitätssicherung, Defektmanagement und Bugfixing

• Frontend für Sitzplatzreservierung im Nahverkehr / großes
  Verkehrsunternehmen
• Softwareentwicklung, Testing, Defektmanagement und fixen

Graphical Seat Display (Frontend für graphische Sitzplatzreservierung)

• Konkurrenzanalyse, Vorschläge zu den Features
• Abstimmung mit den Kunden, Interviews, Demos
• Anforderungserhebung und Spezifikation
• Konzeption UI/UX, Prototyping mit Wireframes, Ideenfindung Icons
• Technische Machbarkeitsanalyse, Analyse vorhandener APIs & Stammdaten

• Aufbau von Werkzeugketten und Prozessen
• Kundenentdeckung und Konkurrenzanalyse
• Anforderungserhebung und Spezifikation
• Geschäftsmodellierung
• Prototyping

• Planung und Verhandlung der Releasemanagement- maßnahmen
• Release Risikominderung
• CAB-Treffen, Inter-Team-Koordination
• Unterstützung der Einrichtung eines Qualitätsmanagementsystems
• Überwachung der Einhaltung von Vorschriften

Applikation für Waagenverwaltung in Lagern

• Projektplanung
• Anforderungsanalyse
• Design und Entwicklung
• Qualitätssicherung

SAP BSP-Applikation für Lager/Transportüberwachung

• Projektplanung, Anforderungsermittlung und -Management
• Evaluierung geeigneter Technologien
• Prototyping, Design und Implementierung im Team
• Qualitätssicherung

Anforderungsmanagement, Software Prozess- und Infrastruktur-Beratung

• Infrastrukturanalyse und Redesign für wesentliche Wartung-/ Kosteneinsparungen, Interne Prozessoptimierung
• Evaluierung und Migration der Systeme für Ressourcenmanagement, Zeiterfassung und Rechnungswesen
• Datenbankkonzeption und Migration
• Evaluierung mehrerer Groupware-Systemen, Umstrukturierung interner Wissensdatenbank, Migration der Datenablage
• Team-Trainings zur Unterstützung der Veränderungen

TIMMO-2-USE - ITEA2 Projekt für engere Zusammenarbeit und bessere Verwendung der zeit-relevanter Information in Entwicklung verteilter Echtzeitfahrzeugsysteme

• Modellierung und Entwurf Teilen der Spezifikationssprache zur Übernahme in AUTOSAR
• Leitung einer Arbeitsgruppe
• Planung, Aufwandsschätzung, Erstellung der Deliverables und Berichten
• Anforderungsanalyse

Redesign einer domänenspezifischer Sprache für statische Analysen

• Projektmanagement
• Anforderungsanalyse
• Reverse Engineering, Data-Mining
• Domänenmodellierung, DSL design, API design
• Dokumentation, Präsentation des Modells an relevante Stakeholder

Framework der statischen Code-Analysen für Beweisung der Fehlerfreiheit und Sicherheitseigenschaften in harten Echtzeitsoftwaresystemen

• Back-End: Entwicklung, Wartung und Refactoring Bibliotheken und Modulen, Erweiterung um weitere CPU-Architekturen, Optimierung der statischen Analysen, Verbesserung der Schnittstellen, Dokumentation
• Front-End: Entwicklung, explorative Tests, Refactoring, Usability- Verbesserungen
• Qualitätssicherung: Testspezifikation, Verbesserung und Formalisierung des Testprozesses, Konzeption und Führung wöchentlicher Sitzungen und Koordinierung der Front-End Entwickler, Tester, technischer Redakteueren
• Verifikation der Sicherheitseigenschaften der Automobil- und Luftfahrtsoftware (Airbus 380, mehrere Automobilsoftware-Bausteine)

• Migration der Timesheet- und Abrechnungssoftware: Anforderungsanalyse, Deployment, Datenmigration, Anpassung
• Konzeption, Design und Entwicklung eines neuen Moduls für Statistik und Dokumentationsabdeckung für ein QS/CI-Werkzeug - das Modul sparte 2/3 des QS-Aufwandes und erlaubte neue Metriken für höhere Produktqualität
• User-Dokumentation und Training

Publikationen und Forschung für C-Code Analyse

• Olha Honcharova, Christoph Cullmann, Florian Martin. “Static Detection of Parametric Loop Bounds on C Code”, Proceedings of the 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software (WRTP/RTS’09), pp. 65-72, 2009.
• Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nevona, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, und Élodie-Jane Sims. Astrée: Nachweis der Abwesenheit von Laufzeitfehlern. Workshop "Entwicklung zuverlässiger Software-Systeme", Regensburg, Deutschland, 18. Juni, 2009.