H. Andersson and T. Britton, Stochastic Epidemic Models and Their Statistical Analysis, 2000.
DOI : 10.1007/978-1-4612-1158-7

C. Baier, Model-checking algorithms for continuous-time markov chains, IEEE Transactions on Software Engineering, vol.29, issue.6, pp.524-541, 2003.
DOI : 10.1109/TSE.2003.1205180

M. Benaim and J. Boudec, A class of mean field interaction models for computer and communication systems, Performance Evaluation, vol.6511, pp.823-838, 2008.

P. , B. English, and N. J. Hoboken, Probability and measure, pp.9781118122372-1118122372, 2012.

L. Bortolussi and N. Gast, Mean Field Approximation of Imprecise Population Processes, 2015.

L. Bortolussi, Continuous Approximation of Collective Systems Behaviour: a Tutorial In: Performance Evaluation 70, pp.317-349, 2013.

L. Bortolussi, Hybrid behaviour of Markov population models, Information and Computation, vol.247, 2015.
DOI : 10.1016/j.ic.2015.12.001

L. Bortolussi-al-begain, D. Fiems, and W. J. Knottenbelt, Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras Analytical and Stochastic Modeling Techniques and Applications, Lecture Notes in Computer Science, vol.61481011, pp.367-381978, 1007.

L. Bortolussi and J. Hillston, Model checking single agent behaviours by fluid approximation, Information and Computation, vol.242, 2015.
DOI : 10.1016/j.ic.2015.03.002

L. Bortolussi and R. Lanciani, Fluid Model Checking of Timed Properties, pp.172-188, 2015.
DOI : 10.1007/978-3-319-22975-1_12

L. Bortolussi and R. Lanciani, Model Checking Markov Population Models by Central Limit Approximation, In: Quantitative Evaluation of Systems . Lecture Notes in Computer Science, vol.805411, pp.123-138, 2013.
DOI : 10.1007/978-3-642-40196-1_9

L. Bortolussi and R. Lanciani, Stochastic Approximation of Global Reachability Probabilities of Markov Population Models, pp.224-239, 2014.
DOI : 10.1007/978-3-319-10885-8_16

L. Bortolussi and A. Policriti, Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back, In: Transactions on Computational Systems Biology XI, vol.99, issue.9, pp.216-267, 2009.
DOI : 10.1073/pnas.092133899

L. Bortolussi and A. Policriti, (Hybrid) automata and (stochastic) programs * The hybrid automata lattice of a stochastic program, Journal of Logic and Computation, vol.23, issue.4, p.45, 2013.
DOI : 10.1093/logcom/exr045

L. Bortolussi and A. Policriti, Hybrid dynamics of stochastic programs, Theoretical Computer Science, vol.411, issue.20, pp.2052-2077, 2010.
DOI : 10.1016/j.tcs.2010.02.008

A. Chaintreau, J. Boudec, and N. Ristanovic, The age of gossip, Proceedings of the eleventh international joint conference on Measurement and modeling of computer systems, SIGMETRICS '09, pp.109-120, 2009.
DOI : 10.1145/1555349.1555363

F. Ciocchetta and J. Hillston, Bio-PEPA: A framework for the modelling and analysis of biological systems, Theoretical Computer Science, vol.410, issue.33-34, pp.185-3065, 2009.
DOI : 10.1016/j.tcs.2009.02.037

A. Crudu, Convergence of stochastic gene networks to hybrid piecewise deterministic processes, The Annals of Applied Probability, vol.22, issue.5, 2012.
DOI : 10.1214/11-AAP814

URL : https://hal.archives-ouvertes.fr/hal-00553482

R. Darling and J. R. Norris, Differential equation approximations for Markov chains, Probability Surveys, vol.5, issue.0, pp.37-79, 2008.
DOI : 10.1214/07-PS121

M. H. Davis, Markov Models and Optimization, 1993.
DOI : 10.1007/978-1-4899-4483-2

J. Doncel, N. Gast, and B. Gaujal, Mean-Field Games with Explicit Interactions " . working paper or preprint
URL : https://hal.archives-ouvertes.fr/hal-01277098

R. Durrett, Essentials of Stochastic Processes. en, 2012.

C. Fricker and N. Gast, Incentives and redistribution in homogeneous bike-sharing systems with stations of finite capacity, EURO Journal on Transportation and Logistics, vol.41, issue.1, pp.1-31, 2014.
DOI : 10.1214/aoap/1034968067

URL : https://hal.archives-ouvertes.fr/hal-01086009

C. Fricker, N. Gast, and H. Mohamed, Mean field analysis for inhomogeneous bike sharing systems, DMTCS Proceedings 01 (2012), pp.365-376
URL : https://hal.archives-ouvertes.fr/hal-01086055

V. Galpin, Spatial Representations and Analysis Techniques, In: SFM, vol.35, 2016.
DOI : 10.1007/978-3-319-34096-8_5

V. Galpin, L. Bortolussi, and J. Hillston, HYPE: Hybrid modelling by composition of flows, Formal Aspects of Computing, vol.68, issue.4, pp.503-541, 2013.
DOI : 10.1007/s00165-011-0189-0

