| 2024 | COMPSAC | SLIMECRAFT: State Learning for Client-Server Regression Analysis and Fault Testing. | Eric Lesiuta, Victor Bandur, Mark Lawford |
| 2024 | MODELS | Towards Model Product Lines: Composition of EMF Models. | Horacio Hoyos Rodriguez, Victor Bandur, Vera Pantelic, Mark Lawford, Richard F. Paige |
| 2023 | MODELS | 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 |
| 2023 | SAFECOMP | Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. | Victor Bandur, Mark Lawford, Sbastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng |
| 2023 | SAFECOMP | Assurance Cases for Timing Properties of Automotive TSN Networks. | Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford |
| 2022 | ESORICS | SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection. | Eric Lesiuta, Victor Bandur, Mark Lawford |
| 2021 | DSN | A Safety Architecture for Centralized E/E Architectures. | Victor Bandur, Vera Pantelic, Timofey Tomashevskiy, Mark Lawford |
| 2019 | MODELSWARD | Something is Rotten in the State of Documenting Simulink Models. | Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford |
| 2015 | SAFECOMP | Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic. | Victor Bandur, John Alexander McDermid |
| 2012 | FMICS | Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. | Victor Bandur, Wolfram Kahl, Alan Wassyng |