Fluid Model Checking
暂无分享,去创建一个
[1] Stephen Gilmore,et al. Scalable Differential Analysis of Process Algebra Models , 2012, IEEE Transactions on Software Engineering.
[2] Robert K. Brayton,et al. Verifying Continuous Time Markov Chains , 1996, CAV.
[3] J. Norris,et al. Differential equation approximations for Markov chains , 2007, 0710.3269.
[4] Allan Clark,et al. Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis , 2013, IEEE Transactions on Software Engineering.
[5] Christel Baier,et al. Model Checking Continuous-Time Markov Chains by Transient Analysis , 2000, CAV.
[6] Joost-Pieter Katoen,et al. LTL Model Checking of Time-Inhomogeneous Markov Chains , 2009, ATVA.
[7] Jeremy T. Bradley,et al. Fluid computation of passage-time distributions in large Markov models , 2012, Theor. Comput. Sci..
[8] Boudewijn R. Haverkort,et al. Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study , 2011, EPEW.
[9] Boudewijn R. Haverkort,et al. Mean-Field Analysis for the Evaluation of Gossip Protocols , 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
[10] Marta Z. Kwiatkowska,et al. Game-Based Probabilistic Predicate Abstraction in PRISM , 2008, QAPL.
[11] Jan J. M. M. Rutten,et al. Mathematical techniques for analyzing concurrent and probabilistic systems , 2004, CRM monograph series.
[12] Diego Latella,et al. Scalable context-dependent analysis of emergency egress models , 2012, Formal Aspects of Computing.
[13] HaddadSerge,et al. Model Checking Timed and Stochastic Properties with CSL^{TA} , 2009 .
[14] Hong Qian,et al. Single-molecule enzymology: stochastic Michaelis-Menten kinetics. , 2002, Biophysical chemistry.
[15] Miklós Telek,et al. Analysis of Large Scale Interacting Systems by Mean Field Method , 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.
[16] Verena Wolf,et al. On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models , 2011, QAPL.
[17] Erik Palmgren. Open sublocales of localic completions , 2010, J. Log. Anal..
[18] Harold R. Parks,et al. A Primer of Real Analytic Functions , 1992 .
[19] Boudewijn R. Haverkort,et al. Mean-field framework for performance evaluation of push-pull gossip protocols , 2011, Perform. Evaluation.
[20] Kevin R. Sanft,et al. Legitimacy of the stochastic Michaelis-Menten approximation. , 2011, IET systems biology.
[21] Eitan Altman,et al. Mean field asymptotics of Markov Decision Evolutionary Games and teams , 2009, 2009 International Conference on Game Theory for Networks.
[22] M. Benaïm. Recursive algorithms, urn processes and chaining number of chain recurrent sets , 1998, Ergodic Theory and Dynamical Systems.
[23] W. Rudin. Principles of mathematical analysis , 1964 .
[24] Daniel Richardson,et al. Zero Tests for Constants in Simple Scientific Computation , 2007, Math. Comput. Sci..
[25] Jean-Yves Le Boudec,et al. On Mean Field Convergence and Stationary Regime , 2011, ArXiv.
[26] Robert K. Brayton,et al. Model-checking continuous-time Markov chains , 2000, TOCL.
[27] S. Lang. Complex Analysis , 1977 .
[28] Luca Bortolussi. On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation , 2008, Electron. Notes Theor. Comput. Sci..
[29] Bruno Gaujal,et al. A mean field model of work stealing in large-scale systems , 2010, SIGMETRICS '10.
[30] Luca Bortolussi,et al. Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages , 2011 .
[31] R. W. R. Darling. Fluid Limits of Pure Jump Markov Processes: a Practical Guide , 2002 .
[32] Alberto Policriti,et al. Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back , 2009, Trans. Comp. Sys. Biology.
[33] J.P. Hespanha,et al. Lognormal Moment Closures for Biochemical Reactions , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.
[34] M. Benaïm,et al. Deterministic Approximation of Stochastic Evolution in Games , 2003 .
[35] Axel Legay,et al. A Bayesian Approach to Model Checking Biological Systems , 2009, CMSB.
[36] Jane Hillston,et al. Fluid flow approximation of PEPA models , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
[37] Gerhard Goos,et al. Automated Technology for Verification and Analysis , 2004, Lecture Notes in Computer Science.
[38] D. Novikov. Systems of linear ordinary differential equations with bounded coefficients may have very oscillating solutions , 2000 .
[39] Christel Baier,et al. Model Checking Markov Chains with Actions and State Labels , 2007, IEEE Transactions on Software Engineering.
[40] Joost-Pieter Katoen,et al. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications , 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.
[41] Jeremy T. Bradley,et al. A fluid analysis framework for a Markovian process algebra , 2010, Theor. Comput. Sci..
[42] G. Alefeld,et al. Interval analysis: theory and applications , 2000 .
[43] Stefan Ratschan,et al. Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable , 2011, MFCS.
[44] Marta Z. Kwiatkowska,et al. Abstraction Refinement for Probabilistic Software , 2008, VMCAI.
[45] T. Kurtz. Solutions of ordinary differential equations as limits of pure jump markov processes , 1970, Journal of Applied Probability.
[46] Jean-Yves Le Boudec,et al. A class of mean field interaction models for computer and communication systems , 2008, WiOpt.
[47] Taolue Chen,et al. Time-Bounded Verification of CTMCs against Real-Time Specifications , 2011, FORMATS.
[48] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[49] Joost-Pieter Katoen,et al. Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains , 2008, FORMATS.
[50] Katinka Wolter,et al. Numerical Solution of Non-Homogeneous Markov Processes through Uniformization , 1998, ESM.
[51] Marta Z. Kwiatkowska,et al. Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.
[52] J. Norris. Appendix: probability and measure , 1997 .
[53] Mark H. Davis. Markov Models and Optimization , 1995 .
[54] Jean-Yves Le Boudec,et al. A class of mean field interaction models for computer and communication systems , 2008, Perform. Evaluation.
[55] A. Neumaier. Interval methods for systems of equations , 1990 .
[56] Paul Taylor,et al. A lambda calculus for real analysis , 2010, J. Log. Anal..
[57] W. Tucker,et al. Enclosing all zeros of an analytic function - A rigorous approach , 2009 .