Victor Bandur

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