Selected Publications by Marie Duflot

Book Chapters

• Marie Duflot, Marta Kwiatkowska, Gethin Norman, Dave Parker, Sylvain Peyronnet, Claudine Picaronny and Jeremy Sproston. Practical Applications of Probabilistic Model Checking to Communication Protocols. In Handbook of Formal Methods in Industrial Critical Systems (FMICS), pages 133--150. 2013.

Journals

• Paolo Ballarini and Marie Duflot. Applications of an expressive statistical model checking approach to the analysis of genetic circuits. In Theoretical Computer Science, To appear, 2015.
• Paolo Ballarini Benoît Barbot, Marie Duflot, Serge Haddad and Nihal Pekergin. HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation. In Performance Evaluation, To appear, 2015.
• Myrto Arapinis and Marie Duflot. Bounding messages for free in security protocols - extension to various security properties. In Information and Computation, volume 239, pages 182--215. Elsevier, 2014.
• Marie Duflot, Marta Kwiatkowska, Gethin Norman and Dave Parker. A Formal Analysis of Bluetooth Device Discovery. International Journal on Software Tools for Technology Transfer (STTT). 8(6), pages 621 - 632, Springer. 2006.
• Marie Duflot, Laurent Fribourg, and Claudine Picaronny. Randomized dining philosophers without fairness assumption. Distributed Computing, pages 65-76, 2004.

Conferences

• Jingshu Chen, Marie Duflot and Stephan Merz. Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations. In Proc. AVOCS 2014 and ECEASST volume 70. 2014.
• Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad and Nihal Pekergin. HASL : an Expressive Language for Statistical Verification of Stochastic Models. In Proc. 5th Int. ICST Conference on Performance Evaluation Methodologies and Tools. To appear. 2011
• Patricia Bouyer, Marie Duflot, Nicolas Markey and Gabriel Renault. Measuring Permissivity in Finite Games. In Proc. 20th Int. Conf. Concurrency Theory (CONCUR'09), Volume 5710 of LNCS, pages 196-210. Springer, 2009.
• Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny and Jeremy Sproston. Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. In Proc. 5th Int. Conf. on the Quantitative Evaluation of SysTems (QEST 2008) IEEE Computer Society, 254-263, 2008.
• Myrto Arapinis and Marie Duflot. Bounding messages for free in security protocols. In Proc. 27th Int. COnf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2007) Volume 4855 of LNCS pages 376-387. Springer. 2007.
• Dani�le Beauquier, Marie Duflot and Yury Lifshits. Decidability of Parameterized Probabilistic Information Flow. In Proc. 2nd Int. Symposium on Computer Science in Russia, (CSR 2007). Volume 4649 of LNCS pages 82-91. Springer. 2007.
• Dani�le Beauquier, Marie Duflot and Marius Minea. A Probabilistic Property-Specific Approach to Information Flow. In Proc. 3rd Int. Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security (MMM-ACNS 2005). Volume 3685 of LNCS pages 206-220. Springer. 2005
• Marie Duflot, Marta Kwiatkowska, Gethin Norman and Dave Parker. A Formal Analysis of Bluetooth Device Discovery In Proc. 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04). November 2004, Paphos, Cyprus
• Marie Duflot, Laurent Fribourg, Thomas Herault, Richard Lassaigne, Fr�d�ric Magniette, St�phane Messika, Sylvain Peyronnet and Claudine Picaronny Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC. In Proc. 4th Int. Workshop on Automated Verification of Critical Systems (AVoCS 2004), London, UK, September 2004, Electronic Notes in Theor. Comp. Sci. 128(6) pages 195-214. Elsevier, 2005.
• Marie Duflot, Laurent Fribourg and Claudine Picaronny. Randomized dining philosophers without fairness assumption. In Proc. 2nd IFIP Int. Conf. Theoretical Computer Science (TCS@2002), Aug. 2002, Montreal, Canada, volume 223 of IFIP Conference Proceedings, pages 169-180. Kluwer Academic, 2002.
• Marie Duflot, Laurent Fribourg, and Ulf Nilsson. Unavoidable configurations of parameterized rings of processes. In Proc. 12th Int. Conf. Concurrency Theory (CONCUR'2001), Aalborg, Denmark, Aug. 2001, volume 2154 of Lecture Notes in Computer Science, pages 472-486. Springer, 2001.
• Marie Duflot, Laurent Fribourg, and C. Picaronny. Randomized finite-state distributed algorithms as Markov chains. In Proc. 15th Int. Conf. on Distributed Computing (DISC'2001), Lisbon, Portugal, Oct. 2001, volume 2180 of Lecture Notes in Computer Science, pages 240-254. Springer, 2001.

Theses

• Marie Duflot. Algorithmes distribu�s sur des anneaux param�tr�s - Preuves de convergence probabiliste et d�terministe. PhD thesis, ENS de Cachan, September 2003.
• Marie Duflot. Configurations r�currentes pour les anneaux de processus - Application � l'auto-stabilisation. Masters Thesis, DEA Algorithmique, Paris, September 2000. 46 pages.

Other publications

• Marie Duflot, St�phane Messika and Claudine Picaronny. V�rification du protocole CSMA/Cd sous PRISM. Work package 4.2 deliverable 1, project RNTL Averroes, 2004.
• Marie Duflot. Abstraction et probabilit�s�: Travaux r�cents Deliverable 4.5, project RNRT Calife, 2002. 14 pages.

List of Co-authors

I mention the affiliations at the time of our last collaboration.

• Myrto Arapinis, University of Edimburgh
• Paolo Ballarini, Ecole Centrale Paris
• Benoît Barbot, University of Oxford, UK
• Dani�le Beauquier, LACL, Universit� Paris Est Cr�teil
• Patricia Bouyer, LSV, ENS de Cachan
• Najla Chamseddine, LSV, ENS de Cachan
• Jingshu Chen, LORIA, Inria & Université de Lorraine
• Hilal Djafri, LSV, ENS de Cachan
• Laurent Fribourg, LSV, ENS de Cachan
• Serge Haddad, LSV, ENS de Cachan
• Thomas Herault, LRI, Universit� Paris Sud
• Marta Kwiatkowska, University of Oxford, UK
• Richard Lassaigne, Universit� Paris 7
• Yury Lifshits, Steklov Institute of Mathematics, St Petersbourg, Russie
• Fr�d�ric Magniette d�l�gation Ile de France Est du CNRS
• Nicolas Markey, LSV, ENS de Cachan
• Stephan Merz, LORIA, Inria
• St�phane Messika, LRI, Universit� Paris Sud
• Marius Minea, Politehnica University of Timisoara, Roumanie
• Ulf Nilsson, Link�pings Universitet, Su�de
• Gethin Norman, University of Glasgow, UK
• Dave Parker, University of Oxford, UK
• Nihal Pekergin, LACL, Universit� Paris Est Cr�teil
• Sylvain Peyronnet, LRI, Universit� Paris Sud
• Claudine Picaronny, LSV, ENS de Cachan
• Gabriel Renault, LABRI, Bordeaux
• Jeremy Sproston, Universit� di Torino, Italie

Last updated May 2015.