Static analysis of cloud elasticity

Albert, 2015, Object-sensitive cost analysis for concurrent objects, Softw. Test. Verif. Reliab., 25, 218, 10.1002/stvr.1569 Albert, 2008, Automatic inference of upper bounds for recurrence relations in cost analysis, vol. 5079, 221 Albert, 2012, Cost analysis of object-oriented bytecode programs, Theor. Comput. Sci., 413, 142, 10.1016/j.tcs.2011.07.009 Albert, 2014, Peak cost analysis of distributed systems, vol. 8723, 18 Albert, 2015, Non-cumulative resource analysis, 85 Albert, 2010, Parametric inference of memory requirements for garbage collected languages, SIGPLAN Not., 45, 121, 10.1145/1837855.1806671 Alonso-Blas, 2012, On the limits of the classical approach to cost analysis, vol. 7460, 405 Barik, 2006, Efficient computation of may-happen-in-parallel information for concurrent Java programs, vol. 4339, 152 Berman, 1980, The complexity of logical theories, Theor. Comput. Sci., 11, 71, 10.1016/0304-3975(80)90037-7 Brockschmidt, 2014, Alternating runtime and size complexity analysis of integer programs, vol. 8413, 140 Carbonneaux, 2015, Compositional certified resource bounds, 467 Chin, 2005, Memory usage verification for oo programs, vol. 3672, 70 Flores Montoya, 2014, Resource analysis of complex programs with cost equations, vol. 8858, 275 Garcia Garcia, 2015, Static analysis of cloud elasticity, 125 Giachino, 2016, Statically and dynamically verifiable sla metrics, vol. 9660, 211 Giachino, 2016, A framework for deadlock detection in ABS, Softw. Syst. Model., 15, 1013, 10.1007/s10270-014-0444-y Gulwani, 2009, Speed: precise and efficient static estimation of program computational complexity, vol. 44, 127 Hoffmann, 2011, Multivariate amortized resource analysis, 357 Hoffmann, 2012, Multivariate amortized resource analysis, ACM Trans. Program. Lang. Syst., 34, 14, 10.1145/2362389.2362393 Hoffmann Hofmann, 2003, Static prediction of heap space usage for first-order functional programs, 185 Hofmann, 2006, Type-based amortised heap-space analysis, vol. 3924, 22 Hofmann, 2009, Efficient type-checking for amortised heap-space analysis, vol. 5771, 317 Johnsen, 2011, ABS: a core language for abstract behavioural specification, vol. 6957, 142 Mathew Tarjan, 1985, Amortized computational complexity, SIAM J. Algebraic Discrete Methods, 6, 306, 10.1137/0606031 Wegbreit, 1975, Mechanical program analysis, Commun. ACM, 18, 528, 10.1145/361002.361016