Marie Duflot
Marie Duflot
LORIA - Université de Lorraine & INRIA
Adresse e-mail validée de inria.fr
Titre
Citée par
Citée par
Année
A formal analysis of Bluetooth device discovery
M Duflot, M Kwiatkowska, G Norman, D Parker
International journal on software tools for technology transfer 8 (6), 621-632, 2006
1672006
Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC
M Duflot, L Fribourg, T Herault, R Lassaigne, F Magniette, S Messika, ...
Electronic Notes in Theoretical Computer Science 128 (6), 195-214, 2005
652005
COSMOS: a statistical model checker for the hybrid automata stochastic logic
P Ballarini, H Djafri, M Duflot, S Haddad, N Pekergin
Quantitative Evaluation of Systems (QEST), 2011 Eighth International …, 2011
592011
Bounding messages for free in security protocols
M Arapinis, M Duflot
International Conference on Foundations of Software Technology and …, 2007
482007
HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation
P Ballarini, B Barbot, M Duflot, S Haddad, N Pekergin
412015
HASL: an expressive language for statistical verification of stochastic models.
P Ballarini, H Djafri, M Duflot, S Haddad, N Pekergin
Valuetools 11, 306-315, 2011
402011
HASL: an expressive language for statistical verification of stochastic models.
P Ballarini, H Djafri, M Duflot, S Haddad, N Pekergin
Valuetools 11, 306-315, 2011
402011
Practical applications of probabilistic model checking to communication protocols
M Duflot, M Kwiatkowska, G Norman, D Parker, S Peyronnet, C Picaronny, ...
Formal Methods for Industrial Critical Systems: A Survey of Applications …, 2013
382013
Randomized dining philosophers without fairness assumption
M Duflot, L Fribourg, C Picaronny
Distributed Computing 17 (1), 65-76, 2004
362004
Randomized finite-state distributed algorithms as Markov chains
M Duflot, L Fribourg, C Picaronny
International Symposium on Distributed Computing, 240-254, 2001
272001
Petri nets compositional modeling and verification of flexible manufacturing systems
P Ballarini, H Djafri, M Duflot, S Haddad, N Pekergin
2011 IEEE International Conference on Automation Science and Engineering …, 2011
202011
Measuring permissivity in finite games
P Bouyer, M Duflot, N Markey, G Renault
International Conference on Concurrency Theory, 196-210, 2009
182009
Bounding messages for free in security protocols–extension to various security properties
M Arapinis, M Duflot
Information and Computation 239, 182-215, 2014
112014
Computing expected absorption times for parametric determinate probabilistic timed automata
N Chamseddine, M Duflot, L Fribourg, C Picaronny, J Sproston
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
112008
Analyse comparative d’une activité d’apprentissage de la programmation en mode branché et débranché
M Romero, T Viéville, M Duflot-Kremer, C De Smet, D Belhassein
Educode, 2018
62018
A probabilistic property-specific approach to information flow
D Beauquier, M Duflot, M Minea
International Workshop on Mathematical Methods, Models, and Architectures …, 2005
52005
When sharing computer science with everyone also helps avoiding digital prejudices.
M Duflot, M Quinson, F Masseglia, D Roy, J Vaubourg, T Viéville
42015
FMICS Handbook on Industrial Critical Systems, chapter Practical Applications of Probabilistic Model Checking to Communication Protocols
M Duflot, M Kwiatkowska, G Norman, D Parker, S Peyronnet, C Picaronny, ...
IEEE Computer Society Press 1, 133-150, 2010
42010
Unavoidable configurations of parameterized rings of processes
M Duflot, L Fribourg, U Nilsson
International Conference on Concurrency Theory, 472-486, 2001
42001
Le jeu du robot: analyse d’une activité d’informatique débranchée sous la perspective de la cognition incarnée
M Romero, M Duflot-Kremer, T Viéville
Review of science, mathematics and ICT education, 2018
32018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20