@misc(MC:PRISM:HomePage,
title = {PRISM Home Page},
note = {\url{http://www.prismmodelchecker.org}},
)
@article(num-anal-ictmc,
author = {M. Arns and P. Buchholz and A. Panchenko},
year = {2010},
title = {On the Numerical Analysis of Inhomogeneous Continuous-Time Markov Chains},
journal = {{INFORMS} Journal on Computing},
volume = {22},
number = {3},
pages = {416--432},
doi = {10.1287/ijoc.1090.0357},
)
@inproceedings(MC:Aziz:1996:VerifyingCTMC,
author = {A. Aziz and V. Singhal and F. Balarin and R. Brayton and Sangiovanni-Vincentelli, A.},
year = {1996},
title = {Verifying Continuous Time {M}arkov Chains},
booktitle = {Proceedings of CAV96},
doi = {10.1007/3-540-61474-5\_75},
)
@article(BaierHHK03,
author = {C. Baier and B.R. Haverkort and H. Hermanns and J.P. Katoen},
year = {2003},
title = {Model-Checking Algorithms for Continuous-Time Markov Chains},
journal = {{IEEE} Trans. Software Eng.},
volume = {29},
number = {6},
pages = {524--541},
doi = {10.1109/TSE.2003.1205180},
)
@article(PA:LeBoudec:2008:MeanFieldContinuousTime,
author = {M. Bena\"{i}m and J. Le Boudec},
year = {2008},
title = {A Class of Mean Field Interaction Models for Computer and Communication Systems},
journal = {Performance Evaluation},
volume = {65},
number = {11-12},
pages = {823--838},
doi = {10.1016/j.peva.2008.03.005},
)
@article(STOC:BenaimLeBoudec:2011:stationaryConvergence,
author = {Bena\"{\i}m, M. and J.Y. Le Boudec},
year = {2011},
title = {On Mean Field Convergence and Stationary Regime},
journal = {CoRR},
volume = {abs/1111.5710},
url = {http://arxiv.org/abs/1111.5710},
)
@book(billingsley1979,
author = {P. Billingsley},
year = {1979},
title = {Probability and Measure},
publisher = {John Wiley and Sons},
)
@book(billingsley1999,
author = {P. Billingsley},
year = {1999},
title = {Convergence of Probability Measures, 2nd Edition},
publisher = {Wiley},
doi = {10.1002/9780470316962},
)
@inproceedings(My:QAPL:masterEquationSCCP:2008,
author = {L. Bortolussi},
year = {2008},
title = {On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation},
booktitle = {Proceedings of QAPL},
pages = {163--180},
doi = {10.1016/j.entcs.2008.11.025},
)
@inproceedings(QAPL2012,
author = {L. Bortolussi and V. Galpin and J. Hillston},
year = {2012},
title = {Hybrid performance modelling of opportunistic networks},
booktitle = {Proceedings of QAPL 2012},
series = {EPTCS},
volume = {85},
pages = {106{\textendash}121},
doi = {10.4204/EPTCS.85.8},
)
@inproceedings(My:CONCUR2012:FMC,
author = {L. Bortolussi and J. Hillston},
year = {2012},
title = {Fluid Model Checking},
booktitle = {Proceedings of CONCUR 2012},
doi = {10.1007/978-3-642-32940-1\_24},
)
@article(fluidmcic,
author = {L. Bortolussi and J. Hillston},
year = {2015},
title = {Model Checking Single Agent Behaviour by Fluid Approximation},
journal = {Information and Computation},
volume = {242},
pages = {183--226},
doi = {10.1016/j.ic.2015.03.002},
)
@article(tutorial,
author = {L. Bortolussi and J. Hillston and D. Latella and M. Massink},
year = {2013},
title = {Continuous Approximation of Collective Systems Behaviour: a Tutorial},
journal = {Perf. Eval.},
volume = {70},
number = {5},
pages = {317--349},
doi = {10.1016/j.peva.2013.01.001},
)
@inproceedings(luca_roberta_2013,
author = {L. Bortolussi and R. Lanciani},
year = {2013},
title = {Model Checking Markov Population Models by Central Limit Approximation},
booktitle = {Proceedings of {QEST}},
pages = {123--138},
doi = {10.1007/978-3-642-40196-1\_9},
)
@book(MC:Clarke:1999:ModelChecking,
author = {E. Clarke and A. Peled and A. Grunberg},
year = {1999},
title = {Model Checking},
publisher = {MIT press},
)
@article(STOC:Darling:2002:PracticalFluid,
author = {R.W.R. Darling},
year = {2002},
title = {Fluid Limits of Pure Jump {M}arkov Processes: A Practical Guide},
journal = {\url{arXiv.org}},
)
@article(STOC:DarlingNorris:2008:DifferentialEquationsCTMC,
author = {R.W.R. Darling and J.R. Norris},
year = {2008},
title = {Differential equation approximations for {M}arkov chains},
journal = {Probability Surveys},
volume = {5},
doi = {10.1214/07-PS121},
)
@inproceedings(PM:Gast2010:WorkSteal,
author = {N. Gast and B. Gaujal},
year = {2010},
title = {A mean field model of work stealing in large-scale systems},
booktitle = {Proceedings of ACM SIGMETRICS 2010},
pages = {13--24},
url = {http://doi.acm.org/10.1145/1811039.1811042},
)
@article(HaydenTSE,
author = {R. A. Hayden and J. T. Bradley and A. Clark},
year = {2013},
title = {Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis},
journal = {IEEE Trans. Software Eng.},
volume = {39},
number = {1},
pages = {97--118},
doi = { 10.1109/TSE.2012.1},
)
@book(HowardBook,
author = {R.A. Howard},
year = {2007},
title = {Dynamic Probabilistic Systems, Volume II},
publisher = {Dover},
)
@inproceedings(remke11,
author = {A. Kolesnichenko and A. Remke and P.T. de Boer and B.R. Haverkort},
year = {2011},
title = {Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study},
booktitle = {Proceedings of EPEW},
pages = {133--147},
doi = {10.1007/978-3-642-24749-1\_11},
)
@book(THMAT:Kranz:2002:RealAnalyticFunctions,
author = {S. Krantz and P.R. Harold},
year = {2002},
title = {A Primer of Real Analytic Functions (Second ed.)},
publisher = {Birkh\"auser},
doi = {10.1007/978-0-8176-8134-0},
)
@article(STOC:Kurtz:1970:ODEandCTMC,
author = {T. G. Kurtz},
year = {1970},
title = {Solutions of Ordinary Differential Equations as Limits of Pure Jump {M}arkov Processes},
journal = {Journal of Applied Probability},
volume = {7},
pages = {49--58},
doi = {10.2307/3212147},
)
@inproceedings(LLM13,
author = {D. Latella and M. Loreti and M. Massink},
year = {2013},
title = {On-the-fly Fast Mean-Field Model-Checking},
booktitle = {Proceedings of {TGC}},
pages = {297--314},
doi = {10.1007/978-3-319-05119-2\_17},
)
@book(lbperf,
author = {Le Boudec, J.-Y.},
year = {2010},
title = {Performance Evaluation of Computer and Communication Systems},
publisher = {EPFL Press, Lausanne.},
)
@article(PA:Massink:2012:EmergencyEgress,
author = {M. Massink and D. Latella and A. Bracciali and M. Harrison and J. Hillston},
year = {2012},
title = {Scalable context-dependent analysis of emergency egress models},
journal = {Formal Aspects of Computing},
pages = {1--36},
doi = {10.1007/s00165-011-0188-1},
)
@book(STOC:Norris:1997:MarkovChains,
author = {J. R. Norris},
year = {1997},
title = {{M}arkov Chains},
publisher = {Cambridge University Press},
doi = {10.1017/CBO9780511810633},
)
@article(SB:QianElson:2002:singleMoleculeEnzymology,
author = {H. Qian and E.L. Elson},
year = {2002},
title = {Single-molecule enzymology: stochastic Michaelis-Menten kinetics},
journal = {Biophysical Chemistry},
volume = {101},
pages = {565--576},
doi = {10.1016/S0301-4622(02)00145-X},
)
@book(MC:Kwiatkowska:2004:ProbabilisticModelChecking,
author = {J. Rutten and M. Kwiatkowska and G. Norman and D. Parker},
year = {2004},
title = {Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems},
series = {CRM Monograph Series},
volume = {23},
publisher = {American Mathematical Society},
)
@inproceedings(stefanek12,
author = {A. Stefanek and R. A. Hayden and M. Mac Gonagle and J. T. Bradley},
year = {2012},
title = {Mean-Field Analysis of Markov Models with Reward Feedback},
booktitle = {Proceedings of {ASMTA} 2012},
pages = {193--211},
doi = {10.1007/978-3-642-30782-9\_14},
)
@phdthesis(PA:Sumpter:2000:WSCCSinsects,
author = {D.T.J. Sumpter},
year = {2000},
title = {From Bee to Society: An Agent-based Investigation of Honey Bee Colonies},
school = {University of Manchester},
)
@book(SB:Stelling:SyntheticBioBook:2010,
editor = {Z. Szallasi and J. Stelling and V. Periwal},
year = {2012},
title = {System Modeling in Cellular Biology, From Concepts to Nuts and Bolts},
publisher = {MIT Press},
)
@article(mircorewards12,
author = {M. Tribastone and J. Ding and S. Gilmore and J. Hillston},
year = {2012},
title = {Fluid Rewards for a Stochastic Process Algebra},
journal = {{IEEE} Trans. Software Eng.},
volume = {38},
number = {4},
pages = {861--874},
doi = {10.1109/TSE.2011.81},
)
@book(STOC:VanKampen:1992:StochasticProcessesPhysicsChemistry,
author = {{Van Kampen}, N. G.},
year = {1992},
title = {Stochastic Processes in Physics and Chemistry},
publisher = {Elsevier},
)