Julie Parreaux

15 papers A* 1A 1B 3Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2026 A conf
One-Clock Synthesis Problems.
STACS
Slawomir Lasota, Mathieu Lehaut, Julie Parreaux, Radoslaw Piórkowski
2026 J jnl
One-clock synthesis problems.
CoRR
Slawomir Lasota, Mathieu Lehaut, Julie Parreaux, Radoslaw Piórkowski
2025 J jnl
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights.
Log. Methods Comput. Sci.
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2025 J jnl
Playing Stochastically in Weighted Timed Games to Emulate Memory.
Log. Methods Comput. Sci.
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2024 B conf
Synthesis of Robust Optimal Real-Time Systems.
MFCS
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2024 J jnl
Synthesis of Robust Optimal Strategies in Weighted Timed Games.
CoRR
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2023 J jnl
Counterfactual Causality for Reachability and Safety based on Distance Functions.
CoRR
Julie Parreaux, Jakob Piribauer, Christel Baier
2023 — conf
Counterfactual Causality for Reachability and Safety based on Distance Functions.
GandALF
Julie Parreaux, Jakob Piribauer, Christel Baier
2022 B conf
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights.
CONCUR
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2022 J jnl
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights.
CoRR
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2021 A* conf
Playing Stochastically in Weighted Timed Games to Emulate Memory.
ICALP
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2021 J jnl
Playing Stochastically in Weighted Timed Games to Emulate Memory.
CoRR
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2020 B conf
Reaching Your Goal Optimally by Playing at Random with No Memory.
CONCUR
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2020 J jnl
Reaching Your Goal Optimally by Playing at Random.
CoRR
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2019 — conf
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking.
RSSRail
Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur