| A case study on formally validating motion rules for autonomous cars MHC Torres, JP Giacalone, J Abou Faysal Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops …, 2021 | 3 | 2021 |
| Epsaav: An extensible platform for safety analysis of autonomous vehicles J Abou Faysal, N Zalmai, A Barisic, F Mallet Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 …, 2021 | 3 | 2021 |
| Adaptation of an auto-generated code using a model-based approach to verify functional safety in real scenarios J Abou Faysal, N Zalmai, A Barisic, F Mallet ERTS 2022-Embedded Real Time Systems, 2022 | 1 | 2022 |
| Safety analysis of inconsistencies using a formal verification tool for DSML J Abou Faysal, N Zalmai, A Barisic, F Mallet DSC 2022 Europe VR-21th Driving Simulation & Virtual reality Conference Europe, 2022 | | 2022 |
| Formal rule-based scenarios for the design of safe autonomous vehicles J Abou Faysal Université Côte d'Azur, 2022 | | 2022 |
| Scénarios formels basés sur des règles pour la conception de véhicules autonomes sûrs J Abou Faysal Université Côte d'Azur, 2022 | | 2022 |
| An Approach to Ensure Safety of Autonomous Vehicles in Planned Trajectories J Abou Faysal, N Zalmai, A Barisic, F Mallet FDL 2021 Forum on specification & Design Languages, 2021 | | 2021 |
Ankica BarišićUniversité Côte d'Azur / I3S / INRIAVerified email at inria.fr
