Learning and statistical model checking of system response times

Bernhard 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

Bernhard Aichernig
, Priska Bauerstätter
, Elisabeth Jöbstl
, Severin Kann
, Robert Korosec
, Willibald Krenn
, Cristinel Mateis
, Rupert Schlick
, Richard Schumi

Molecular Diagnostics

Graz University of Technology

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	757-795
Number of pages	39
Journal	Software Quality Journal
Volume	27
Publication status	Published - 2019

Research Field

Dependable Systems Engineering
Molecular Diagnostics

Cite this

@article{dd9f1791bd8843e4b4e923344024c146,

title = "Learning and statistical model checking of system response times",

author = "Bernhard Aichernig and Priska Bauerst{\"a}tter and Elisabeth J{\"o}bstl and Severin Kann and Robert Korosec and Willibald Krenn and Cristinel Mateis and Rupert Schlick and Richard Schumi",

year = "2019",

language = "English",

volume = "27",

pages = "757--795",

journal = "Software Quality Journal",

issn = "0963-9314",

publisher = "Springer New York",

}

TY - JOUR

T1 - Learning and statistical model checking of system response times

AU - Aichernig, Bernhard

AU - Bauerstätter, Priska

AU - Jöbstl, Elisabeth

AU - Kann, Severin

AU - Korosec, Robert

AU - Krenn, Willibald

AU - Mateis, Cristinel

AU - Schlick, Rupert

AU - Schumi, Richard

PY - 2019

Y1 - 2019

M3 - Article

SN - 0963-9314

VL - 27

SP - 757

EP - 795

JO - Software Quality Journal

JF - Software Quality Journal

ER -