. Amazon-ec2-container and . Service, , pp.2016-2021

, Azure container service, pp.2016-2021

, Containers at Netflix-an evolving story, pp.2016-2021

, CRIU integration in Docker, pp.2016-2022

, Google cloud platform-container engine, pp.2016-2021

P. , Haul an engine for containers live migration, pp.2016-2022

, Introduction to container security, Docker, 2015.

M. Amoretti, M. Picone, F. Zanichelli, and G. Ferrari, Simulating Mobile and Distributed Systems with DEUS and ns-3, HPCS, 2013.

G. Ciardo and K. S. Trivedi, Spnp: The stochastic petri net package (version 3.1), MASCOTS, 1993.

P. Emelyanov, Live migrating a container: pros, cons and gotchas, pp.2016-2022

W. Felter, A. Ferreira, R. Rajamony, and J. Rubio, An updated performance comparison of virtual machines and linux containers, ISPASS, 2015.

R. Ghosh, F. Longo, F. Frattini, S. Russo, and K. S. Trivedi, Scalable analytics for iaas cloud availability, IEEE Trans. Cloud Comput, vol.2, pp.57-70, 2014.

M. Grottke, L. Li, K. Vaidyanathan, and K. S. Trivedi, Analysis of software aging in a web server, IEEE Trans. Rel, vol.55, pp.411-420, 2006.

M. Grottke, A. P. Nikora, and K. S. Trivedi, An empirical investigation of fault types in space mission system software, DSN, 2010.

J. L. Hellerstein, Google cluster data. Google research blog, 2010.

D. S. Kim, F. Machida, and K. S. Trivedi, Availability modeling and analysis of a virtualized system, PRDC, 2009.

R. Matias and P. J. Filho, An experimental study on software aging and rejuvenation in web servers, COMPSAC, 2006.

R. Morabito, J. Kjllman, and M. Komu, Hypervisors vs. lightweight virtualization: A performance comparison, vol.2, 2015.

D. Pianini, S. Sebastio, and A. Vandin, Distributed statistical analysis of complex systems modeled through a chemical metaphor, HPCS, 2014.

S. Sebastio, M. Amoretti, and A. Lluch-lafuente, AVOCLOUDY: a simulator of volunteer clouds, Softw.: Practice and Experience, vol.46, issue.1, pp.3-30, 2016.

S. Sebastio, R. Ghosh, and T. Mukherjee, An Availability Analysis Approach for Deployment Configurations of Containers, IEEE Trans. Services Comput, 2017.

S. Sebastio, K. S. Trivedi, and J. Alonso, Characterizing machines lifecycle in google data centers. Performance Evaluation, 2018.

S. Sebastio and A. Vandin, MultiVeStA: Statistical model checking for discrete event simulators, ValueTools, 2013.

K. Sen, M. Viswanathan, and G. Agha, On Statistical Model Checking of Stochastic Systems, CAV, 2005.

S. Soltesz, H. Pötzl, M. E. Fiuczynski, A. Bavier, and L. Peterson, Container-based operating system virtualization: A scalable, highperformance alternative to hypervisors, SIGOPS Oper. Syst. Rev, vol.41, pp.275-287, 2007.

I. Stefanovici, A. Hwang, and B. Schroeder, Battling borked bits, IEEE Spectr, vol.52, pp.34-53, 2015.

N. M. Steiger, E. K. Lada, J. R. Wilson, J. A. Joines, C. Alexopoulos et al., Asap3: A batch means procedure for steady-state simulation analysis, ACM Trans. Model. Comput. Simul, vol.15, issue.1, pp.39-73, 2005.

, J. Thnes. Microservices. IEEE Softw, vol.32, pp.116-116, 2015.

K. S. Trivedi and R. Sahner, Sharpe at the age of twenty two. SIGMETRICS Perform, Eval. Rev, vol.36, pp.52-57, 2009.

A. Verma, L. Pedrosa, M. R. Korupolu, D. Oppenheimer, E. Tune et al., Large-scale cluster management at Google with Borg, EuroSys, 2015.