Aymeric Varasse
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2023–2025
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IFM | The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. | Michele Alberti, Franois Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani |
| 2023 | SAFECOMP | AIMOS: Metamorphic Testing of AI - An Industrial Application. | Augustin Lemesle, Aymeric Varasse, Zakaria Chihani, Dominique Tachet |