Publis – Marie DUFLOT-KREMER

Liste de publications générée automatiquement à partir de HAL

Elle n’est pas tout à fait complète, certaines « anciennes » publications doivent être ajoutées.

Publications HAL de marie duflot

Journal articles

2023

titre: Optimization of NH2-UiO-66/TiO2/Au composites for enhanced gas-phase CO2 photocatalytic reduction into CH4
auteur: Marie Duflot, Clément Marchal, Valérie Caps, Vincent Artero, Konstantinos Christoforidis, Valérie Keller
article: Catalysis Today, 2023, 413- 415, pp.114018. ⟨10.1016/j.cattod.2023.01.025⟩
typdoc: Journal articles
DOI: DOI : 10.1016/j.cattod.2023.01.025
Accès au texte intégral et bibtex

2019

titre: Le jeu du robot : analyse d’une activité d’informatique débranchée sous la perspective de la cognition incarnée.
auteur: Margarida Romero, Marie Duflot, Thierry Viéville
article: Review of science, mathematics and ICT education, 2019, 13 (1), ⟨10.26220/rev.3089⟩
typdoc: Journal articles
DOI: DOI : 10.26220/rev.3089
Accès au texte intégral et bibtex

2015

titre: Applications of an expressive statistical model checking approach to the analysis of genetic circuits
auteur: Paolo Ballarini, Marie Duflot
article: Theoretical Computer Science, 2015, 599, p.4-33. ⟨10.1016/j.tcs.2015.05.018⟩
typdoc: Journal articles
DOI: DOI : 10.1016/j.tcs.2015.05.018
Accès au texte intégral et bibtex

titre: HASL: A new approach for performance evaluation and model checking from concepts to experimentation
auteur: Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin
article: Performance Evaluation, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩
typdoc: Journal articles
DOI: DOI : 10.1016/j.peva.2015.04.003
Accès au texte intégral et bibtex

2014

titre: Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations
auteur: Jingshu Chen, Marie Duflot, Stephan Merz
article: Electronic Communications of the EASST, 2014, Automated Verification of Critical Systems 2014, 70, pp.14
typdoc: Journal articles
Accès au texte intégral et bibtex

titre: Bounding messages for free in security protocols – extension to various security properties
auteur: Myrto Arapinis, Marie Duflot
article: Information and Computation, 2014, pp.34. ⟨10.1016/j.ic.2014.09.003⟩
typdoc: Journal articles
DOI: DOI : 10.1016/j.ic.2014.09.003
Accès au texte intégral et bibtex

Conference papers

2020

titre: Statistical Model Checking of Distributed Programs within SimGrid
auteur: Marie Duflot, Yann Duplouy
article: SIMULTECH 2020 – 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2020, Lieusaint, France
typdoc: Conference papers
Accès au texte intégral et bibtex

2019

titre: Integrating satisfiability solving in the assessment of system reliability modeled by dynamic fault trees
auteur: Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz
article: 29th European Safety and Reliability Conference, ESREL 2019, Sep 2019, Hannover, Germany. ⟨10.3850/981-973-0000-00-0⟩
typdoc: Conference papers
DOI: DOI : 10.3850/981-973-0000-00-0
Accès au texte intégral et bibtex

2017

titre: Evaluation de la robustesse d’un ordonnancement par Automates Temporisés Stochastiques
auteur: Sara Himmiche, Pascale Marangé, Alexis Aubry, Marie Duflot, Jean-François Pétin
article: 11ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2017, Nov 2017, Marseille, France
typdoc: Conference papers
Accès au texte intégral et bibtex

titre: Using statistical-model-checking-based simulation for evaluating the robustness of a production schedule
auteur: Sara Himmiche, Alexis Aubry, Pascale Marangé, Jean-François Pétin, Marie Duflot
article: 7th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA’17, Oct 2017, Nantes, France
typdoc: Conference papers
Accès au texte intégral et bibtex

titre: Satisfiability techniques for computing minimal tie sets in reliability assessment
auteur: Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz
article: 10th International Conference on Mathematical Methods in Reliability, MMR 2017, Jul 2017, Grenoble, France. pp.1-8
typdoc: Conference papers
Accès au texte intégral et bibtex

2015

titre: When sharing computer science with everyone also helps avoiding digital prejudices
auteur: Marie Duflot, Martin Quinson, Florent Masseglia, Didier Roy, Julien Vaubourg, Thierry Viéville
article: SCRATCH, Aug 2015, Amsterdam, Netherlands
typdoc: Conference papers
Accès au texte intégral et bibtex

2011

titre: HASL: An Expressive Language for Statistical Verification of Stochastic Models
auteur: Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
article: VALUETOOLS’11, 2011, Cachan, France
typdoc: Conference papers
Accès au bibtex

2007

titre: Bounding Messages for Free in Security Protocols
auteur: Myrto Arapinis, Marie Duflot
article: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, 2007, Unknown, Unknown Region. pp.376–387
typdoc: Conference papers
Accès au bibtex

2005

2001

Theses

2023

titre: Composites de type MOF/TiO2/Au pour la photo-réduction du CO2 en phase gazeuse
auteur: Marie Duflot
article: Matériaux. Université de Strasbourg, 2023. Français. ⟨NNT : 2023STRAF066⟩
typdoc: Theses
Accès au texte intégral et bibtex

2003

titre: Algorithmes distribués sur des anneaux paramétrés – Preuves de convergence probabiliste et déterministe
auteur: Marie Duflot
article: Autre [cs.OH]. École normale supérieure de Cachan – ENS Cachan, 2003. Français. ⟨NNT : ⟩
typdoc: Theses
Accès au texte intégral et bibtex

Preprints, Working Papers, …

2017

titre: Satisfiability techniques for computing minimal tie sets in reliability assessment
auteur: Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz
article: 2017
typdoc: Preprints, Working Papers, …
Accès au texte intégral et bibtex