Julie PARREAUXComputer Science Student |
 |
 |
Julie PARREAUXComputer Science Student |
|
|
| 2022 | Decidability of One-Clock Weighted
Timed Games with Arbitrary Weights, CONCUR22, avec B. Monmege et P-A. Reynier |
||
| 2021 | Playing Stochastically in Weighted
Timed Games to Emulate Memory, ICALP21 with B. Monmege and P-A. Reynier |
||
| 2020 | Reaching Your Goal Optimally by Playing at Random,
CONCUR20, with B. Monmege and P-A. Reynier |
||
| 2019 | Performance Evaluation of Metro
Regulations Using Probabilistic Model-checking, RSSRAIL'19,
with N. Bertrand, B. Bordais, L. Hélouët, T. Mari and O. Sankur |
| 2022 |
slides |
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights, CONCUR 2022 | |
| 2022 |
slides |
Playing stochastically in Weighted Timed Games to Emulate Memory, Seminar of the group of Christel Baier, Dresden Germany | |
| 2022 |
slides |
Playing stochastically in Weighted Timed Games to Emulate Memory, MOVEP 2022 | |
| 2022 | slides | Playing stochastically in Weighted Timed Games to Emulate Memory, TickTac ANR annual meeting | |
| 2021 | slides | Playing stochastically in Weighted (Timed) Games to Emulate Memory, GT verif annual meeting | |
| 2021 | slides | Playing
stochastically in Weighted Timed Games to Emulate Memory, MoVe
seminar |
|
| 2021 | slides | Playing stochastically in Weighted Timed Games to Emulate Memory, HighLigth 2021 (poster) | |
| 2021 |
slides | Playing stochastically in Weighted Timed Games to Emulate Memory, ICALP 2021 (video) | |
| 2020 |
slides | Reaching Your Goal Optimally by Playing at Random, TickTac ANR annual meeting | |
| 2020 |
slides | Reaching Your Goal Optimally by Playing at Random, MoVe seminar | |
| 2020 | slides | Reaching Your Goal Optimally by Playing at Random, CONCUR20 |
I am teaching in computer science department of Aix-Marseille Université.
I am teaching in computer science department of Aix-Marseille Université.
I am teaching in computer science department of Aix-Marseille Université.
I taught in ISTIC at Université de Rennes
From January 2020 to July 2020, I did a research internship at
Aix-Marseille University under the supervision of
Pierre-Alain Reynier and Benjamin
Monmège. During this internship, I worked on a problem stemming
from game
theory. The objective is to study a compromise between memory and the
probabilities used in the strategies of
quantitative or timed games at cost. Here are my bibliographic
report and the slides
of the presentation, as well
as my internship report and the
slides of the presentation.
From May 2018 to August 2018, I did an introductory research internship
at the University of Oxford under the
supervision of Stefan
Kiefer. During this internship, I worked on a monitoring problem
on probabilistic automatons.
The objective was to find a strategy for minimizing the observations on
our automation but deciding, as soon
as possible, the presence or absence of errors. Then we tried to
classify this problem. Here is my report
and the slides
of the presentation. This internship was also the opportunity to attend
theFLOC 2018 conference as a
volunteer.
I was then able to discover a conference (on the side of the
organization and the side of the auditor).
This experience was very enriching and was the opportunity for me to
meet researchers from the community.
I would like to thank Stefan Kiefer for his welcome, his time, our
interactions as well as the opportunities
he offered me (especially with the FLOC conference).
With Benjamin
Bordais and Thomas
Mari, we make an intership (research project) during our first
year of master degree.
Ocan Sankur, Loïc Hélouët and Nathalie Bertrand welcom us in their team,
SUMO (IRISA/Inria Rennes) a half of a day per
week. In this project, we work modelisation, verification and regulation
of urban train networks. To do so, we use probabilistic
models (DTMC, MDP) to reflect the unpredictable delays of metros. The
objective is to evaluate the performances of given
regulation policies, or to design new optimal regulation policies.
During the first semester, we create a bibliography. So, we have read
some research articles about verification with MDP or
DTMC, dalays of rail networks modelisation and PRISM, Storm tools. This
work was concluded by a report
and a presentation
(here our slides).
During the second semester, we will reach our goals.
This project interested me both for the scientific topic and for the
human aspect. It allows me to meet exciting people and improve
my knowledge about interesting subjects. I want to thanks our
supervisors Nathalie Bertrand, Loïc Hélouët and Ocan Sankur for
their time, their accomodation and their help all along this year.
In summer 2017, I made a resaerch intership in Grenoble (Inria
Rhône-Alpes) supervized by Hubert Garavel. I Have study the
verification tools for the probabilistic systems. Our goal was build a
tools databases with their caracterisitcs: authors, versions,
models and logic used, published examples. Datas are stocked and
organised on this webpage.
Moreover, I wrote a script
(caracteristics based) to sort data. This work has concluded by a report
(in French) and a presentation
(in French). I want to
thinks Hubert Garavel and Convecs Inria team for their welcom, their
tims and our discussion all along this intership.