Olivier Maury
Orcid: 0009-0004-3985-1934
According to our database1,
Olivier Maury
authored at least 10 papers
between 2001 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
ACM Trans. Graph., August, 2023
ACM Trans. Graph., August, 2023
Comput. Graph. Forum, July, 2023
Comput. Graph. Forum, July, 2023
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023
2010
Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies.
J. Autom. Reason., 2010
2005
Outils pour la synthèse de tests et la maîtrise de l'explosion combinatoire. (Tools for the tests generation and the control of the combinatorial explosion).
PhD thesis, 2005
2004
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
Proceedings of the Fundamental Approaches to Software Engineering, 2004
2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001