Probabilistic Time Petri Nets. - Yrvann Emzivat; Benoît Delahaye; Didier Lime; Olivier H. Roux (Petri Nets, 2016)

Adaptability of automated driving systems to the hazardous nature of road networks. - Yrvann Emzivat; Javier Ibañez-Guzmán; Philippe Martinet; Olivier H. Roux (ITSC, 2017)

Dynamic driving task fallback for an automated driving system whose ability to monitor the driving environment has been compromised. - Yrvann Emzivat; Javier Ibañez-Guzmán; Philippe Martinet; Olivier H. Roux (Intelligent Vehicles Symposium, 2017)

A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles. - Yrvann Emzivat; Javier Ibañez-Guzmán; Herve Illy; Philippe Martinet; Olivier H. Roux (ITSC, 2018)