Valérie-Anne Nicolas

According to our database¹, Valérie-Anne Nicolas authored at least 4 papers between 1998 and 2022.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

Specification of schedulability assumptions to leverage multiprocessor Analysis.

[BibT_eX]

[DOI]

J. Syst. Archit., 2022

1999

Verification by Testing for Recursive Program Schemes.

[BibT_eX]

[DOI]

Daniel Le Métayer

Valérie-Anne Nicolas

Olivier Ridoux

Proceedings of the Logic Programming Synthesis and Transformation, 1999

1998

Preuves de Propriétés de Classes de Programmes par Dérivation Systématique de Jeux de Test.

[BibT_eX]

[DOI]

Valérie-Anne Nicolas

PhD thesis, 1998

Exploring the Software Development Trilogy.

[BibT_eX]

[DOI]

Daniel Le Métayer

Valérie-Anne Nicolas

Olivier Ridoux

IEEE Softw., 1998

Valérie-Anne Nicolas

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...