Skip to Main content
Number of documents


Publications de Marie Duflot (Kremer)

Journal articles5 documents

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

Conference papers9 documents

  • Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz. Integrating satisfiability solving in the assessment of system reliability modeled by dynamic fault trees. 29th European Safety and Reliability Conference, ESREL 2019, Sep 2019, Hannover, Germany. ⟨10.3850/981-973-0000-00-0⟩. ⟨hal-02262205⟩
  • Sara Himmiche, Pascale Marangé, Alexis Aubry, Marie Duflot, Jean-François Pétin. Evaluation de la robustesse d'un ordonnancement par Automates Temporisés Stochastiques. 11ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2017, Nov 2017, Marseille, France. ⟨hal-01652138⟩
  • Sara Himmiche, Alexis Aubry, Pascale Marangé, Jean-François Pétin, Marie Duflot. Using statistical-model-checking-based simulation for evaluating the robustness of a production schedule. 7th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA'17, Oct 2017, Nantes, France. ⟨hal-01652140⟩
  • Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz. Satisfiability techniques for computing minimal tie sets in reliability assessment. 10th International Conference on Mathematical Methods in Reliability, MMR 2017, Jul 2017, Grenoble, France. pp.1-8. ⟨hal-01630851⟩
  • Marie Duflot, Martin Quinson, Florent Masseglia, Didier Roy, Julien Vaubourg, et al.. When sharing computer science with everyone also helps avoiding digital prejudices: Escape computer dirty magic: learn Scratch !. SCRATCH, Aug 2015, Amsterdam, Netherlands. ⟨hal-01154767⟩
  • Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin. HASL: An Expressive Language for Statistical Verification of Stochastic Models. VALUETOOLS’11, 2011, Cachan, France. ⟨hal-01113442⟩
  • Myrto Arapinis, Marie Duflot. Bounding Messages for Free in Security Protocols. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, 2007, Unknown, Unknown Region. pp.376--387. ⟨hal-01195943⟩
  • Marie Duflot, Danièle Beauquier, Marius Minea. A Probabilistic Property-Specific Approach to Information Flow. 2005, pp.206-220, ⟨10.1007/11560326_16⟩. ⟨hal-00091587⟩
  • Marie Duflot, Laurent Fribourg, Ulf Nilsson. Unavoidable Configurations of Parameterized Rings of Processes. 2001, pp.472-486. ⟨hal-00091546⟩

Preprints, Working Papers, ...1 document

  • Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz. Satisfiability techniques for computing minimal tie sets in reliability assessment. 2017. ⟨hal-01518920⟩

Theses1 document

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