Marie Duflot

Publications

Article dans une revue (5)

Le jeu du robot : analyse d’une activité d’informatique débranchée sous la perspective de la cognition incarnée. Margarida Romero,Marie Duflot,Thierry Viéville Review of science, mathematics and ICT education, 2019, 13 (1), ⟨10.26220/rev.3089⟩ Article dans une revue hal-02144467v1
Applications of an expressive statistical model checking approach to the analysis of genetic circuits Paolo Ballarini,Marie Duflot Theoretical Computer Science, 2015, 599, p.4-33. ⟨10.1016/j.tcs.2015.05.018⟩ Article dans une revue hal-01250521v2
HASL: A new approach for performance evaluation and model checking from concepts to experimentation Paolo Ballarini,Benoît Barbot,Marie Duflot,Serge Haddad,Nihal Pekergin Performance Evaluation, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩ Article dans une revue hal-01221815v1
Bounding messages for free in security protocols – extension to various security properties Myrto Arapinis,Marie Duflot Information and Computation, 2014, pp.34. ⟨10.1016/j.ic.2014.09.003⟩ Article dans une revue hal-01083657v1
Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations Jingshu Chen,Marie Duflot,Stephan Merz Electronic Communications of the EASST, 2014, Automated Verification of Critical Systems 2014, 70, pp.14 Article dans une revue hal-01087871v1

Communication dans un congrès (14)

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-04617663v1
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-04732493v2
PIAF : développer la Pensée Informatique et Algorithmique dans l'enseignement Fondamental Gilbert Busana,Brigitte Denis,Marie Duflot-Kremer,Sarah Higuet,Lara Katajaet 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-02463940v1
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-02978389v1
PIAF: Developing Computational and Algorithmic Thinking in Fundamental Education Yannick Parmentier,Robert Reuter,Sarah Higuet,Lara Kataja,Yves Kreiset al. AACE 2020 - EdMedia + Innovate Learning, Jun 2020, Amsterdam / Virtual, Netherlands. pp.315-322 Communication dans un congrès hal-02888504v1
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-02262205v1
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-01652138v1
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-01630851v1
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-01652140v1
When sharing computer science with everyone also helps avoiding digital prejudices Marie Duflot,Martin Quinson,Florent Masseglia,Didier Roy,Julien Vaubourget al. SCRATCH, Aug 2015, Amsterdam, Netherlands Communication dans un congrès hal-01154767v1
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-01113442v1
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-01195943v1
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-00091587v1
Unavoidable Configurations of Parameterized Rings of Processes Marie Duflot,Laurent Fribourg,Ulf Nilsson 2001, pp.472-486 Communication dans un congrès hal-00091546v1

Autre publication scientifique (1)

PIAF : développer la Pensée Informatique et Algorithmique dans l'enseignement Fondamental Gilbert Busana,Brigitte Denis,Marie Duflot-Kremer,Sarah Higuet,Lara Katajaet al. 2019 Autre publication scientifique hal-02424418v2

Pré-publication, Document de travail (1)

Satisfiability techniques for computing minimal tie sets in reliability assessment Margaux Duroeulx,Nicolae Brinzei,Marie Duflot,Stephan Merz 2017 Pré-publication, Document de travail hal-01518920v1

Rapport (1)

Activity for learning computational thinking in plugged and unplugged mode Margarida Romero,Thierry Viéville,Marie Duflot-Kremer [Research Report] 006, UCA - INSPE Académie de Nice. 2022 Rapport (rapport de recherche) hal-03793719v1

Thèse (1)

Algorithmes distribués sur des anneaux paramétrés - Preuves de convergence probabiliste et déterministe Marie Duflot Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2003. Français. ⟨NNT : ⟩ Thèse tel-00091429v1