Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. - Nathalie Bertrand 001; Benjamin Bordais; Loïc Hélouët; Thomas Mari; Julie Parreaux; Ocan Sankur (RSSRail, 2019)

Reaching Your Goal Optimally by Playing at Random with No Memory. - Benjamin Monmege; Julie Parreaux; Pierre-Alain Reynier (CONCUR, 2020)

Reaching Your Goal Optimally by Playing at Random. - Benjamin Monmege; Julie Parreaux; Pierre-Alain Reynier (CoRR, 2020)

Counterfactual Causality for Reachability and Safety based on Distance Functions. - Julie Parreaux; Jakob Piribauer; Christel Baier (GandALF, 2023)

Synthesis of Robust Optimal Real-Time Systems. - Benjamin Monmege; Julie Parreaux; Pierre-Alain Reynier (MFCS, 2024)

Synthesis of Robust Optimal Strategies in Weighted Timed Games. - Benjamin Monmege; Julie Parreaux; Pierre-Alain Reynier (CoRR, 2024)

Decidability of One-Clock Weighted Timed Games with Arbitrary Weights. - Benjamin Monmege; Julie Parreaux; Pierre-Alain Reynier (Log. Methods Comput. Sci., 2025)

Playing Stochastically in Weighted Timed Games to Emulate Memory. - Benjamin Monmege; Julie Parreaux; Pierre-Alain Reynier (Log. Methods Comput. Sci., 2025)