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
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