Julie Parreaux

According to our database, Julie Parreaux authored at least 9 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

One-Clock Synthesis Problems.

Slawomir Lasota, Mathieu Lehaut, Julie Parreaux, Radoslaw Piórkowski

Proceedings of the 43rd International Symposium on Theoretical Aspects of Computer Science, 2026

2024

Synthesis of Robust Optimal Strategies in Weighted Timed Games.

Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

CoRR, 2024

Synthesis of Robust Optimal Real-Time Systems.

Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

2023

Counterfactual Causality for Reachability and Safety based on Distance Functions.

Julie Parreaux, Jakob Piribauer, Christel Baier

Proceedings of the Fourteenth International Symposium on Games, 2023

2022

Decidability of One-Clock Weighted Timed Games with Arbitrary Weights.

Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Playing Stochastically in Weighted Timed Games to Emulate Memory.

Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

Reaching Your Goal Optimally by Playing at Random.

Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

CoRR, 2020

Reaching Your Goal Optimally by Playing at Random with No Memory.

Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking.

Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019