| 2026 | VEHITS | Enhancing Functional Reliability of Autonomous Vehicle Safety Monitoring in Curves. | Junnan Pan, Mohak Mansharamani, Prodromos Sotiriadis, Vladislav Nenchev, Ferdinand Englberger |
| 2025 | CoDIT | A Comprehensive Safety Analysis for Tracking Neural Controllers. | Vladislav Nenchev |
| 2025 | RV | Monitoring Progress and Failure in Autonomous Robot Navigation: A Case Study. | Vladislav Nenchev, Prodromos Sotiriadis |
| 2024 | FM | Code-Level Safety Verification for Automated Driving: A Case Study. | Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu |
| 2023 | CoDIT | Analytical Safety Bounds for Trajectory Following Controllers in Autonomous Vehicles. | Robert Jacumet, Christian Rathgeber, Vladislav Nenchev |
| 2014 | DAS | Flexible Noisy Text Correction. | Andrey Sariev, Vladislav Nenchev, Stefan Gerdjikov, Petar Mitankin, Hristo Ganchev, Stoyan Mihov, Tinko Tinchev |
| 2013 | ICDAR | Extraction of Spelling Variations from Language Structure for Noisy Text Correction. | Stefan Gerdjikov, Stoyan Mihov, Vladislav Nenchev |
| 2013 | RANLP | Realization of common statistical methods in computational linguistics with functional automata. | Stefan Gerdjikov, Petar Mitankin, Vladislav Nenchev |