Nombre de documents

14

Publications de Marie Duflot (Kremer)


Article dans une revue4 documents

Communication dans un congrès8 documents

  • 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. 2017, 〈https://sohoma17.sciencesconf.org/〉. 〈hal-01652140〉
  • 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. 〈http://www.lsis.org/msr2017〉. 〈hal-01652138〉
  • 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, 2017. 〈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. 2015. 〈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. Proceedings of VALUETOOLS’11. 〈hal-01113442〉
  • Myrto Arapinis, Marie Duflot. Bounding Messages for Free in Security Protocols. V. Arvind and S. Prasad. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, 2007, Unknown, Unknown or Invalid Region. Springer, 4855, pp.376--387, 2007, Lecture Notes in Computer Science. 〈hal-01195943〉
  • Marie Duflot, Danièle Beauquier, Marius Minea. A Probabilistic Property-Specific Approach to Information Flow. 2005, Springer, pp.206-220, 2005, LNCS 3685. 〈10.1007/11560326_16〉. 〈hal-00091587〉
  • Marie Duflot, Laurent Fribourg, Ulf Nilsson. Unavoidable Configurations of Parameterized Rings of Processes. 2001, Springer, pp.472-486, 2001, LNCS 2154. 〈hal-00091546〉

Pré-publication, Document de travail1 document

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

Thèse1 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〉