Concepedia

Marie Duflot

MD

9

Publications

287

Citations

9

H-Index

2004

Active since

Affiliations

Université Paris-Est Créteil(Current)

École Normale Supérieure Paris-Saclay

Centre National de la Recherche Scientifique

Laboratoire Spécification et Vérification

Université de Strasbourg

Marie Duflot is an author at Université Paris-Est Créteil specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringVerificationProgram AnalysisSoftware AnalysisAutomated Reasoning

Publications per year

2004–2025

9

Publications

9

COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic

Paolo Ballarini, Hilal Djafri, Marie Duflot et al. · 2011 · 55 citations

Engineering, Verification, Computer-aided Verification +17

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC

Marie Duflot, Laurent Fribourg, Thomas Hérault et al. · Electronic Notes in Theoretical Computer Science · 2005 · 50 citations · Full text

HASL: A new approach for performance evaluation and model checking from concepts to experimentation

Paolo Ballarini, Benoît Barbot, Marie Duflot et al. · Performance Evaluation · 2015 · 47 citations · Full text

Engineering, Verification, Computer-aided Verification +16

HASL: an Expressive Language for Statistical Verification of Stochastic Models

Paolo Ballarini, Hilal Djafri, Marie Duflot et al. · 2011 · 32 citations · Full text

Relevant Execution Paths, Engineering, Verification +22

Modulation of NH<sub>2</sub>‐UiO‐66 Based MOFs for Gas Phase CO<sub>2</sub> Photocatalytic Reduction

Marie Duflot, Clément Marchal, Vincent Artero et al. · Advanced Energy Materials · 2025 · 29 citations · Full text

Materials Science, Chemical Engineering, Artificial Photosynthesis +13

Rows per page

1–5 of 9