Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. - Victor Bandur; Wolfram Kahl; Alan Wassyng (FMICS, 2012)

Unifying Theories of Undefinedness in UTP. - Jim Woodcock 001; Victor Bandur (UTP, 2012)

Unifying Theories of Logic and Specification. - Victor Bandur; Jim Woodcock 001 (SBMF, 2013)

Unifying theories of logics with undefinedness. - Victor Bandur (2014)

Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic. - Victor Bandur; John Alexander McDermid (SAFECOMP Workshops, 2015)

Something is Rotten in the State of Documenting Simulink Models. - Vera Pantelic; Alexander Schaap; Alan Wassyng; Victor Bandur; Mark Lawford (MODELSWARD, 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)

A Safety Architecture for Centralized E/E Architectures. - Victor Bandur; Vera Pantelic; Timofey Tomashevskiy; Mark Lawford (DSN Workshops, 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)

SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection. - Eric Lesiuta; Victor Bandur; Mark Lawford (CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, 2022)

Integrating Software Issue Tracking and Traceability Models. - Naveen Ganesh Muralidharan; Vera Pantelic; Victor Bandur; Richard F. Paige (ICSME, 2022)

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 (MoDELS (Companion), 2023)

Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. - Victor Bandur; Mark Lawford; Sébastien Mosser 001; Richard F. Paige; Vera Pantelic; Alan Wassyng (SAFECOMP Workshops, 2023)

Assurance Cases for Timing Properties of Automotive TSN Networks. - Ryan Kapinski; Vera Pantelic; Victor Bandur; Alan Wassyng; Mark Lawford (SAFECOMP Workshops, 2023)

SLIMECRAFT: State Learning for Client-Server Regression Analysis and Fault Testing. - Eric Lesiuta; Victor Bandur; Mark Lawford (COMPSAC, 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 (IV, 2024)

Towards Model Product Lines: Composition of EMF Models. - Horacio Hoyos Rodriguez; Victor Bandur; Vera Pantelic; Mark Lawford; Richard F. Paige (MoDELS (Companion), 2024)