Marie Duflot

According to our database, Marie Duflot authored at least 22 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Execution-Time Opacity Control for Timed Automata.

Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Diagnosis of Stochastic Systems: Optimising Costs and Delays.

Marie Duflot, Engel Lefaucheux, Isaline Plaid

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

2020

Statistical Model Checking of Distributed Programs within SimGrid.

Marie Duflot, Yann Duplouy

Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, 2020

2017

Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule.

Sara Himmiche, Alexis Aubry, Pascale Marangé, Marie Duflot, Jean-François Pétin

Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2017

2015

Applications of an expressive statistical model checking approach to the analysis of genetic circuits.

Paolo Ballarini, Marie Duflot

Theor. Comput. Sci., 2015

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

Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin

Perform. Evaluation, 2015

2014

Bounding messages for free in security protocols - extension to various security properties.

Myrto Arapinis, Marie Duflot

Inf. Comput., 2014

Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations.

Jingshu Chen, Marie Duflot, Stephan Merz

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

2011

HASL: an expressive language for statistical verification of stochastic models.

Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

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

Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Petri nets compositional modeling and verification of Flexible Manufacturing Systems.

Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2009

Measuring Permissivity in Finite Games.

Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata.

Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007

Bounding Messages for Free in Security Protocols.

Myrto Arapinis, Marie Duflot

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

Decidability of Parameterized Probabilistic Information Flow.

Danièle Beauquier, Marie Duflot, Yury Lifshits

Proceedings of the Computer Science, 2007

2006

A formal analysis of bluetooth device discovery.

Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker

Int. J. Softw. Tools Technol. Transf., 2006

2005

A Probabilistic Property-Specific Approach to Information Flow.

Danièle Beauquier, Marie Duflot, Marius Minea

Proceedings of the Computer Network Security, 2005

2004

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

Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Randomized dining philosophers without fairness assumption.

Marie Duflot, Laurent Fribourg, Claudine Picaronny

Distributed Comput., 2004

2003

Algorithmes distribués sur des anneaux paramétrés - Preuves de convergence probabiliste et déterministe. (Distributed algorithms on parameterized rings - Probabilistic and deterministic convergence proofs).

Marie Duflot

PhD thesis, 2003

2001

Randomized Finite-State Distributed Algorithms as Markov Chains.

Marie Duflot, Laurent Fribourg, Claudine Picaronny

Proceedings of the Distributed Computing, 15th International Conference, 2001

Unavoidable Configurations of Parameterized Rings of Processes.

Marie Duflot, Laurent Fribourg, Ulf Nilsson

Proceedings of the CONCUR 2001, 2001