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

doi:10.1007/S11219-018-9432-8

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

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

Original language	Undefined/Unknown
Pages (from-to)	757-795
Journal	Softw. Qual. J.
Volume	27
Issue number	2
DOIs	https://doi.org/10.1007/S11219-018-9432-8
Publication status	Published - 2019
Externally published	Yes

Access to Document

10.1007/S11219-018-9432-8

https://dblp.org/rec/journals/sqj/AichernigBJKKKM19

Cite this

@article{463336cfbd2841df84eaf0f4d68a7e38,

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

author = "Aichernig, {Bernhard K.} 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",

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2019",

doi = "10.1007/S11219-018-9432-8",

language = "undefiniert/unbekannt",

volume = "27",

pages = "757--795",

number = "2",

}

TY - JOUR

T1 - Learning and statistical model checking of system response times.

AU - Aichernig, Bernhard K.

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

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2019

Y1 - 2019

U2 - 10.1007/S11219-018-9432-8

DO - 10.1007/S11219-018-9432-8

M3 - Artikel

VL - 27

SP - 757

EP - 795

JO - Softw. Qual. J.

JF - Softw. Qual. J.

IS - 2

ER -