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
2017Absicherung vernetzter IoT-Funktionen mit selbstlernenden Modellen
Weiß, Gereon; Drabek, Christian
Presentation
2017DANA - Description and Analysis of Networked Applications
Drabek, Christian; Weiß, Gereon
Conference Paper
2017Generic management of availability in fail-operational automotive systems
Schleiß, Philipp; Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Conference Paper
2017Method for automatic resumption of runtime verification monitors
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard
Conference Paper
2017Safe adaptation for reliable and energy-efficient E/E architectures
Weiß, Gereon; Schleiß, Philipp; Drabek, Christian; Ruiz, Alejandra; Radermacher, Ansgar
Book Article
2016Absicherung von komplexen Software-Komponenten vernetzter Fahrzeuge
Weiß, Gereon; Drabek, Christian
Conference Paper
2016Ausfallsichere E/E-Architektur für hochautomatisierte Fahrfunktionen
Weiß, Gereon; Schleiß, Philipp; Drabek, Christian
Journal Article
2016Ausfallsicherheit mit AUTOSAR: Ressourcen neu verteilen
Schleiß, Philipp; Drabek, Christian; Weiß, Gereon
Journal Article
2016Towards flexible and dependable E/E-architectures for future vehicles
Weiß, Gereon; Schleiß, Philipp; Drabek, Christian
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
2013Bessere Softwaremodelle mit einem Richtlinien-Katalog
Drabek, Christian; Weiß, Gereon
Journal Article
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