ProEva: Runtime Proactive Performance Evaluation Based on Continuous-Time Markov Chains
暂无分享,去创建一个
[1] Carlo Ghezzi,et al. Managing non-functional uncertainty via model-driven adaptivity , 2013, 2013 35th International Conference on Software Engineering (ICSE).
[2] Lijun Zhang,et al. Probabilistic Reachability for Parametric Markov Models , 2009, SPIN.
[3] Bonnie Kirkpatrick,et al. Efficient Continuous-Time Markov Chain Estimation , 2014, ICML.
[4] Christel Baier,et al. Principles of model checking , 2008 .
[5] David S. Rosenblum,et al. Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters , 2016 .
[6] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.
[7] Christel Baier,et al. Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..
[8] Christel Baier,et al. Principles of Model Checking (Representation and Mind Series) , 2008 .
[9] Marin Litoiu,et al. Performance Model Estimation and Tracking Using Optimal Filters , 2008, IEEE Transactions on Software Engineering.
[10] Myron Hlynka,et al. Queueing Networks and Markov Chains (Modeling and Performance Evaluation With Computer Science Applications) , 2007, Technometrics.
[11] Giordano Tamburrelli,et al. Reliability of Run-Time Quality-of-Service Evaluation Using Parametric Model Checking , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
[12] Massoud Pedram,et al. Stochastic modeling of a power-managed system: construction and optimization , 1999, ISLPED '99.
[13] J. Ben Atkinson,et al. Modeling and Analysis of Stochastic Systems , 1996 .
[14] Bradley R. Schmerl,et al. Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations , 2016, ACM Trans. Auton. Adapt. Syst..
[15] Philip Heidelberger,et al. Sensitivity Analysis of Continuous Time Markov Chains Using Uniformization , 1987, Computer Performance and Reliability.
[16] Radu Calinescu,et al. Dynamic QoS Management and Optimization in Service-Based Systems , 2011, IEEE Transactions on Software Engineering.
[17] 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.
[18] Taolue Chen,et al. Automatic verification of competitive stochastic systems , 2012, Formal Methods in System Design.
[19] Joost-Pieter Katoen,et al. The Probabilistic Model Checking Landscape* , 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
[20] Taolue Chen,et al. On the complexity of model checking interval-valued discrete time Markov chains , 2013, Inf. Process. Lett..
[21] Taolue Chen,et al. Time-Bounded Verification of CTMCs against Real-Time Specifications , 2011, FORMATS.
[22] Bradley R. Schmerl,et al. Software Engineering for Self-Adaptive Systems: A Second Research Roadmap , 2010, Software Engineering for Self-Adaptive Systems.
[23] Sandeep K. Shukla,et al. Formal analysis and validation of continuous-time Markov chain based system level power management strategies , 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..
[24] Haïscam Abdallah. Sensitivity computation of reliability Markov models using the uniformized power method , 1997 .
[25] David S. Rosenblum,et al. An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems , 2016, FASE.
[26] David S. Rosenblum,et al. Perturbation Analysis in Verification of Discrete-Time Markov Chains , 2014, CONCUR.
[27] Taolue Chen,et al. PRISM-games: A Model Checker for Stochastic Multi-Player Games , 2013, TACAS.
[28] William J. Stewart,et al. Introduction to the numerical solution of Markov Chains , 1994 .
[29] Carlo Ghezzi,et al. Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems , 2016, IEEE Transactions on Reliability.
[30] Carlo Ghezzi,et al. Self-adaptive software needs quantitative verification at runtime , 2012, CACM.
[31] Joost-Pieter Katoen,et al. Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability , 2008, 2008 Real-Time Systems Symposium.
[32] Carlo Ghezzi,et al. Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time , 2016, IEEE Transactions on Software Engineering.
[33] Petr Novotný,et al. Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis , 2014, QEST.
[34] Mahesh Viswanathan,et al. Model-Checking Markov Chains in the Presence of Uncertainties , 2006, TACAS.
[35] Julie A. McCann,et al. A survey of autonomic computing—degrees, models, and applications , 2008, CSUR.
[36] Conrado Daws. Symbolic and Parametric Model Checking of Discrete-Time Markov Chains , 2004, ICTAC.