Augustin Lemesle
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESOP | Neural Network Verification is a Programming Language Challenge. | Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu |
| 2025 | SAS | Verifying Neural Networks with PyRAT. | Augustin Lemesle, Julien Lehmann, Tristan Le Gall, Zakaria Chihani |
| 2024 | MODELSWARD | On the Formal Robustness Evaluation for AI-based Industrial Systems. | Mohamed Ibn Khedher, Afef Awadid, Augustin Lemesle, Zakaria Chihani |
| 2023 | SAFECOMP | AIMOS: Metamorphic Testing of AI - An Industrial Application. | Augustin Lemesle, Aymeric Varasse, Zakaria Chihani, Dominique Tachet |
| 2022 | IJCAI | CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. | Julien Girard-Satabin, Michele Alberti, Franois Bobot, Zakaria Chihani, Augustin Lemesle |