Performance Evaluation and Model Checking Join Forces

Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen

doi:10.1145/1810891.1810912

Performance Evaluation and Model Checking Join Forces

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen

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

67 Citations (Scopus)

99 Downloads (Pure)

Abstract

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

Original language	English
Pages (from-to)	76-85
Number of pages	10
Journal	Communications of the ACM
Volume	53
Issue number	9
DOIs	https://doi.org/10.1145/1810891.1810912
Publication status	Published - Sep 2010

Access to Document

10.1145/1810891.1810912

Baier2010performanceFinal published version, 1.84 MB

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.",

author = "Christel Baier and Haverkort, {Boudewijn R.} and Holger Hermanns and Joost-Pieter Katoen",

year = "2010",

month = sep,

doi = "10.1145/1810891.1810912",

language = "English",

volume = "53",

pages = "76--85",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "Association for Computing Machinery",

number = "9",

}

TY - JOUR

T1 - Performance Evaluation and Model Checking Join Forces

AU - Baier, Christel

AU - Haverkort, Boudewijn R.

AU - Hermanns, Holger

AU - Katoen, Joost-Pieter

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.

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 -

Performance Evaluation and Model Checking Join Forces

Abstract

Access to Document

Fingerprint

Cite this