Marie Duflot

ORCID

Publication Activity (10 Years)

Years Active: 2001-2015
Publications (10 Years): 2

Top Venues

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

CoRR

Inf. Comput.

Perform. Evaluation

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin
HASL: A new approach for performance evaluation and model checking from concepts to experimentation. Perform. Evaluation 90 (2015)
Paolo Ballarini, Marie Duflot
Applications of an expressive statistical model checking approach to the analysis of genetic circuits. Theor. Comput. Sci. 599 (2015)
Jingshu Chen, Marie Duflot, Stephan Merz
Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Jingshu Chen, Marie Duflot, Stephan Merz
Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations. CoRR (2014)
Myrto Arapinis, Marie Duflot
Bounding messages for free in security protocols - extension to various security properties. Inf. Comput. 239 (2014)
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
HASL: an expressive language for statistical verification of stochastic models. VALUETOOLS (2011)
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. QEST (2011)
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
Petri nets compositional modeling and verification of Flexible Manufacturing Systems. CASE (2011)
Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault
Measuring Permissivity in Finite Games. CONCUR (2009)
Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. QEST (2008)
Danièle Beauquier, Marie Duflot, Yury Lifshits
Decidability of Parameterized Probabilistic Information Flow. CSR (2007)
Myrto Arapinis, Marie Duflot
Bounding Messages for Free in Security Protocols. FSTTCS (2007)
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
A formal analysis of bluetooth device discovery. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
Danièle Beauquier, Marie Duflot, Marius Minea
A Probabilistic Property-Specific Approach to Information Flow. MMM-ACNS (2005)
Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Marie Duflot, Laurent Fribourg, Claudine Picaronny
Randomized dining philosophers without fairness assumption. Distributed Comput. 17 (1) (2004)
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
A Formal Analysis of Bluetooth Device Discovery. ISoLA (Preliminary proceedings) (2004)
Marie Duflot, Laurent Fribourg, Claudine Picaronny
Randomized Dining Philosophers without Fairness Assumption. IFIP TCS (2002)
Marie Duflot, Laurent Fribourg, Claudine Picaronny
Randomized Finite-State Distributed Algorithms as Markov Chains. DISC (2001)
Marie Duflot, Laurent Fribourg, Ulf Nilsson
Unavoidable Configurations of Parameterized Rings of Processes. CONCUR (2001)

Marie Duflot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marie Duflot