Marie Duflot

26 papers A 1B 3C 1Misc 1Journal 8Unranked 11
YearRankTypeTitle / Venue / Authors
2024 — conf
Diagnosis of Stochastic Systems: Optimising Costs and Delays.
QEST+FORMATS
Marie Duflot, Engel Lefaucheux, Isaline Plaid
2024 B conf
Execution-Time Opacity Control for Timed Automata.
SEFM
Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux
2024 J jnl
Execution-time opacity control for timed automata.
CoRR
Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux
2020 C conf
Statistical Model Checking of Distributed Programs within SimGrid.
SIMULTECH
Marie Duflot, Yann Duplouy
2017 — conf
Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule.
SOHOMA
Sara Himmiche, Alexis Aubry, Pascale Marangé, Marie Duflot, Jean-François Pétin
2015 J jnl
Applications of an expressive statistical model checking approach to the analysis of genetic circuits.
Theor. Comput. Sci.
Paolo Ballarini, Marie Duflot
2015 J jnl
HASL: A new approach for performance evaluation and model checking from concepts to experimentation.
Perform. Evaluation
Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin
2014 J jnl
Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations.
CoRR
Jingshu Chen, Marie Duflot, Stephan Merz
2014 J jnl
Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Jingshu Chen, Marie Duflot, Stephan Merz
2014 J jnl
Bounding messages for free in security protocols - extension to various security properties.
Inf. Comput.
Myrto Arapinis, Marie Duflot
2011 — conf
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic.
QEST
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
2011 — conf
HASL: an expressive language for statistical verification of stochastic models.
VALUETOOLS
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
2011 — conf
Petri nets compositional modeling and verification of Flexible Manufacturing Systems.
CASE
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
2009 B conf
Measuring Permissivity in Finite Games.
CONCUR
Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault
2008 — conf
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata.
QEST
Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston
2007 — conf
Bounding Messages for Free in Security Protocols.
FSTTCS
Myrto Arapinis, Marie Duflot
2007 Misc conf
Decidability of Parameterized Probabilistic Information Flow.
CSR
Danièle Beauquier, Marie Duflot, Yury Lifshits
2006 J jnl
A formal analysis of bluetooth device discovery.
Int. J. Softw. Tools Technol. Transf.
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2005 — conf
A Probabilistic Property-Specific Approach to Information Flow.
MMM-ACNS
Danièle Beauquier, Marie Duflot, Marius Minea
2004 — conf
A Formal Analysis of Bluetooth Device Discovery.
ISoLA (Preliminary proceedings)
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2004 — conf
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.
AVoCS
Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny
2004 J jnl
Randomized dining philosophers without fairness assumption.
Distributed Comput.
Marie Duflot, Laurent Fribourg, Claudine Picaronny
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
2002 — conf
Randomized Dining Philosophers without Fairness Assumption.
IFIP TCS
Marie Duflot, Laurent Fribourg, Claudine Picaronny
2001 A conf
Randomized Finite-State Distributed Algorithms as Markov Chains.
DISC
Marie Duflot, Laurent Fribourg, Claudine Picaronny
2001 B conf
Unavoidable Configurations of Parameterized Rings of Processes.
CONCUR
Marie Duflot, Laurent Fribourg, Ulf Nilsson