Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Enabling the interoperability of the Modelica DSL and Matlab Simulink towards the development of self-adaptive dynamic systems
Tcholtchev, Nikolay; Dudeck, Grit; Wagner, Michael; Hein, Christian; Prakash, Arun; Ritter, Tom
Zeitschriftenaufsatz
2015Advanced test modelling and execution based on the international standardized techniques TTCN-3 and UTP
Rennoch, Axel; Wendland, Marc-Florian; Hoffmann, Andreas; Schneider, Martin
Konferenzbeitrag
2015Applying UML metrics for quality measurement of EAST-ADL models
Zinner, Matthias
: Tiedemann, Wolf-Dieter (Erstprüfer); Facchi, Christian (Prüfer); Stante, Alexander (Betreuer)
Bachelor Thesis
2015DANA - behavioral verification of automotive infotainment software-interfaces
Drabek, Christian
Vortrag
2015Reducing the verification effort for interfaces of automotive infotainment software
Drabek, Christian; Paulic, Annette; Weiß, Gereon
Bericht
2014Planetares Zusammenspiel
Zeller, Marc; Weiß, Gereon
Zeitschriftenaufsatz
2013Behavioral fuzzing operators for UML sequence diagrams
Schneider, M.; Großmann, J.; Tcholtchev, N.; Schieferdecker, I.; Pietschker, A.
Konferenzbeitrag
2013Control flow analysis of automotive software components using model-based specifications of dynamic behavior
Pramsohler, Thomas; Kafkas, Mahmut; Paulic, Annette; Zeller, Marc; Baumgarten, Uwe
Konferenzbeitrag, Zeitschriftenaufsatz
2013Fokus!MBT - a multi-paradigmatic test modeling environment
Wendland, Marc-Florian; Hoffmann, Andreas; Schieferdecker, Ina
Konferenzbeitrag
2013Integrated timing analysis in the model-driven design of automotive systems
Oliveira da Penha, Dulcineia; Weiss, Gereon
Konferenzbeitrag
2013Interface verification using executable reference models: An application in the automotive infotainment
Drabek, Christian; Pramsohler, Thomas; Zeller, Marc; Weiß, Gereon
Konferenzbeitrag
2013Modellbasierte Absicherung von GENIVI-Schnittstellen
Meyer, Daniel; Drabek, Christian; Weiß, Gereon; Zeller, Marc
Zeitschriftenaufsatz
2011Security patterns: Comparing modeling approaches
Nhlabatsi, A.; Bandara, A.; Hayashi, S.; Haley, C.B.; Jürjens, J.; Kaiya, H.; Kubo, A.; Laney, R.; Mouratidis, H.; Nuseibeh, B.; Tahara, Y.; Tun, T.T.; Washizaki, H.; Yoshioka, N.; Yu, Y.
Aufsatz in Buch
2010Analyse von Modellierungsverfahren zur Testfallgenerierung
Liedl, S.
: Kraas, A.
Master Thesis
2010Entwicklung und Erprobung innovativer Technologien des modellbasierten Tests
: Schieferdecker, I.
Bericht
2010Establishing a service-oriented tool chain for the development of domain-independent MBT scenarios
Wendland, M.-F.; Großmann, J.; Hoffmann, A.
Konferenzbeitrag
2009Automotive Software Engineering
Farkas, T.
Konferenzbeitrag
2009Integration of UML with simulink into embedded software engineering
Farkas, T.; Meiseki, E.; Neumann, C.; Okano, K.; Hinnerichs, A.; Kamiya, S.
Konferenzbeitrag
2009An integrative approach for embedded software design with UML and Simulink
Farkas, T.; Hinnerichs, A.; Neumann, C.
Konferenzbeitrag
2008SEMIC.EU
Adametz, H.; Bittins, S.; Gottschick, J.
Konferenzbeitrag
2006An approach to model-driven testing
Dai, Z.R.
Dissertation
2006Model transformers for test generation from system models
Busch, M.; Chaparazda, R.; Dai, Z.R.; Ogawa, H.; Hoffmann, A.; Lacmene, L.; Ngwangwen, T.; Ndem, G.C.; Serbanescu, D.; Schieferdecker, I.; Zander-Nowicka, J.
Konferenzbeitrag
2003A business process-driven approach to security engineering
Mana, A.; Montenegro, J.A.; Rudolph, C.; Vivas, J.L.
Konferenzbeitrag
2000Case Study Production Automation
Westkämper, E.; Schaeffer, C.; Braatz, A.
Aufsatz in Buch
2000Precise Semantics of Integrated Modeling Languages by Formal Metamodeling
Geisler, R.; Klar, M.; Mann, S.
Konferenzbeitrag
1999Generalizing Perspective-based Inspection to handle Object-Oriented Development Artifacts
Laitenberger, O.; Atkinson, C.
Konferenzbeitrag
1998Generalizing Perspective-based Inspection to handle Object-Oriented Development Artifacts
Laitenberger, O.; Atkinson, C.
Bericht
1998A metamodel for object-oriented statecharts
Mann, S.; Klar, M.
Konferenzbeitrag
1997Metainformation im Bereich Umwelt- und Geoinformationssysteme: Eine Modellierungsstudie
Busse, S.; Kutsche, R.-D.; Schöning, C.
Buch