Publis

 

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
https://hal.science/hal-04065006/file/Catal%20Today%202023.pdf BibTex

2019

titre
The robot game : analysis of a computational thinking unplugged activity under the perspective of embodied cognition.
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
https://inria.hal.science/hal-02144467/file/RESMICTE-JeuDuRobot-R08.2-final.pdf 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
https://hal.science/hal-01250521/file/TCS_CMSB12_rev2.pdf 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
https://inria.hal.science/hal-01221815/file/main.pdf 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
https://inria.hal.science/hal-01087871/file/postproceedings.pdf 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
https://inria.hal.science/hal-01083657/file/versionjournal.pdf BibTex

Conference papers

2024

titre
Execution-time opacity control for timed automata ⋆
auteur
Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux
article
SEFM 2024, Nov 2024, Aveiro (Portugal), Portugal
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04732493/file/2409.10336v1.pdf BibTex
titre
Diagnosis of Stochastic Systems: Optimising Costs and Delays
auteur
Marie Duflot, Engel Lefaucheux, Isaline Plaid
article
QEST-FORMATS 2024, Sep 2024, Calgary, Alberta, Canada, Canada
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04617663/file/main.pdf BibTex

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
https://inria.hal.science/hal-02978389/file/simultexduflot-duplouy.pdf 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
https://inria.hal.science/hal-02262205/file/final.pdf 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
https://inria.hal.science/hal-01652138/file/himmiche-al-msr2017-final.pdf 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
https://inria.hal.science/hal-01652140/file/Himmiche_et_al_Sohoma2017_vf.pdf 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
https://inria.hal.science/hal-01630851/file/resubmission-Satisfiability%20techniques%20for%20computing%20minimal%20tie%20sets%20in%20reliability%20assessment.pdf 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
https://inria.hal.science/hal-01154767/file/When%20sharing%20computer%20science%20with%20everyone%20also%20helps%20avoiding%20digital%20prejudices%20%281%29.pdf 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
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
BibTex

2005

titre
A Probabilistic Property-Specific Approach to Information Flow
auteur
Marie Duflot, Danièle Beauquier, Marius Minea
article
2005, pp.206-220, ⟨10.1007/11560326_16⟩
typdoc
Conference papers
DOI
DOI : 10.1007/11560326_16
Accès au bibtex
BibTex

2001

titre
Unavoidable Configurations of Parameterized Rings of Processes
auteur
Marie Duflot, Laurent Fribourg, Ulf Nilsson
article
2001, pp.472-486
typdoc
Conference papers
Accès au bibtex
BibTex

Theses

2023

titre
MOF/TiO2/Au composites for CO2 photoreduction in gas phase
auteur
Marie Duflot
article
Matériaux. Université de Strasbourg, 2023. Français. ⟨NNT : 2023STRAF066⟩
typdoc
Theses
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04535592/file/DUFLOT_Marie_2023_ED222.pdf BibTex

2003

titre
Distributed algorithms on parameterized rings – Probabilistic and deterministic convergence proofs.
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
https://theses.hal.science/tel-00091429/file/these.pdf 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
https://inria.hal.science/hal-01518920/file/Techreport%20-%20Satisfiability%20techniques%20for%20computing%20minimal%20tie%20sets%20in%20reliability%20assessment.pdf BibTex