Reliability evaluation using NHPP models. - Frédérique Vallée; A. Ragot (ISSRE, 1991)

Software quality metrics in space systems. - Veronique Valette; Frédérique Vallée (ISSRE, 1992)

FIABILOG: a software reliability tool and its application to space projects. - Frédérique Vallée; A. Ragot (ISSRE, 1994)

M-elopee: a CASE tool for software reliability study. - Frédérique Vallée; Bertrand Gayet; Henri Derriennic; Gilbert Le Gall (ISSRE, 1995)

UML Developments: Cost Estimation from Requirements. - Philippe Larvet; Frédérique Vallée (ECSQ, 2002)

A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures. - Julien Brunel; David Chemouil; Laurent Rioux; Mohamed Bakkali; Frédérique Vallée (MoDeVVa@MoDELS, 2014)

Report on the Railway Use-Case of the Crystal Project: Objectives and Progress. - Alexandre Ginisty; Frédérique Vallée; Elie Soubiran; Vidal-delmas Tchapet-Nya (SAFECOMP Workshops, 2014)

Formal Safety and Security Assessment of an Avionic Architecture with Alloy. - Julien Brunel; Laurent Rioux; Stéphane Paul; Anthony Faucogney; Frédérique Vallée (ESSS, 2014)

MBSE and MBSA with Capella and Safety Architect Tools. - Marc Sango; Frédérique Vallée; Anne-Catherine Vié; Jean-Luc Voirin; Xavier Leroux; Véronique Normand (CSDM, 2016)

Facing ADAS validation complexity with usage oriented testing. - 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 (CoRR, 2016)