| Making the case for centralized automotive E/E architectures V Bandur, G Selim, V Pantelic, M Lawford IEEE Transactions on Vehicular Technology 70 (2), 1230-1245, 2021 | 92 | 2021 |
| Integrated tool chain for model-based design of cyber-physical systems PG Larsen, C Thule, KG Lausdahl, V Bandur, C Gamble, E Brosse, ... The 14th Overture Workshop: Towards Analytical Tool Chains: Technical report …, 2016 | 13 | 2016 |
| A domain-centralized automotive powertrain E/E architecture V Bandur, V Pantelic, M Dawson, A Schaap, B Wasacz, M Lawford SAE Technical Paper, 2021 | 12 | 2021 |
| INTO-CPS tool chain user manual V Bandur, PG Larsen, K Lausdahl, C Thule, C Gamble, R Payne, A Pop, ... Aarhus Universiet, 2017 | 9 | 2017 |
| Code-generating VDM for embedded devices V Bandur, PWV Tran-Jørgensen, M Hasanagic, KG Lausdahl The 15th Overture Workshop: New Capabilities and Applications for Model …, 2017 | 9 | 2017 |
| Unifying theories of undefinedness in UTP J Woodcock, V Bandur International Symposium on Unifying Theories of Programming, 1-22, 2012 | 8 | 2012 |
| Aspects of migrating from decentralized to centralized E/E architectures V Bandur, R Kapinski, V Pantelic, M Lawford, B Wasacz SAE Technical Paper, 2022 | 7 | 2022 |
| Code generation for distributed embedded systems with VDM-RT M Hasanagić, T Fabbri, PG Larsen, V Bandur, P Tran-Jørgensen, J Ouy Design Automation for Embedded Systems 23, 153-177, 2019 | 7 | 2019 |
| Unifying theories of logic and specification V Bandur, J Woodcock Brazilian Symposium on Formal Methods, 18-33, 2013 | 7 | 2013 |
| Microcontroller assembly synthesis from timed automaton task specifications V Bandur, W Kahl, A Wassyng Formal Methods for Industrial Critical Systems: 17th International Workshop …, 2012 | 7 | 2012 |
| A safety architecture for centralized E/E architectures V Bandur, V Pantelic, T Tomashevskiy, M Lawford 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021 | 6 | 2021 |
| Something is Rotten in the State of Documenting Simulink Models. V Pantelic, A Schaap, A Wassyng, V Bandur, M Lawford MODELSWARD, 503-510, 2019 | 5 | 2019 |
| Towards integration of Overture into TASTE T Fabbri, M Verhoef, V Bandur, M Perrotin, T Tsiodras, PG Larsen The 14th Overture Workshop: Towards Analytical Tool Chains, 94-107, 2016 | 4 | 2016 |
| Informing assurance case review through a formal interpretation of GSN core logic V Bandur, J McDermid Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015 | 4 | 2015 |
| Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities V Bandur, M Lawford, S Mosser, RF Paige, V Pantelic, A Wassyng International Conference on Computer Safety, Reliability, and Security, 5-14, 2023 | 1 | 2023 |
| Tutorial for Overture/VDM-SL PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce, ... | 1 | 2015 |
| Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications V Bandur | 1 | 2008 |
| Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles S Ramdhan, W Trandinh, S Arulmohan, X Hu, S Deevy, V Bandur, ... arXiv preprint arXiv:2402.10226, 2024 | | 2024 |
| An Automotive Architecture Product Line for E/E Powertrain Architectures HH Rodriguez, NG Muralidharan, F Siavashi, V Pantelic, V Bandur, ... 2023 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2023 | | 2023 |
| Assurance Cases for Timing Properties of Automotive TSN Networks R Kapinski, V Pantelic, V Bandur, A Wassyng, M Lawford International Conference on Computer Safety, Reliability, and Security, 26-31, 2023 | | 2023 |
