Reducing the Overhead of Exact Profiling by Reusing Affine Variables. - Leon Frenot; Fernando Magno Quintão Pereira (CC, 2024)

AMULET: A Mutation Language Enabling Automatic Enrichment of SysML Models. - Bastien Sultan; Leon Frenot; Ludovic Apvrille; Philippe Jaillon; Sophie Coudert (ACM Trans. Embed. Comput. Syst., 2025)