Hasl: A new approach for performance evaluation and model checking from concepts to experimentation, Performance Evaluation, vol.90, pp.53-77, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01221815
Versatile, scalable, and accurate simulation of distributed applications and platforms, Journal of Parallel and Distributed Computing, vol.74, issue.10, pp.2899-2917, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01017319
On the asymptotic theory of fixed-width sequential confidence intervals for the mean, Ann. Math. Statist, vol.36, issue.2, pp.457-462, 1965. ,
The bittorrent protocol specification, 2008. ,
System-level state equality detection for the formal dynamic verification of legacy distributed applications, J. Log. Algebraic Methods Program, vol.96, pp.1-11, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01900120
Probability inequalities for sums of bounded random variables, Journal of the American Statistical Association, vol.58, issue.301, pp.13-30, 1963. ,
Superseeding, 2008. ,
Prism 4.0: Verification of probabilistic real-time systems, Computer Aided Verification, pp.585-591, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00648035
Simgrid mc: Verification support for a multi-api simulation platform, Formal Techniques for Distributed Systems, pp.274-288, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00593505
Experimental assessment of bittorrent completion time in heterogeneous tcp/utp swarms, Traffic Monitoring and Analysis, pp.52-65, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00795818