A Case Study on Formally Validating Motion Rules for Autonomous Cars. - Mário Henrique Cruz Torres; Jean-Pierre Giacalone; Joelle Abou Faysal (SEFM, 2020)

EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles. - Joelle Abou Faysal; Nour Zalmai; Ankica Barisic; Frédéric Mallet (MEDI Workshops, 2021)

Formal rule-based scenarios for the design of safe autonomous vehicles. (Scénarios formels basés sur des règles pour la conception de véhicules autonomes sûrs). - Joelle Abou Faysal (2022)