Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2008Flow - Eine Datenfluss-Beschreibungssprache für objektorientierte Programme
Jawurek, Marek; Mandel, Stefan
Bericht
2008SecFlow: Automatische Ermittlung sicherheitskritischer Datenflüsse in Quellcode
Schwarz, Reinhard; Peine, Holger; Mandel, Stefan
Bericht
2008Sicherheitsbewertung von Datenflüssen in Java-Programmen
Hildenbrand, Timo Peter
: Rombach, H. Dieter (Supervisor); Mandel, Stefan (Supervisor)
Diplomarbeit
2007Using genetic algorithms in model checking
Schwedler, Wolfgang
: Eschbach, Robert (Supervisor); Leucker, Martin (Supervisor); Beletski, Taras (Supervisor)
Diplomarbeit
2005CodeSonar: Ein Plugin-basierter Regelinferierender Code-Browser
Schäfer, W.
: Rombach, H.D. (Prüfer); Rech, J. (Prüfer)
Diplomarbeit
2005Entwurf und Implementierung eines generischen CoBRA-Werkzeugs
Kläs, M.
: Rombach, H.D.; Münch, J.; Trendowicz, A.; Wickenkamp, A.
Bericht
2004Development of web services for collecting measurement data
Knieling, S.
: Rombach, H.D.; Heidrich, J.
Bericht
1997Wiederverwendbare Programmkomponenten mit Java
Knauber, P.
Konferenzbeitrag
1996Reviewing two Multimedia Presentation (quasi-) Standards
Rösch, P.; Baentsch, M.
Konferenzbeitrag