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
Journal Article
2017Method for automatic resumption of runtime verification monitors
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Conference Paper
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
2013Interface verification using executable reference models: An application in the automotive infotainment
Drabek, Christian; Pramsohler, Thomas; Zeller, Marc; Weiß, Gereon
Conference Paper
2009Intrusion detection system for denial-of-service flooding attacks in SIP communication networks
Ehlert, S.; Rebahi, Y.; Magedanz, T.
Journal Article
2008A new approach for modeling and verification of discrete control components within a modelica environment
Donath, U.; Haufe, J.; Blochwitz, T.; Neidhold, T.
Conference Paper
1996Rot-Gelb-Grün-Konfigurationen - ganz unpolitisch. Effektive Beschreibung von State Machines in VHDL.
Speitel, M.
Journal Article