Vladislav Nenchev

35 papers A 1B 2C 2Misc 1Journal 13Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	A Comprehensive Safety Analysis for Tracking Neural Controllers. CoDIT Vladislav Nenchev
2025	J	`jnl`	Compositional code-level safety verification for automated driving controllers. J. Syst. Softw. Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu
2025	—	`conf`	Improving Functional Reliability of Near-Field Monitoring for Emergency Braking in Autonomous Vehicles. ITSC Junnan Pan, Prodromos Sotiriadis, Vladislav Nenchev, Ferdinand Englberger
2025	J	`jnl`	Improving Functional Reliability of Near-Field Monitoring for Emergency Braking in Autonomous Vehicles. CoRR Junnan Pan, Prodromos Sotiriadis, Vladislav Nenchev, Ferdinand Englberger
2025	B	`conf`	Monitoring Progress and Failure in Autonomous Robot Navigation: A Case Study. RV Vladislav Nenchev, Prodromos Sotiriadis
2025	—	`conf`	One Stack, Diverse Vehicles: Checking Safe Portability of Automated Driving Software. SII Vladislav Nenchev
2025	J	`jnl`	One Stack, Diverse Vehicles: Checking Safe Portability of Automated Driving Software. CoRR Vladislav Nenchev
2025	J	`jnl`	Parameter Tuning Under Uncertain Road Perception in Driver Assistance Systems. CoRR Leon Greiser, Christian Rathgeber, Vladislav Nenchev, Sören Hohmann
2025	—	`conf`	Trajectory Planning for Automated Driving using Target Funnels. ECC Benjamin Bogenberger, Johannes Bürger, Vladislav Nenchev
2025	J	`jnl`	Trajectory Planning for Automated Driving using Target Funnels. CoRR Benjamin Bogenberger, Johannes Bürger, Vladislav Nenchev
2024	—	`conf`	Automatic Parameter Tuning of Self-Driving Vehicles. CCTA Hung-Ju Wu, Vladislav Nenchev, Christian Rathgeber
2024	J	`jnl`	Automatic Parameter Tuning of Self-Driving Vehicles. CoRR Hung-Ju Wu, Vladislav Nenchev, Christian Rathgeber
2024	—	`conf`	Code-Level Safety Verification for Automated Driving: A Case Study. FM (2) Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu
2024	—	`conf`	Optimizing Energy-Efficient Braking Trajectories with Anticipatory Road Data for Automated Vehicles. ECC Andres Alvarez Prado, Vladislav Nenchev, Christian Rathgeber
2024	J	`jnl`	Optimizing Energy-Efficient Braking Trajectories with Anticipatory Road Data for Automated Vehicles. CoRR Andres Alvarez Prado, Vladislav Nenchev, Christian Rathgeber
2023	C	`conf`	Analytical Safety Bounds for Trajectory Following Controllers in Autonomous Vehicles. CoDIT Robert Jacumet, Christian Rathgeber, Vladislav Nenchev
2023	J	`jnl`	Analytical Safety Bounds for Trajectory Following Controllers in Autonomous Vehicles. CoRR Robert Jacumet, Christian Rathgeber, Vladislav Nenchev
2023	J	`jnl`	Model checking embedded adaptive cruise controllers. Robotics Auton. Syst. Vladislav Nenchev
2021	—	`conf`	Automated behavior modeling for verifying safety-relevant modules. IRC Vladislav Nenchev
2021	J	`jnl`	Learning to falsify automated driving vehicles with prior knowledge. CoRR Andrea Favrin, Vladislav Nenchev, Angelo Cenedese
2018	J	`jnl`	Automatic requirements extraction, analysis, and graph representation using an approach derived from computational linguistics. Syst. Eng. Faisal Mokammel, Eric Coatanéa, Joonas Coatanéa, Vladislav Nenchev, Eric Blanco, Matti Pietola
2016	J	`jnl`	Optimal control for a robotic exploration, pick-up and delivery problem. CoRR Vladislav Nenchev, Christos G. Cassandras, Jörg Raisch
2016	—	`conf`	Receding horizon robot control in partially unknown environments with temporal logic constraints. ECC Vladislav Nenchev, Calin Belta
2015	—	`conf`	Approximate closed-loop minimax model predictive operation control of microgrids. ECC Christian A. Hans, Vladislav Nenchev, Jörg Raisch, Carsten Reincke-Collon
2015	—	`conf`	Optimal adaptive predictive control of a combustion engine. ECC Vladislav Nenchev, Christian A. Hans
2015	—	`conf`	Optimal exploration and control for a robotic pick-up and delivery problem in two dimensions. CDC Vladislav Nenchev, Christos G. Cassandras
2015	—	`conf`	Optimal motion planning with temporal logic and switching constraints. ECC Vladislav Nenchev, Calin Belta, Jörg Raisch
2014	B	`conf`	Flexible Noisy Text Correction. Document Analysis Systems Andrey Sariev, Vladislav Nenchev, Stefan Gerdjikov, Petar Mitankin, Hristo Ganchev, Stoyan Mihov, Tinko Tinchev
2014	—	`conf`	Optimal exploration and control for a robotic pick-up and delivery problem. CDC Vladislav Nenchev, Christos G. Cassandras
2013	J	`jnl`	Decentralized set-valued state estimation based on non-deterministic chains CoRR Naim Bajçinca, Yashar Kouhi, Vladislav Nenchev, Jörg Raisch
2013	A	`conf`	Extraction of Spelling Variations from Language Structure for Noisy Text Correction. ICDAR Stefan Gerdjikov, Stoyan Mihov, Vladislav Nenchev
2013	Misc	`conf`	Realization of common statistical methods in computational linguistics with functional automata. RANLP Stefan Gerdjikov, Petar Mitankin, Vladislav Nenchev
2013	—	`conf`	Towards time-optimal exploration and control by an autonomous robot. MED Vladislav Nenchev, Jörg Raisch
2011	—	`conf`	Decentralized set-valued state estimation based on non-deterministic chains. ICAT Naim Bajçinca, Yashar Kouhi, Vladislav Nenchev, Jörg Raisch
2010	—	`conf`	Distributed state estimation for hybrid and discrete event systems using l-complete approximations. WODES Jörg Raisch, Thomas Moor, Naim Bajçinca, Stephanie Geist, Vladislav Nenchev