Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2015ERNEST deckt Fehler schon in der Entwicklungsphase auf
Paulic, Annette
Zeitschriftenaufsatz
2015Reducing the verification effort for interfaces of automotive infotainment software
Drabek, Christian; Paulic, Annette; Weiß, Gereon
Bericht
2013Control flow analysis of automotive software components using model-based specifications of dynamic behavior
Pramsohler, Thomas; Kafkas, Mahmut; Paulic, Annette; Zeller, Marc; Baumgarten, Uwe
Konferenzbeitrag, Zeitschriftenaufsatz
2013Regressionstests im modellbasierten Entwurf von Infotainment-Funktionen im Auto
Miesel, Christoph
: Hammerschall, Ulrike (Betreuer); Paulic, Annette (Betreuer)
Bachelor Thesis
2012Model-based validation of automotive infotainment functions using reference models
Paulic, Annette; Zeller, Marc; Weiss, Gereon; Eilers, Dirk
Konferenzbeitrag
2012Modellbasierte Erkennung von Fehlverhalten
Paulic, Annette; Pramsohler, Thomas; Kaule, Dirk; Zeller, Marc; Weiß, Gereon
Zeitschriftenaufsatz
2012Verbesserter Softwaretest für Steuergeräte kombiniert sequenzbasierten und modellbasierten Test
Paulic, Annette; Weiss, Gereon; Eilers, Dirk
Zeitschriftenaufsatz