Joelle Abou Faysal

Joelle Abou Faysal

Université Côte d'Azur - Nice / France
Others
AD Scientific Index ID: 5419663
Côte d'Azur University
person_outline Joelle Abou Faysal's MOST POPULAR ARTICLES
1-) Epsaav: An extensible platform for safety analysis of autonomous vehiclesJ Abou Faysal, N Zalmai, A Barisic, F MalletAdvances in Model and Data Engineering in the Digitalization Era: MEDI 2021 …, 202132021
2-) A case study on formally validating motion rules for autonomous carsMHC Torres, JP Giacalone, J Abou FaysalSoftware Engineering and Formal Methods. SEFM 2020 Collocated Workshops …, 202122021
3-) Adaptation of an auto-generated code using a model-based approach to verify functional safety in real scenariosJ Abou Faysal, N Zalmai, A Barisic, F MalletERTS 2022-Embedded Real Time Systems, 202212022
4-) Safety analysis of inconsistencies using a formal verification tool for DSMLJ Abou Faysal, N Zalmai, A Barisic, F MalletDSC 2022 Europe VR-21th Driving Simulation & Virtual reality Conference Europe, 20222022
5-) Formal rule-based scenarios for the design of safe autonomous vehiclesJ Abou FaysalUniversité Côte d\'Azur, 20222022