Antoine Martin

Antoine Martin

École pour l'Informatique et les Techniques Avancees - Le Kremlin-Bicêtre / France
Others
AD Scientific Index ID: 4957811
Graduate School of Computer Science and Advanced Technologies
person_outline Antoine Martin's MOST POPULAR ARTICLES
1-) From spot 2.0 to spot 2.10: what’s new?A Duret-Lutz, E Renault, M Colange, F Renkin, A Gbaguidi Aisse, ...International Conference on Computer Aided Verification, 174-187, 2022472022
2-) Go2Pins: a framework for the LTL verification of Go programs A Kirszenberg, A Martin, H Moreau, E Renault Model Checking Software: 27th International Symposium, SPIN 2021, Virtual …, 2021 12021
3-) Go2Pins: a framework for the LTL verification of Go programs (extended version) A Kirszenberg, A Martin, H Moreau, E Renault International Journal on Software Tools for Technology Transfer, 1-18, 2023 2023
4-) Translation of Semi-extended Regular Expressions Using DerivativesA Martin, E Renault, A Duret-LutzInternational Conference on Implementation and Application of Automata, 234-248, 20242024
5-) High-speed real-time digital hologram rendering at 60,000 frames per second for Doppler imaging and optical coherence tomographyM Atlan, J Nicolle, D Didier, S Bellier, D Chemaly, A Langou, P Bernet, ...High-Speed Biomedical Imaging and Spectroscopy IX, PC1285303, 20242024