Valérie-Anne Nicolas

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 1

Top Topics

Quantitative Analysis

Genetic Algorithm

Top Venues

J. Syst. Archit.

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, Alain Plantec, Hai Nam Tran, Pierre Dissaux
Specification of schedulability assumptions to leverage multiprocessor Analysis. J. Syst. Archit. 133 (2022)
Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux
Verification by Testing for Recursive Program Schemes. LOPSTR (1999)
Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux
Exploring the Software Development Trilogy. IEEE Softw. 15 (6) (1998)