Victor Bandur

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 12

Top Venues

SAFECOMP Workshops

CoRR

DSN Workshops

IEEE Trans. Veh. Technol.

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. CoRR (2024)
Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. IV (2024)
Horacio Hoyos Rodriguez, Naveen Ganesh Muralidharan, Faezeh Siavashi, Vera Pantelic, Victor Bandur, Mark Lawford, Richard F. Paige
An Automotive Architecture Product Line for E/E Powertrain Architectures. MoDELS (Companion) (2023)
Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford
Assurance Cases for Timing Properties of Automotive TSN Networks. SAFECOMP Workshops (2023)
Victor Bandur, Mark Lawford, Sébastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. SAFECOMP Workshops (2023)
Eric Lesiuta, Victor Bandur, Mark Lawford
SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS (2022)
Naveen Ganesh Muralidharan, Vera Pantelic, Victor Bandur, Richard F. Paige
Integrating Software Issue Tracking and Traceability Models. ICSME (2022)
Victor Bandur, Vera Pantelic, Timofey Tomashevskiy, Mark Lawford
A Safety Architecture for Centralized E/E Architectures. DSN Workshops (2021)
Victor Bandur, Gehan M. K. Selim, Vera Pantelic, Mark Lawford
Making the Case for Centralized Automotive E/E Architectures. IEEE Trans. Veh. Technol. 70 (2) (2021)
Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford
Something is Rotten in the State of Documenting Simulink Models. MODELSWARD (2019)
Miran Hasanagic, Tommaso Fabbri, Peter Gorm Larsen, Victor Bandur, Peter W. V. Tran-Jørgensen, Julien Ouy
Code generation for distributed embedded systems with VDM-RT. Des. Autom. Embed. Syst. 23 (3-4) (2019)
Victor Bandur, John McDermid
Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic. SAFECOMP Workshops (2015)
Victor Bandur, Jim Woodcock
Unifying Theories of Logic and Specification. SBMF (2013)
Jim Woodcock, Victor Bandur
Unifying Theories of Undefinedness in UTP. UTP (2012)
Victor Bandur, Wolfram Kahl, Alan Wassyng
Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. FMICS (2012)

Victor Bandur.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Victor Bandur