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.
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
- 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
-
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
2024
- titre
- Execution-time opacity control for timed automata
- auteur
- Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux
- article
- 22nd International Conference on Software Engineering and Formal Methods (SEFM 2024), Alexandre Madeira; Alexander Knapp, Nov 2024, Aveiro (Portugal), Portugal. ⟨10.1007/978-3-031-77382-2_20⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-031-77382-2_20
- Accès au texte intégral et 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
-
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
- 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
-
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
-
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
-
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
-
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
-
