Victor Bandur

According to our database, Victor Bandur authored at least 16 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2024

Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles.

Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng

Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

SLIMECRAFT: State Learning for Client-Server Regression Analysis and Fault Testing.

Eric Lesiuta, Victor Bandur, Mark Lawford

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2023

Assurance Cases for Timing Properties of Automotive TSN Networks.

Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities.

Victor Bandur, Mark Lawford, Sébastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

An Automotive Architecture Product Line for E/E Powertrain Architectures.

Horacio Hoyos Rodriguez, Naveen Ganesh Muralidharan, Faezeh Siavashi, Vera Pantelic, Victor Bandur, Mark Lawford, Richard F. Paige

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Integrating Software Issue Tracking and Traceability Models.

Naveen Ganesh Muralidharan, Vera Pantelic, Victor Bandur, Richard F. Paige

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection.

Eric Lesiuta, Victor Bandur, Mark Lawford

Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022

2021

Making the Case for Centralized Automotive E/E Architectures.

Victor Bandur, Gehan M. K. Selim, Vera Pantelic, Mark Lawford

IEEE Trans. Veh. Technol., 2021

A Safety Architecture for Centralized E/E Architectures.

Victor Bandur, Vera Pantelic, Timofey Tomashevskiy, Mark Lawford

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2019

Code generation for distributed embedded systems with VDM-RT.

Miran Hasanagic, Tommaso Fabbri, Peter Gorm Larsen, Victor Bandur, Peter W. V. Tran-Jørgensen, Julien Ouy

Des. Autom. Embed. Syst., 2019

Something is Rotten in the State of Documenting Simulink Models.

Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

2015

Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic.

Victor Bandur, John Alexander McDermid

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

Unifying theories of logics with undefinedness.

Victor Bandur

PhD thesis, 2014

2013

Unifying Theories of Logic and Specification.

Victor Bandur, Jim Woodcock

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2012

Unifying Theories of Undefinedness in UTP.

Jim Woodcock, Victor Bandur

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.

Victor Bandur, Wolfram Kahl, Alan Wassyng

Proceedings of the Formal Methods for Industrial Critical Systems, 2012