Frédérique Vallée

Publication Activity (10 Years)

Years Active: 1991-2016
Publications (10 Years): 2

Top Topics

Security Issues

Requirements Elicitation

Top Venues

SAFECOMP Workshops

Publications

Laurent Raffaëlli, Frédérique Vallée, Guy Fayolle, Philippe De Souza, Xavier Rouah, Matthieu Pfeiffer, Stéphane Géronimi, Frédéric Pétrot, Samia Ahiad
Facing ADAS validation complexity with usage oriented testing. CoRR (2016)
Marc Sango, Frédérique Vallée, Anne-Catherine Vié, Jean-Luc Voirin, Xavier Leroux, Véronique Normand
MBSE and MBSA with Capella and Safety Architect Tools. CSDM (2016)
Julien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frédérique Vallée
A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures. MoDeVVa@MoDELS (2014)
Julien Brunel, Laurent Rioux, Stéphane Paul, Anthony Faucogney, Frédérique Vallée
Formal Safety and Security Assessment of an Avionic Architecture with Alloy. ESSS (2014)
Alexandre Ginisty, Frédérique Vallée, Elie Soubiran, Vidal-delmas Tchapet-Nya
Report on the Railway Use-Case of the Crystal Project: Objectives and Progress. SAFECOMP Workshops (2014)
Philippe Larvet, Frédérique Vallée
UML Developments: Cost Estimation from Requirements. ECSQ (2002)
Frédérique Vallée, Bertrand Gayet, Henri Derriennic, Gilbert Le Gall
M-elopee: a CASE tool for software reliability study. ISSRE (1995)
Frédérique Vallée, A. Ragot
FIABILOG: a software reliability tool and its application to space projects. ISSRE (1994)
Veronique Valette, Frédérique Vallée
Software quality metrics in space systems. ISSRE (1992)
Frédérique Vallée, A. Ragot
Reliability evaluation using NHPP models. ISSRE (1991)