Performance Evaluation and Model Checking Join Forces

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

doi:10.1145/1810891.1810912

Performance Evaluation and Model Checking Join Forces

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

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

72 Citations (Scopus)

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 - Sept 2010
Externally published	Yes

Keywords

METIS-271025
IR-73099
EWI-18441

Access to Document

10.1145/1810891.1810912

Cite this

@article{45fe97c47d744d9aabe63b6c00efad06,

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 = 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.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

SN - 0001-0782

VL - 53

SP - 76

EP - 85

JO - Communications of the ACM

JF - Communications of the ACM

IS - 9

ER -

Performance Evaluation and Model Checking Join Forces

Abstract

Keywords

Access to Document

Fingerprint

Cite this