Yuvaraj Selvaraj

According to our database, Yuvaraj Selvaraj authored at least 9 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

On proving that an unsafe controller is not proven safe.

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian

J. Log. Algebraic Methods Program., February, 2024

2023

Formal Development of Safe Automated Driving Using Differential Dynamic Logic.

Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian

IEEE Trans. Intell. Veh., January, 2023

Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation.

Tom Philip Huck, Yuvaraj Selvaraj, Constantin Cronrath, Christoph Ledermann, Martin Fabian, Bengt Lennartson, Torsten Kröger

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases.

Jonas Krook, Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian

CoRR, 2022

On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic.

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian

Proceedings of the Formal Methods and Software Engineering, 2022

2020

Supervisory Control Theory in System Safety Analysis.

Yuvaraj Selvaraj, Zhennan Fei, Martin Fabian

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

Automatically learning formal models: an industrial case from autonomous driving development.

Yuvaraj Selvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Martin Fabian

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study.

Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

2017

Safe autonomous lane changes in dense traffic.

Rajashekar Chandra, Yuvaraj Selvaraj, Mattias Brännström, Roozbeh Kianfar, Nikolce Murgovski

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017