Marie Duflot

23
Documents

Publications

Publications

Image document

Diagnosis of Stochastic Systems: Optimising Costs and Delays

Marie Duflot , Engel Lefaucheux , Isaline Plaid
QEST-FORMATS 2024, Sep 2024, Calgary, Alberta, Canada, Canada
Communication dans un congrès hal-04617663 v1
Image document

Execution-time opacity control for timed automata

Étienne André , Marie Duflot , Laetitia Laversa , Engel Lefaucheux
22nd International Conference on Software Engineering and Formal Methods (SEFM 2024), Alexandre Madeira; Alexander Knapp, Nov 2024, Aveiro (Portugal), Portugal. ⟨10.1007/978-3-031-77382-2_20⟩
Communication dans un congrès hal-04732493 v2
Image document

PIAF : développer la Pensée Informatique et Algorithmique dans l'enseignement Fondamental

Gilbert Busana , Brigitte Denis , Marie Duflot-Kremer , Sarah Higuet , Lara Kataja et al.
Didapro 8 – DidaSTIC – L'informatique, objets d’enseignements – enjeux épistémologiques, didactiques et de formation, Feb 2020, Lille, France
Communication dans un congrès hal-02463940 v1
Image document

Statistical Model Checking of Distributed Programs within SimGrid

Marie Duflot , Yann Duplouy
SIMULTECH 2020 - 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2020, Lieusaint, France
Communication dans un congrès hal-02978389 v1
Image document

PIAF: Developing Computational and Algorithmic Thinking in Fundamental Education

Yannick Parmentier , Robert Reuter , Sarah Higuet , Lara Kataja , Yves Kreis et al.
AACE 2020 - EdMedia + Innovate Learning, Jun 2020, Amsterdam / Virtual, Netherlands. pp.315-322
Communication dans un congrès hal-02888504 v1
Image document

Integrating satisfiability solving in the assessment of system reliability modeled by dynamic fault trees

Margaux Duroeulx , Nicolae Brinzei , Marie Duflot , Stephan Merz
29th European Safety and Reliability Conference, ESREL 2019, Sep 2019, Hannover, Germany. ⟨10.3850/981-973-0000-00-0⟩
Communication dans un congrès hal-02262205 v1
Image document

Satisfiability techniques for computing minimal tie sets in reliability assessment

Margaux Duroeulx , Nicolae Brinzei , Marie Duflot , Stephan Merz
10th International Conference on Mathematical Methods in Reliability, MMR 2017, Jul 2017, Grenoble, France. pp.1-8
Communication dans un congrès hal-01630851 v1
Image document

Using statistical-model-checking-based simulation for evaluating the robustness of a production schedule

Sara Himmiche , Alexis Aubry , Pascale Marangé , Jean-François Pétin , Marie Duflot
7th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA'17, Oct 2017, Nantes, France
Communication dans un congrès hal-01652140 v1
Image document

Evaluation de la robustesse d'un ordonnancement par Automates Temporisés Stochastiques

Sara Himmiche , Pascale Marangé , Alexis Aubry , Marie Duflot , Jean-François Pétin
11ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2017, Nov 2017, Marseille, France
Communication dans un congrès hal-01652138 v1
Image document

When sharing computer science with everyone also helps avoiding digital prejudices

Marie Duflot , Martin Quinson , Florent Masseglia , Didier Roy , Julien Vaubourg et al.
SCRATCH, Aug 2015, Amsterdam, Netherlands
Communication dans un congrès hal-01154767 v1

HASL: An Expressive Language for Statistical Verification of Stochastic Models

Paolo Ballarini , Hilal Djafri , Marie Duflot , Serge Haddad , Nihal Pekergin
VALUETOOLS’11, 2011, Cachan, France
Communication dans un congrès hal-01113442 v1

Bounding Messages for Free in Security Protocols

Myrto Arapinis , Marie Duflot
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, 2007, Unknown, Unknown Region. pp.376--387
Communication dans un congrès hal-01195943 v1

A Probabilistic Property-Specific Approach to Information Flow

Marie Duflot , Danièle Beauquier , Marius Minea
2005, pp.206-220, ⟨10.1007/11560326_16⟩
Communication dans un congrès istex hal-00091587 v1

Unavoidable Configurations of Parameterized Rings of Processes

Marie Duflot , Laurent Fribourg , Ulf Nilsson
2001, pp.472-486
Communication dans un congrès hal-00091546 v1