Author of the publication

Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming.

, , and . VNC, page 1-4. IEEE, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Evaluation of feature selection for anomaly detection in automotive E/E architectures., , , , , , and . ICSE (Companion Volume), page 260-261. IEEE / ACM, (2019)Run-Time Safety Monitoring Framework for AI-Based Systems: Automated Driving Cases., , and . APSEC, page 442-449. IEEE, (2019)Enabling Context Prediction Architectures in Intelligent Vehicle Platforms (Ermöglichung kontextbezogener Vorhersagearchitekturen in intelligenten Fahrzeugplattformen). Technical University of Munich, Germany, (2022)Integration of Driver Behavior into Emotion Recognition Systems: A Preliminary Study on Steering Wheel and Vehicle Acceleration., , and . ACCV Workshops, volume 11367 of Lecture Notes in Computer Science, page 386-401. Springer, (2018)Context Prediction Architectures in Next Generation of Intelligent Cars., , , , , and . ITSC, page 2923-2930. IEEE, (2018)Anomaly Detection for Advanced Driver Assistance Systems Using Online Feature Selection., , , , , , and . IV, page 578-585. IEEE, (2019)A Flexible Scheduling Architecture of Resource Distribution Proposal for Autonomous Driving Platforms., , and . VEHITS, page 594-599. SCITEPRESS, (2021)A Framework for Safety Violation Identification and Assessment in Autonomous Driving., , , , and . AISafety@IJCAI, volume 2419 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Elastic Service Provision for Intelligent Vehicle Functions., , and . ITSC, page 3183-3190. IEEE, (2018)Identity Recognition in Intelligent Cars with Behavioral Data and LSTM-ResNet Classifier., , , and . CoRR, (2020)