N. Gast and B. Gaujal, Markov chains with discontinuous drifts have differential inclusion limits, Performance Evaluation, vol.69, issue.12, pp.623-642, 2012.
DOI : 10.1016/j.peva.2012.07.003

URL : https://hal.archives-ouvertes.fr/hal-00787999

N. Gast and B. Gaujal, Mean field limit of non-smooth systems and differential inclusions, ACM SIGMETRICS Performance Evaluation Review, vol.38, issue.2, pp.30-32, 2010.
DOI : 10.1145/1870178.1870189

URL : https://hal.archives-ouvertes.fr/hal-00788863

N. Gast, J. Boudec, and D. Tomozei, Impact of demand-response on the efficiency and prices in real-time electricity markets, Proceedings of the 5th international conference on Future energy systems, e-Energy '14, pp.171-182, 2014.
DOI : 10.1145/2602044.2602052

URL : https://hal.archives-ouvertes.fr/hal-01086036

N. Gast and B. Van-houdt, Transient and Steady-state Regime of a Family of List-based Cache Replacement Algorithms
URL : https://hal.archives-ouvertes.fr/hal-01334354

J. Hasenauer, Method of conditional moments (MCM) for the Chemical Master Equation, Journal of Mathematical Biology, vol.109, issue.21, pp.303-6812, 2013.
DOI : 10.1007/s00285-013-0711-5

T. Henzinger, B. Jobstmann, and V. Wolf, Formalisms for Specifying Markovian Population Models, International Journal of Foundations of Computer Science, vol.22, pp.4-823, 2011.

L. Hu, J. Boudec, and M. Vojnoviae, Optimal Channel Choice for Collaborative Ad-Hoc Dissemination, 2010 Proceedings IEEE INFOCOM, pp.1-9, 2010.
DOI : 10.1109/INFCOM.2010.5462163

M. Huang, R. P. Malhamé, and P. E. Caines, Large population stochastic dynamic games: closed-loop McKean-Vlasov systems and the Nash certainty equivalence principle, In: Communications in Information & Systems, vol.63, pp.221-252, 2006.

J. Katoen, M. Khattri, and I. S. Zapreevt, A Markov reward model checker, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), pp.243-244, 2005.
DOI : 10.1109/QEST.2005.2

T. Kurtz, Solutions of ordinary differential equations as limits of pure jump markov processes, Journal of Applied Probability, vol.3, issue.01, pp.49-58, 1970.
DOI : 10.1017/S0021900200026929

M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of Probabilistic Real-Time Systems, Computer Aided Verification, pp.585-591978, 2011.
DOI : 10.1007/3-540-45657-0_17

URL : https://hal.archives-ouvertes.fr/hal-00648035

M. Krn, Stochasticity in gene expression: from theories to phenotypes, Nature Reviews Genetics, vol.8706, issue.6, pp.451-464, 2005.
DOI : 10.1073/pnas.0400673101

J. Lasry and P. Lions, Mean field games, Japanese Journal of Mathematics, vol.4, issue.1, pp.229-260, 2007.
DOI : 10.1007/s11537-007-0657-8

URL : https://hal.archives-ouvertes.fr/hal-00667356

J. Boudec, Performance Evaluation of Computer and Communication Systems, 2010.
DOI : 10.1201/b16328

M. Loreti, Modeling and analysis of collective adaptive systems with CARMA and its tools, In: SFM, 2016.

M. Mitzenmacher, The power of two choices in randomized load balancing, Parallel and Distributed Systems, pp.1094-1104, 2001.
DOI : 10.1109/71.963420

J. Norris, Markov chains. English, 1998.

J. Pahle, Biochemical simulations: stochastic, approximate stochastic and hybrid approaches, Briefings in Bioinformatics, vol.10, issue.1, pp.53-64, 2008.
DOI : 10.1093/bib/bbn050

E. Todorov, Optimal Control Theory, Bayesian brain: probabilistic approaches to neural coding, pp.269-298, 2006.
DOI : 10.7551/mitpress/9780262042383.003.0012

M. Tribastone, S. Gilmore, and J. Hillston, Scalable Differential Analysis of Process Algebra Models, IEEE Transactions on Software Engineering, vol.38, issue.1, pp.205-219, 2012.
DOI : 10.1109/TSE.2010.82

M. Tschaikowski and M. Tribastone, Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls, IEEE Transactions on Automatic Control, vol.61, issue.4, 2015.
DOI : 10.1109/TAC.2015.2457172

J. N. Tsitsiklis and K. Xu, On the power of (even a little) resource pooling, Stochastic Systems, pp.1-66, 2012.
DOI : 10.1214/11-SSY033

B. Van-houdt, A Mean Field Model for a Class of Garbage Collection Algorithms in Flash-based Solid State Drives, Proceedings of the ACM SIGMETRICS. SIGMETRICS '13

D. ?. Wilkinson, Stochastic Modelling for Systems Biology, 2006.

T. Yang, P. G. Mehta, and S. P. Meyn, A mean-field control-oriented approach to particle filtering, ACC), pp.2037-2043, 2011.

L. Ying, On the Rate of Convergence of Mean-Field Models: Stein's Method Meets the Perturbation Theory, 2015.