Optimized Smart Sampling. - Maxime Parmentier; Axel Legay; Firmin Chenoy (AISoLA, 2023)

Property-Based Brittleness Analysis of Temporal Networks. - Tiago Vaquero; Steve A. Chien; Jagriti Agrawal; Michael Saint-Guillain; Maxime Parmentier (J. Aerosp. Inf. Syst., 2023)

Adaptive Stopping Algorithms Based on Concentration Inequalities. - Maxime Parmentier; Axel Legay (AISoLA, 2024)

Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures. - Leonardo Picchiami; Maxime Parmentier; Axel Legay; Toni Mancini; Enrico Tronci (J. Syst. Softw., 2025)