Marie Duflot

Centre National de la Recherche Scientifique — France

Computer Science · Physical Sciences

13h-index456citations32works11.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(13), Petri Nets in System Modeling(8), Distributed systems and fault tolerance(6), Software Reliability and Analysis Research(5), Advanced Photocatalysis Techniques(3)

Publications32 total

Modulation of NH<sub>2</sub>‐UiO‐66 Based MOFs for Gas Phase CO<sub>2</sub> Photocatalytic Reduction
Advanced Energy Materials·2025· 30 citedOpen Access
Execution-Time Opacity Control for Timed Automata
Lecture notes in computer science·2024· 3 citedOpen Access
Diagnosis of Stochastic Systems: Optimising Costs and Delays
Lecture notes in computer science·2024
Composites de type MOF/TiO2/Au pour la photo-réduction du CO2 en phase gazeuse
theses.fr (ABES)·2023Open Access
Optimization of NH2-UiO-66/TiO2/Au composites for enhanced gas-phase CO2 photocatalytic reduction into CH4
Catalysis Today·2023· 23 citedOpen Access
Statistical Model Checking of Distributed Programs within SimGrid
HAL (Le Centre pour la Communication Scientifique Directe)·2020Open Access
Deep Residual Policy Reinforcement Learning as a Corrective Term in Process Control for Alarm Reduction: A Preliminary Report
HAL (Le Centre pour la Communication Scientifique Directe)·2019· 23 citedOpen Access
Dynamic Optimization of Maintenance Policies for Multistate System
Proceedings of the 29th European Safety and Reliability Conference (ESREL)·2019· 6 citedOpen Access
Integrating Satisfiability Solving in the Assessment of System Reliability Modeled by Dynamic Fault Trees
Proceedings of the 29th European Safety and Reliability Conference (ESREL)·2019· 2 cited
Satisfiability techniques for computing minimal tie sets in reliability assessment
HAL (Le Centre pour la Communication Scientifique Directe)·2017· 4 citedOpen Access
Applications of an expressive statistical model checking approach to the analysis of genetic circuits
Theoretical Computer Science·2015· 3 citedOpen Access
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
Performance Evaluation·2015· 47 citedOpen Access
Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations
arXiv (Cornell University)·2014Open Access
Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations
2014Open Access
Bounding messages for free in security protocols – extension to various security properties
Information and Computation·2014· 9 citedOpen Access
Practical Applications of Probabilistic Model Checking to Communication Protocols
Formal Methods for Industrial Critical Systems·2012· 28 cited
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic
2011· 55 cited
Petri nets compositional modeling and verification of Flexible Manufacturing Systems
2011· 15 cited
HASL: an Expressive Language for Statistical Verification of Stochastic Models
2011· 32 citedOpen Access
Measuring Permissivity in Finite Games
Lecture notes in computer science·2009· 13 cited
page 1 of 2Next →

Frequent Co-authors

Claudine Picaronny(6), Paolo Ballarini(5), Laurent Fribourg(5), Serge Haddad(4), Nihal Pekergin(4), Nicolae Brînzei(4), Stephan Merz(4), Hilal Djafri(3), Myrto Arapinis(3), Vincent Artero(3), Margaux Duroeulx(3), Sylvain Peyronnet(2), Clément Marchal(2), Konstantinos C. Christoforidis(2), Marta Kwiatkowska(2), Gethin Norman(2), David Parker(2), Jeremy Sproston(2), Engel Lefaucheux(2), Danièle Beauquier(2)