Statistical Model Checking of Response Times for Different System Deployments. - Bernhard K. Aichernig; Severin Kann; Richard Schumi (SETTA, 2018)

Learning and statistical model checking of system response times. - Bernhard K. Aichernig; Priska Bauerstätter; Elisabeth Jöbstl; Severin Kann; Robert Korosec; Willibald Krenn; Cristinel Mateis; Rupert Schlick; Richard Schumi (Softw. Qual. J., 2019)