Frédéric Mallet
Professeur des Universités
Université Côte d'Azur
3
Documents
Affiliations actuelles
- 451999
- 13009
- 478607
- 1039632
Identifiants chercheurs
- frederic-mallet
- ResearcherId : H-3942-2011
- 0000-0002-9088-9821
- IdRef : 060764325
- ResearcherId : http://www.researcherid.com/rid/H-3942-2011
Publications
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
|
Adaptation of an auto-generated code using a model-based approach to verify functional safety in real scenariosERTS 2022 - Embedded Real Time Systems, Jun 2022, Toulouse, France
Communication dans un congrès
hal-03611183v1
|
|
Safety analysis of inconsistencies using a formal verification tool for DSMLDSC 2022 Europe VR - 21th Driving Simulation & Virtual reality Conference Europe, Sep 2022, Strasbourg, France
Communication dans un congrès
hal-03846499v1
|
|
EPSAAV: An Extensible Platform for Safety Analysis of Autonomous VehiclesMEDI 2021 - 10th International Conference on Model and Data Engineering, Jun 2021, Tallinn, Estonia. ⟨10.1007/978-3-030-87657-9_8⟩
Communication dans un congrès
hal-03331190v1
|