| | |
---|
2020 | Flexilient End-to-End Architectures Drabek, Christian; Kosmalska, Anna : Friedmann, Miriam (Ed.) | Report |
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 |