Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Performance-Verifikation von Netzwerkarchitekturen eingebetteter Systeme unter Berücksichtigung von Laufzeitvariabilität
Manderscheid, Martin
: Knorr, Rudi (erster Gutachter); Bauer, Bernhard (zweiter Gutachter)
Dissertation
2016Enabling functional integration testing by using heterogeneous models
Bauer, Thomas
: Rombach, D.; Bomarius, F.; Liggesmeyer, P.
Dissertation
2015Bewertung des Kommunikationsverhaltens eingebetteter Systeme mit Hilfe selbstlernender Verfahren
Langer, Falk
: Knorr, Rudi (Erstgutachter); Knapp, Alexander (Zweitgutachter)
Dissertation
2015ERNEST deckt Fehler schon in der Entwicklungsphase auf
Paulic, Annette
Zeitschriftenaufsatz
2015Verlässliche Kommunikation als Basis für adaptive Systeme
Knorr, Rudi
Zeitschriftenaufsatz
2014Planetares Zusammenspiel
Zeller, Marc; Weiß, Gereon
Zeitschriftenaufsatz
2011Frühe Validierung nicht funktionaler Eigenschaften
Kamphausen, B.; Stante, A.; Weiß, G.
Konferenzbeitrag
2011Multi-staged virtualization for embedded systems
Horst, Oliver; Prehofer, Christian
Vortrag
2010Model maturity levels for embedded systems development, or: Working with warnings
Große-Rhode, M.
Konferenzbeitrag
2009Entwicklung piezokeramischer Laminate und Fasern für die Integration in Leichtbaustrukturen
Flössel, M.; Scheithauer, U.; Gebhardt, S.; Schönecker, A.; Michaelis, A.
Konferenzbeitrag
2008Architekturzentriertes Variantenmanagement für eingebettete Systeme
Große-Rhode, M.
Bericht
2008Steuerung einer mobilen Roboterplattform mit einem vorgegebenen eingebetteten System und Echtzeitbetriebssystem
Probst, C.
Diplomarbeit
2006Requirements Engineering für Software-Produktlinien eingebetteter, technischer Systeme
Kolagari, R.T.
Dissertation
2005Systematische Absicherungsmaßnahmen in der SW-Entwicklung
Große-Rhode, M.
Zeitschriftenaufsatz
2003Das Quality Gate-Konzept. Entwicklungsprojekte softwareintensiver Systeme verlässlich planen, synchronisieren und absichern
Pfeifer, T.; Schmidt, R.
Zeitschriftenaufsatz
1997Fehlermodell und Sicherheitsanalysen bei der Anforderungsspezifikation
Kelling, C.; Mackenthun, R.
Bericht
1996MySZ. Ein Ansatz zur systematischen Verbindung von Z und Statecharts
Klar, M.; Büssow, R.; Dörr, H.; Geisler, R.; Grieskamp, W.
Bericht