Publications de Marie Duflot (Kremer)

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-01817517〉

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〉

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〉

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〉

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〉

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〉

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

Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz. Satisfiability techniques for computing minimal tie sets in reliability assessment. ISET. 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〉