Unavoidable Configurations of Parameterized Rings of Processes. - Marie Duflot; Laurent Fribourg; Ulf Nilsson (CONCUR, 2001)

Randomized Finite-State Distributed Algorithms as Markov Chains. - Marie Duflot; Laurent Fribourg; Claudine Picaronny (DISC, 2001)

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 (2003)

Randomized dining philosophers without fairness assumption. - Marie Duflot; Laurent Fribourg; Claudine Picaronny (Distributed Comput., 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 (AVoCS, 2004)

A Probabilistic Property-Specific Approach to Information Flow. - Danièle Beauquier; Marie Duflot; Marius Minea (MMM-ACNS, 2005)

A formal analysis of bluetooth device discovery. - Marie Duflot; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001 (Int. J. Softw. Tools Technol. Transf., 2006)

Decidability of Parameterized Probabilistic Information Flow. - Danièle Beauquier; Marie Duflot; Yury Lifshits (CSR, 2007)

Bounding Messages for Free in Security Protocols. - Myrto Arapinis; Marie Duflot (FSTTCS, 2007)

Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. - Najla Chamseddine; Marie Duflot; Laurent Fribourg; Claudine Picaronny; Jeremy Sproston (QEST, 2008)

Measuring Permissivity in Finite Games. - Patricia Bouyer; Marie Duflot; Nicolas Markey; Gabriel Renault (CONCUR, 2009)

Petri nets compositional modeling and verification of Flexible Manufacturing Systems. - Paolo Ballarini; Hilal Djafri; Marie Duflot; Serge Haddad; Nihal Pekergin (CASE, 2011)

COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. - Paolo Ballarini; Hilal Djafri; Marie Duflot; Serge Haddad; Nihal Pekergin (QEST, 2011)

HASL: an expressive language for statistical verification of stochastic models. - Paolo Ballarini; Hilal Djafri; Marie Duflot; Serge Haddad; Nihal Pekergin (VALUETOOLS, 2011)

Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations. - Jingshu Chen; Marie Duflot; Stephan Merz (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Bounding messages for free in security protocols - extension to various security properties. - Myrto Arapinis; Marie Duflot (Inf. Comput., 2014)

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)

Applications of an expressive statistical model checking approach to the analysis of genetic circuits. - Paolo Ballarini; Marie Duflot (Theor. Comput. Sci., 2015)

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 (SOHOMA, 2017)

Statistical Model Checking of Distributed Programs within SimGrid. - Marie Duflot; Yann Duplouy (SIMULTECH, 2020)

Diagnosis of Stochastic Systems: Optimising Costs and Delays. - Marie Duflot; Engel Lefaucheux; Isaline Plaid (QEST+FORMATS, 2024)

Execution-Time Opacity Control for Timed Automata. - Étienne André; Marie Duflot; Laetitia Laversa; Engel Lefaucheux (SEFM, 2024)