Publications de Marie Duflot (Kremer)

Margarida Romero, Marie Duflot, Thierry Vieville. 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). ⟨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. ⟨hal-01852430⟩

Paolo Ballarini, Marie Duflot. Applications of an expressive statistical model checking approach to the analysis of genetic circuits. Theoretical Computer Science, Elsevier, 2015, 599, pp.30. ⟨10.1016/j.tcs.2015.05.018⟩. ⟨hal-01250521⟩

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⟩

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⟩

Jingshu Chen, Marie Duflot, Stephan Merz. Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations. Electronic Communications of the EASST, 2014, Automated Verification of Critical Systems 2014, 70, pp.14. ⟨http://journal.ub.tu-berlin.de/eceasst/article/view/978⟩. ⟨hal-01087871⟩

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 !. Scratch2015AMS, 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⟩

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

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⟩