Search the dblp DataBase

Publications of Author

1. Marie Duflot, Laurent Fribourg, Ulf Nilsson
   Unavoidable Configurations of Parameterized Rings of Processes. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2001, pp:472-486 [Conf]
   
2. Marie Duflot, Laurent Fribourg, Claudine Picaronny
   Randomized Dining Philosophers without Fairness Assumption. [Citation Graph (0, 0)][DBLP]
   IFIP TCS, 2002, pp:169-180 [Conf]
   
3. Danièle Beauquier, Marie Duflot, Marius Minea
   A Probabilistic Property-Specific Approach to Information Flow. [Citation Graph (0, 0)][DBLP]
   MMM-ACNS, 2005, pp:206-220 [Conf]
   
4. Marie Duflot, Laurent Fribourg, Claudine Picaronny
   Randomized Finite-State Distributed Algorithms as Markov Chains. [Citation Graph (0, 0)][DBLP]
   DISC, 2001, pp:240-254 [Conf]
   
5. Marie Duflot, Laurent Fribourg, Claudine Picaronny
   Randomized dining philosophers without fairness assumption. [Citation Graph (0, 0)][DBLP]
   Distributed Computing, 2004, v:17, n:1, pp:65-76 [Journal]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:195-214 [Journal]
   
7. Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
   A formal analysis of bluetooth device discovery. [Citation Graph (0, 0)][DBLP]
   STTT, 2006, v:8, n:6, pp:621-632 [Journal]
   
8. Danièle Beauquier, Marie Duflot, Yury Lifshits
   Decidability of Parameterized Probabilistic Information Flow. [Citation Graph (0, 0)][DBLP]
   CSR, 2007, pp:82-91 [Conf]
   
9. 
   Measuring Permissivity in Finite Games. [Citation Graph (, )][DBLP]
   
   
10. 
    Bounding Messages for Free in Security Protocols. [Citation Graph (, )][DBLP]
    
    
11. 
    A Formal Analysis of Bluetooth Device Discovery. [Citation Graph (, )][DBLP]
    
    
12. 
    Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. [Citation Graph (, )][DBLP]