Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Resumption of runtime verification monitors: Method, approach and application
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Zeitschriftenaufsatz
2017Method for automatic resumption of runtime verification monitors
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Konferenzbeitrag
2015Model-Based Commissioning of Systems and Processes
Pierschel, Norbert
Poster
2013DIAMONDS Security Testing Methodology
: Seehusen, Fredrik (Ed.)
Bericht
2012DIAMONDS do IT with MODELS: Innovative security testing approaches
Schieferdecker, I.; Rennoch, A.; Großmann, J.
Zeitschriftenaufsatz
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.)
Bericht
2012Initial model-based security testing methods
: Wotawa, F. (Hrsg.); Tcholtchev, N. (Mitarb.) et al.
Bericht
2012Initial security test patterns catalogue
: Vouffo Feudjio, A.-G. (Ed.)
Bericht
2012Initial security testing tools
: Mantere, M. (Hrsg.); Tcholtchev, N. (Mitarb.); Schneider, M. (Mitarb.) et al.
Bericht
2012Model-based validation of automotive infotainment functions using reference models
Paulic, Annette; Zeller, Marc; Weiss, Gereon; Eilers, Dirk
Konferenzbeitrag
2012Modellbasierte Validierung von Infotainment-Funktionen im Auto
Paulic, A.; Zeller, Marc; Weiß, Gereon; Eilers, Dirk
: Eilers, D. (Mitarb.)
Vortrag
2012Security Testing
Rennoch, A.
Vortrag
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.
Bericht
2011Review of security testing tools
Uusitalo, Ilkka
: Seehusen, Fredrik (Reviewer); Bourdelles, Michel (Reviewer); Großmann, Jürgen (Reviewer); Marienfeld, Florian (Reviewer)
Bericht
2011State of the art of methodologies for risk- and model-based security testing
: Seehusen, Frederik (Ed.); Menz, N.; Rennoch, A.; Großmann, J.; Schieferdecker, I.
Bericht
1997Coded speckle-interferometric formtesting
Pfeifer, T.; Mischo, H.; Koch, S.; Evertz, J.
Konferenzbeitrag