Performance Evaluation and Model Checking Join Forces

Christel Baier, Boudewijn R.H.M. Haverkort, H. Hermanns, Joost P. Katoen

Research output: Contribution to journalArticleAcademicpeer-review

56 Citations (Scopus)
46 Downloads (Pure)

Abstract

A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques.
Original languageUndefined
Pages (from-to)76-85
Number of pages10
JournalCommunications of the ACM
Volume53
Issue number9
DOIs
Publication statusPublished - Sep 2010

Keywords

  • METIS-271025
  • IR-73099
  • EWI-18441

Cite this

@article{6567d0fec7824f9c8978eb2a36587e7c,
title = "Performance Evaluation and Model Checking Join Forces",
abstract = "A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques.",
keywords = "METIS-271025, IR-73099, EWI-18441",
author = "Christel Baier and Haverkort, {Boudewijn R.H.M.} and H. Hermanns and Katoen, {Joost P.}",
note = "10.1145/1810891.1810912",
year = "2010",
month = "9",
doi = "10.1145/1810891.1810912",
language = "Undefined",
volume = "53",
pages = "76--85",
journal = "Communications of the ACM",
issn = "0001-0782",
publisher = "Association for Computing Machinery (ACM)",
number = "9",

}

Performance Evaluation and Model Checking Join Forces. / Baier, Christel; Haverkort, Boudewijn R.H.M.; Hermanns, H.; Katoen, Joost P.

In: Communications of the ACM, Vol. 53, No. 9, 09.2010, p. 76-85.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - Performance Evaluation and Model Checking Join Forces

AU - Baier, Christel

AU - Haverkort, Boudewijn R.H.M.

AU - Hermanns, H.

AU - Katoen, Joost P.

N1 - 10.1145/1810891.1810912

PY - 2010/9

Y1 - 2010/9

N2 - A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques.

AB - A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques.

KW - METIS-271025

KW - IR-73099

KW - EWI-18441

U2 - 10.1145/1810891.1810912

DO - 10.1145/1810891.1810912

M3 - Article

VL - 53

SP - 76

EP - 85

JO - Communications of the ACM

JF - Communications of the ACM

SN - 0001-0782

IS - 9

ER -