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 | 101 | 2021 |
A domain-centralized automotive powertrain E/E architecture V Bandur, V Pantelic, M Dawson, A Schaap, B Wasacz, M Lawford SAE Technical Paper, 2021 | 14 | 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 |
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 |
Aspects of migrating from decentralized to centralized E/E architectures V Bandur, R Kapinski, V Pantelic, M Lawford, B Wasacz SAE Technical Paper, 2022 | 8 | 2022 |
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 | 8 | 2021 |
Unifying theories of undefinedness in UTP J Woodcock, V Bandur International Symposium on Unifying Theories of Programming, 1-22, 2012 | 8 | 2012 |
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 |
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 |
Integrating Software Issue Tracking and Traceability Models NG Muralidharan, V Pantelic, V Bandur, R Paige 2022 IEEE International Conference on Software Maintenance and Evolution …, 2022 | 1 | 2022 |
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 |