Concepedia
Statistics
Publications
3
Citations
40
H-Index
Active since
2014
Affiliations
All4tec (France)(Current)
Thales (Australia)
Office National d'Études et de Recherches Aérospatiales
Frederique Vallée is an author at All4tec (France) specializing in systems engineering, system software, and formal methods.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceFormal VerificationSystems EngineeringEye TrackingVerificationImage AnalysisMachine Vision
Publications per year
2014–2016
Facing ADAS validation complexity with usage oriented testing
Laurent Raffaelli, Frederique Vallée, Guy Fayolle et al. · arXiv (Cornell University) · 2016 · 15 citations · Full text
Engineering, Verification, Advanced Driver-assistance System +25
Formal Safety and Security Assessment of an Avionic Architecture with Alloy
Julien Brunel, Laurent Rioux, Stéphane Paul et al. · Electronic Proceedings in Theoretical Computer Science · 2014 · 13 citations · Full text
Engineering, Formal Safety, Information Security +23
A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures
Julien Brunel, David Chemouil, Laurent Rioux et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2014 · 12 citations · Full text
1–3 of 3