Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2021Factors affecting the calculation of wind power potentials: A case study of China
Franke, Katja; Sensfuß, Frank; Deac, Gerda; Kleinschmitt, Christoph; Ragwitz, Mario
Journal Article
2018Resumption of runtime verification monitors: Method, approach and application
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Journal Article
2017Method for automatic resumption of runtime verification monitors
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Conference Paper
2015Model-Based Commissioning of Systems and Processes
Pierschel, Norbert
Poster
2013DIAMONDS Security Testing Methodology
: Seehusen, Fredrik (Editor)
Report
2012DIAMONDS do IT with MODELS: Innovative security testing approaches
Schieferdecker, I.; Rennoch, A.; Großmann, J.
Journal Article
2012Initial methodologies for model-based security testing and risk-based security testing
: Seehusen, F. (Hrsg.); Menz, N. (Mitarb.); Viehmann, J. (Mitarb.); Erdogan, G. (Mitarb.); Stølen, K. (Mitarb.)
Report
2012Initial model-based security testing methods
: Wotawa, F. (Hrsg.); Tcholtchev, N. (Mitarb.) et al.
Report
2012Initial security test patterns catalogue
: Vouffo Feudjio, A.-G. (Editor)
Report
2012Initial security testing tools
: Mantere, M. (Hrsg.); Tcholtchev, N. (Mitarb.); Schneider, M. (Mitarb.) et al.
Report
2012Model-based validation of automotive infotainment functions using reference models
Paulic, Annette; Zeller, Marc; Weiss, Gereon; Eilers, Dirk
Conference Paper
2012Modellbasierte Validierung von Infotainment-Funktionen im Auto
Paulic, A.; Zeller, Marc; Weiß, Gereon; Eilers, Dirk
: Eilers, D. (Mitarb.)
Presentation
2012Security Testing
Rennoch, A.
Presentation
2011Concepts for model-based security testing
: Berger, Michael; Großmann, Jürgen; Hoffmann, Andreas; Marienfeld, Florian; Menz, Nadja; Schieferdecker, Ina; Schneider, Martin; Vouffo Feudjio, Alain-Georges et al.
Report
2011Review of security testing tools
Uusitalo, Ilkka
: Seehusen, Fredrik (Reviewer); Bourdelles, Michel (Reviewer); Großmann, Jürgen (Reviewer); Marienfeld, Florian (Reviewer)
Report
2011State of the art of methodologies for risk- and model-based security testing
: Seehusen, Frederik (Editor); Menz, N.; Rennoch, A.; Großmann, J.; Schieferdecker, I.
Report
1997Coded speckle-interferometric formtesting
Pfeifer, T.; Mischo, H.; Koch, S.; Evertz, J.
Conference Paper