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

Konferenzbeitrag / Conference Paper

Englberger, Ferdinand; Latzel, Thomas; Sotiriadis, Prodromos:
An Autonomous Robot for Embedded Systems and Robotics
, Piscataway
. In: 2018 12th European Workshop on Microelectronics Education (EWME),
2019

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

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
. - S. 730-735

Konferenzbeitrag / Conference Paper

Hans, Christian A.; Nenchev, Vladislav; Raisch, Jörg; Reincke-Collon, Carsten:
Approximate closed-loop minimax model predictive operation control of microgrids
, Piscataway, NJ
, IEEE
. In: 2015 European Control Conference (ECC),
2015
. - S. 241-246

Konferenzbeitrag / Conference Paper

Nenchev, Vladislav:
Automated behavior modeling for verifying safety-relevant modules
, Piscataway, NJ
, IEEE
. In: 2021 Fifth IEEE International Conference on Robotic Computing (IRC),
2022
. - S. 92-95

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
. - S. 555-560

Konferenzbeitrag / Conference Paper

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

Konferenzbeitrag / Conference Paper

Pan, Junnan; Sotiriadis, Prodromos; Englberger, Ferdinand:
Collision Avoidance of Autonomous Driving at Low Speed in the Near Field of Vehicle
. In: International Journal of Emerging Engineering and Technology (IJEET),
2.
2023
, 1
. - S. 57-62

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
. - S. 112499

Zeitschriftenartikel / Journal Article

Bajcinca, Naim; Kouhi, Yashar; Nenchev, Vladislav; Raisch, Jörg:
Decentralized set-valued state estimation based on non-deterministic chains
, Piscataway, NJ
, IEEE
. In: 2011 XXIII International Symposium on Information, Communication and Automation Technologies,
2011
. - S. 1-6

Konferenzbeitrag / Conference Paper

Raisch, Jörg; Moor, Thomas; Bajcinca, Naim; Geist, Stephanie; Nenchev, Vladislav:
Distributed State Estimation for Hybrid and Discrete Event Systems Using l-Complete Approximations
. In: IFAC Proceedings Volumes,
2010
. - S. 129-134

Konferenzbeitrag / Conference Paper

Nenchev, Vladislav; Cassandras, Christos G.; Raisch, Jörg:
Event-driven optimal control for a robotic exploration, pick-up and delivery problem
. In: Nonlinear Analysis: Hybrid Systems,
30.
2018
. - S. 266-284

Zeitschriftenartikel / Journal Article

Sprang, Florian; Latzel, Thomas; Englberger, Ferdinand:
FPGA and Risc-V Integration in Eelectrical Engeineerings Curriculum
. In: ICERI 2024 Proceedings,
2024
. - S. 2560-2568

Konferenzbeitrag / Conference Paper

Englberger, Ferdinand:
Festkomma-Arithmetik – einfacher als man glaubt
. In: Embedded Software Engineering Kongress 2018,
2018

Konferenzbeitrag / Conference Paper

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

Patent

Englberger, Ferdinand:
HAL-Bibliotheken und Programmgeneratoren für Deeply Embedded Systeme
, Würzburg
, ELEKTRONIKPRAXIS, Vogel Communications Group
. In: Tagungsband. Embedded Software Engineering Kongress 2019,
2019
. - S. 240-247

Konferenzbeitrag / Conference Paper

Englberger, Ferdinand:
Implementierung von DSP-Algorithmen
, Würzburg
, ELEKTRONIKPRAXIS
. In: Tagungsband Embedded Software Engineering Kongress 2012,
2012
. - S. 330-336

Konferenzbeitrag / Conference Paper

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

Pan, Junnan; Sotiriadis, Prodromos; Englberger, Ferdinand:
Independent Near-Field Monitoring: A Novel Approach to Improve Active Safety in Autonomous Vehicles
, Piscataway, N.J.
, IEEE
. In: 2024 IEEE Intelligent Vehicles Symposium (IV),
2024
. - S. 730-736

Konferenzbeitrag / Conference Paper