Accepted papers at JSS, RV, J3C and ITSC!

Our paper "Compositional code-level safety verification for automated driving controllers" will be published in the Journal of Software and Systems (JSS)!

Our paper "Monitoring Progress and Failure in Autonomous Robot Navigation: A Case Study" will be presented at the 25th International Conference on Runtime Verification (RV'25) in Graz, Austria!

Our paper "Parameter Tuning Under Uncertain Road Perception in Driver Assistance Systems" will be presented at the IFAC Joint Conference on Computers, Cognition and Communication (J3C'25) in Padova, Italy!

Our paper "Improving Functional Reliability of Near-Field Monitoring for Emergency Braking in Autonomous Vehicles" will be presented at the IEEE International Conference on Intelligent Transportation Systems (ITSC'25) in Gold Coast, Australia!