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
Journal Article
2015Advanced test modelling and execution based on the international standardized techniques TTCN-3 and UTP
Rennoch, Axel; Wendland, Marc-Florian; Hoffmann, Andreas; Schneider, Martin
Conference Paper
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
Presentation
2015Reducing the verification effort for interfaces of automotive infotainment software
Drabek, Christian; Paulic, Annette; Weiß, Gereon
Report
2014Planetares Zusammenspiel
Zeller, Marc; Weiß, Gereon
Journal Article
2013Behavioral fuzzing operators for UML sequence diagrams
Schneider, M.; Großmann, J.; Tcholtchev, N.; Schieferdecker, I.; Pietschker, A.
Conference Paper
2013Control flow analysis of automotive software components using model-based specifications of dynamic behavior
Pramsohler, Thomas; Kafkas, Mahmut; Paulic, Annette; Zeller, Marc; Baumgarten, Uwe
Conference Paper, Journal Article
2013Fokus!MBT - a multi-paradigmatic test modeling environment
Wendland, Marc-Florian; Hoffmann, Andreas; Schieferdecker, Ina
Conference Paper
2013Integrated timing analysis in the model-driven design of automotive systems
Oliveira da Penha, Dulcineia; Weiss, Gereon
Conference Paper
2013Interface verification using executable reference models: An application in the automotive infotainment
Drabek, Christian; Pramsohler, Thomas; Zeller, Marc; Weiß, Gereon
Conference Paper
2013Modellbasierte Absicherung von GENIVI-Schnittstellen
Meyer, Daniel; Drabek, Christian; Weiß, Gereon; Zeller, Marc
Journal Article
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.
Book Article
2010Analyse von Modellierungsverfahren zur Testfallgenerierung
Liedl, S.
: Kraas, A.
Master Thesis
2010Entwicklung und Erprobung innovativer Technologien des modellbasierten Tests
: Schieferdecker, I.
Report
2010Establishing a service-oriented tool chain for the development of domain-independent MBT scenarios
Wendland, M.-F.; Großmann, J.; Hoffmann, A.
Conference Paper
2009Automotive Software Engineering
Farkas, T.
Conference Paper
2009Integration of UML with simulink into embedded software engineering
Farkas, T.; Meiseki, E.; Neumann, C.; Okano, K.; Hinnerichs, A.; Kamiya, S.
Conference Paper
2009An integrative approach for embedded software design with UML and Simulink
Farkas, T.; Hinnerichs, A.; Neumann, C.
Conference Paper
2008SEMIC.EU
Adametz, H.; Bittins, S.; Gottschick, J.
Conference Paper
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.
Conference Paper
2003A business process-driven approach to security engineering
Mana, A.; Montenegro, J.A.; Rudolph, C.; Vivas, J.L.
Conference Paper
2000Case Study Production Automation
Westkämper, E.; Schaeffer, C.; Braatz, A.
Book Article
2000Precise Semantics of Integrated Modeling Languages by Formal Metamodeling
Geisler, R.; Klar, M.; Mann, S.
Conference Paper
1999Generalizing Perspective-based Inspection to handle Object-Oriented Development Artifacts
Laitenberger, O.; Atkinson, C.
Conference Paper
1998Generalizing Perspective-based Inspection to handle Object-Oriented Development Artifacts
Laitenberger, O.; Atkinson, C.
Report
1998A metamodel for object-oriented statecharts
Mann, S.; Klar, M.
Conference Paper
1997Metainformation im Bereich Umwelt- und Geoinformationssysteme: Eine Modellierungsstudie
Busse, S.; Kutsche, R.-D.; Schöning, C.
Book