Exploring the Software Development Trilogy. - Daniel Le Métayer; Valérie-Anne Nicolas; Olivier Ridoux (IEEE Softw., 1998)

Preuves de Propriétés de Classes de Programmes par Dérivation Systématique de Jeux de Test. - Valérie-Anne Nicolas (1998)

Verification by Testing for Recursive Program Schemes. - Daniel Le Métayer; Valérie-Anne Nicolas; Olivier Ridoux (LOPSTR, 1999)

Specification of schedulability assumptions to leverage multiprocessor Analysis. - Stéphane Rubini; Valérie-Anne Nicolas; Frank Singhoff; Alain Plantec; Hai Nam Tran; Pierre Dissaux (J. Syst. Archit., 2022)