Interactive comparison of hypothesis tests for statistical model checking

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
44 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 languageUndefined
Title of host publication9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015
Place of PublicationNew York
PublisherAssociation for Computing Machinery (ACM)
Pages-
Number of pages5
ISBN (Print)978-1-63190-096-9
DOIs
Publication statusPublished - Dec 2015
Event9th EAI International Conference on Performance Evaluation Methodologies and Tools 2015 - Berlin, Germany
Duration: 14 Dec 201516 Dec 2015
Conference number: 9
http://archive.valuetools.org/2015/show/home

Publication series

Name
PublisherACM

Conference

Conference9th EAI International Conference on Performance Evaluation Methodologies and Tools 2015
Abbreviated titleVALUETOOLS 2015
CountryGermany
CityBerlin
Period14/12/1516/12/15
Internet address

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

Cite this

de Boer, P-T., Reijsbergen, D. P., & Scheinhardt, W. R. W. (2015). Interactive comparison of hypothesis tests for statistical model checking. In 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015 (pp. -). New York: Association for Computing Machinery (ACM). https://doi.org/10.4108/eai.14-12-2015.2262571
de Boer, Pieter-Tjerk ; Reijsbergen, D.P. ; Scheinhardt, Willem R.W. / Interactive comparison of hypothesis tests for statistical model checking. 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015. New York : Association for Computing Machinery (ACM), 2015. pp. -
@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",
year = "2015",
month = "12",
doi = "10.4108/eai.14-12-2015.2262571",
language = "Undefined",
isbn = "978-1-63190-096-9",
publisher = "Association for Computing Machinery (ACM)",
pages = "--",
booktitle = "9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015",
address = "United States",

}

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 (ACM), 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 (ACM), 2015. p. -.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 - eemcs-eprint-26585

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 (ACM)

CY - New York

ER -

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