Victor Bandur
Orcid: 0000-0002-5830-7924
According to our database1,
Victor Bandur
authored at least 15 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024
2023
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
2022
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.
Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022
2021
IEEE Trans. Veh. Technol., 2021
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021
2019
Des. Autom. Embed. Syst., 2019
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019
2015
Proceedings of the Computer Safety, Reliability, and Security, 2015
2014
2013
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013
2012
Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012
Proceedings of the Formal Methods for Industrial Critical Systems, 2012