Greiser, Leon; Rathgeber, Christian; Nenchev, Vladislav; Hohmann, Sören:
Bilevel Inverse Optimal Control for Lane-Change Costs in Automated Driving
, Piscataway, NJ
, IEEE
. In: 2026 12th International Conference on Control, Decision and Information Technologies (CoDIT),
2026
. - p. 2814-2819

Konferenzbeitrag / Conference Paper

Nenchev, Vladislav:
Incremental Invariant-Based Safety Verification of Neural Controllers
, Cham
, Springer
. In: AI Verification,
2026
. - p. 212-231

Konferenzbeitrag / Conference Paper

Nenchev, Vladislav:
Preview-aware safety verification of neural tracking controllers for dynamical systems
, Springer
. In: International Journal of Dynamics and Control,
2026

Zeitschriftenartikel / Journal Article

Sprang, Florian; Korb, Matthias; Latzel, Thomas:
Empowering Students through RISC-V CPU Design
, Piscataway, NJ
, IEEE
. In: 2026 IEEE Global Engineering Education Conference (EDUCON),
2026
. - p. 1-9

Konferenzbeitrag / Conference Paper

Pan, Junnan; Mansharamani, Mohak; Sotiriadis, Prodromos; Nenchev, Vladislav; Englberger, Ferdinand:
Enhancing Functional Reliability of Autonomous Vehicle Safety Monitoring in Curves
. In: Proceedings of the 12th International Conference on Vehicle Technology and Intelligent Transport Systems,
2026

Konferenzband / Conference Publication

Pan, Junnan; Sotiriadis, Prodromos; Nenchev, Vladislav; Englberger, Ferdinand:
Improving Functional Reliability of Near-Field Monitoring for Emergency Braking in Autonomous Vehicles
, Piscataway, NJ
, IEEE
2025

Konferenzbeitrag / Conference Paper

Sprang, Florian; Hanschmann, Alexander; Korb, Matthias; Latzel, Thomas:
An Open-Source Multi-Tenant FPGA Framework for Small Cloud-Like Environments
2026

Konferenzbeitrag / Conference Paper

Nenchev, Vladislav:
A Comprehensive Safety Analysis for Tracking Neural Controllers
, Piscataway, NJ
, IEEE
2026

Konferenzbeitrag / Conference Paper

Nenchev, Vladislav; Sotiriadis, Prodromos:
Monitoring Progress and Failure in Autonomous Robot Navigation: A Case Study
, Cham
, Springer
2026
. - p. 317-335

Konferenzbeitrag / Conference Paper

Bogenberger, Benjamin; Bürger, Johannes; Nenchev, Vladislav:
Trajectory Planning for Automated Driving using Target Funnels
. In: 2025 European Control Conference (ECC),
2025
. - p. 2261-2266

Konferenzbeitrag / Conference Paper

Leon Greiser; Christian Rathgeber; Vladislav Nenchev; Sören Hohmann:
Parameter Tuning Under Uncertain Road Perception in Driver Assistance Systems
. In: IFAC-PapersOnLine,
59.
2025
, 26
. - p. 329-334

Zeitschriftenartikel / Journal Article

Nenchev, Vladislav; Imrie, Calum: Gerasimou, Simos; Calinescu, Radu :
Compositional code-level safety verification for automated driving controllers
. In: Journal of Systems and Software,
2025
. - p. 112499

Zeitschriftenartikel / Journal Article

Nenchev, Vladislav:
One Stack, Diverse Vehicles: Checking Safe Portability of Automated Driving Software
2025
. - p. 764-769

Konferenzbeitrag / Conference Paper

Lefebvre, Matthieu; Nenchev, Vladislav; Rathgeber, Christian; Habermeier, Michael
[Bayerische Motoren Werke Aktiengesellschaft]:
Steuerung eines Kraftfahrzeugs
; (DE102020109248). -
07.10.2021

Patent

Nenchev, Vladislav
[Bayerische Motoren Werke Aktiengesellschaft]:
Formale Verifikation eines Programms eines Steuergeräts
; (DE102021101876). -
28.07.2022

Patent

Nenchev, Vladislav; Baur, Immanuel; Bierling, Thomas
[Bayerische Motoren Werke Aktiengesellschaft]:
Verfahren und Steuereinheit zur Führung eines Fahrzeugs
= Method and control unit for guiding a vehicle
; (DE102018125250). -
16.04.2020

Patent

Nenchev, Vladislav:
Optimal control of mobile robots in partially unknown environments
, Berlin
2018

Dissertation / Thesis

Nenchev, Vladislav; Imrie, Calum; Gerasimou, Simos; Calinescu, Radu:
Code-level Safety Verification for Automated Driving: A Case Study
, Cham
, Springer
. In: Formal Methods,
2024
. - p. 356-372

Konferenzbeitrag / Conference Paper

Wu, Hung-Ju; Nenchev, Vladislav; Rathgeber, Christian:
Automatic Parameter Tuning of Self-Driving Vehicles
, Piscataway, NJ
, IEEE
. In: 2024 IEEE Conference on Control Technology and Applications (CCTA),
2024
. - p. 555-560

Konferenzbeitrag / Conference Paper

Jacumet, Robert; Rathgeber, Christian; Nenchev, Vladislav:
Analytical Safety Bounds for Trajectory Following Controllers in Autonomous Vehicles
, Piscataway, NJ
, IEEE
. In: 2023 9th International Conference on Control, Decision and Information Technologies (CoDIT),
2023
. - p. 730-735

Konferenzbeitrag / Conference Paper