Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2016Variant management and reuse
Schaefer, Ina; Heuer, André; Jäger, Tobias; Kaufmann, Tobias; Manz, Christian; May, Reinhold; Reuter, Christian; Rumpe, Bernhard; Schlingloff, Holger; Schröck, Sebastian; Schulze, Christoph; Schulze, Michael; Weißleder, Stephan
Aufsatz in Buch
2015Systematic synthesis of delta modeling languages
Haber, A.; Hölldobler, K.; Kolassa, C.; Look, M.; Müller, K.; Rumpe, B.; Schaefer, I.; Schulze, C.
Zeitschriftenaufsatz
2012Digitizing and archiving of all information taken from rare blockbooks
Meinlschmidt, P.; Brantl, M.; Schäfer, I.; Wagner, B.; Bacher, R.; Märgner, V.
Konferenzbeitrag
2012Formal methods and analysis in software product line engineering
Beek, M.H. ter; Classen, A.; Schaefer, I.; Becker, M.; Roos-Frantz, F.; Wong, P.Y.H.
Konferenzbeitrag
2012Software diversity: State of the art and perspectives
Schäfer, Ina; Rabiser, Rick; Clarke, Dave; Bettini, Lorenzo; Benavides, David; Botterweck, Goetz; Pathak, Animesh; Trujillo, Salvador; Villela, Karina
Zeitschriftenaufsatz
20101st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010)
Schäfer, Ina; Becker, Martin; Carbon, Ralf; Apel, Sven
Konferenzbeitrag
2010Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
Adler, Rasmus; Schäfer, Ina; Trapp, Mario; Poetzsch-Heffter, Arnd
Zeitschriftenaufsatz
2007From model-based design to formal verification of adaptive embedded systems
Adler, Rasmus; Schäfer, Ina; Schüle, Tobias; Vecchié, Eric
Konferenzbeitrag
2001Instrumente der E-Loyalty für ein Geodaten-Portal
Schäfer, I.
: Jasnoch, U. (Prüfer)
Diplomarbeit