| A formal analysis of Bluetooth device discovery M Duflot, M Kwiatkowska, G Norman, D Parker International journal on software tools for technology transfer 8, 621-632, 2006 | 178 | 2006 |
| 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 | 76 | 2005 |
| HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation P Ballarini, B Barbot, M Duflot, S Haddad, N Pekergin | 72 | 2015 |
| 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 | 71 | 2011 |
| Bounding messages for free in security protocols M Arapinis, M Duflot International Conference on Foundations of Software Technology and …, 2007 | 50 | 2007 |
| 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 …, 2012 | 47 | 2012 |
| HASL: An expressive language for statistical verification of stochastic models P Ballarini, H Djafri, M Duflot, S Haddad, N Pekergin 5th International ICST Conference on Performance Evaluation Methodologies …, 2012 | 43 | 2012 |
| Randomized dining philosophers without fairness assumption M Duflot, L Fribourg, C Picaronny Distributed Computing 17 (1), 65-76, 2004 | 40 | 2004 |
| Randomized finite-state distributed algorithms as Markov chains M Duflot, L Fribourg, C Picaronny International Symposium on Distributed Computing, 240-254, 2001 | 30 | 2001 |
| 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 | 26 | 2011 |
| Measuring permissivity in finite games P Bouyer, M Duflot, N Markey, G Renault International Conference on Concurrency Theory, 196-210, 2009 | 19 | 2009 |
| 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, T Viéville Review of science, mathematics and ICT education 13 (1), 2019 | 18 | 2019 |
| 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 | 18 | 2018 |
| Bounding messages for free in security protocols–extension to various security properties M Arapinis, M Duflot Information and Computation 239, 182-215, 2014 | 13 | 2014 |
| 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 | 12 | 2008 |
| Using statistical-model-checking-based simulation for evaluating the robustness of a production schedule S Himmiche, A Aubry, P Marangé, M Duflot-Kremer, JF Pétin Service Orientation in Holonic and Multi-Agent Manufacturing: Proceedings of …, 2018 | 10 | 2018 |
| PIAF: developing computational and algorithmic thinking in fundamental education Y Parmentier, R Reuter, S Higuet, L Kataja, Y Kreis, M Duflot-Kremer, ... EdMedia+ Innovate Learning, 315-322, 2020 | 6 | 2020 |
| Applications of an expressive statistical model checking approach to the analysis of genetic circuits P Ballarini, M Duflot Theoretical Computer Science 599, 4-33, 2015 | 6 | 2015 |
| A probabilistic property-specific approach to information flow D Beauquier, M Duflot, M Minea International Workshop on Mathematical Methods, Models, and Architectures …, 2005 | 5 | 2005 |
| Unavoidable configurations of parameterized rings of processes M Duflot, L Fribourg, U Nilsson International Conference on Concurrency Theory, 472-486, 2001 | 5 | 2001 |
