Author

Frederique Vallée

Observed names: F. Vallee, F. Vallée, F.M. Vallee, Frédérique VALLÉE, Frédérique Vallée, Vallée, Frédérique

Institution: All4tec (France)

Observed institution: All4tec (France)

OpenAlex ID: A5062364076

Formal Safety and Security Assessment of an Avionic Architecture with Alloy

2014 · Julien Brunel, Laurent Rioux, et al. · Electronic Proceedings in Theoretical Computer Science · 20

Facing ADAS validation complexity with usage oriented testing

2016 · Raffaëlli, Laurent, Vallée, Frédérique, et al. · arXiv (Cornell University) · 17

PDF

MBSE and MBSA with Capella and Safety Architect Tools

2016 · Marc Sango, Frédérique Vallée, et al. · Springer eBooks · 12

A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures

2014 · Brunel, Julien, Chemouil, David, et al. · HAL · 11

Le management des risques des entreprises et de gestion de projet

2010 · Alain Desroches, Franck Marle, et al. · Hermes eBooks · 5

Convergence of the Latest Standards Addressing Safety and Security for Information Technology

2010 · Derock, Adrien, Hebrard, Patrick, et al. · HAL · 4

Reliability evaluation using NHPP models

2002 · F.M. Vallee, A. Ragot · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · 4

Software quality metrics in space systems

2003 · V. Valette, F. Vallee · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · 3

Report on the Railway Use-Case of the Crystal Project: Objectives and Progress

2014 · Alexandre Ginisty, Frédérique Vallée, et al. · Lecture notes in computer science · 2

FIABILOG: a software reliability tool and its application to space projects

2002 · F. Vallee, A. Ragot · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · 2

UML Developments: Cost Estimation from Requirements

2002 · Philippe Larvet, Frédérique Vallée · Lecture notes in computer science · 2

Quantification de la fiabilité des logiciels

2012 · Frédérique VALLÉE · 1

M-elopee: a CASE tool for software reliability study

2002 · F. Vallee, B. Gayet, et al. · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · 1

ADAS Reliability and Safety

2016 · Laurent Raffaelli, Guy Fayolle, et al.

Sécurité informatique pour la gestion des risques - Application aux systèmes d'information

2016 · Frédérique VALLÉE

MERGE Avionics Use Case: Example of an Integrated Safety Toolchain

2015 · F. Vallée, A. Faucogney, et al.

Combining Model-Based Design (MBD) and Model-Based Testing (MBT) for early validation of embedded real-time systems

2014 · Chastrette, François, Vallée, Frédérique, et al. · HAL

Model‐Based TestingAutomatic Generation of Test Cases Using the Markov Chain Model

2012 · Héléne Le Guen, Frederique Vallée, et al. · Wiley eBooks

Consistent Safety Analyses in Model-based System Engineering: Concepts and Tools

2012 · Dumont, Jonathan, Sadmi, Franck, et al. · HAL

Sécurité informatique pour la gestion des risques

2010 · Frédérique VALLÉE

A Comparison of Different Safety-Critical Approaches used in Industry

1997 · Frédérique Vallée · Springer eBooks

Works count: 25

Citation count: 87

H-index: 5

I10-index: 4