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