| | |
|---|
| 2018 | Resumption of runtime verification monitors: Method, approach and application
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard | Journal Article |
| 2017 | Absicherung vernetzter IoT-Funktionen mit selbstlernenden Modellen
Weiß, Gereon; Drabek, Christian | Presentation |
| 2017 | DANA - Description and Analysis of Networked Applications
Drabek, Christian; Weiß, Gereon | Conference Paper |
| 2017 | Generic management of availability in fail-operational automotive systems
Schleiß, Philipp; Drabek, Christian; Weiß, Gereon; Bauer, Bernhard | Conference Paper |
| 2017 | Method for automatic resumption of runtime verification monitors
Drabek, Christian; Weiß, Gereon; Bauer, Bernhard | Conference Paper |
| 2017 | Safe adaptation for reliable and energy-efficient E/E architectures
Weiß, Gereon; Schleiß, Philipp; Drabek, Christian; Ruiz, Alejandra; Radermacher, Ansgar | Book Article |
| 2016 | Absicherung von komplexen Software-Komponenten vernetzter Fahrzeuge
Weiß, Gereon; Drabek, Christian | Conference Paper |
| 2016 | Ausfallsichere E/E-Architektur für hochautomatisierte Fahrfunktionen
Weiß, Gereon; Schleiß, Philipp; Drabek, Christian | Journal Article |
| 2016 | Ausfallsicherheit mit AUTOSAR: Ressourcen neu verteilen
Schleiß, Philipp; Drabek, Christian; Weiß, Gereon | Journal Article |
| 2016 | Towards flexible and dependable E/E-architectures for future vehicles
Weiß, Gereon; Schleiß, Philipp; Drabek, Christian | Conference Paper |
| 2015 | DANA - behavioral verification of automotive infotainment software-interfaces
Drabek, Christian | Presentation |
| 2015 | Reducing the verification effort for interfaces of automotive infotainment software
Drabek, Christian; Paulic, Annette; Weiß, Gereon | Report |
| 2013 | Bessere Softwaremodelle mit einem Richtlinien-Katalog
Drabek, Christian; Weiß, Gereon | Journal Article |
| 2013 | Interface verification using executable reference models: An application in the automotive infotainment
Drabek, Christian; Pramsohler, Thomas; Zeller, Marc; Weiß, Gereon | Conference Paper |
| 2013 | Modellbasierte Absicherung von GENIVI-Schnittstellen
Meyer, Daniel; Drabek, Christian; Weiß, Gereon; Zeller, Marc | Journal Article |