Severin Kann

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Automated Verification

Top Venues

Softw. Qual. J.

Publications

Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi
Learning and statistical model checking of system response times. Softw. Qual. J. 27 (2) (2019)
Bernhard K. Aichernig, Severin Kann, Richard Schumi
Statistical Model Checking of Response Times for Different System Deployments. SETTA (2018)