Interactive comparison of hypothesis tests for statistical model checking

Pieter-Tjerk de Boer; D.P. Reijsbergen; Willem R.W. Scheinhardt

doi:10.4108/eai.14-12-2015.2262571

Interactive comparison of hypothesis tests for statistical model checking

Pieter-Tjerk de Boer, D.P. Reijsbergen, Willem R.W. Scheinhardt

Stochastic Operations Research

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

282 Downloads (Pure)

Abstract

We present a web-based interactive comparison of hypothesis tests as are used in statistical model checking, providing users and tool developers with more insight into their characteristics. Parameters can be modified easily and their influence is visualized in real time; an integrated simulation engine further illustrates the behaviour of the tests. Finally, since the source code is available, it can serve as a framework in which newly developed tests can be tried.

Original language	Undefined
Title of host publication	9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015
Place of Publication	New York
Publisher	Association for Computing Machinery
Pages	-
Number of pages	5
ISBN (Print)	978-1-63190-096-9
DOIs	https://doi.org/10.4108/eai.14-12-2015.2262571
Publication status	Published - Dec 2015
Event	9th EAI International Conference on Performance Evaluation Methodologies and Tools 2015 - Berlin, Germany Duration: 14 Dec 2015 → 16 Dec 2015 Conference number: 9 http://archive.valuetools.org/2015/show/home

Publication series

Name
Publisher	ACM

Conference

Conference	9th EAI International Conference on Performance Evaluation Methodologies and Tools 2015
Abbreviated title	VALUETOOLS 2015
Country/Territory	Germany
City	Berlin
Period	14/12/15 → 16/12/15
Internet address	http://archive.valuetools.org/2015/show/home

Keywords

EC Grant Agreement nr.: FP7/2007-2013
EC Grant Agreement nr.: FP7/318490
EC Grant Agreement nr.: FP7/600708
METIS-316023
Statistical Model Checking
Hypothesis Testing
IR-99564
EWI-26585

Access to Document

10.4108/eai.14-12-2015.2262571

Cite this

@inproceedings{25c0b17f2d084cf2a250660b63716223,

title = "Interactive comparison of hypothesis tests for statistical model checking",

abstract = "We present a web-based interactive comparison of hypothesis tests as are used in statistical model checking, providing users and tool developers with more insight into their characteristics. Parameters can be modified easily and their influence is visualized in real time; an integrated simulation engine further illustrates the behaviour of the tests. Finally, since the source code is available, it can serve as a framework in which newly developed tests can be tried.",

keywords = "EC Grant Agreement nr.: FP7/2007-2013, EC Grant Agreement nr.: FP7/318490, EC Grant Agreement nr.: FP7/600708, METIS-316023, Statistical Model Checking, Hypothesis Testing, IR-99564, EWI-26585",

author = "{de Boer}, Pieter-Tjerk and D.P. Reijsbergen and Scheinhardt, {Willem R.W.}",

note = "eemcs-eprint-26585 ; 9th EAI International Conference on Performance Evaluation Methodologies and Tools 2015 ; Conference date: 14-12-2015 Through 16-12-2015",

year = "2015",

month = dec,

doi = "10.4108/eai.14-12-2015.2262571",

language = "Undefined",

isbn = "978-1-63190-096-9",

publisher = "Association for Computing Machinery",

pages = "--",

booktitle = "9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015",

address = "United States",

url = "http://archive.valuetools.org/2015/show/home",

}

de Boer, P-T, Reijsbergen, DP & Scheinhardt, WRW 2015, Interactive comparison of hypothesis tests for statistical model checking. in 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015. Association for Computing Machinery, New York, pp. -, 9th EAI International Conference on Performance Evaluation Methodologies and Tools 2015, Berlin, Germany, 14/12/15. https://doi.org/10.4108/eai.14-12-2015.2262571

Interactive comparison of hypothesis tests for statistical model checking. / de Boer, Pieter-Tjerk; Reijsbergen, D.P.; Scheinhardt, Willem R.W.
9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015. New York: Association for Computing Machinery, 2015. p. -.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Interactive comparison of hypothesis tests for statistical model checking

AU - de Boer, Pieter-Tjerk

AU - Reijsbergen, D.P.

AU - Scheinhardt, Willem R.W.

N1 - Conference code: 9

PY - 2015/12

Y1 - 2015/12

N2 - We present a web-based interactive comparison of hypothesis tests as are used in statistical model checking, providing users and tool developers with more insight into their characteristics. Parameters can be modified easily and their influence is visualized in real time; an integrated simulation engine further illustrates the behaviour of the tests. Finally, since the source code is available, it can serve as a framework in which newly developed tests can be tried.

AB - We present a web-based interactive comparison of hypothesis tests as are used in statistical model checking, providing users and tool developers with more insight into their characteristics. Parameters can be modified easily and their influence is visualized in real time; an integrated simulation engine further illustrates the behaviour of the tests. Finally, since the source code is available, it can serve as a framework in which newly developed tests can be tried.

KW - EC Grant Agreement nr.: FP7/2007-2013

KW - EC Grant Agreement nr.: FP7/318490

KW - EC Grant Agreement nr.: FP7/600708

KW - METIS-316023

KW - Statistical Model Checking

KW - Hypothesis Testing

KW - IR-99564

KW - EWI-26585

U2 - 10.4108/eai.14-12-2015.2262571

DO - 10.4108/eai.14-12-2015.2262571

M3 - Conference contribution

SN - 978-1-63190-096-9

SP - -

BT - 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015

PB - Association for Computing Machinery

CY - New York

T2 - 9th EAI International Conference on Performance Evaluation Methodologies and Tools 2015

Y2 - 14 December 2015 through 16 December 2015

ER -