Nombre de documents

10

Publications de Marie Duflot (Kremer)


Article dans une revue4 documents

  • Paolo Ballarini, Marie Duflot. Applications of an expressive statistical model checking approach to the analysis of genetic circuits. Journal of Theoretical Computer Science (TCS), 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>
  • 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>
  • 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>

Communication dans un congrès5 documents

  • 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>

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>