Marie Duflot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2001–2024
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SEFM | Execution-Time Opacity Control for Timed Automata. | tienne Andr, Marie Duflot, Laetitia Laversa, Engel Lefaucheux |
| 2020 | SIMULTECH | Statistical Model Checking of Distributed Programs within SimGrid. | Marie Duflot, Yann Duplouy |
| 2009 | CONCUR | Measuring Permissivity in Finite Games. | Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault |
| 2007 | CSR | Decidability of Parameterized Probabilistic Information Flow. | Danile Beauquier, Marie Duflot, Yury Lifshits |
| 2004 | ISoLA | A Formal Analysis of Bluetooth Device Discovery. | Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2001 | CONCUR | Unavoidable Configurations of Parameterized Rings of Processes. | Marie Duflot, Laurent Fribourg, Ulf Nilsson |