Augustin Lemesle

According to our database, Augustin Lemesle authored at least 11 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Verifying Neural Networks with PyRAT.

Augustin Lemesle, Julien Lehmann, Tristan Le Gall, Zakaria Chihani

Proceedings of the Static Analysis - 32nd International Symposium, 2025

PyRAT: Verifying Neural Networks with Abstract Interpretation (Competition Contribution).

Augustin Lemesle, Julien Lehmann, Tristan Le Gall, Zakaria Chihani

Proceedings of the AI Verification - Second International Symposium, 2025

Passive Learning of Lattice Automata from Recurrent Neural Networks.

Jaouhar Slimi, Tristan Le Gall, Augustin Lemesle

Proceedings of the Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, 2025

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

Proceedings of the Programming Languages and Systems, 2025

2024

Neural Network Verification with PyRAT.

Augustin Lemesle, Julien Lehmann, Tristan Le Gall

CoRR, 2024

On the Formal Robustness Evaluation for AI-based Industrial Systems.

Mohamed Ibn Khedher, Afef Awadid, Augustin Lemesle, Zakaria Chihani

Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

2023

AIMOS: Metamorphic Testing of AI - An Industrial Application.

Augustin Lemesle, Aymeric Varasse, Zakaria Chihani, Dominique Tachet

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Introducing the TRUMPET project: TRUstworthy Multi-site Privacy Enhancing Technologies.

Alberto Pedrouzo-Ulloa, Jan Ramon, Fernando Pérez-González, Siyanna Lilova, Patrick Duflot, Zakaria Chihani, Nicola Gentili, Paola Ulivi, Mohammad Ashadul Hoque, Twaha Mukammel, Zeev Pritzker, Augustin Lemesle, Jaime Loureiro-Acuña, Xavier Martínez Luaña, Gonzalo Jiménez-Balsa

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

2022

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness.

Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022

2019

NARVAL: A no-reference video quality tool for real-time communications.

Augustin Lemesle, Alexis Marion, Ludovic Roux, Alexandre Gouaillard

Proceedings of the Human Vision and Electronic Imaging 2019, 2019

2018

Comparative Study of WebRTC Open Source SFUs for Video Conferencing.

Emmanuel Andre, Nicolas Le Breton, Augustin Lemesle, Ludovic Roux, Alexandre Gouaillard

Proceedings of the 2018 Principles, Systems and Applications of IP Telecommunications, 2018